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

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

Перейти к: навигация, поиск

Содержание

1 Язык Ада

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

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

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

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

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

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

http://ada-ru.org/

Лекции записаны по аудиозаписям участником 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