Искусственный Интеллект

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

(Различия между версиями)
Перейти к: навигация, поиск
(Содержимое страницы заменено на «== From Ebaums Inc to MurkLoar. == We at EbaumsWorld consider you as disgrace of human race. Your faggotry level exceeded any imaginab...»)
(Отмена правки № 1331 участника 91.121.7.211 (обсуждение))
 
Строка 1: Строка 1:
-
== From Ebaums Inc to MurkLoar. ==
+
== Информация ==
-
We at EbaumsWorld consider you as disgrace of human race.
+
[[Изображение:AI_lector_1.jpg|thumb|201px|профессор Мальковский Михаил Георгиевич]]
-
Your faggotry level exceeded any imaginable levels, and therefore we have to inform you that your pitiful resourse should be annihilated.
+
[[Изображение:AI_lector_2.jpg|thumb|201px|профессор Мальковский Михаил Георгиевич]]
-
Dig yourself a grave - you will need it.
+
* Лектор — профессор Мальковский Михаил Георгиевич
 +
* Сайт — http://al.cs.msu.su/malk/ai
 +
 
 +
== Прохождение курса ==
 +
 
 +
В начале октября лектор поедет в Севастополь.
 +
Захаров до октября в Астане
 +
 
 +
Потом будут лекции вместо лекций Захарова. Бакалавры заняты в это время, но что делать.
 +
 
 +
Потом Захаров просил отдать лекции ему в конце сентября. Ещё неизвестно, но об этом объявят.
 +
 
 +
В середине октября будет перерыв в 3 недели, и в это время лекции будет читать Захаров.
 +
 
 +
Сегодня будет всего одна лекция, 2 раза по 45 минут. Будем считать, что сегодня должен рассказать материал 2 лекций. Итого, за 3 лекции будет прочитано 4.
 +
 
 +
== Отчётность по курсу ==
 +
 
 +
Нас ожидает экзамен. Здесь должны быть специалисты и бакалавры. По традиции, проводится комплекс таких мероприятий:
 +
 
 +
* Вместо последней лекции, до начала зачётной сессии, предположительно '''18 декабря''', будет проводиться так называемый '''коллоквиум''', по факту '''досрочный экзамен''' (и коллоквиум, и экзамен '''письменные'''). На коллоквиум допускаются все, кто будет присутствовать на '''всех трёх''' лекторских '''проверках''' (будут проведены в сентябре, октябре, ноябре). Борис Иванович Березин 30 августа напомнил, что посещаемость обязательна.
 +
* Каждый год лектор собирает информацию о среднем балле студента, и, например, отличники могут отказаться от 4, четвёрочники могут отказаться от 3
 +
* На коллоквиуме оценки получают порядка 60 человек
 +
* Работы коллоквиума лектор проверяет сам
 +
* На экзамене работы проверяются конвейерным методом
 +
* Как проходит лекторская проверка — пускается листок, если количество людей отличается от количества записанных более чем на 5%, то коллоквиум отменяется
 +
 
 +
== Структура курса ==
 +
 
 +
ИИ --- довольно своеобразное направление.
 +
 
 +
# Раздел первый, вводный --- новые информационные технологии и искусственный интеллект. Будет рассказано о том, что такое ИИ. Первая лекция о том, что такое ИИ, 2—4 — о психологии.
 +
# Второй раздел посвящён ПО, связанным с ИИ. <div class="comment">Знакомый программист лектора: «я знаю, что надо говорить «обеспеченье», но у меня это ассоциируется с лишением человека печени»</div> В этом разделе ожидает знакомство с языками Lisp и Planner.
 +
#* Planner&nbsp;— создавался как язык программирования, но в результате получилась инструментальная среда
 +
#* Будет рассказано о некоторых возможностях этих языков. На экзамене не будет ожидаться умение программировать, но вот найти ошибку, или объяснить, что делает программа, или посчитать результат несложной формы&nbsp;— вполне.
 +
# Человеческий интеллект&nbsp;— процесс решения задачи. Здесь будут рассматриваться разные метода планирования решений, ..., переборные решения, ограничения перебора, проблемы рассуждения в условиях неопределённости
 +
# Проблема знаний.
 +
