No. 6 (2015)

View No. 6 (2015)

Published: 2015-12-30

Informational systems

Swarm Control of Dynamic Objects Based on Multi-agent Technologies

Виктория Александровна Ерофеева, Юрий Владимирович Иванский, Владимир Ильич Кияев

34-42
- pdf (Russian)

Computer science

Eefficiency Comparison of Iimplementations of Inference Algorithm for Sequent Propositional Calculus in Refal-5 and Haskell.

Валентин Дмитриевич Григорьев

19-33
- pdf (Russian)
An Incremental Algorithm for Minimal Joint Graph Synthesis

Даниил Григорьевич Левенец, Михаил Анатольевич Зотов, Александр Львович Тулупьев

3-18
- pdf (Russian)

Training of specialits: studying programms

Teaching Introductory Programming Course for Computer Programming Majors at the Department of Mathematics and Mechanics of Saint-Petersburg University

Георгий Алексеевич Чернышев

43-66
- pdf (Russian)