Главная страница
Фотогалерея
Конференция ИТО

Информационное письмо

Программный комитет

Оргкомитет

Договор оферты

Условия участия в конференции

Список заявленных участников

Список докладов и секций

Партнеры



ООО "Цверг"

статистика

AllBest.Ru
Научные конференции
Яндекс цитирования

ОПЫТ ПРИМЕНЕНИЯ ЭЛЕКТРОННЫХ РЕСУРСОВ В ОБУЧЕНИИ СТУДЕНТОВ МИРЭА

Куров Борис Николаевич ([email protected])

Институт проблем информатики РАН (ИПИ РАН), г. Москва

Анализируются опыт применения электронных образовательных ресурсов по теории символьного моделирования (s-моделирования) в занятиях со студентами МИРЭА, обучающимися на базовой кафедре проблем информатики ИПИ РАН. Теория s‑моделирования и образовательные ресурсы разработаны проф., д.т.н. В.Д. Ильиным и к.т.н. А.В. Ильиным [1-3].

Программа обучения старшекурсников и магистрантов МИРЭА включает освоение дисциплин «Символьное моделирование в информатике»,
«Теория s-моделирования и её применение» (читаемых проф. В.Д. Ильиным) и «Алгоритмизация и решение задач управления в s-среде» (преподаватель — доц. Б.Н. Куров). Методической платформой всех перечисленных дисциплин является теория s‑моделирования, созданная проф. В.Д. Ильиным совместно с к.т.н. А.В. Ильиным [1-3].

S‑моделирование является теоретическим основанием информатизации. Теория s‑моделирования включает язык специфицированного описания TSM расширяемой системы понятий, описание ядра этой системы и классов базовых задач построения моделей произвольных объектов, а также манипулирования моделями. Сформулированы правила построения в s‑среде систем символов, символьных конструкций и соответствующих им систем кодов и кодовых конструкций. Определены унифицированные s-модели систем понятий и систем знаний. Сформулированы классы базовых задач s‑моделирования.

Целью изучения s‑моделирования является методология решения задач из этих классов: s‑(представления, преобразования, распознавания, конструирования, интерпретации, обмена, сохранения, накопления, поиска и защиты) s‑сообщений.

Теория s‑моделирования рассматривается как методологическая платформа построения и применения связанных между собой систем знаний, относящихся к разным предметным областям информатики, физики, математики, биологии и других наук.

Особое место в развитии s‑моделирования принадлежит идее его формализации, заключающейся в том, чтобы строить символьные модели по определенным правилам из заранее определенных элементов. В s‑моделировании задача имеет более широкий смысл, чем в математике. Множество символов, применимых для построения s‑моделей – это множество элементарных конструктивных объектов, каждый из которых наделен набором атрибутов и совокупностью допустимых операций. Построение конструкций из элементов этого множества определено системой правил конструирования s‑моделей.

Общий метод s‑моделирования – конструктивное доказательство существования s‑модели, представимой в двух формах, одна из которых рассчитана на интерпретацию человеком, а другая – s‑машиной.

Результаты, полученные в исследованиях, посвящённых
s-моделированию, апробированы в технологиях интерактивного преобразования ресурсов по изменяемым системам правил [3], автоматизированного конструирования программ на задачных графах [3].

Полученные теоретические результаты и опыт реализации систем знаний, рассчитанных на поддержку процессов разработки программ, использованы проф. В.Д. Ильиным при создании гипермедийных образовательных ресурсов по читаемым им дисциплинам. Эти же ресурсы использовались и доц. Б.Н. Куровым. Они были очень полезны студентам не только при освоении теоретического материала, но и при выполнении лабораторных и курсовых работ. При наличии этих ресурсов существенно повышалась продуктивность лекционных и практических занятий. Необходимая помощь осуществлялась в on-line режиме с помощью Skype.

Литература:

1.   Ильин А.В., Ильин В.Д. S-моделирование задач и конструирование программ (электронная публикация). – М.: ИПИ РАН, 2012. 978-5-91993-013-6 – 148 с.

2.    Ильин А.В., Ильин В.Д. Символьное моделирование в информатике (электронная публикация). – М.: ИПИ РАН, 2011. ISBN 978-5-91993-005-1. – 204 с.

3.   Ильин А.В., Ильин В.Д. S-моделирование объектов информатизации (электронная публикация). – М.: ИПИ РАН, 2010. ISBN 978-5-902030-86-7. – 412 с.

Дополнительные возможности: