Данный курс содержит темы: Суждение как форма мышления. Булевы функции. Минимизация булевых функций. Полином Жегалкина. Формальные системы. Логика предикатов. Методы научного познания.Автоматы. Элементы кодирования.