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