Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=гибридная логика<.>)
Общее количество найденных документов : 1
1.


    Караваев, Э. Ф.
    Средства неклассической логики в формализации процедур планирования деятельности [Текст] / Э. Ф. Караваев // Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. - 2008. - Вып : 1. - С. 87-94. - Библиогр. в сносках
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
вероятностные оценки -- гибридная логика -- деонтическая логика -- логика -- логика деятельности -- неклассическая логика -- номиналистические высказывания -- планирование деятельности -- алетическая модальная логика -- временная логика -- планирование -- эпистемическая логика
Аннотация: Рассматриваются возможности использования средств неклассической логики (временной, деонтической, алетической модальной, эпистемической, гибридной логики и логики деятельности) для усовершенствования формализованного представления процедур планирования.


Доп.точки доступа:
Саймон \г.\; Хорти \дж.\; Белнап \н.\; Хэмблин \ч.\; Перлов \м.\

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 31.07.2024
Число запросов 115695
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)