Курс "Математическая логика" посвящен изучению алгебры логики, исчислению предикатов, алгебры предикатов на уровне необходимым для решения школьных задач по математике и информатике.
Курс "Математическая логика" посвящен изучению алгебры логики, исчислению предикатов, алгебры предикатов на уровне необходимым для решения школьных задач по математике и информатике.