No. 6 (2012)

View No. 6 (2012)

Published: 2012-12-31

Full Issue

PDF (Russian)

Editor's Column

Великий мат-меховец, член-корреспондент АН СССР Святослав Сергеевич Лавров
- PDF (Russian)

Computer science

Математическое доказательство: вчера, сегодня, завтра

Yuri Matiyasevich
- PDF (Russian)
Перебор субоптимальных решений в дискретных задачах оптимизации

Joseph Romanovsky
- PDF (Russian)

Informational systems

Free Working Environments for Computer Algebra

Alkiviadis Akritas
- PDF (Russian)
Пакеты моделирования в образовании: современная ситуация и нерешенные проблемы.

Dmitry Inikhov, Yuri Kolesov, Yury Senichenkov
- PDF (Russian)

Training of specialists: new methods of training

Материалы журнала за 2012 год

From the Editors
- PDF (Russian)
FORMALIZED DISCRETENESS IN MATHEMATICS AS THE BASES OF COMPUTER SCIENCE EDUCATION

Nikolay Kosovsky
- PDF (Russian)