В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов Ряд развбирзделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой Для студентов математических специальностей вузов Может служить пособием для спецкурсов Авторы Юрий Ершов Евгений Палютин.
![]() | ![]() |
![]() | ![]() |