Билет № 1
1. Дедуктивный характер математики. Предмет математической логики, ее роль в вопросах обоснования математики.
2. Формальные теории (как строится формальная теория). Вывод, доказательство, теорема, метатеорема. Исчисление высказываний.
3. Исследовать на непротиворечивость и полноту аксиоматическую теорию эквивалентности.
Билет № 2
1. ДНФ. Теорема о разложении функций по переменным. Алгоритм приведения к СДНФ.
2. Приложение логики к теории баз данных.
3. Провести анализ рассуждения: «Если данное целое число делится на 5, то оно оканчивается нулем или цифрой 5; данное целое число делится на 5 и не оканчивается нулем; следовательно, оно оканчивается цифрой 5».