kouzdra - July 3rd, 2007

July 3rd, 2007

July 3rd, 2007
01:08 am

[Link]

Стандарт для 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)- там никаких откровений нет - проходная техническая статья:
Read more... )

(9 comments | Leave a comment)

Previous Day 2007/07/03
[Archive]
Next Day
My Website Powered by LJ.Rossia.org