libcats.org
Главная

Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику''

Обложка книги Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику''

Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику''

Учебное пособие составлено на основе конспектов лекций академика РАН О.Б.Лупанова по курсу "Введение в математическую логику", прочитанных им на первом курсе механико-математического факультета МГУ им. М.В.Ломоносова в 1982 - 2006гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.Для студентов и аспирантов.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Auel, Jean - Earth's Children 04 - Plains Of Passage

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

Janelle Denison - The Wilde Side

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

Improved LLL algorithms

Автор:
Категория: Papers, Numerical methods, PLSQ
Размер книги: 222 Kb

Brazilian Rhythms for Solo Guitar

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

Звуковые и световые волны

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

Murder in a Cathedral [Short stories]

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

Parasite Eve

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