Содержание

1. ОБЩИЕ СВЕДЕНИЯ 2

2. РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА 3

3. ПРОГРАММА И МЕТОДИЧЕСКИЕ УКАЗАНИЯ 3

3.1 Алгебра логики 3

3.2 Нормальные формы формул 7

3.3 Логические рассуждения 10

3.4 Логика предикатов 12

3.5 Основы теории алгоритмов 15

4.1 Формулы алгебры высказываний 22

4.2 Равносильные преобразования формул логики высказываний 25

4.3 Логические рассуждения 26

4.4 Логика предикатов 30

4.5 Теория алгоритмов 31