Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=модальная логика<.>)
Общее количество найденных документов : 21
Показаны документы с 1 по 10
 1-10    11-21   21-21 
1.
   16
   И253

    Ивин, Александр Архипович.
    Логика : пособие для учащихся / А. А. Ивин. - Москва : Просвещение, 1996. - 206 с. - ISBN 5-09-006843-7 : 12500.00 р.
ГРНТИ
02.21
УДК
16(07)
ББК Ю4я7
Рубрики: Логика--Учебные издания для средней школы
Кл.слова (ненормированные):
логика высказываний -- Логика и язык -- модальная логика -- индуктивные рассуждения -- спор (логика)

Экземпляры всего: 3
АБУ (2), АБЗ (1)
Свободны: АБУ (2), АБЗ (1)
Найти похожие
2.
   16
   И253

    Ивин, Александр Архипович.
    Практическая логика. Задачи и упражнения / А. А. Ивин. - Москва : Просвещение, 1996. - 128 с. - ISBN 5-09-006844-5 : 9500.00 р.
ГРНТИ
02.21
УДК
16(076.1)
ББК Ю4я73
Рубрики: Логика--Задачники
Кл.слова (ненормированные):
логика высказываний -- Логика -- модальная логика -- индуктивные рассуждения

Экземпляры всего: 1
АБУ (1)
Свободны: АБУ (1)
Найти похожие
3.
   16
   И 253

    Ивин, Александр Архипович.
    Логика : [учебное пособие для вузов] / А. А. Ивин. - Москва : Высшая школа, 2004. - 304 с. : ил. - ISBN 5-06-005117-X : 183.80 р., 250.00 р.
ГРНТИ
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ИНТУИТИВНАЯ ЛОГИКА -- НЕКЛАССИЧЕСКАЯ ЛОГИКА -- МОДАЛЬНАЯ ЛОГИКА -- ОЦЕНОЧНЫЕ ВЫСКАЗЫВАНИЯ -- НОРМАТИВНЫЕ ВЫСКАЗЫВАНИЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГИКА) -- ОПРОВЕРЖЕНИЕ (ЛОГИКА) -- ИНДУКТИВНЫЕ РАССУЖДЕНИЯ -- СОФИЗМЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- ИСКУССТВО СПОРА

Экземпляры всего: 15
АБЗ (14), АБУ (1)
Свободны: АБЗ (14), АБУ (1)
Найти похожие
4.
   16
   Б 865

    Бочаров, Вячеслав Александрович.
    Введение в логику : учебник для студентов вузов, изучающих философские дисциплины / В. А. Бочаров, В. И. Маркин. - Москва : ИНФРА-М : ФОРУМ, 2008. - 560 с. - (Высшее образование). - ISBN 978-5-8199-0365-0 : 264.90 р., 264.90 р., 289.85 р.
ГРНТИ
02.21
УДК
16(075.8)
ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логический анализ языка -- Логика высказываний -- Логика предикатов -- Силлогистика -- Модальная логика -- Логика времени -- Интуиционистская логика -- Понятие (логика)


Доп.точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 17
Х (1), АБУ (15), ЧЗГ (1)
Свободны: Х (1), АБУ (15), ЧЗГ (1)
Найти похожие
5.
   681
   Д 706

   
    Достоверный и правдоподобный вывод в интеллектуальных системах : учебное пособие для студентов вузов, обучающихся по направлению "Прикладная математика и информатика" / В. Н. Вагин [и др.] ; ред.: В. Н. Вагин, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 710, [1] с. - Библиогр.: с. 648-678. - Предм. указ.: с. 679-710. - ISBN 978-5-9221-0962-8 : 496.80 р., 496.80 р.
ГРНТИ
20.15.05
УДК
681.518
519.816](075.8)
Рубрики: Информационные системы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ -- ГРАФЫ СВЯЗЕЙ -- МОДАЛЬНАЯ ЛОГИКА -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)


Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, В. Н. \ред.\; Поспелова, Д. А. \ред.\
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
6.
   16
   И 255

    Ивлев, Юрий Васильевич.
    Содержательная семантика модальной логики / Ю. В. Ивлев. - Москва : Издательство Московского университета, 1985. - 170 с. - Библиогр.: с. 166. - 0.75 р.
ГРНТИ
02.21
УДК
16
ББК Ю41
Рубрики: Логика
Кл.слова (ненормированные):
Модальная логика -- Логическая семантика -- Семантика -- Формальная логика -- Логика высказываний -- Логика предикатов

Экземпляры всего: 2
АБН (2)
Свободны: АБН (2)
Найти похожие
7.
   16
   К 210

    Караваев, Эдуард Федорович.
    Основания временной логики / Э. Ф. Караваев ; Министерство высшего и среднего специального образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1983. - 176 с. - 1.70 р., 1.70 р.
ГРНТИ
02.21
УДК
16
ББК Ю4

Кл.слова (ненормированные):
Логика времени -- Временная логика -- Модальная логика


Доп.точки доступа:
Министерство высшего и среднего специального образования РСФСР
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
8.
   16
   Л 694

   
    Логический вывод / Академия наук СССР , Институт философии. - Москва : [б. и.], 1979. - 311 с. - 1.90 р.
ГРНТИ
02.21
УДК
16
ББК Ю4
Рубрики: Логика
Кл.слова (ненормированные):
Релевантная логика -- Временная логика -- Модальная логика -- Интуиционистская логика


Доп.точки доступа:
Академия наук СССР ; Институт философии
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
9.
   16
   К 727

    Костюк, Владимир Николаевич.
    Элементы модальной логики / В. Н. Костюк. - Киев : Наукова думка, 1978. - 179 с. - Библиогр.: с. 176-179. - 1.80 р., 1.80 р.
ГРНТИ
02.21
УДК
16
ББК Ю4
Рубрики: Логика
Кл.слова (ненормированные):
Модальная логика -- Алетическая логика -- Логика предикатов

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
10.
   16
   Л 694

   
    Логико-семантические исследования : сборник статей / Академия наук Грузинской ССР, Институт философии. - Тбилиси : Мецниереба, 1981. - 144 с. - Библиогр. в конце ст. - 1.15 р.
ГРНТИ
02.21
УДК
16
003
ББК Ю41
Рубрики: Логика--Сборники
Кл.слова (ненормированные):
логическая семантика -- модальная логика


Доп.точки доступа:
Академия наук Грузинской ССР; Институт философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
 1-10    11-21   21-21 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 13.07.2024
Число запросов 15392
Число посетителей 415
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)