ИТ СОСТАВЛЯЮЩАЯ В ПОДГОТОВКЕ БАКАЛАВРОВ НАПРАВЛЕНИЯ «МАТЕМАТИКА»

  • Геннадий Сергеевич Сиговцев Петрозаводский государственный университет
  • Марина Анатольевна Чарута Петрозаводский государственный университет

Аннотация

В статье обсуждается содержание учебных планов бакалавров по направлению 01.03.01 — Математика с точки зрения подготовки в области информационных технологий. Рассматриваются основные направления применения информационных технологий в математическом образовании и математических исследованиях. Учебные ИТ дисциплины классифицируются по отношению к парадигмам компьютерной обработки математических знаний. Анализируется содержание понятий научные вычисления и доказательные вычисления.

Сведения об авторах

Геннадий Сергеевич Сиговцев, Петрозаводский государственный университет

доцент кафедры информатики и математического обеспечения Петрозаводского государственного университета, кандидат физико-математических наук

Марина Анатольевна Чарута, Петрозаводский государственный университет

старший преподаватель кафедры информатики и математического обеспечения Петрозаводского государственного университета

Литература

1. Анисимов А.В., Джебелян Т., Лялецкий А.В., Попов Н. Системы Theorema и автоматизация дедукции: сравнительный анализ // Управляющие системы и машины. — 2011. — № 4. — С. 59-63.
2. Бабенко К. И. О доказательных вычислениях и математическом эксперименте на ЭВМ // УМН. — 1985. — Т. 40. — № 4(244). — С. 137-138.
3. Батраков В. А., В.И. Шелехов В. И. Автоматическое доказательство формул корректности предикатной программы в системе Russell // препринт № 163. Новосибирск — 2012. — 32 c. URL: http://www.iis.nsk.su/files/preprints/163.pdf (дата обращения: 10.10.2016).
4. Воронин А. В., Богоявленский Ю. А., Кузнецов В. А. Преподавание прикладной математики и информационных и коммуникационных технологий в Петрозаводском государственном университете: история становления // Труды SORUCOM 2014, Третьей межд. конф. "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы". Казань. — 2014. — С. 71-78.
5. Говорухин В., Цибулин Б. Компьютер в математическом исследовании — Спб: Питер, — 2001 — 624 с.
6. Глушков В. М. Некоторые проблемы теории автоматов и искусственного интеллекта // Кибернетика. — 1970. — Т. 2. — С. 3-13.
7. Журавлев Ю. И. Фундаментально-математический и общекультурный аспекты школьной информатики. // Информатика. Издательский дом "Первое сентября". — 2007 — № 02. URL: http://inf.1september.ru/article.php?ID=200700205 (дата обращения: 10.10.2016).
8. Касьянов В. Н. Вопросы обучения математиков программированию. // Всероссийская конф. «Математика и общество. Математическое образование на рубеже веков». Дубна — 2000. — М.: Издательство МЦНМО. — 2000. — С. 472-475.
9. Козел О. Н., Каракозов С. Д., Рыжова Н. И. Информационно-вычислительная компетентность выпускника вуза (на примере учителя информатики). // Современные информационные технологии и ИТ-образование. Сб. избранных трудов VII межд. научно-практической конф. [Под ред. Проф. В. А. Сухомлина]. — М.: ИНТУИТ.РУ/ — 2012. — С. 182-186.
10. Косовский Н. К., Леонов Г. А., Терехов А. Н. Роль математического образования в подготовке специалистов по информационным технологиям Тр. Санкт-Петербургского научного форума "Наука и общество. Информационные технологии" URL: http://www.math.spbu.ru/user/ant/all_articles/083_Terekhov_Leonov_Kosovsky.pdf (дата обращения: 12.10.2016).
11. Лебедев Г. В., Кушниренко А. Г. Программирование для математиков: уч. пособие для вузов по специальностям «Математика» и «Прикладная математика». — М.: Наука. — 1988. — 384 с.
12. Непейвода Н.Н., Скопин И.Н. Основания программирования. Ижевск; Москва: РХД. — 2003. — 367 с.
13. Рагулина М. И. Информационные технологии в математике : уч. пособие — Академия — 2008 — 304 с.
14. Результат поискового запроса. URL: http://moeobrazovanie.ru/search?section=vuz&result&kod_okso=01.03.01 (дата обращения: 13.10.2016).
15. Рекомендации по преподаванию программной инженерии и информатики в университетах = Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering; Computing Curricula 2001: Computer Science: пер. с англ. — М.: ИНТУИТ.РУ «Интернет-Университет Информационных Технологий» — 2007. — 462 с.
16. Тарасевич Ю. Ю. Информационные технологии в математике: уч. пособие. — Изд. 2-е. — М.: Издательство ЛКИ — 2008. — 136 с.
17. Шокин Ю. И. Интервальный анализ. Новосибирск: Сибирское отделение издательства Наука — 1981 — 112 с.
18. Maggesi M., and Simpson C. Information technology implications for mathematics — a view from the French riviera. URL: http://math.unice.fr/~carlos/preprints/itmath8.pdf (дата обращения: 14.10.2016).
Опубликована
2016-11-26
Как цитировать
СИГОВЦЕВ, Геннадий Сергеевич; ЧАРУТА, Марина Анатольевна. ИТ СОСТАВЛЯЮЩАЯ В ПОДГОТОВКЕ БАКАЛАВРОВ НАПРАВЛЕНИЯ «МАТЕМАТИКА». Международный научный журнал «Современные информационные технологии и ИТ-образование», [S.l.], v. 12, n. 4, p. 11-19, nov. 2016. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/153>. Дата доступа: 23 june 2017
Раздел
ИТ-образование: методология, методическое обеспечение