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

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

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

В. Г. Дурнев

0 / 0

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

Rok:

2008

Wydawnictwo:

ЯрГУ

Język:

russian

Strony:

247

ISBN 10:

5839706221

ISBN 13:

9785839706224

Plik:

DJVU, 1.55 MB

IPFS:

,

russian, 2008

Czytaj Online

Trwa konwersja do

Konwersja do nie powiodła się

Możesz być zainteresowany

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Najbardziej popularne frazy

тьюринга

алфавите

автомата

множество

проблемы

частично

проблема

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

множества

примитивно

рекурсивно

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

существует

называется

уравнений

рассмотрим

состояние

натуральных

равенство

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

состояния

состояний

линейных

автоматы

конечные

качестве

рекурсивная

равенства

алгоритм

конечный

построим

рекурсивные

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

рекурсивна