Математическая логика входит в программу обучения студентов вузов и колледжей по всем направлениям, связанным с микропроцессорами и программированием. В настоящей работе описывается программа на языке С#, разработанная для курса математической логики. Поставлены задачи для совершенствования программы
