Предметом даного курсу є функціональні і формальні системи логіки: алгебра логіки (висловлень і предикатів), класичні числення висловлень і предикатів, формальні аксіоматичні теорії.
- Course creator: Тетяна Володимирівна Волошина
- Course creator: Оксана Собчук