Непейвода, Н. Н. Прикладная логика [Электронный ресурс] : учебное пособие / Непейвода Н. Н. - Новосибирск : Сибирское университетское издательство, 2017. - 521 с. - ISBN 978-5-379-02009-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): классическая логика -- логические формулы -- неклассическая логика -- прикладная логика -- прикладная математика -- учебное пособие Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: «Математика», «Прикладная математика», «Структурная прикладная лингвистика», «Философия», «Когнитивная психология». Свободных экз. нет |
Жоль, К. К. Логика [Электронный ресурс] : учебное пособие для вузов / Жоль К. К. - Москва : ЮНИТИ-ДАНА, 2012. - 400 с. - ISBN 5-238-00664-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): классическая логика -- логика -- логическая семантика -- логическое исследование -- логическое программирование -- математическая логика -- символическая логика -- учебное пособие Аннотация: Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики. В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров. Доп.точки доступа: Конферский, А. Е. \ред.\ Свободных экз. нет |
Девяткин, Л. Ю. Трехзначные семантики для классической логики высказываний [Электронный ресурс] / Девяткин Л. Ю. - Москва : Институт философии РАН, 2011. - 108 с. - ISBN 978-5-9540-0203-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): высказывание -- истинностное значение -- классическая логика -- логическое следование -- матрица -- монография -- трехзначная семантика Аннотация: Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями. Свободных экз. нет |
Гетманова, А. Д. Классическая и неклассические логики — необходимый компонент науки и современного образования [Электронный ресурс] : научно-методическое пособие для аспирантов всех специальностей / Гетманова А. Д. - Москва : Московский городской педагогический университет, 2010. - 96 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): классическая логика -- математическая логика -- неклассическая логика -- умозаключение Аннотация: В пособии для аспирантов, сдающих кандидатский экзамен по философии и истории науки, изложены основные идеи и результаты классической, традиционной или «аристотелевой» логики. Значительное внимание автор уделяет изложению основ математической логики как классической двузначной логики, так и неклассическим логикам: интуиционистской, многозначным, конструктивным, а также предлагает собственные варианты бесконечнозначных логик. Материал этого раздела будет полезен преподавателям математики, информатики, программистам и специалистам в области других наук. В конце текста в Приложении I даны задачи и их решение (по многим темам классической логики). Свободных экз. нет |