681.3.06 П 580 Попов, С. В. (доцент МИФИ). Кодирование или моделирование? [Текст] / С. В. Попов // Информатика и образование. - 2002. - N1. - Библиогр.:с.37(2назв.) . - ISSN 0234-0453
Рубрики: Вычислительная техника--Программное обеспечение Кл.слова (ненормированные): Покос - язык -- двухуровневое программирование -- логическое моделирование -- логическое программирование -- моделирование -- программирование -- языки логического моделирования Аннотация: Описывается теоретический базис и реальные возможности логического моделирования как альтернативы традиционному программированию. Приводится описание программы на языке логического моделирования Покос, разработанном в МИФИ. |
Махортов, С. Д. LP-структуры на решетках типов и некоторые задачи рефакторинга [Текст] / С. Д. Махортов // Программирование. - 2009. - N 4. - С. 5-14. - Библиогр.: с. 13-14 (17 назв. ) . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): LP-структуры -- Logical-Production Structure -- алгебраическая семантика -- логическое программирование -- оптимизация иерархии типов Аннотация: Вводятся основанные на решетках алгебраические структуры, содержащие семантику продукционно-логического вывода на иерархии типов в объектно-ориентированной системе с дополнительным отношением. |
004.41/.42 Г 823 Грибова, Валерия Викторовна (доктор технических наук; старший научный сотрудник; заведующий лабораторией). Онтологическая парадигма программирования / В. В. Грибова, авт. А. С. Клещев // Научно-техническая информация. Серия 2, Информационные процессы и системы. - 2013. - № 11. - С. 27-35 : Ил.: 6 рис. - Библиогр.: с. 35 (10 назв. ). - Примеч. в сносках . - ISSN 0548-0027
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): декларативное программирование -- императивное программирование -- логическое программирование -- модели данных -- онтологическая парадигма -- онтологическое программирование -- парадигмы программирования -- семантические сети -- функциональное программирование -- экспертные системы -- язык OPL -- языки программирования Аннотация: Рассматривается новая парадигма программирования - онтологическая, которая является дальнейшим развитием парадигмы декларативного программирования. Описывается модель данных, лежащая в основе парадигмы, основные конструкции языка онтологического программирования. Приведены примеры экспертной системы медицинской диагностики. Доп.точки доступа: Клещев, Александр Сергеевич (доктор физико-математических наук; профессор; главный научный сотрудник); Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук (Владивосток)Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук (Владивосток) |