libcats.org
Главная →

Лекции по математической логике и теории алгоритмов. Часть 1

Обложка книги Лекции по математической логике и теории алгоритмов. Часть 1

Лекции по математической логике и теории алгоритмов. Часть 1

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

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

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

The Meme Machine

 Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Двойник

 Автор:
Категория: Ужасы и Мистика
Размер книги: 187 Kb

The Best American Crime Writing 2005

 Автор: , Автор: , Автор:
Категория: novels
Размер книги: 851 Kb

Natural Moralities: A Defense of Pluralistic Relativism

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

Convex Functional Analysis and Applications

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

Get Set for Teacher Training (Get Set for University)

 Автор:
Размер книги: 554 Kb

Paradise Interrupted

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