Библиотека

Приведена полная библиография публикаций по концептуальному анализу и проектированию (включая депонированные статьи и приравненные к публикациям дипломные работы и диссертации) за период с 1967 года по 2009 год. В Библиотеке представлено более тысячи публикаций, с возможностью сортировки по алфавиту фамилий авторов, по годам публикации и по тематике. Авторский указатель охватывает 371 автора, а тематический — 116 рубрик. Включены также справочные, аналитические и вспомогательные материалы.
В настоящее время ведётся работа по созданию электронной копии библиотеки.

3. Математические основы концептуального анализа и проектирования

Лелюк В.А.
Опыт полагания предметных областей, принадлежащих производственным организациям, в аппарате ступеней. — М.: Концепт, 2009. — 96 с.
Посмотреть в магазине
Гараева Ю.Р. Иванов А.Ю. Никаноров С.П.
Справочник по теоретко-системным конструктам. Серия "Концептуальный анализ и проектирование" Методология и технология – М.: Концепт, 2008. – 314 с.
Посмотреть в магазине
Пономарёв И.Н.
Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики // Системное управление. Проблемы и решения. — Электрон. журнал. — 2008. — Вып. 10. www.supir.ru
Кучкаров З.А. Пономарёв И.Н.
Математический аппарат и программные средства концептуального проектирования // Дис...канд. физ-мат. наук: 05.13.18 — Математическое моделирование, численные методы и комплексы программ. Науч. рук. Кучкаров З. А. / ЦНИИОМТП. — М., 2007
Пономарёв И.Н.
Методические указания по курсу Математическая логика-2 — М.: МФТИ, 2007.— 26 с.
Пономарёв И.Н.
Спецификация языка концептуального моделирования // Системы управления и информационные технологии.— 2007.— Т. 3.2 (29).— С. 286–291.
Пономарёв И.Н.
Язык концептуального моделирования // Информационные технологии моделирования и управления. — 2007. — Т. 8 (42). — С. 949–957.
Пономарёв И.Н.
Введение в математическую логику и роды структур: Учебное пособие. — М.: МФТИ, 2007. — 240 с.
Пономарёв И.Н.
Язык родов структур // Системное управление. Проблемы и решения. — Электрон. журнал. — 2007. — Вып. 7. www.supir.ru
Пономарёв И.Н.
Операции над родами структур // Системное управление. Проблемы и решения. — Электрон. журнал. — 2007. — Вып. 8. www.supir.ru
Никаноров С.П.
Расширение предмета теории графов // Системное управление. Проблемы и решения. — Электрон. журнал. — 2007. — Вып. 8. www.supir.ru
Пономарёв И.Н.
О некоторых свойствах основных операций над родами структур // Современные проблемы фундаментальных и прикладных наук: Труды 50-й науч. конф. МФТИ, Долгопрудный / МФТИ. — М. — Долгопрудный, 2007. — Ч. IX. Инновации и высокие технологии. — С. 20-22
Жирнаускас И.
Опасные последствия "неопрятных" понятий // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2006, вып. 19. — С. 4-8
Кучкаров З.А. Лавров В.А.
Полные системы простых теоретико-множественных операций // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2006, вып. 20. — С. 41-48
Гараева Ю.Р.
Освязи концептуальной схемы, сети процедур (процессов интерпретации концептуальной схемы) и контуров управления // МФТИ, Программа XLVIII научной конференции 25-26 ноября 2005г.
Гараева Ю.Р.
О многообразии операций синтеза и метасинтеза родов структур // Современные проблемы фундаментальных и прикладных наук: Труды XLVIII науч. конф. МФТИ, Долгопрудный, 25-26 ноября 2005 г. / МФТИ. — М. — Долгопрудный, 2005. — Ч. 1. Радиотехника и кибернетика. — С. 199-201
Гараева Ю.Р. Иванов А.Ю.
Об одном подходе к разработке компактного языка выражений ступеней для целей классификации конструктов по шкале ступеней // Современные проблемы фундаментальных и прикладных наук: Труды XLVIII науч. конф. МФТИ, Долгопрудный, 25-26 ноября 2005 г. / МФТИ. — М. — Долгопрудный, 2005. — Ч. 1. Радиотехника и кибернетика. — С. 202-206
Пономарёв И.Н.
Применение LALR-парсинга к языкам математической логики и теории множеств // Современные проблемы фундаментальных и прикладных наук: Труды XLVIII науч. конф. МФТИ, Долгопрудный, 25-26 ноября 2005 г. / МФТИ. — М. — Долгопрудный, 2005. — Ч. 1. Радиотехника и кибернетика. — С. 213-214
Пономарёв И.Н.
Язык родоструктурной экспликации как атрибутированная формальная грамматика // Современные проблемы фундаментальных и прикладных наук: Труды XLVII науч. конф. МФТИ, Долгопрудный, 26-27 ноября 2004 г. / МФТИ. — М. — Долгопрудный, 2004. — Ч. 1. Радиотехника и кибернетика. — С. 129-130
Гараева Ю.Р. Пономарёв И.Н.
Базисные преобразования на множестве ступеней и операции над термами в аспекте этих преобразований // XLVI Конференция МФТИ, 28-29 ноября 2003г., Москва-Долгорудный-Жуковский
Гараева Ю.Р.
Метод процессного порождеения многообразия ошибок в алгоритмах // XLVI Конференция МФТИ, 28-29 ноября 203г., Москва-Долгорудный-Жуковский
Никитин А.В.
Исследование и построение типологии изменений теоретико-множественных интерпретаций класса декартовых произведений: Магистерская дис. Науч. рук. Кучкаров З. А. / МФТИ. – Долгопрудный, 2001.
Тищенко А.В.
Шкалы множеств и родов структур // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2000, вып. 14. - 47 с.
Постников В.В.
Разработка языка родоструктурной экспликации концептуальных моделей // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2000, вып. 14. - 47 с.
Акименков А.М.
Омощности модели теории, в которой заданный терм этой теории не пуст // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2000, вып. 14. - 47 с.
Ключников А.В.
Эквивалентность теорий родов структур // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2000, вып. 14. - 47 с.
Пунинская В.А.
Об одном классе РС-форм. // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2000, вып. 14. - 47 с.
Тищенко А.В. Акименков А.М. Ключников А.В.
Система операций над концептуальными схемами, представленными в родоструктурной форме // Подмножество: Научно-методический бюллетень. - М.: Концепт, 2000, вып. 14. - 47 с.
Никаноров С.П.
О необходимости различения конструктивной и исследовательской форм формальной теории // Подмножество: Сб. ст. – М.: Концепт, 1998. – № 11 стр. 47.
Никаноров С.П.
Онеобходимости различения конструктивной и исследовательской форм формальной теории // Подмножество: Сб. ст. – М.: Концепт, 1998. – ? 11. – С. 46-47.