Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это преду...
Сохранить в:
| Главный автор: | |
|---|---|
| Редакция: | 6 |
| Online-ссылка: | https://znanium.com/catalog/document?id=81684 https://znanium.com/cover/0395/395379.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|