В этом материале представлены ссылки на лекции и варианты практических занятий для изучения дисциплины "Дискретная математика". Вторая часть материалов по дисциплине "Дискретная математика" расположена по ссылке: 1. Формулы логики. Логика высказываний. 1.1. Тема «Основные логические операции. Формулы логики. Дизъюнктивная и конъюнктивная нормальные формы». Обучающийся должен · знать: понятие пропозиционального высказывания, примеры пропозициональных высказываний; понятия унарной и бинарной логических...

Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...