Дискретная математика с элементами математической логики

В курсе излагаются основные разделы математической логики: теория множеств, логика высказываний и логика предикатов, имеющие большое значение для изучения программирования.