Проблема вычисления значения двоичной функции

Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Мотивация изучения математической логики Мотивация Проблема вычисления значения двоичной функции