Библиотека
Приведена полная библиография публикаций по концептуальному анализу и проектированию (включая депонированные статьи и приравненные к публикациям дипломные работы и диссертации) за период с 1967 года по 2009 год. В Библиотеке представлено более тысячи публикаций, с возможностью сортировки по алфавиту фамилий авторов, по годам публикации и по тематике. Авторский указатель охватывает 371 автора, а тематический — 116 рубрик. Включены также справочные, аналитические и вспомогательные материалы.
В настоящее время ведётся работа по созданию электронной копии библиотеки.
В настоящее время ведётся работа по созданию электронной копии библиотеки.
Пономарёв И.Н.
Пономарёв И.Н.
Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики // Системное управление. Проблемы и решения. — Электрон. журнал. — 2008. — Вып. 10. www.supir.ru
Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики // Системное управление. Проблемы и решения. — Электрон. журнал. — 2008. — Вып. 10. www.supir.ru
Кучкаров З.А.
Пономарёв И.Н.
Математический аппарат и программные средства концептуального проектирования // Дис...канд. физ-мат. наук: 05.13.18 — Математическое моделирование, численные методы и комплексы программ. Науч. рук. Кучкаров З. А. / ЦНИИОМТП. — М., 2007
Математический аппарат и программные средства концептуального проектирования // Дис...канд. физ-мат. наук: 05.13.18 — Математическое моделирование, численные методы и комплексы программ. Науч. рук. Кучкаров З. А. / ЦНИИОМТП. — М., 2007
Пономарёв И.Н.
Методические указания по курсу Математическая логика-2 — М.: МФТИ, 2007.— 26 с.
Методические указания по курсу Математическая логика-2 — М.: МФТИ, 2007.— 26 с.
Пономарёв И.Н.
Спецификация языка концептуального моделирования // Системы управления и информационные технологии.— 2007.— Т. 3.2 (29).— С. 286–291.
Спецификация языка концептуального моделирования // Системы управления и информационные технологии.— 2007.— Т. 3.2 (29).— С. 286–291.
Пономарёв И.Н.
Язык концептуального моделирования // Информационные технологии моделирования и управления. — 2007. — Т. 8 (42). — С. 949–957.
Язык концептуального моделирования // Информационные технологии моделирования и управления. — 2007. — Т. 8 (42). — С. 949–957.
Пономарёв И.Н.
Концептуальное моделирование и принципы реализации программных средств концептуального моделирования // Информационные технологии и математическое моделирование: Материалы VI Международной научно-практической конференции / Том. гос. Ун-т. — Томск, 2007. — С. 68–70.
Концептуальное моделирование и принципы реализации программных средств концептуального моделирования // Информационные технологии и математическое моделирование: Материалы VI Международной научно-практической конференции / Том. гос. Ун-т. — Томск, 2007. — С. 68–70.
Пономарёв И.Н.
Введение в математическую логику и роды структур: Учебное пособие. — М.: МФТИ, 2007. — 240 с.
Введение в математическую логику и роды структур: Учебное пособие. — М.: МФТИ, 2007. — 240 с.
Пономарёв И.Н.
Язык родов структур // Системное управление. Проблемы и решения. — Электрон. журнал. — 2007. — Вып. 7. www.supir.ru
Язык родов структур // Системное управление. Проблемы и решения. — Электрон. журнал. — 2007. — Вып. 7. www.supir.ru
Пономарёв И.Н.
Операции над родами структур // Системное управление. Проблемы и решения. — Электрон. журнал. — 2007. — Вып. 8. www.supir.ru
Операции над родами структур // Системное управление. Проблемы и решения. — Электрон. журнал. — 2007. — Вып. 8. www.supir.ru
Пономарёв И.Н.
О некоторых свойствах основных операций над родами структур // Современные проблемы фундаментальных и прикладных наук: Труды 50-й науч. конф. МФТИ, Долгопрудный / МФТИ. — М. — Долгопрудный, 2007. — Ч. IX. Инновации и высокие технологии. — С. 20-22
О некоторых свойствах основных операций над родами структур // Современные проблемы фундаментальных и прикладных наук: Труды 50-й науч. конф. МФТИ, Долгопрудный / МФТИ. — М. — Долгопрудный, 2007. — Ч. IX. Инновации и высокие технологии. — С. 20-22
Пономарёв И.Н.
Применение LALR-парсинга к языкам математической логики и теории множеств // Современные проблемы фундаментальных и прикладных наук: Труды XLVIII науч. конф. МФТИ, Долгопрудный, 25-26 ноября 2005 г. / МФТИ. — М. — Долгопрудный, 2005. — Ч. 1. Радиотехника и кибернетика. — С. 213-214
Применение LALR-парсинга к языкам математической логики и теории множеств // Современные проблемы фундаментальных и прикладных наук: Труды XLVIII науч. конф. МФТИ, Долгопрудный, 25-26 ноября 2005 г. / МФТИ. — М. — Долгопрудный, 2005. — Ч. 1. Радиотехника и кибернетика. — С. 213-214
Королев С.С.
Пономарёв И.Н.
Концептуализация диаграмм классов Unified Model Language по его метамодели: Квалификационная работа. Науч. рук. Пономарёв И. Н. / МФТИ. — Долгопрудный, 2005.
Концептуализация диаграмм классов Unified Model Language по его метамодели: Квалификационная работа. Науч. рук. Пономарёв И. Н. / МФТИ. — Долгопрудный, 2005.
Пономарёв И.Н.
Язык родоструктурной экспликации как атрибутированная формальная грамматика // Современные проблемы фундаментальных и прикладных наук: Труды XLVII науч. конф. МФТИ, Долгопрудный, 26-27 ноября 2004 г. / МФТИ. — М. — Долгопрудный, 2004. — Ч. 1. Радиотехника и кибернетика. — С. 129-130
Язык родоструктурной экспликации как атрибутированная формальная грамматика // Современные проблемы фундаментальных и прикладных наук: Труды XLVII науч. конф. МФТИ, Долгопрудный, 26-27 ноября 2004 г. / МФТИ. — М. — Долгопрудный, 2004. — Ч. 1. Радиотехника и кибернетика. — С. 129-130
Гараева Ю.Р.
Пономарёв И.Н.
Базисные преобразования на множестве ступеней и операции над термами в аспекте этих преобразований // XLVI Конференция МФТИ, 28-29 ноября 2003г., Москва-Долгорудный-Жуковский
Базисные преобразования на множестве ступеней и операции над термами в аспекте этих преобразований // XLVI Конференция МФТИ, 28-29 ноября 2003г., Москва-Долгорудный-Жуковский
Пономарёв И.Н.
Концептуализация и алгоритмизация отдельных классов правил языка родоструктурной экспликации с построением автоматизированного средства анализа текстов на ЯРЭ: Магистерская дис. Науч. рук. Гараева Ю. Р. / МФТИ. – Долгопрудный, 2003.
Концептуализация и алгоритмизация отдельных классов правил языка родоструктурной экспликации с построением автоматизированного средства анализа текстов на ЯРЭ: Магистерская дис. Науч. рук. Гараева Ю. Р. / МФТИ. – Долгопрудный, 2003.
Пономарёв И.Н.
Исследование форм научной деятельности в историческом аспекте за прошедшее столетие. Реконструкция и схематизация данных форм и факторов их определяющих: Квалификационная работа. Науч. рук. Фабриков И. С. / МФТИ. – Долгопрудный, 2001.
Исследование форм научной деятельности в историческом аспекте за прошедшее столетие. Реконструкция и схематизация данных форм и факторов их определяющих: Квалификационная работа. Науч. рук. Фабриков И. С. / МФТИ. – Долгопрудный, 2001.