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

Базы данных


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

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=модальная логика<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
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
   Ф 56

   
    Философская энциклопедия . Т. 3. Коммунизм-Наука / главный ред. Ф. В. Константинов, ред. коллегия: В. Ф. Асмус [ и др.] . - Москва : Советская энциклопедия, 1964. - 584 с. - (Энциклопедии. Словари. Справочники). - 3.50 р.
ББК 87я2
Рубрики: Философия
Кл.слова (ненормированные):
КОММУНИЗМ -- КОСМОЛОГИЯ -- КУЛЬТУРА -- ЛИЧНОСТЬ -- МАРКСИЗМ-ЛЕНИНИЗМ -- МАТЕМАТИКА -- МАТЕРИАЛИЗМ -- МАХИЗМ -- МЕРА -- МЕТАФИЗИКА -- МЕТОД -- МИКРОЧАСТИЦЫ -- МИЛЕТСКАЯ ШКОЛА -- МИСТИКА -- МИФОЛОГИЯ -- МОДАЛЬНАЯ ЛОГИКА -- МОНИЗМ -- МОРАЛЬ -- МЫШЛЕНИЕ -- НАРОДНИЧЕСТВО -- НАСИЛИЕ -- НАТУРФИЛОСОФИЯ -- ЭНЦИКЛОПЕДИИ


Доп.точки доступа:
Константинов, Ф. В. \ред.\; Асмус, В. Ф. \ред.\
Экземпляры всего: 2
информационно-библиографический отдел, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-79-55 (1), им. Л. А. Никоновой, ул. Зорге 6, т. 34-24-35 (1), Запсибовская, ул. Горьковская 27, т. 52-55-97
Свободны: информационно-библиографический отдел, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-79-55 (1), им. Л. А. Никоновой, ул. Зорге 6, т. 34-24-35 (1)
Прямая ссылка
Найти похожие
3.
   87.4
   К24

    Карнап, Рудольф.
    Значение и необходимость : исследование по семантике и модальной логике / Рудольф Карнап. - Москва : Иностранная литература, 1959. - 381, [1] с. - (Для научных библиотек). - 1.43 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
СЕМАНТИКА -- СЕМАНТИЧЕСКИЙ АНАЛИЗ -- ЛОГИКА -- МОДАЛЬНАЯ ЛОГИКА -- ЛОГИЧЕСКАЯ СЕМАНТИКА

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
4.
   87.15
   Л69

   
    Логика и методология науки : [сборник статей] / Академия наук СССР, Институт философии ; [редакционная коллегия: П. В. Копнин и др.]. - Москва : Наука, 1967. - 339, [1] с. - 1.52 р.
ББК 87.15
Рубрики: Философия
Кл.слова (ненормированные):
методология науки -- логика науки -- язык науки -- модальная логика -- сборники


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

   
    Логика и методология научного познания. Эмпирическое познание : [сборник статей] / под редакцией А. А. Старченко. - Москва : Издательство Московского университета, 1974. - 157, [2] с. - Библиография в конце статей. - 0.64 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- научное познание -- модальная логика -- суждение (лог.) -- логика вопросов -- методология познания


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

   
    Неклассическая логика : [сборник статей] / Академия наук СССР, Институт философии ; [ответственный редактор П. В. Таванец]. - Москва : Наука, 1970. - 382, [2] с. - 1.10 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика -- классическая логика -- неклассическая логика -- силлогистика -- кванторов теория -- логика высказываний -- сборники -- модальная логика


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

   
    Семантика модальных и интенсиональных логик : перевод с английского / составление, общая редакция и вступительная статья В. А. Смирнова. - Москва : Прогресс, 1981. - 424 с. - (Общественные науки за рубежом. Философия и социология). - 1.60 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика -- модальная логика -- квантификация -- интенсиональная логика -- логическая семантика


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

    Слинин, Ярослав Анатольевич.
    Современная модальная логика : развитие теории алетических модальностей (1920-1960 гг.) / Я. А. Слинин ; Ленинградский государственный университет им. А. А. Жданова. - Ленинград : Издательство Ленинградского университета, 1976. - 102, [2] с. - 0.44 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
МОДАЛЬНАЯ ЛОГИКА -- ТЕОРИЯ АЛЕТИЧЕСКИХ МОДАЛЬНОСТЕЙ -- 1920-1960 ГГ. -- КВАНТИФИКАЦИЯ -- ЛОГИЧЕСКИЕ МОДАЛЬНОСТИ -- ФИЗИЧЕСКИЕ МОДАЛЬНОСТИ -- ИТЕРИРОВАННЫЕ МОДАЛЬНОСТИ

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

Доп.точки доступа:
Ленинградский государственный университет им. А. А. Жданова
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)