Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
 Найдено в других БД:БД "Книги" (8)Труды АМГУ (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логическое программирование<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.


    Махортов, С. Д.
    LP-структуры на решетках типов и некоторые задачи рефакторинга [Текст] / С. Д. Махортов // Программирование. - 2009. - N 4. - С. 5-14. . - Библиогр.: с. 13-14 (17 назв. )
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
LP-структуры -- Logical-Production Structure -- алгебраическая семантика -- логическое программирование -- оптимизация иерархии типов
Аннотация: Вводятся основанные на решетках алгебраические структуры, содержащие семантику продукционно-логического вывода на иерархии типов в объектно-ориентированной системе с дополнительным отношением.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
2.


    Махортов, С. Д. (канд. физ. -мат. наук).
    Интегрированная среда логического программирования LPEexpert [Текст] / С. Д. Махортов // Информационные технологии. - 2009. - N 12. - С. 65-66. - Библиогр.: с. 66 (5 назв. ) . - ISSN 1684-6400
УДК
^a510.6
^a004.41/.42
ББК 22.12 + 32.973-018
Рубрики: Математика
   Математическая логика
   Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программные пакеты -- LPEexpert -- логическое программирование -- алгебраические модели -- продукционные системы -- управление знаниями -- БЗ -- базы знаний
Аннотация: В статье кратко представлены функциональные возможности пакета программ LPEexpert, предназначенного для разработки продукционных систем и содержащего компьютерную реализацию LP - структур.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
3.


    Челноков, С. Г.
    Трансформационный подход к верификации логических программ [Текст] / С. Г. Челноков, Д. П. Боголюбов // Приборы и системы. Управление, контроль, диагностика. - 2010. - N 5. - С. 16-21 : 3 рис. - Библиогр.: с. 20-21 (8 назв. ) . - ISSN 2073-0004
ГРНТИ
50.41.25
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
трансформационные подходы -- логические программы -- верификация -- обучающие системы -- автоматизированные системы -- алгоритмы -- логическое программирование
Аннотация: В данной статье рассматривается трансформационный подход, использующий алгебру логики первого порядка, для решения задачи верификации логических программ экспертными обучающими системами.


Доп.точки доступа:
Боголюбов, Д. П.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
4.


    Уразаева, Татьяна Альфредовна (кандидат экономических наук, доцент).
    Методология моделирования риска портфелей срочных финансовых инструментов [Текст] / Т. А. Уразаева ; рец. О. А. Мироновой // Аудит и финансовый анализ. - 2010. - N 5. - С. 456-465 : 15 рис. - Библиогр.: с. 465 (10 назв.). - Рец. Мироновой О.А. на ст. автора приведена в конце . - ISSN 0236-2988
УДК
^A336.761
ББК 65.264
Рубрики: Экономика
   Рынок ценных бумаг
   
Кл.слова (ненормированные):
финансовые инструменты -- портфельный анализ -- логическое программирование -- риски -- визуальное моделирование -- принципы моделирования
Аннотация: Осуществлено теоретическое обобщение концепции риска и предложена методология моделирования портфелей срочных финансовых инструментов в условиях отсутствия ограничений на распределения случайных величин.


Доп.точки доступа:
Миронова, О. А. (доктор экономических наук) \.\

Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

Найти похожие
5.


    Филонов, Алексей.
    "Мы должны выпустить специалиста, который пришел бы на рынок труда и сказал: " Я здесь главный!" [Текст] / Алексей Филонов // Рекламодатель: теория и практика. - 2013. - № 4. - С. 37-39 : портр., фот.
УДК
^a378
ББК 74.58
Рубрики: Образование. Педагогика
   Высшее профессиональное образование
Кл.слова (ненормированные):
Интернет -- логическое программирование -- образовательные программы -- проекты Интернета -- специалисты Интернета -- управление Интернетом
Аннотация: Предложены новые подходы к подготовке специалистов в области Интернета.


Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

Найти похожие
6.


    Фоминых, И. Б.
    Активная логика и логическое программирование: объединение двух концепций [Текст] = Active logic and logic programming: integration of the concepts / И. Б. Фоминых, М. М. Виньков, А. К. Пожидаев // Программные продукты и системы. - 2015. - № 3. - С. 42-48. - Библиогр.: с. 48 (11 назв.) . - ISSN 0236-235X
УДК
^a004.41/.42
^a16
ББК 32.973-018 + 87.4
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
активная логика -- дедукция -- логическое программирование -- процедурная семантика -- реальное время
Аннотация: В статье рассмотрено объединение концепций активной логики и логического программирования.


Доп.точки доступа:
Виньков, М. М.; Пожидаев, А. К. \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 27.08.2024
Число запросов 64034
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)