Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

Найдено в других БД:

Труды учёных ПГНИУ (1)

Продолжающиеся издания (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логическое программирование<.>)

Общее количество найденных документов : 16
Показаны документы с 1 по 16

   681
   Ч-47

    Чери, Стефано.
    Логическое программирование и базы данных : перевод с английского / С. Чери, Г. Готлоб, Л. Танка. - Москва : Мир, 1992. - 352 с. - ISBN 5-03-002472-7 : 60.00 р.

УДК

004.42

Рубрики: Информатика
Кл.слова (ненормированные):
банк данных -- Логическое программирование
Аннотация: Изложены подходы к построению дедуктивных баз, которые были разработаны в рамках европейских проектов, по созданию новых поколений вычислительных систем.

Доп.точки доступа:
Готлоб, Г.; Танка, Л.
Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)
Найти похожие

   681
   М 268

    Марков, Александр Сергеевич.
    Базы данных. Введение в теорию и методологию : учебник для студентов / А. С. Марков, К. Ю. Лисовский. - Москва : Финансы и статистика, 2004. - 512 с. : ил. - Библиогр.: с. 431. - ISBN 5-279-02298-5 : 303.10 р., 303.10 р.

УДК

004.65(075.8)

Рубрики: Базы данных
Кл.слова (ненормированные):
Информация и данные -- Реляционные данные -- Логическое программирование -- Информационная среда баз данных -- Учебник -- SQL

Доп.точки доступа:
Лисовский, Кирилл Юльевич
Экземпляры всего: 2
х (1), ЧЗЕ (1)
Свободны: х (1), ЧЗЕ (1)
Найти похожие

51
Л 694

Логический подход к искусственному интеллекту [Текст] : от модальной логики к логике баз данных:Пер.с фр. / Под ред.Г.П.Гпврилова. - М. : Мир, 1998. - 494с. : ил. - ISBN 5-03-002519-7 : 35 р.

УДК

510.6+007:159.955

РУБ 51

Кл.слова (ненормированные):
Искусственный интеллект -- Математическая логика -- Логическое программирование

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Экземпляры всего: 20
Х (1), ЧЗЕ (1), АБУ (18)
Свободны: Х (1), ЧЗЕ (1), АБУ (18)
Найти похожие

   681
   П 442

    Подколзин, Александр Сергеевич.
    Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / А. С. Подколзин. - Москва : Физматлит, 2008. - 1024 с. - Библиогр.: с. 1021-1022. - ISBN 978-5-9221-1045-7 : 600 р.

ГРНТИ	50.41.25
УДК	004.42:519.6	004.832

Рубрики: Прикладное программное обеспечение
Искусственный интеллект--Решение задач
Кл.слова (ненормированные):
КОМПЬЮТЕРНАЯ МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКАЯ СИСТЕМА "ИСКРА" -- РЕШАТЕЛИ ЗАДАЧ -- АЛГОРИТМИЧЕСКИЙ ЯЗЫК ЛОС -- АЛГОРИТМИЧЕСКИЙ ЯЗЫК ГЕНОЛОГ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   681
   Е 421

    Ездаков, Андрей Леонидович.
    Функциональное и логическое программирование : учебное пособие / А. Л. Ездаков. - 2-е изд. - Москва : Бином. Лаборатория знаний, 2011. - 118, [1] с. : ил. ; 22 см. - Библиогр. в конце кн. - ISBN 978-5-9963-0575-9 : 154.80 р.
    Содержание:
Функциональное программирование
Логическое программирование
Реализация принципов логического программирования с использованием языка Turbo-Prolog
Приложение 1. Пример преобразования ППФ в форму предложений
Приложение 2. Краткое руководство по языку Turbo-Prolog версии 2.0
Приложение 3. Подготовка инструментальных средств для выполнения лабораторных работ
Приложение 4. Лабораторные работы

ГРНТИ	50.05.09
УДК	004.43(075.8)

Рубрики: Логическое программирование (компьют.)--Функциональное программирование (компьют.)--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- Lisp -- TURBO PROLOG -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   М 340


    Математическая логика в программировании : сборник статей : пер. с англ. / под ред. М. В. Захарьящева, Ю. И. Янова. - Москва : Мир, 1991. - 408 с. - (Математическое обеспечение ЭВМ). - ISBN 5-03-001635-X : 7.91 р., 7.91 р.

ГРНТИ	27.03
УДК	510.6

Рубрики: Математическая логика--Сборники
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛЯМБДА- ИСЧИСЛЕНИЯ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Доп.точки доступа:
Захарьящев, М. В. \ред.\; Янов, Ю. И. \ред.\
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие

   62
   Л 694


    Логический подход к искусственному интеллекту. От классической логики к логическому программированию / А. Тей [и др.] ; пер. П. П. Пермяков ; ред. Г. П. Гаврилов. - Москва : Мир, 1990. - 432 с. : ил. - ISBN 5-03-001636-8 : 2.90 р.

ГРНТИ	81
УДК	62

Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
Искусственный интеллект -- Математическая логика -- Логическое программирование

