Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для...
ISBN: 978-5-9221-1301-4
Издательство:
Физматлит
Дата выхода: август 2011
Найденных опечаток пока нет
Добавить запись