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

Базы данных


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

Вид поиска

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


    Леоненко, Л. Л.
    Язык тернарного описания и артикли (не-фрегевский подход) [Текст] / Леоненко Л. Л. // Философские науки. - 2004. - N 7. - С. . 99-118. - Библиогр.: с. 115-117 (39 назв. ). - RUMARS-phil04_000_007_0099_1
УДК
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
логическая семантика -- язык тернарного описания -- ЯТО -- термы -- артикли -- определенные артикли -- неопределенные артикли -- понятия -- исчисление понятий -- семантические принципы -- логический анализ -- логические исчисления -- естественные языки
Аннотация: Обсуждаются неформаьные логические принципы, пригодные для интерпретации базисных понятий ЯТО, а также связь этих принципов с различными точками зрения на природу артиклей.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Зиновьев, А.

    Логический интеллект. Дедукция [Текст] / А. Зиновьев // Социально-гуманитарные знания. - 2005. - N 5. - С. . 146-156. - 0; Дедукция. - s, 2005, , rus. - RUMARS-sgum05_000_005_0146_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - N 5С. 146-156. - sgum05_000_005_0146_1, 5, 146-156
УДК
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
дедукция -- силлогистика -- логический вывод -- знание (философия) -- высказывания (логика) -- умозаключения -- логические исчисления
Аннотация: Статья посвящена исследованию правил вывода (дедукции) , которые составляют важнейшую задачу науки логики.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

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