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