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