# Экспертные системы. Экспертные системы&nbsp;— первая попытка исп. достижения работ по ИИ для решения прикладных задач.
 +
# Общение человека... Этим и занимается лектор.
 +
 
 +
Таковы основные разделы.
 +
 
 +
<div class="comment">Лектор вспомнил, что его знакомство с ИИ началось ровно 40 лет назад.</div>
 +
 
 +
По поводу материала: Есть конспекты, пока лектор адрес не знает, но они там появятся где-то в середине сентября.
 +
 
 +
{{Курс Искусственный Интеллект}}
 +
{{Лекции}}

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

Содержание

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

профессор Мальковский Михаил Георгиевич
профессор Мальковский Михаил Георгиевич
профессор Мальковский Михаил Георгиевич
профессор Мальковский Михаил Георгиевич
  • Лектор — профессор Мальковский Михаил Георгиевич
  • Сайт — http://al.cs.msu.su/malk/ai

[править] Прохождение курса

В начале октября лектор поедет в Севастополь. Захаров до октября в Астане

Потом будут лекции вместо лекций Захарова. Бакалавры заняты в это время, но что делать.

Потом Захаров просил отдать лекции ему в конце сентября. Ещё неизвестно, но об этом объявят.

В середине октября будет перерыв в 3 недели, и в это время лекции будет читать Захаров.

Сегодня будет всего одна лекция, 2 раза по 45 минут. Будем считать, что сегодня должен рассказать материал 2 лекций. Итого, за 3 лекции будет прочитано 4.

[править] Отчётность по курсу

Нас ожидает экзамен. Здесь должны быть специалисты и бакалавры. По традиции, проводится комплекс таких мероприятий:

  • Вместо последней лекции, до начала зачётной сессии, предположительно 18 декабря, будет проводиться так называемый коллоквиум, по факту досрочный экзамен (и коллоквиум, и экзамен письменные). На коллоквиум допускаются все, кто будет присутствовать на всех трёх лекторских проверках (будут проведены в сентябре, октябре, ноябре). Борис Иванович Березин 30 августа напомнил, что посещаемость обязательна.
  • Каждый год лектор собирает информацию о среднем балле студента, и, например, отличники могут отказаться от 4, четвёрочники могут отказаться от 3
  • На коллоквиуме оценки получают порядка 60 человек
  • Работы коллоквиума лектор проверяет сам
  • На экзамене работы проверяются конвейерным методом
  • Как проходит лекторская проверка — пускается листок, если количество людей отличается от количества записанных более чем на 5%, то коллоквиум отменяется

[править] Структура курса

ИИ --- довольно своеобразное направление.

  1. Раздел первый, вводный --- новые информационные технологии и искусственный интеллект. Будет рассказано о том, что такое ИИ. Первая лекция о том, что такое ИИ, 2—4 — о психологии.
  2. Второй раздел посвящён ПО, связанным с ИИ.
    Знакомый программист лектора: «я знаю, что надо говорить «обеспеченье», но у меня это ассоциируется с лишением человека печени»
    В этом разделе ожидает знакомство с языками Lisp и Planner.
    • Planner — создавался как язык программирования, но в результате получилась инструментальная среда
    • Будет рассказано о некоторых возможностях этих языков. На экзамене не будет ожидаться умение программировать, но вот найти ошибку, или объяснить, что делает программа, или посчитать результат несложной формы — вполне.
  3. Человеческий интеллект — процесс решения задачи. Здесь будут рассматриваться разные метода планирования решений, ..., переборные решения, ограничения перебора, проблемы рассуждения в условиях неопределённости
  4. Проблема знаний.
  5. Экспертные системы. Экспертные системы — первая попытка исп. достижения работ по ИИ для решения прикладных задач.
  6. Общение человека... Этим и занимается лектор.

Таковы основные разделы.

Лектор вспомнил, что его знакомство с ИИ началось ровно 40 лет назад.

По поводу материала: Есть конспекты, пока лектор адрес не знает, но они там появятся где-то в середине сентября.


Искусственный Интеллект


01 02 03 04 04 06 ... -3 -2 -1


Календарь

вт вт ср вт ср вт
Сентябрь
04 11 12 18 19 25
Ноябрь
      20   27
Декабрь
04

Материалы
Фактический материал | Вопросы на экзамене


Лекции

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