Ознайомлення з основними кроками розв'язання логічних задач, єдиним алгоритмом розв'язання та класифікацією розв'язань за складністю схеми перебору гіпотез. Можливість усвідомленого використання демонстраційних розв'язань для власного навчання і навчання інших.
- Викладач курсу: Олександр Борисович Рудик