Вероятно, не очень в тему
Да, нет. Как раз в тему.

Надо признать, что я приобрел бессовестную привычку не ссылаться на Диму и Мишу, поскольку многому от них научился, и подчас трудно понять, что продумал сам, а что украл (так все воры и говорят; но Дима с Мишей меня простят, я думаю).

Сейчас поправлю соответствующее место в посте.

С другой стороны, этот ламповый тривиум, лет через 10 превратится в очень качественный, но винил.
Сам материал почти весь войдет в планируемый мною первый семестр, за исключением вопросов примыкающих больше к computer science, типа N/NP или теорем о полноте/неполноте (актуально при борьбе с повышенным весом). Невключенные темы могут составить одну из интересных развесистых ветвей упомянутых в посте.
Классические проблемы математической логики и проблемы алгоритмической разрешимости вроде бы сейчас вышли из моды (в хорошем смысле последнего слова).
Пользователь apkallatu (так получается если напечатать < ljr user=apkallatu> без первого пробела), уважаемый, вероятно того же мнения.

Спасибо.