2. формы задания и синтез логических функций.
3. минимизация логических функций. Карты карно.
4. логика суждений. Теория доказательства.
5. применение логики суждений.
6. силлогистика и её базисы. Диаграммы лобанова.
7. анализ и синтез силлогизмов.
8. силлогистика Аристотеля. Фигуры и модусы, правила посылок.
9. практикум по силлогистике 10. Вероятностная силлогистика.