Электронный каталог. . Муниципальная Информационно-Библиотечная Система г. Новокузнецка

   87.4
   Л69


    Логический подход к искусственному интеллекту = Approche logique de l'intelligence artificielle : От модальной логики к логике баз данных / [А. Тейз и др.] ; перевод с французского Г. П. Гаврилова, П. П. Пермякова и А. А. Ивановой ; под ред. Г. П. Гаврилова. - Москва : Мир, 1998. - 493, [1] с. - ISBN 5-03-002519-7 : 40.00; 25.00 р.

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

Доп.точки доступа:
Тейз, Андре \.\; Грибомон, Паскаль \.\; Юлен, Ги \.\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1)
Прямая ссылка
Найти похожие

   22.12
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / В. И. Игошин. - Москва : Академия, 2004 (Саратов). - 446, [1] с. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр. : с. 435-442. - ISBN 5-7695-1363-2 (в пер.) : 193.20 р.

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

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Тьюринг, Алан Мэтисон (1912-1954) \о нем\; Turing, Alan Mathison \о нем\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие

   32.81
   М 15

    Макаллистер, Дж.
    Искусственный интеллект и Пролог на микроЭВМ / Дж. Макаллистер ; [предисловие автора] ; перевод с английского А. В. Чукашова, М. В. Сергиевского ; под редакцией, [предисловие] М. В. Сергиевского. - Москва : Машиностроение, 1990. - 235, [2] с. - Библиография: с. 237 (12 назв. на ин. яз.). - ISBN 5-217-00973-X : 2.40 р.

ББК 32.81
Рубрики: Радиоэлектроника
Кл.слова (ненормированные):
базы данных -- логика в программировании -- логическое программирование -- микроЭВМ -- Пролог, язык программирования -- СУБД -- язык логического программирования -- языки программирования -- Искусственный интеллект -- Системы

Доп.точки доступа:
Чукашов, А. В. \водчик, пер.\; Сергиевский, М. В. \ред., , водчик.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   32.973я7
   Г60

    Голицына, Ольга Леонидовна.
    Программирование на языках высокого уровня : учебное пособие для студентов образовательных учреждений среднего профессионального образования / О. Л. Голицына, И. И. Попов. - Москва : Форум, 2012 (Тула). - 495 с. : ил ; 22 см. - (Профессиональное образование). - Библиография: с. 465-467. - Приложение: с. 468-492. - Об авторе: 4 с. переплета. - 3000 экз.. - ISBN 978-5-91134-209-8 (в пер.) : 209.88 р.

ББК 32.973я723
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
императивное программироваие -- Учебные издания для среднего профессионального образования -- Учебные издания для среднего профессионального образования -- Языки программирования -- Программирование -- DELPHI -- JAVA -- РЕФАЛ -- PROLOG -- PROLOG -- OBJECT PASCAL -- разработка программ -- интерфейс -- объектно-ориентированное программирование -- императивное программирование -- функциональное программирование -- логическое программирование

Доп.точки доступа:
Попов, Игорь Иванович
Экземпляры всего: 1
Информационный центр открытого доступа, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-00-91 (1)
Свободны: Информационный центр открытого доступа, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-00-91 (1)
Прямая ссылка
Найти похожие

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