Описание:Семестровый спецкурс читается для студентов 2-го курса философского факультета, специализирующихся по кафедре логики.
Рассматриваются процедуры поиска вывода в различных логических системах: натуральном исчислении высказываний, натуральном исчислении предикатов, аналитико-табличном исчислении высказываний, аналитико-табличном исчислении предикатов. В обучении используется компьютерная программа DEDUCTIO, предназначенная для интерактивного поиска вывода.