Пятница
29.03.2024
13:01
Поиск
Вход на сайт
Логин:
Пароль:
Мини-чат
Друзья сайта

Проект "Ангор"

[ Обновленные темы · Новые сообщения · Участники · Правила форума · Поиск · RSS ]
  • Страница 1 из 1
  • 1
Модератор форума: angor, Gexon  
Ангорум » Проект "Ангор" - общий раздел » Материалы для самообразования » intuit.ru (Интернет-Университет Информационных Технологий)
intuit.ru
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), рассматриваются вопросы использования функциональных языков для построения компиляторов, грамматического разбора и т.д.

 
Ангорум » Проект "Ангор" - общий раздел » Материалы для самообразования » intuit.ru (Интернет-Университет Информационных Технологий)
  • Страница 1 из 1
  • 1
Поиск: