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

Базы данных


БД "Книги" - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:БД "Статьи" (7)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=модальная логика<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
   87.4
   К93


    Курбатов, Владимир Иванович.
    Логика [Текст] : учеб. пособие для вузов: рек. Мин. обр. РФ / Курбатов В.И. - 2-е изд., доп. - Ростов н/Д : Феникс, 1997. - 384 с. - ISBN 5-222-00171-7 : 20.00 р.
ГРНТИ
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика, предмет -- традиционная логика -- модальная логика -- средства аргументации -- аргументирование, виды -- деловой стиль аргументации

Экземпляры всего: 3
ч.з. (3), аб.
Свободны: ч.з. (3)
Найти похожие

2.
   87.4
   Н51


    Ненашев, Михаил Иванович.
    Введение в логику [Текст] : учеб. пособие: рек. Мин. обр. РФ / М. И. Ненашев. - М. : Гардарики, 2004. - 352 с. - (Disciplinae). - Библиогр.: с. 352. - ISBN 5-8297-0173-1 : 75.00 р.
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика высказываний -- понятие, виды -- суждение, элементы -- дедуктивные умозаключения -- вероятностные умозаключения -- законы логики -- доказательство, виды -- опровержение, виды -- логика предикатов -- неклассическая логика -- модальная логика -- трехзначная логика

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

3.
   32.81
   Л69


   
    Логический подход к искусственному интеллекту [Текст] : от модальной логики к логике баз данных: моногр.; пер.с фр. / Ред. Г. П. Гаврилов. - М. : Мир, 1998. - 494 с. : ил. - Библиогр.: с. 471 . - ISSN 5-03-0025. - ISBN 5-03-002519-7. - ISBN 02-04-018757-Х : 15.00 р.
ББК 32.813 + 32.973
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
языки и логика -- языки, логическое исследование -- модальная логика -- логика предикатов -- интенсиональная логика -- типизированная экстенсиональная логика -- Монтегю, семантика, грамматика -- временная логика -- модифицируемые рассуждения -- логика и базы данных -- реляционная модель -- дедуктивные базы данных -- стратифицированные базы данных


Доп.точки доступа:
Гаврилов, Г.П. \ред.\ ч.з.
Свободных экз. нет
Найти похожие

4.
   87.4
   И 25


    Ивин, Александр Архипович.
    Логика [Текст] : учеб. пособие для бакалавров : рек. НМС / А. А. Ивин. - 3-е изд., испр. и доп. - М. : Юрайт, 2012. - 388 с. - (Бакалавр. Базовый курс). - Библиогр. в конце глав. - ISBN 978-5-9916-1903-5 (в пер.) : 234.80 р.
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика -- интуитивная логика -- мышление и язык -- понятия -- высказывания -- умозаключения -- определение -- классификация -- законы логики -- неклассическая логика -- модальная логика -- логический анализ -- доказательство -- опровержение -- индуктивные рассуждения -- софизмы -- логические парадоксы -- спор

Экземпляры всего: 10
аб. (10)
Свободны: аб. (10)
Найти похожие

5.
   87.4
   С 24


    Светлов, Виктор Александрович.
    Современная логика [Текст] : учеб. пособие : рек. УМО / В. А. Светлов. - СПб. : Питер, 2006. - 400 с. : рис. - (Учеб. пособие ). - ISBN 5-469-00876-2 (в пер.) : б.ц.
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика, предмет -- понятие -- суждение -- дедуктивные умозаключения -- дедуктивное доказательство -- дедуктивное опровержение -- логика высказываний -- логика предикатов -- индуктивная логика -- модальная логика -- парадоксы

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

 
Статистика
за 03.09.2024
Число запросов 76273
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)