Оценка длины убедительных доказательств в языках спецификаций задач

by Москвитин, А. А.
Published in Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)

Основные принципы задачного подхода в информационных технологиях в сфере образования

by Москвитин, А. А.
Published in Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)