Gexon | Дата: Суббота, 06.08.2011, 02:43 | Сообщение # 1 |
 Оракул
Группа: Старший енот
Сообщений: 543
Статус: Offline
| Не помню в какой ветке, но я уже вроде как давал ссылки на некоторые курсы оттуда. Подчеркну слово _курсы_ - НЕ уроки, а именно курсы. с занятиями с зачетами и экзаменом в конце каждого курса и выдачей свидетельства об окончании курса.
http://www.intuit.ru/department/pl/logicp/ - тут видеокурс по Логическому программированию Автор: Сошников Дмитрий Валерьевич
|
|
| |
Gexon | Дата: Суббота, 06.08.2011, 03:02 | Сообщение # 2 |
 Оракул
Группа: Старший енот
Сообщений: 543
Статус: Offline
| http://www.intuit.ru/department/pl/funcprog/ - Функциональное программирование автор тот-же что и в первом посте Дмитрий Сошников
Информация о курсе Курс знакомит слушателей с парадигмой функционального программирования, в которой решение задач сводится к описанию функций, перерабатывающих некоторые входные данные в выходные и строящихся из более простых функций на основе принципов функциональной абстракции и аппликации. Рассматриваются теоретические основы функционального программирования (лямбда-исчисление, комбинаторная логика, вопросы вычислимости), на примере функционального подхода дается представление о некоторых теоретических разделах компьютерных наук (семантика языков программирования, доказательство программ). С другой стороны курс содержит значительную практическую составляющую, основанную на промышленном языке программирования F# (входит в состав Microsoft Visual Studio 2010), рассматриваются вопросы использования функциональных языков для построения компиляторов, грамматического разбора и т.д.
|
|
| |