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

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

Аннотация

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

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

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

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

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

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

Литература

1. Anisimov A.V., Dzhebeljan T., Ljaleckij A.V., Popov N. Sistemy Theorema i avtomatizacija dedukcii: sravnitel'nyj analiz // Upravljajushhie sistemy i mashiny. — 2011. — № 4. — S. 59-63.
2. Babenko K. I. O dokazatel'nyh vychislenijah i matematicheskom jeksperimente na JeVM // UMN. — 1985. — T. 40. — № 4(244). — S. 137-138.
3. Batrakov V. A., V.I. Shelehov V. I. Avtomaticheskoe dokazatel'stvo formul korrektnosti predikatnoj programmy v sisteme Russell // preprint № 163. Novosibirsk — 2012. — 32 c. URL: http://www.iis.nsk.su/files/preprints/163.pdf (data obrashhenija: 10.10.2016).
4. Voronin A. V., Bogojavlenskij Ju. A., Kuznecov V. A. Prepodavanie prikladnoj matematiki i informacionnyh i kommunikacionnyh tehnologij v Petrozavodskom gosudarstvennom universitete: istorija stanovlenija // Trudy SORUCOM 2014, Tret'ej mezhd. konf. "Razvitie vychislitel'noj tehniki i ee programmnogo obespechenija v Rossii i stranah byvshego SSSR: istorija i perspektivy". Kazan'. — 2014. — S. 71-78.
5. Govoruhin V., Cibulin B. Komp'juter v matematicheskom issledovanii — Spb: Piter, — 2001 — 624 s.
6. Glushkov V. M. Nekotorye problemy teorii avtomatov i iskusstvennogo intellekta // Kibernetika. — 1970. — T. 2. — S. 3-13.
7. Zhuravlev Ju. I. Fundamental'no-matematicheskij i obshhekul'turnyj aspekty shkol'noj informatiki. // Informatika. Izdatel'skij dom "Pervoe sentjabrja". — 2007 — № 02. URL: http://inf.1september.ru/article.php?ID=200700205 (data obrashhenija: 10.10.2016).
8. Kas'janov V. N. Voprosy obuchenija matematikov programmirovaniju. // Vserossijskaja konf. «Matematika i obshhestvo. Matematicheskoe obrazovanie na rubezhe vekov». Dubna — 2000. — M.: Izdatel'stvo MCNMO. — 2000. — S. 472-475.
9. Kozel O. N., Karakozov S. D., Ryzhova N. I. Informacionno-vychislitel'naja kompetentnost' vypusknika vuza (na primere uchitelja informatiki). // Sovremennye informacionnye tehnologii i IT-obrazovanie. Sb. izbrannyh trudov VII mezhd. nauchno-prakticheskoj konf. [Pod red. Prof. V. A. Suhomlina]. — M.: INTUIT.RU/ — 2012. — S. 182-186.
10. Kosovskij N. K., Leonov G. A., Terehov A. N. Rol' matematicheskogo obrazovanija v podgotovke specialistov po informacionnym tehnologijam Tr. Sankt-Peterburgskogo nauchnogo foruma "Nauka i obshhestvo. Informacionnye tehnologii" URL: http://www.math.spbu.ru/user/ant/all_articles/083_Terekhov_Leonov_Kosovsky.pdf (data obrashhenija: 12.10.2016).
11. Lebedev G. V., Kushnirenko A. G. Programmirovanie dlja matematikov: uch. posobie dlja vuzov po special'nostjam «Matematika» i «Prikladnaja matematika». — M.: Nauka. — 1988. — 384 s.
12. Nepejvoda N.N., Skopin I.N. Osnovanija programmirovanija. Izhevsk; Moskva: RHD. — 2003. — 367 s.
13. Ragulina M. I. Informacionnye tehnologii v matematike : uch. posobie — Akademija — 2008 — 304 s.
14. Rezul'tat poiskovogo zaprosa. URL: http://moeobrazovanie.ru/search?section=vuz&result&kod_okso=01.03.01 (data obrashhenija: 13.10.2016).
15. Rekomendacii po prepodavaniju programmnoj inzhenerii i informatiki v universitetah = Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering; Computing Curricula 2001: Computer Science: per. s angl. — M.: INTUIT.RU «Internet-Universitet Informacionnyh Tehnologij» — 2007. — 462 s.
16. Tarasevich Ju. Ju. Informacionnye tehnologii v matematike: uch. posobie. — Izd. 2-e. — M.: Izdatel'stvo LKI — 2008. — 136 s.
17. Shokin Ju. I. Interval'nyj analiz. Novosibirsk: Sibirskoe otdelenie izdatel'stva Nauka — 1981 — 112 s.
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 (data obrashhenija: 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>. Дата доступа: 20 apr. 2024
Форматы библиографических ссылок
Выпуск
Том 12 № 4 (2016): Современные информационные технологии и ИТ-образование
Раздел
ИТ-образование: методология, методическое обеспечение
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.

Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.