Математическая логика
 |
|
Содержание:
Мэгги и Джастина
Описание:
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.Похожие книги
 | Гладкие многообразия и наблюдаемые Автор: Джет Неструев Год: 2000 |
 | Логические исследования. Выпуск 8 Автор: Хорхе А. Ливрага Год: 2001 |
 | Внешние дифференциальные системы и вариационное исчисление Автор: Гриффитс Ф. Год: 1986 |
| Дифференциальное исчисление Автор: Тихомиров В.М. Год: 2002 |
| Вариационное исчисление и оптимальное управление Автор: Ванько В.И., Ермошина О.В., Кувыркин Г.Н. Год: 2006 |
