Математическая мозаика: Занимательные задачи для учащихся 5-11 классов
Содержание:
Собачье сердце, Мастер и Маргарита, Письма
Описание:
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.Похожие книги