|
|
12:48 Математическая логика Ершов, Палютин |
Автор: Ершов Юрий Леонидович, Палютин Евгений Андреевич
Редактор: Легостаева И. Л.
Издательство: Физматлит, 2011 г.
Аннотация к книге "Математическая логика"В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
6-е издание, исправленное. Читать книгу бесплатно Математическая логика Ершов, Палютин.
|
Похожие материалы:
|
|
| Календарь |
| « Сентябрь 2018 » |
| Пн |
Вт |
Ср |
Чт |
Пт |
Сб |
Вс |
| | | | | | 1 | 2 | | 3 | 4 | 5 | 6 | 7 | 8 | 9 | | 10 | 11 | 12 | 13 | 14 | 15 | 16 | | 17 | 18 | 19 | 20 | 21 | 22 | 23 | | 24 | 25 | 26 | 27 | 28 | 29 | 30 | |
|
