МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Файл статьи: Говоров М.И..pdf (104.85Кб)

1.    Кузнецов О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. М.: Энергоатомиздат, 1988.

2.    Непейвода Н. Н., Скопин И. Н. Основания программирования. М.: РХД, 2003.

3.    Майерс Г. Архитектура современных ЭВМ: В 2-х книгах. Кн. 1. М.: Мир, 1985.

4.    Формальные спецификации в технологиях обратной инженерии и верификации программ / Бурдонов И.Б., Демаков А.В., Косачев А.С. и др. // Труды Института системного программирования. 1999. № 1. С. 31-43.

5.    Александреску А. Современное проектирование на С++: Обобщенное программирование и прикладные шаблоны проектирования. М.: Вильямс, 2004.

6.   Выхованец В.С. Прикладной понятийный анализ // Труды Международной конференции «Когнитивный анализ и управление развитием ситуаций». М.: Институт проблем управления, 2009. С. 62-65.

7.   Выхованец В.С. Контекстная технология программирования // Труды IV-й Международной конференции «Параллельные вычисления и задачи управления». М.: Институт проблем управления, 2008. С. 1288-1327.

8.   Выхованец В.С. Описание семантики контекстно-свободных языков методом математической индукции // Научно-техническая информация. Сер. 2: Информационные процессы и системы. 2008. № 7. C. 6-14.

9.   Выхованец В.С. Исчисление понятий // Труды VII-й Международной конференции «Когнитивный анализ и управление развитием ситуаций» (CASC'2007, Москва). М.: Институт проблем управления, 2007. С. 31-35.

10.   Выхованец В.С., Иосенкин В.Я. Понятийный анализ и контекстная технология программирования // Проблемы управления. 2005. № 4. C. 2-11.

11.   Выхованец В.С. Разнесённый грамматический разбор // Проблемы управления. 2006. № 3. С. 32-43.