Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Элементы теории алгоритмов: учебное пособие

Main
Элементы теории алгоритмов: учебное...

Элементы теории алгоритмов: учебное пособие

В. Г. Дурнев

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Año:

2008

Editorial:

ЯрГУ

Idioma:

russian

Páginas:

247

ISBN 10:

5839706221

ISBN 13:

9785839706224

Archivo:

DJVU, 1.55 MB

IPFS:

,

russian, 2008

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

Yuri Ivanovich Manin, Юрий Иванович Манин — Вычислимое и невычислимое

Безусова Татьяна Алексеевна — Теория алгоритмов. Основные подходы к формализации алгоритма

Ф.К. Алиев, И.А. Юров — Курс лекций по математической логике и теории алгоритмов

Алферова З. — Теория алгоритмов

В. Г. Дурнев, О. В. Зеткина — Дополнительные вопросы теории алгоритмов : учебно-методическое пособие

В. Г. Дурнев, О. В. Зеткина — Дополнительные вопросы теории алгоритмов : учебно-методическое пособие

Сосинский А.Б. — Невычислимость, неразрешимость, недоказуемость

Дехтярь М.И., Дудаков С.М., Карлов Б.Н. — Лекции по дискретной математике

Дурнев В.Г., Зеткина О.В. — Дополнительные вопросы теории алгоритмов.

Мальцев А. И. — Алгоритмы и рекурсивные функции

Мальцев А.И. — Алгоритмы и рекурсивные функции

Эббинхауз, Якобс, Ман, Хермес.(Ebbinghaus,Jacobs,Mahn,Hermes) — Машины Тьюринга и рекурсивные функции

Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. — Введение в теорию автоматов

Успенский В.А. — Теорема Гёделя о неполноте

Глухов М.М. — Математическая логика

П. Мартин-Лёф — Очерки по конструктивной математике

П. Мартин-Лёф — Очерки по конструктивной математике

Лизунова Е.М. — Теория алгоритмов: Учебно-методический комплекс

Выхованец В.С. — Теория автоматов

Бухараев Н.Р. — Рекурсивные функции. Часть 2

Крючкова Е.Н. — Основы математической логики и теории алгоритмов

Успенский В.А. — Лекции о вычислимых функциях

Безусова Татьяна Алексеевна — Теория алгоритмов. Основные подходы к формализации алгоритма

Мартин-Лёф П., Martin-Loef P. — Очерки по конструктивной математике

Успенский В.А. — Лекции о вычислимых функциях

Коллектив авторов — Элементы математической логики. Алгоритмы и рекурсивные функции

Лупанов О.Б. (ред.) — Кибернетический сборник. Новая серия. Выпуск 11

Алферова З.В. — Теория алгоритмов

Катленд Н. (Cutland) — Вычислимость. Введение в теорию рекурсивных функций

Гросс М., Лантен А. (Gross M., Lentin A.) — Теория формальных грамматик

Гудстейн Р.Л. — Рекурсивный математический анализ

Смальян Р. (Смаллиан Р.) — Теория формальных систем

Успенский В.А. — Теорема Гёделя о неполноте

Под редакцией В.А.Козмидиади, А.Н.Маслова, Н.В.Петри. — Сложность вычислений и алгоритмов. Сборник переводов

Носов В. А. — Основы теории алгоритмов и анализа их сложности

Términos más frecuentes

тьюринга

алфавите

автомата

множество

проблемы

частично

проблема

доказательство

множества

примитивно

рекурсивно

конфигурации

существует

называется

уравнений

рассмотрим

состояние

натуральных

равенство

эквивалентности

состояния

состояний

линейных

автоматы

конечные

качестве

рекурсивная

равенства

алгоритм

конечный

построим

рекурсивные

доказательства

рекурсивна