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

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

(Различия между версиями)
Перейти к: навигация, поиск
 
(6 промежуточных версий не показаны.)
Строка 1: Строка 1:
-
=Язык Ада=
+
= Язык Ада =
== Информация о курсе ==
== Информация о курсе ==
-
* Лектор - Рыбин Сергей Игоревич, старший научный сотрудникаНИВЦ МГУ, консультант компании AdaCore EU, эксперт по языку Ада рабочей группы ISO по стандарту языка, выпускник кафедры АЯ ВМК МГУ
+
* Лектор - Рыбин Сергей Игоревич, старший научный сотрудник НИВЦ МГУ, консультант компании AdaCore EU, эксперт по языку Ада рабочей группы ISO по стандарту языка, выпускник кафедры АЯ ВМК МГУ
* Лекции проходят по средам в 17.00 в аудитории 503
* Лекции проходят по средам в 17.00 в аудитории 503
* Форма отчетности - экзамен
* Форма отчетности - экзамен
Строка 8: Строка 8:
* Курс читался весной 2010 года
* Курс читался весной 2010 года
-
==Форма проведения экзамена==
+
== Форма проведения экзамена ==
 +
* Экзамен письменный
* Задаются 5 или 6 качественных вопроса, на которые сложно ответить, если не ходил на лекции.
* Задаются 5 или 6 качественных вопроса, на которые сложно ответить, если не ходил на лекции.
-
* Можно пользовать можно всем, кроме соседей(интернет не сильно помогает(хотя теперь, тк информации об Аде не так много. В виду наличия этих лекций теперь интеренет должен помочь :) ))
+
* Можно пользоваться можно всем, кроме соседей
* Отвечать лучше кратко, по делу и именно на тот вопрос, который задается. Вода и хождения вокруг да около вместо ответа не прокатят.
* Отвечать лучше кратко, по делу и именно на тот вопрос, который задается. Вода и хождения вокруг да около вместо ответа не прокатят.
* Если на какой-то вопрос никто не сможет правильно ответить, то этот вопрос не учитывается никому и лектор считает, что это его ошибка, а не ошибка студентов.
* Если на какой-то вопрос никто не сможет правильно ответить, то этот вопрос не учитывается никому и лектор считает, что это его ошибка, а не ошибка студентов.
-
* Экзамен можно сдать 2 раза, если лектор помнит ваше лицо. Иначе, при назачете в 1 раз, до 2 раза вас могут не допустить.
+
* Экзамен можно сдать 2 раза, если лектор помнит ваше лицо. Иначе, при незачете в первый раз, до второго раза могут не допустить.
 +
== Ссылки на ресурсы ==
 +
* http://ada-ru.org/
 +
Лекции записаны по аудиозаписям участником [[Участник:Sedzy|Sedzy]]
-
Ссылки на ресурсы:
 
-
[http://ada-ru.org]
 
- 
-
--[[Участник:Sedzy|Sedzy]] 21:39, 28 мая 2010 (UTC)
 
{{Язык Ада, весна 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
Личные инструменты
Разделы