Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=МОДАЛЬНЫЕ ЛОГИКИ<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   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)
Прямая ссылка
Найти похожие
2.
   87.4
   Г 44

    Гетманова, Александра Денисовна.
    Логика : учебник для студентов высших учебных заведений / А. Д. Гетманова. - 7-е издание. - Москва : Омега-Л, 2004. - 415 с. - (Humanitas. Учебник для высшей школы). - Библиография: с. 405-407. - ISBN 5-98119-206-2 : 75.00 р.
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
ПОНЯТИЕ (ЛОГ.) -- ЛОГИКА (ОБЩИЕ ВОПРОСЫ) -- СУЖДЕНИЕ (ЛОГ.) -- УМОЗАКЛЮЧЕНИЕ (ЛОГ.) -- АРГУМЕНТАЦИЯ (ЛОГ.) -- ГИПОТЕЗА (ЛОГ.) -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- ЯЗЫК И ЛОГИКА -- ЛОГИЧЕСКИЕ ЗАКОНЫ -- ДЕДУКЦИЯ -- ИНДУКЦИЯ -- ДОКАЗАТЕЛЬСТВА -- ОПРОВЕРЖЕНИЕ -- ОШИБКИ ЛОГИЧЕСКИЕ -- ГИПОТЕЗЫ -- ПЕДАГОГИЧЕСКОЕ ОБРАЗОВАНИЕ -- ИСТОРИЯ ЛОГИКИ -- ИНТУИЦИОНИСТСКАЯ ЛОГИКА -- МНОГОЗНАЧНЫЕ ЛОГИКИ -- МОДАЛЬНЫЕ ЛОГИКИ -- УЧЕБНЫЕ ИЗДАНИЯ ДЛЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ

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