Факультет прикладной математики — процессов управления
Лекции 5-7: исчисление высказываний и теорема о компактности