libcats.org
Главная

Математическая логика и теория алгоритмов

Обложка книги Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов

Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года . Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков использования методов математической логики для изучения других математических наук. В разделе теории алгоритмов представлены два направления уточнения алгоритма и вычислимости - машины Тьюринга и частично рекурсивные функции С.Клини
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Frommer's China, 4th Edition (Frommer's Complete)

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 22.06 Mb

Fundamentos de física, Vol 3 (8ª edición)

Автор: , Автор:
Размер книги: 107.04 Mb

Los Planetas

Автор:
Категория: fiction
Размер книги: 1.45 Mb