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

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

Результат исследований: Научные публикации в периодических изданияхстатья

Аннотация

Затрагиваются революционные тенденции XX века в формализации математики. Уточняется влияние информатики на преподавание некоторых разделов формализованной математики студентам-информатикам. Предлагаются желательные изменения читаемых математических курсов для студентов-информатиков. Характеризуются специальность и направление «Математическое обеспечение и администрирование информационных систем», разработанные и реализованные, прежде всего, преподавателями математико-механического факультета Санкт-Петербургского государственного университета. Перечисляются учебные пособия, излагающие опыт автора в преподавании некоторых разделов формализованной математики для студентов-информатиков.
Язык оригиналарусский
Страницы (с-по)57-62
ЖурналКОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ
Номер выпуска6
СостояниеОпубликовано - 2012

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

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

Цитировать