Lecture 1

Начали логику высказываний (если что, ее не пытаются формализовать, цель курса - теория моделей). Рассмотрели индукцию по длине формулы, теорему о единственности представления формулы. Ввели понятие оценки формулы и определили, какие формулы являются эквивалентными. Потом перешли к булевым функциям и построили связь этих функций с логическими формулами. После этого определили важные понятия в теории булевых функций - Дизъюнктивную и Конъюнктивную Нормальные Формы (ДНФ и КНФ) и “доказали“ теорему о том, что любая фнукция может быть представлена с помощью ДНФ и КНФ. В конце определили, какие множества логических связок мы называем функционально полными. Курс ведется в дискорде: