Содержание журнала, редсовет, редколлегия, информация об обложке и о диске.

Table of contents, editorial board, editors, information on cover, information on CD.

Cтатья написана на основе стенограммы выступления автора на открытии конференции СПИСОК (Системное Программирование, Интеллектуальные Системы, Обеспечение Качества) 23–24 апреля 2012 года.

Этот текст является слегка отредактированной стенограммой содоклада на совместном заседании Санкт-Петербургского Математического общества и Секции математики Дома учёных 23 марта 2010 года. Материалы заседания, включая видеозаписи, доступны в [1].

This publication is a slightly edited verbatim report of author's co-talk presented at joint meeting of St.Petersburg Mathematical Society and Mathematical section of the House of Scientists on March 23, 2010; related materials, including video recording, can be found on [1].

В статье рассматривается подход к перебору субоптимальных решений, основанный на введении специальных процессов перебора – «перечислителей», решающих задачи такого типа, и создании специальных, достаточно простых операций, позволяющих получать перечислители из более простых. Приводятся примеры таких операций. С. 25-34.

The paper presents an approach to enumeration of suboptimal solutions, based on introduction of special processes of enumeration – «enumerators», which solve problems of that kind for various smaller problems. Some special operations presented in the paper allow us to make the required enumerators of simpler ones. Some examples are presented.

В статье представлены два свободно распространяемых пакета с открытым исходным кодом для использования в качестве сред для работы с системами компьютерной алгебры. Они могут использоваться как в среднем, так и высшем образовании, а также учеными из различных областей науки. В статье показано решение двух задач в каждой и систем, на примере которых анализируются преимущества и недостатки представленных систем.

Two free, open-source packages are presented for use as working environments for Computer Algebra Systems (CASs). They can be used in Secondary and Higher Education as well as by scientists in various fields. In this paper a set of two problems is solved in both systems revealing their advantages and disadvantages.

Обсуждается опыт применения сред визуального моделирования сложных динамических систем в образовании на примере семейства отечественных сред MvStudium. Сделана попытка проанализировать успехи и неудачи научной группы MvStudium, сотрудничающей с журналом «Компьютерные инструменты в образовании» на протяжении пятнадцати лет.

Operational experience of using visualenvironments for modeling and simulation complex dynamical systems developed by MvStudium scientific group in research and education is considered. Successful and unsuccessful Projects embodied with «Computer Tools in Education»during fifteen yearsare analyzed.

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

Revolutionary trends of the XXth century in mathematics formalization are mentioned. The influence of computer science upon the teaching of some formalized mathematical themes to the computer science students is specified. Desirable changes of mathematical courses for computer science students are offered. Speciality and direction «Mathematical support and administration of information systems» developed and implemented, first of all, by the professors of faculty of mathematics and mechanics of St. Petersburg State University are described. Some text-books describing the author’s experience in the teaching of some formalized mathematical themes to the computer science students are listed.