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

Математическая логика
Автор
 
Год
 
Страниц
 
360
ISBN
 
5170224257:5271081737:5957711500
Издатель
 
Лань
Категория
 
Естественные науки. Ч. 2 (архив)

Содержание:

Собачье сердце, Мастер и Маргарита, Письма

Описание:

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Похожие книги

Гладкие многообразия и наблюдаемыеГладкие многообразия и наблюдаемые
Автор: Джет Неструев
Год: 2000
Логические исследования. Выпуск 8Логические исследования. Выпуск 8
Автор: Хорхе А. Ливрага
Год: 2001