Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

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

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

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

В. Г. Дурнев

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Yıl:

2008

Yayımcı:

ЯрГУ

Dil:

russian

Sayfalar:

247

ISBN 10:

5839706221

ISBN 13:

9785839706224

Dosya:

DJVU, 1.55 MB

IPFS:

,

russian, 2008

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Anahtar ifadeler

тьюринга

алфавите

автомата

множество

проблемы

частично

проблема

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

множества

примитивно

рекурсивно

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

существует

называется

уравнений

рассмотрим

состояние

натуральных

равенство

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

состояния

состояний

линейных

автоматы

конечные

качестве

рекурсивная

равенства

алгоритм

конечный

построим

рекурсивные

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

рекурсивна