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

Базы данных


Електронний каталог бібліотеки НДУ ім. Миколи Гоголя- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=логика предикатов<.>
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
16
З-47


    Зегет, Вольфганг.
    Элементарная логика [Текст] / В. Зегет; пер. с нем. И. М. Морозовой. - М. : Высшая школа, 1985. - 256 с. : рис., табл. - 0.90 руб
ГРНТИ
ББК 87.4
РУБ 16
Рубрики: Логика--мышление--язык
   Логика высказываний

   Логика предикатов



Доп.точки доступа:
Морозова, И. М. \пер.\
Экземпляры всего: 1
фб (1)
Свободны: фб (1)
Найти похожие

2.
16
В65


    Войшвилло, Евгений Казимирович.
    Символическая логика: классическая и релевантная. Философско-методологические аспекты [Текст] : учебное пособие для студентов философских факультетов университетов / Е. К. Войшвилло. - М. : Высшая школа, 1989. - 149 с. - Библиогр.: с.147-148 . - ISBN 5-06-001417-7 : 0.30 руб.
ГРНТИ
ББК 87.4
РУБ 16
Рубрики: логика высказываний
   Логика предикатов

   Релевантная логика

   Классическая логика


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

3.
16
Л 59


    Линдон, Р.
    Заметки по логике [Текст] : научное издание / Р. Линдон; Под ред. Яглома И. М., пер. с англ. Гастева Ю. А. - М. : Мир, 1968. - 128 с. - (Современная математика). - Библиогр.: с.123-128 . - 0.41 руб.
ГРНТИ
ББК 87
РУБ 16
Рубрики: пропозиционная логика
   семантическое следование

   логика предикатов

   теорема дедукции

   теорема адекватности

   теорема Крейга

   теорема Эрбрана-Генцена

   теорема Тарского

   теорема Геделя

   теорема Черча



Доп.точки доступа:
Гастев, Ю. А. \пер.\; Яглом, И. М. \ред.\
Экземпляры всего: 1
фб (1)
Свободны: фб (1)
Найти похожие

4.
16
П78


   
    Проблемы логики и теории познания [Текст] : научное издание / Под. ред. И. С. Нарского. - М. : Московский университет, 1968. - 319 с. - Библиогр.: с.317-318 . - 1.22 руб
ГРНТИ
ББК 87.4
РУБ 16
Рубрики: Логическое следование
   логика высказываний

   Методы исследования (филос)

   Многозначная логика

   Вероятностная логика

   Теория познания (логика)

   Логика предикатов



Доп.точки доступа:
Нарский, И. С. \ред.\
Экземпляры всего: 2
КСХ (1), фб (1)
Свободны: КСХ (1), фб (1)
Найти похожие

 
Статистика
за 24.07.2024
Число запросов 115568
Число посетителей 1073
Число заказов 0
© Бібліотека імені академіка М.О. Лавровського
НДУ імені Миколи Гоголя