Формализованная дискретность в математике как основа обучения информатике

Authors

  • Н. К. Косовский

Keywords:

формализация, дискретное моделирование, непрерывное моделирование, алгоритм, сложность алгоритма, FP-SPACE, математическое обеспечение, информатика

Abstract

Новые методы обучения 
Затрагиваются революционные тенденции XX века в формализации математики. Уточняется влияние информатики на преподавание некоторых разделов формализованной математики студентам-информатикам. Предлагаются желательные изменения читаемых математических курсов для студентов-информатиков. Характеризуются специальность и направление «Математическое обеспечение и администрирование информационных систем», разработанные и реализованные, прежде всего, преподавателями математико-механического факультета Санкт-Петербургского государственного университета. Перечисляются учебные пособия, излагающие опыт автора в преподавании некоторых разделов формализованной математики для студентов-информатиков.

Downloads

Published

2014-01-23

Issue

No. 6 (2012)

Section

Articles

License

Public offer

How to Cite

[1]
“Формализованная дискретность в математике как основа обучения информатике”, Computer Tools in Education, no. 6, Jan. 2014, Accessed: Sep. 08, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/1330

Most read articles by the same author(s)