Зведений каталог бібліотек Харкова

 

519.7
К 56Ковальски, Р.
    Логика в решении проблем [Текст] : пер.с англ. / Р. Ковальски. — М. : Наука, 1990. — 277с.
ISBN 5-02-014148-8


- Ключові слова:

штучний інтелект,ШІ, искусственный интеллект, ИИ,artificial intelligence, l`intelligence artificielle ; інформаційні системи, информационные системы, information systems, systemes d'information ; логіка, логика, logika, logic, Logik, logique

- Анотація:

Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран. Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.

- Електронні версії документа:

- Теми документа

  • ББК // Математична кібернетика
  • УДК // Моделі мов та мовних структур
  • УДК // Семіотика. Математична теорія систем символів. Математична лінгвістика



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 1 Перейти на сайт
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 11 Перейти на сайт
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 2 Перейти на сайт
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 2 Перейти на сайт
Наукова бібліотека Харківського національного педагогічного університету імені Г. С. Сковороди 3 Перейти на сайт
Наукова бібліотека Харківського національного університету радіоелектроніки 4 Перейти на сайт
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 1 Перейти на сайт