Стандарт для CS
Что должен знать студент CS курсу к третьему:

1) логику - исчисление предикатов etc. Интуиционистскую, позитивную etc логики и всякую с этим связанную херню. То есть не столько знать в деталях, сколько понимать что там и к чему. "Конструктивная математика" идет лесом. Что еще - теоретико-модельные доказательства непротиворечивости и прочей фигни. Минимальные представления об исчислении предикатов высших порядков - в математике это ни на хер не надо, а вот в CS - надо. etc

2) Бестиповое лямбда-исчисление. С подробностями - как минимум до нумералов Черча, теоремы Черча-Россера и прочей фигни. Типизированное лямбда исчисление - как минимум на уровне результатов о завершаемости. Дальше вдоль книжки Барендрегта. Фиг его знает докуда. Как миниимум - до typing ala Church и ala Curry.

3) Теория категорий - хотя бы в объеме вот этого ликбеза: Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.
Год издания: 1991

---

Как-то так: подчеркиваю - это никакая не "суперпередовая наука". Это базовый стандарт уже лет 10-15 как (как анализ или общая топология) без которого просто будет невозможно статьи по специальности читать. Как-то так.

PS: Зачем это нужно - чтобы не впадать в ступор при виде страницы из такой вот статьи (про .NET, между прочим - продукт Microsoft Research)- там никаких откровений нет - проходная техническая статья: