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

Авторы

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

Ключевые слова:

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

Аннотация

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

Загрузки

Опубликован

23.01.2014

Выпуск

№ 6 (2012)

Раздел

Новая статья

Лицензия

Авторский договор

Как цитировать

[1]
«Формализованная дискретность в математике как основа обучения информатике», Компьютерные инструменты в образовании, вып. 6, янв. 2014, просмотрено: сен. 08, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1330

Наиболее читаемые статьи этого автора (авторов)