Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логическое следование<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
IPRBooks-18750
18750

    Девяткин, Л. Ю.
    Трехзначные семантики для классической логики высказываний [Электронный ресурс] / Девяткин Л. Ю. - Москва : Институт философии РАН, 2011. - 108 с. - ISBN 978-5-9540-0203-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
161.12
ББК 87.4

Кл.слова (ненормированные):
высказывание -- истинностное значение -- классическая логика -- логическое следование -- матрица -- монография -- трехзначная семантика
Аннотация: Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие
2.
IPRBooks-81280
81280

    Трунтаева, Т. И.
    Математическая логика [Электронный ресурс] : учебно-методическое пособие / Трунтаева Т. И. - Саратов : Вузовское образование, 2019. - 53 с. - ISBN 978-5-4487-0479-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
510
ББК 22.1

Кл.слова (ненормированные):
логическая операция -- логическое следование -- математика -- математическая логика -- случай
Аннотация: В учебно-методическом пособии рассмотрены основные понятия математической логики и решения типовых задач с помощью аппарата математической логики, согласно цели и содержанию учебной дисциплины «Математика» для студентов гуманитарных направлений подготовки. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего профессионального образования. Учебно-методическое пособие предназначено для изучения учебной дисциплины «Математика», включенной в учебные планы по гуманитарным направлениям подготовки бакалавров, а также «Математическая логика», входящей в учебный план подготовки бакалавров по направлению 44.03.05 «Педагогическое образование», профиль «Физика и математика».

(для доступа требуется авторизация)

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