Ваша оценкаВ книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для специальных курсов.
Жанры
Издательство:
ISBN:
978-5-9221-1301-4
Год издания:
2011
Формат: 220x145 мм
Твердый переплет
356 стр.
Возрастные ограничения:
18+
Рейтинг LiveLib
0
0 оценок
Ваша оценкаХотят прочитать 3
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
