Девяткин, Л. Ю. Трехзначные семантики для классической логики высказываний [Электронный ресурс] / Девяткин Л. Ю. - Москва : Институт философии РАН, 2011. - 108 с. - ISBN 978-5-9540-0203-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): высказывание -- истинностное значение -- классическая логика -- логическое следование -- матрица -- монография -- трехзначная семантика Аннотация: Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями. Свободных экз. нет |
Трунтаева, Т. И. Математическая логика [Электронный ресурс] : учебно-методическое пособие / Трунтаева Т. И. - Саратов : Вузовское образование, 2019. - 53 с. - ISBN 978-5-4487-0479-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): логическая операция -- логическое следование -- математика -- математическая логика -- случай Аннотация: В учебно-методическом пособии рассмотрены основные понятия математической логики и решения типовых задач с помощью аппарата математической логики, согласно цели и содержанию учебной дисциплины «Математика» для студентов гуманитарных направлений подготовки. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего профессионального образования. Учебно-методическое пособие предназначено для изучения учебной дисциплины «Математика», включенной в учебные планы по гуманитарным направлениям подготовки бакалавров, а также «Математическая логика», входящей в учебный план подготовки бакалавров по направлению 44.03.05 «Педагогическое образование», профиль «Физика и математика». Свободных экз. нет |