Язык Ада, весна 2010

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
 
(1 промежуточная версия не показана)
Строка 19: Строка 19:
* http://ada-ru.org/
* http://ada-ru.org/
-
Лекции записаны по аудиозаписям товарищем [[Участник:Sedzy|Sedzy]]
+
Лекции записаны по аудиозаписям участником [[Участник:Sedzy|Sedzy]]
{{Язык Ада, весна 2010}}
{{Язык Ада, весна 2010}}
 +
{{Лекции}}

Текущая версия

Содержание

[править] Язык Ада

[править] Информация о курсе

  • Лектор - Рыбин Сергей Игоревич, старший научный сотрудник НИВЦ МГУ, консультант компании AdaCore EU, эксперт по языку Ада рабочей группы ISO по стандарту языка, выпускник кафедры АЯ ВМК МГУ
  • Лекции проходят по средам в 17.00 в аудитории 503
  • Форма отчетности - экзамен
  • Главная задача курса - не научить синтаксису языка, а рассказать философию языка
  • Курс читался весной 2010 года

[править] Форма проведения экзамена

  • Экзамен письменный
  • Задаются 5 или 6 качественных вопроса, на которые сложно ответить, если не ходил на лекции.
  • Можно пользоваться можно всем, кроме соседей
  • Отвечать лучше кратко, по делу и именно на тот вопрос, который задается. Вода и хождения вокруг да около вместо ответа не прокатят.
  • Если на какой-то вопрос никто не сможет правильно ответить, то этот вопрос не учитывается никому и лектор считает, что это его ошибка, а не ошибка студентов.
  • Экзамен можно сдать 2 раза, если лектор помнит ваше лицо. Иначе, при незачете в первый раз, до второго раза могут не допустить.

[править] Ссылки на ресурсы

Лекции записаны по аудиозаписям участником Sedzy


Язык Ада

01 02 03 04 05 06 07 08 09


Лекции

10 семестр История развития вычислительных технологий в СССР, России | Современные проблемы прикладной математики
9 семестр Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
8 семестр Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
7 семестр Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
6 семестр Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
5 семестр Базы Данных | Языки Программирования | Экономические Науки
3 семестр Операционные системы

Спецкурсы
Осень 2013 Современная криптография | Дизайн и реализация ОС FreeBSD
Весна 2011 Практические аспекты сетевой безопасности | Сетевое администрирование в UNIX
Осень 2010 UNИX | Теория функционального программирования. Язык Haskell | Введение в информационную безопасность | Информационный поиск
Весна 2010 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем | Язык Ада
Осень 2009 UNИX | Введение в парадигмы программирования
Весна 2009 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
Осень 2008 UNИX | Структурные методы обработки изображений и сигналов
Весна 2008 UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
Осень 2007 UNИX
Весна 2007 UNИX | Практика мультипарадигмального программирования
Осень 2006 Введение в теорию построения оптимизирующих компиляторов

Отдельные лекции Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim | Erinn Clark, The Tor Project: Anonymity Online
Личные инструменты
Разделы