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

Авторы

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

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

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

Аннотация

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

Загрузки

Опубликован

31.12.2012

Выпуск

№ 6 (2012)

Раздел

Подготовка специалистов: новые методы обучения

Лицензия

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

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

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

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