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

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

В статье предложен инкрементальный алгоритм, ускоряющий синтез минимального графа смежности по исходному минимальному графу смежности и новой вершине с заданной допустимой нагрузкой; доказана корректность работы такого алгоритма. Выполнен сравнительный анализ статистических оценок сложности реализаций предложенного алгоритма и двух известных алгоритмов синтеза минимального графа смежности: жадного и прямого; результаты вычислительных экспериментов представлены в виде графиков, снабжены комментариями и выводом. В целом, на наборах со средним и большим числом вершин инкрементальный алгоритм в 3-6 раз оказался быстрее, чем прямой, и в 10-50 раз быстрее, чем жадный. На наборах с небольшим числом вершин скорость алгоритмов отличается не сильно. Отмечено, что, чем больше в наборе вершин с нагрузкой 5-9 символов, тем более велик разброс отношения скоростей сравниваемых алгоритмов. В статье также достигнуты дидактические цели: в контексте синтеза минимальных графов смежности продемонстрировано обоснованное применение методов инкрементализации алгоритмов, статистического анализа скорости работы реализаций алгоритмов, визуализации данных, полученных в результате проведения вычислительных экспериментов. С. 3-18.

The paper provides the description of an incremental algorithm that accelerates a minimal joint graph upgrade when a new node with a correct load is inserted. The algorithms correctness is proven. We compare relative performance statistical estimates for the new incremental algorithm and two known greedy and streightforward algorithms that implement minimal joint graph synthesis. The computational experiments results are represented with plots, discussed and summarized. For the middle and large sized sets of loads, the incremental algorithm is 3-6 times faster than the streight-for-ward one and 10-50 times faster than the greedy one. For the small sized sets of loads, the algorithms permormance differs less dramatically. The relative performance variation of compared algorithms are the larger the higher fraction of loads with 5-9 symbols the set of loads has. The paper also reaches didactical goals: in the context of minimal joint grah synthesis, we demonstrate a rational application of the algorithm incrementation, an example of relative algorithmical performance statistical estimates, an approach to the visualisation of performance comparison compuational experiments.

В статье предлагаются реализации на языках рефал-5 и Haskell алгоритма поиска вывода в секвенциальном исчислении высказываний. Реализации сравниваются по временной эффективности и удобочитаемости. В приложениях изложены базовые сведения об использованных языках программирования. Данную статью можно рассматривать как ориентирующую программиста при выборе языка программирования для реализации машины вывода в системах автоматического доказательства теорем и других интеллектуальных системах, основанных на логическом выводе. C. 19-33.

In this paper author describes implementations of inference algorithm for sequent propositional calculus in Refal-5 and Haskell programming languages. Time efficiency and readability of these implementations are compared. Also, there is a concise description of considered programming languages presented in appendix section. The aim of this paper is to provide the basis of the programming language selection for the implementation of inference engine for artificial intelligence systems, based on logical inference and automated theorem proving tools in particular.

В статье рассматривается возможность применения технологий мультиагентных систем к задаче управления роем. Приводится описание ключевых особенностей роевого управления и протокола локального голосования, с помощью которого строится стратегия адаптивного управления в условиях неопределенностей, а также представлен алгоритм управления роем динамических объектов на основе достижения консенсуса. С. 34-42.

In this paper we study the possibility of multi-agent systems application to the problem of swarm control. We describe the key features of swarm control and adaptive control strategy under uncertain conditions based on local voting algorithm. We also propose a consensus-based algorithm to control a swarm of dynamic objects.

Новые методы обучения
В данной работе рассказывается об опыте проведения практикумов по программированию на математико-механическом факультете СПбГУ у студентов специальностей, ориентированных на подготовку программистов. Описывается формат занятий, методы оценивания успеваемости, освещенные темы, разработанные модули учебных программ и используемая в курсе литература. Подробно описывается опыт применения методики домашнего чтения с проверкой усвоенного материала. Рассматривается входное тестирование, по результатам которого программа курса адаптируется для каждой группы. Наконец, в работе представлен обзор подобных методик как с практической стороны - указываются примеры подобного устройства занятий из Computer science curriculum 2013, так и с теоретической - разбираются научные работы, исследующие роль домашнего чтения по специальности в обучении студентов. Данная статья является попыткой поделиться удачным опытом построения программ. С. 43-66.

In this paper we describe the experience of teaching introductory programming course for computer programming majors at the department of mathematics and mechanics of Saint-Petersburg University. We describe the course program, studied topics, a typical seminar session, assessment methods, developed units and books used to built them. The core of this approach - the home reading with control quizzes is presented in detail. We also describe the entrance test which is used to tailor course programs for each group. Finally, a short survey of similar approaches featuring home reading and quizzes is provided. This survey includes both research studies and existing course programs from the Computer Science Curriculum 2013.