Standard

Формализованная дискретность в математике как основа обучения информатике. / Косовский, Н.К.

в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, № 6, 2012, стр. 57-62.

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

Harvard

Косовский, НК 2012, 'Формализованная дискретность в математике как основа обучения информатике', КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, № 6, стр. 57-62. <http://elibrary.ru/item.asp?id=20371266>

APA

Косовский, Н. К. (2012). Формализованная дискретность в математике как основа обучения информатике. КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, (6), 57-62. http://elibrary.ru/item.asp?id=20371266

Vancouver

Косовский НК. Формализованная дискретность в математике как основа обучения информатике. КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2012;(6):57-62.

Author

Косовский, Н.К. / Формализованная дискретность в математике как основа обучения информатике. в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2012 ; № 6. стр. 57-62.

BibTeX

@article{1c3478c2a31a49aca6f219108e46b483,
title = "Формализованная дискретность в математике как основа обучения информатике",
abstract = "Затрагиваются революционные тенденции XX века в формализации математики. Уточняется влияние информатики на преподавание некоторых разделов формализованной математики студентам-информатикам. Предлагаются желательные изменения читаемых математических курсов для студентов-информатиков. Характеризуются специальность и направление «Математическое обеспечение и администрирование информационных систем», разработанные и реализованные, прежде всего, преподавателями математико-механического факультета Санкт-Петербургского государственного университета. Перечисляются учебные пособия, излагающие опыт автора в преподавании некоторых разделов формализованной математики для студентов-информатиков.",
keywords = "формализация, дискретное моделирование, непрерывное моделирование, алгоритм, сложность алгоритма, FP-SPACE, математическое обеспечение, информатика.",
author = "Н.К. Косовский",
year = "2012",
language = "русский",
pages = "57--62",
journal = "КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ",
issn = "2071-2340",
publisher = "Издательство СПбГЭТУ {"}ЛЭТИ{"}",
number = "6",

}

RIS

TY - JOUR

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

AU - Косовский, Н.К.

PY - 2012

Y1 - 2012

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

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

KW - формализация

KW - дискретное моделирование

KW - непрерывное моделирование

KW - алгоритм

KW - сложность алгоритма

KW - FP-SPACE

KW - математическое обеспечение

KW - информатика.

M3 - статья

SP - 57

EP - 62

JO - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

JF - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

SN - 2071-2340

IS - 6

ER -

ID: 5478756