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

Базы данных


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

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


    Томова, Наталья Евгеньевна (аспирант).
    Возникновение трехзначных логик: логико-философский анализ [Текст] / Н. Е. Томова // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 5. - С. 68-74. - Библиогр.: с. 74 (9 назв. ) . - ISSN 1995-0055
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
трехзначная логика -- логические связки -- логика третьего истинностного значения -- логика истинностного значения -- истинностное значение
Аннотация: Рассмотрены основные мотивы введения в логику третьего истинностного значения, исследована проблема обоснования новых логических связок, возникающая с введением дополнительного истинностного значения, а также некоторые свойства трехзначных логических систем.

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

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


    Томова, Наталья Евгеньевна (аспирант).
    Возникновение трехзначных логик: логико-философский анализ [Текст] / Н. Е. Томова // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 5. - С. 68-74. - Библиогр.: с. 74 (9 назв. ) . - ISSN 1995-0055
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
трехзначная логика -- логические связки -- логика третьего истинностного значения -- логика истинностного значения -- истинностное значение
Аннотация: Рассмотрены основные мотивы введения в логику третьего истинностного значения, исследована проблема обоснования новых логических связок, возникающая с введением дополнительного истинностного значения, а также некоторые свойства трехзначных логических систем.

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

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


    Трущин, Д. В.
    О сложности реализации функций из одного класса трехзначной логики формулами специального вида [Текст] / Д. В. Трущин // Вестник Московского университета. Сер. 1, Математика. Механика. - 2012. - № 4. - С. 20-26. - Библиогр.: с. 26 . - ISSN 0201-7385
УДК
^a519.7
ББК 22.18
Рубрики: Математика
   Математическая кибернетика
Кл.слова (ненормированные):
трехзначная логика -- классы трехзначной логики -- функции Шеннона -- Шеннона функции -- формулы специального вида -- верхние оценки функции -- теоремы -- доказательства
Аннотация: В работе описан некоторый класс функций трехзначной логики, для которого получены верхние оценки функции Шеннона в классе формул специального вида. Приведены также примеры последовательностей функций из рассматриваемого класса, для которых установлены экспоненциальные относительно числа переменных нижние оценки сложности. При этом значения функции Шеннона для рассматриваемого класса найдены с точностью до аддитивной константы.

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

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


    Дагаев, Д. А. (кандидат физико-математических наук).
    О поведении функций Шеннона для некоторых семейств классов функций трехзначной логики [Текст] / Д. А. Дагаев // Вестник Московского университета. Сер. 1, Математика. Механика. - 2012. - № 4. - С. 58-61. - Библиогр.: с. 61 . - ISSN 0201-7385
УДК
^a519.7
ББК 22.18
Рубрики: Математика
   Математическая кибернетика
Кл.слова (ненормированные):
функции трехзначной логики -- функции Шеннона -- Шеннона функции -- теоремы -- доказательства -- трехзначная логика -- формулы
Аннотация: Рассматривается некоторое счетное множество семейств классов функций трехзначной логики, принимающих значения из множества {0, 1}. Для каждого класса из этих семейств и для каждой его конечной порождающей системы получен порядок соответствующей функции Шеннона.

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

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


    Петрухин, Ярослав Игоревич (магистр).
    Корреспондентский анализ для паранепротиворечивой слабой логики Клини [Текст] / Я. И. Петрухин, В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2017. - № 6. - С. 52-62. - Библиогр.: с. 60-62 . - ISSN 0201-7385
УДК
^a16
ББК 87.42
Рубрики: Логика
   Логические формы и законы
Кл.слова (ненормированные):
Клини логика -- корреспондентский анализ -- логика LP -- логика PWK -- логика Клини -- неклассическая логика -- паранепротиворечивая логика -- паранепротиворечивая слабая логика -- слабая логика -- трехзначная логика
Аннотация: Предлагается корреспондентский анализ для трехзначной паранепротиворечивой слабой логики Клини PWK. Используя корреспондентский анализ Коя и Тамминги, основанный на логике парадокса Приста LP, показывается, что для такого анализа достаточна функционально более слабая, чем LP, логика PWK.


Доп.точки доступа:
Шангин, Василий Олегович (кандидат философских наук; ассистент)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)