№ 6 (2012)

Показать № 6 (2012)

Опубликован: 31.12.2012

Весь выпуск

PDF

Колонка редактора

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

Информатика

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

Ю. В. Матиясевич
- PDF
Перебор субоптимальных решений в дискретных задачах оптимизации

И. В. Романовский
- PDF

Информационные системы

Free Working Environments for Computer Algebra

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

Д. Б. Инихов, Ю. Б. Колесов, Ю. Б. Сениченков
- PDF

Подготовка специалистов: новые методы обучения

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

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

Н. К. Косовский
- PDF