libcats.org
Главная →

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

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

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

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

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

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

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Bunch, Chris - Seer King 1 - The Seer King

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

Visual Basic 2005 Cookbook: Solutions for VB 2005 Programmers

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

Depends

 Автор:
Категория: Песенники и тосты

The New! Beader's Companion (Companion series, The)

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

One Small Step

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

Vulpen

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

No Way to Kill a Lady

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