Аннотация

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

Теория множеств рассмотрена до теоремы о шкале мощностей, исчисление высказываний изложено практически полностью. В исчислении предикатов доказана только непротиворечивость, обсуждены проблемы неразрешимости и полноты. Изучение булевых функций заканчивается теоремой Поста о функциональной полноте и перечислением предполных классов.

Впечатления о книге:  

Прочитавшие эту книги читали: