У нас была "Математическая логика". Интереснейшая наука, но вел ее старенький дедушка-профессор, который сам с собой тихонько у доски общался. У меня в дипломе единственная тройка - по мат. логике: теоремы Гёделя я могу объяснить только на пальцах.. Хотя оба выпускных диплома довольно успешно защитила по геометрии Лобачевского.