Доп.точки доступа:
Тей, А.; Грибомон, П.; Луи, Ж.; Снийерс, Д.; Водон, П.; Гоше, П.; Грегуар, Э.; Санчес, Э.; Дельсарт, Ф.; Пермяков, П. П. \пер.\; Гаврилов, Г. П. \ред.\
Экземпляры всего: 2
АБН (2)
Свободны: АБН (2)
Найти похожие

   62
   Л 694


    Логический подход к искусственному интеллекту: От классической логики к логическому программированию / А. Тейз, П. Грибомон, Ж. Луи ; пер. с фр. П. П. Пермяков ; ред. Г. П. Гаврилов. - Москва : Мир, 1990. - 429 с. - ISBN 5-03-001636-8 : 2.90 р.

ГРНТИ	02.21
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСКУССТВЕННый интеллект -- логическое программирование

Доп.точки доступа:
Тейз, А. ; Грибомон, П. ; Луи, Ж. ; Пермяков, П. П. \пер. с фр. .\; Гаврилов, Г. П. \ред.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

10.

   681
   К 563

    Ковальски, Роберт.
    Логика в решении проблем / Р. Ковальски ; пер. с английского Л. Г. Осмоловский, ред., авт. примеч. Д. А. Поспелов. - Москва : Наука, 1990. - 278 с. : ил. - (Проблемы искусственного интеллекта ; вып. 18). - Библиогр.: с. 263-271. - Указ.: с. 272-278. - ISBN 5-02-014148-8 : 4.00 р.

ГРНТИ	27
УДК	519.85

Рубрики: Математическое программирование
Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Доп.точки доступа:
Осмоловский, Л. Г. \пер. с английского.\; Поспелов, Д. А. \ред., авт. примеч.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

11.

   681
   Л 694


    Логическое программирование : сборник статей: перевод с английского и французского / ред. В. Н. Агафонов. - Москва : Мир, 1988. - 367 с. - (Математическое обеспечение ЭВМ). - Библиогр. в конце ст. - ISBN 5-03-000972-8 : 2.00 р.

ГРНТИ	27
УДК	519.85

Рубрики: Математическое программирование--Сборники
Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ЭЛЕКТРОННЫЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Доп.точки доступа:
Агафонов, Валерий Николаевич \ред.\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

12.

   681
   М 545


    Методы и средства алгебраического и логического программирования : сборник научных трудов / Академия наук Украинской ССР, Институт кибернетики ; ред. А. А. Летичевский. - Киев : ИК, 1990. - 74 с. : ил. - Библиогр. в конце ст. - ISBN 5-7702-0045-6 : 1.00 р.

ГРНТИ	27
УДК	519.85

Рубрики: Математическое программирование--Сборники
Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ЭЛЕКТРОННЫЕ -- ПРОГРАММИРОВАНИЕ

Доп.точки доступа:
Летичевский, А. А. \ред.\; Академия наук Украинской ССР. Институт кибернетики
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

13.

55464

Галкина, М. Ю.
Функциональное и логическое программирование [Текст] : практикум / Галкина М. Ю. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2008. - 107 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

681.3

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- турбо-пролог -- функциональное программирование -- язык лисп -- язык программирования -- язык пролог
Аннотация: Практикум предназначен для студентов четвертого курса факультета ИВТ, изучающих курс «Функциональное и логическое программирование». Практикум содержит курс лекций, индивидуальное домашнее задание. Для специальности 230105 – «Программное обеспечение вычислительной техники и автоматизированных систем».

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

14.

8091

Жоль, К. К.
Логика [Электронный ресурс] : учебное пособие для вузов / Жоль К. К. - Москва : ЮНИТИ-ДАНА, 2012. - 400 с. - ISBN 5-238-00664-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

16(075.8)

ББК 87.4я73

Кл.слова (ненормированные):
классическая логика -- логика -- логическая семантика -- логическое исследование -- логическое программирование -- математическая логика -- символическая логика -- учебное пособие
Аннотация: Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики. В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Конферский, А. Е. \ред.\
Свободных экз. нет
Найти похожие

15.

39556

Ефимова, Е. А.
Основы программирования на языке Visual Prolog [Электронный ресурс] : учебное пособие / Ефимова Е. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 265 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 32.97

Кл.слова (ненормированные):
visual prolog -- логическое программирование -- управление перебором -- язык запросов -- язык пролог
Аннотация: В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

16.

61489

Практикум по дисциплине Логическое и функциональное программирование [Текст] / сост. А. С. Доткулова. - Москва : Московский технический университет связи и информатики, 2016. - 16 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- функциональное программирование -- эвм
Аннотация: При использовании ЭВМ для решения задач можно выделить два взаимосвязанных способа представления знания: 1) процедурное представление, т.е. определение алгоритма обработки данных; 2) декларативное представление, т.е. определение отдельных понятий, их состояния в конкретные моменты времени и связей между ними.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Доткулова, А. С. \сост.\
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 08.07.2024
Число запросов	47588
Число посетителей	518
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)