:twisted: Если возражать по сути программы, то трудно назвать эту программу "реалистичной". Скажем, первый модуль первого курса (полсеместра?) покрывает почти весь материал первого семестра мехмата + логика, т.е. "Мощности множеств, теорема Кантора-Бернштейна, формула включений-исключений. Вполне упорядоченные множества. Индукция. Аксиома выбора, теорема Цермело и лемма Цорна.
Это все и так есть в первом модуле более менее, сейчас уже подзабыл
Но некоторые идеи письма крайне спорны, с моей точки зрения. если не назвать их ошибочными.
Не понимаю, за что обидели автоматы и КС грамматики. Называть это спецкурсом - это уж совсем.
Логика предикатов названа небазовым материалом - ага, приехали. И вывод этот делается из того, что якобы, тема мало упоминается.
Не упоминается в обязательных курсах следующей пары лет, то, что не упоминается так долго, априори забывается