[Recent Entries][Archive][Friends][User Info]
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... ) |
| Previous Day | 2007/07/03 [Archive] |
Next Day |