Парадигмы программирования

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

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

Содержание

[править] Введение в парадигмы программирования

Столяров Андрей Викторович
Столяров Андрей Викторович

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

  • Лектор — Столяров Андрей Викторович.
  • Лекции проходят по четвергам в 18:00 (шестая пара) в аудитории 524.
  • Отчётность — зачёт.
    • Если пропущено не более пяти лекций, можно получить 3 без сдачи зачёта;
    • Если пропущено не более двух лекций, можно получить 4 без сдачи зачёта;
    • Желающие получить 5 сдают зачёт, на котором будет один вопрос в письменной форме (всего ~30 билетов).

[править] Экзамен

  • Экзамен по курсу пройдёт 10 декабря 2009 года в 18:00 в аудитории 524.
  • Список экзаменационных билетов доступен по адресу: http://www.stolyarov.info/pvt/par-exam (копия на вики)
  • Оценка за посещение: На 4 балла — все лекции кроме двух, на 3 — 2/3 с округлением вниз (7 из 11).
  • Сдача экзамена в другое время по предварительной договорённости с лектором.

[править] Технология проведения экзамена

Технология обусловлена тем, что достаточно много людей хотят получить за посещение. На экзамен будут принесены ксерокопии, скрепленные степлером, после чего желающим в коридоре предлагается найти себя в бумажках и выписать номера в этих списках. В это время в аудитории будут выдаваться билеты и люди будут готовиться сдавать экзамен. После выдачи билетов можно подходить и получать оценку за посещение.

Ещё один момент: рекомендуется запасаться ведомостью заранее. В ведомость можно записывать студентов одной группы.


[править] См. также


Введение в парадигмы программирования


01 02 03 04 05 06 07 08 09 10 11


Календарь

Сентябрь
24
Октябрь
01 08 15 22 29
Ноябрь
05 12 19 26
Декабрь
03

Экзамен по курсу пройдёт 10 декабря 2009 года в 18:00 в аудитории 524. | Список экзаменационных вопросов


Лекции

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
Личные инструменты
Разделы