ЮрИнфоР >>>

Учебно-методический комплекс по компьютерным наукам и информационным технологиям

Общее описание

Предлагаем Вашему вниманию учебно-методический комплекс дисциплины (УМКД), который в равной степени можно отнести к дискретной математике (ДМ) и к фундаментальным основам информационных технологий (ФОИТ). Это готовое решение, которое в своем минимальном объеме включает в себя книгу - изложение предмета в примерах и задачах, - а также несколько программных сред для изучения вычислений с объектами. Эти среды организованы по типу виртуального продолжения книги. Как распорядиться этим материалом - оставляется на усмотрение преподавателя, организующего изучение дисциплины или комплекса дисциплин. При желании или необходимости специализировать слушателей в направлении семантики языков программирования, абстрактных машин и оптимизации кода, возможно, понадобится привлечь одну или несколько книг из серий "Компьютерные науки и информационные технологии" и "Фундаментальные основы информационных технологий". Каждая из них основана на опыте неоднократного чтения соответствующего курса студентам и/или аспирантам НИЯУ "МИФИ" и МФТИ. Материал книг серии взаимно дополнителен и написан таким образом, что его при необходимости можно изучить и самостоятельно, в порядке самообразования. Все необходимые первичные понятия разъясняются, изложение носит замкнутый характер. Библиография в конце книг частично аннотирована, в ряде случаев приведены ссылки на имеющиеся Интернет-ресурсы. В каждой из книг имеется глоссарий, помогающий начинающему сосредоточить свое внимание на ключевых понятиях и уяснении их смысла.

На основе книг серии можно организовать научно-исследовательскую работу студентов (НИРС), например, предлагая темы учебно-исследовательских проектов и курсового проектирования (УИР и КП), которые получают естественное продолжение в виде бакалаврских или магистерских диссертаций. На этой основе можно организовать обучение в аспирантуре, продолжая и развивая прежние результаты, приводя их по объему и уровню к требованиям диссертации на соискание ученой степени кандидата наук.

Учебно-методические материалы, входящие в состав комплекса

Книги:

• Вольфенгаген В.Э. Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах. 3-е изд., перераб. и дополн.

• Иные книги серии "Компьютерные науки и информационные технологии"

• Книги серии "Фундаментальные основы информационных технологий"

Курс на DVD:

• Комбинаторная логика. Видеокурс. Автор: Вольфенгаген В.Э.

Среды для изучения аппликативного компьютинга:

• Система изучения категориальной абстрактной машины
  Авторы: Вольфенгаген В.Э., Рословцев В.В.

• Система изучения комбинаторной логики и ламбда-исчисления
  Научный руководитель: Вольфенгаген В.Э. Постановка задачи: к.т.н. Исмаилова Л.Ю. Разработчик: Назаров В.Н.

• Активная система изучения конструкций языков программирования (Active PLC)
  Авторы: Вольфенгаген В.Э., Доронин А.С.

• Активная система изучения комбинаторной логики в программировании (Active CLoP)
  Авторы: Вольфенгаген В.Э., Жармухамедова М.С.

См. также

Вячеслав Эрнстович Вольфенгаген