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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 16/И253
Автор(ы) : Ивин, Александр Архипович
Заглавие : Логика : пособие для учащихся
Выходные данные : Москва: Просвещение, 1996
Колич.характеристики :206 с
ISBN, Цена 5-09-006843-7: 15.00, 12500.00, р.
ГРНТИ : 02.21
УДК : 16(07)
ББК : Ю4я7
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--логика и язык--модальная логика--индуктивные рассуждения--спор (логика)
Экземпляры : всего : АБУ(2), АБЗ(1)
Свободны : АБУ(2), АБЗ(1)
Найти похожие
2.

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

Вид документа : Однотомное издание
Шифр издания : 16/И 253
Автор(ы) : Ивин, Александр Архипович
Заглавие : Логика : [учебное пособие для вузов]
Выходные данные : Москва: Высшая школа, 2004
Колич.характеристики :304 с.: ил.
ISBN, Цена 5-06-005117-X: 183.80, 183.80, 250.00, р.
ГРНТИ : 02.21
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): интуитивная логика--неклассическая логика--модальная логика--оценочные высказывания--нормативные высказывания--доказательство (логика)--опровержение (логика)--индуктивные рассуждения--софизмы--логические парадоксы--искусство спора
Экземпляры : всего : АБЗ(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
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логический анализ языка--логика высказываний--логика предикатов--силлогистика--модальная логика--логика времени--интуиционистская логика--понятие (логика)
Экземпляры : всего : Х(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)
Предметные рубрики: Информационные системы
Ключевые слова (''Своб.индексиров.''): интеллектуальные системы--графы связей--модальная логика--пролог (язык программирования)
Экземпляры : всего : Х(1), ЧЗЕ(1)
Свободны : Х(1), ЧЗЕ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 16/И 255
Автор(ы) : Ивлев, Юрий Васильевич
Заглавие : Содержательная семантика модальной логики
Выходные данные : Москва: Издательство Московского университета, 1985
Колич.характеристики :170 с
Примечания : Библиогр.: с. 166
Цена : 0.75, 0.75, р.
ГРНТИ : 02.21
УДК : 16
ББК : Ю41
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): модальная логика--логическая семантика--семантика--формальная логика--логика высказываний--логика предикатов
Экземпляры : всего : АБН(2)
Свободны : АБН(2)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 16/К 210
Автор(ы) : Караваев, Эдуард Федорович
Заглавие : Основания временной логики
Выходные данные : Ленинград: Издательство Ленинградского университета, 1983
Колич.характеристики :176 с
Коллективы : Министерство высшего и среднего специального образования РСФСР
Цена : 1.70, 1.70, р.
ГРНТИ : 02.21
УДК : 16
ББК : Ю4
Ключевые слова (''Своб.индексиров.''): логика времени--временная логика--модальная логика
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 16/Л 694
Заглавие : Логический вывод
Выходные данные : Москва, 1979
Колич.характеристики :311 с
Коллективы : Академия наук СССР , Институт философии
Цена : 1.90, 1.90, р.
ГРНТИ : 02.21
УДК : 16
ББК : Ю4
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): релевантная логика--временная логика--модальная логика--интуиционистская логика
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 16/К 727
Автор(ы) : Костюк, Владимир Николаевич
Заглавие : Элементы модальной логики
Выходные данные : Киев: Наукова думка, 1978
Колич.характеристики :179 с
Примечания : Библиогр.: с. 176-179
Цена : 1.80, 1.80, р.
ГРНТИ : 02.21
УДК : 16
ББК : Ю4
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): модальная логика--алетическая логика--логика предикатов
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 16/Л 694
Заглавие : Логико-семантические исследования : сборник статей
Выходные данные : Тбилиси: Мецниереба, 1981
Колич.характеристики :144 с
Коллективы : Академия наук Грузинской ССР, Институт философии
Примечания : Библиогр. в конце ст.
Цена : 1.15 р.
ГРНТИ : 02.21
УДК : 16 + 003
ББК : Ю41
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логическая семантика--модальная логика
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
 1-10    11-21   21-21 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.08.2024
Число запросов 36356
Число посетителей 477
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)