Архив
А.П. Ершов в НГУ
Мехмат НГУ
Университетские программы и планы
Программа
Программа
студента МИЭМ А.Р. Золотухина "Последовательное конструирование алгоритма с доказательством его правильности".

Оригинальный язык документа: русский

Изображения страниц:
1 2 3 4 5 6


Назад
Следующий документ (Курс лекций (конспект))
Предыдущий документ (Учебное пособие)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016