издано в 2002 г.
Добавлена: 03.04.2011
Аннотация
Пособие содержит материал, излагаемый в курсе с таким же названием для специальности "Прикладная информатика в экономике" и в курсе по дискретной математике для направления "Прикладная математика и информатика". Весь материал обычно излагается в первом семестре первого курса, поэтому изложение максимально подробно и замкнуто и дано в виде маленьких глав, практически соответствующих объему одной лекции.
Теория множеств рассмотрена до теоремы о шкале мощностей, исчисление высказываний изложено практически полностью. В исчислении предикатов доказана только непротиворечивость, обсуждены проблемы неразрешимости и полноты. Изучение булевых функций заканчивается теоремой Поста о функциональной полноте и перечислением предполных классов.
Просмотров 
