Каждый семестр Георгий Курячий читает на факультете ВМК МГУ различные курсы лекций.

Георгий Курячий читает лекции в МПГУ для преподавателей и им сочувствующих. Подробнее:

• https://heap.altlinux.org/engine/Edu/Courses/OpenLectory

Эта страница не является официальным сайтом ВМШ (Вечерней Математической Школы при ВМиК МГУ). Однако мне представляется удобным размещать тут материалы к занятиям.

Данный курс лекций имеет отдалённое отношение к тематике семинара, но, ввиду отсутствия прочих информационных ресурсов и наличия заинтересованности отдельных участников семинара в них, информация о них помещена здесь.

• Курс предназначен для магистров и бакалавров 3-4 года обучения.
• Курс предполагает прохождение стандартного курса математики (алгебра, начала топологии, анализ, начала теории алгоритмов) и начального курса логики (прежде всего, умение корректно записывать и читать логические формулы), а также знакомство с высокоуровневыми концепциями современной информатики (языки спецификаций, альтернативные стили программирования).
• Курс рассчитан на 16 часов лекций и 16 часов практики.
• Отчетность: домашняя контрольная работа (теоретическая), программная модель простейших конструктивных конструкций, зачет по окончанию курса.

Лекции проходят в течение марта 2010 года по следующему расписанию:

• По пятницам в 18:00 в аудитории 523 2-го учебного корпуса МГУ проводятся дополнительные лекции для ВМК.

• По субботам с 10:40 до 16:10 в аудитории Е335 нового первого учебного корпуса проводятся лекции для ВМК и философского факультета.