Одинцов С.П., Сперанский С.О., Дробышевич С.А. Введение в неклассические логики

Москва: Изд-во МИФИ, 2007. — 306 с. Изложен основной круг задач, сводимых к исчислению объектов - от простого к сложному. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и λ-исчисления. Все задачи снабжены подробными и...

М.: Едиториал УРСС, 2003. - 544 с. А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому...

Учебник — Тверь: Твер. гос. ун-т, 2013. — 480 с. Данный учебник полностью охватывает материал курса "Основы теории моделей". Он адресован, прежде всего, студентам старших курсов, изучающих указанный предмет или смежные с ним, а также всем, кто интересуется математической логикой. Основы теории множеств. Аксиомы теории множеств. Наследственно конечные множества. Подмножества и...

Учебное пособие. — Переводчик Е.Е. Ледников. — М.: Идея-Пресс, 2010. — 380 с. — ISBN: 978-5-903927-07-4. Учебное пособие «Логика» состоит из двух книг: «Традиционная логика» и «Современная логика». В первой книге «Традиционная логика» в систематизированном, дидактически выдержанном виде раскрывается метод логики, анализируются основные формы и законы мышления. Значительное...

Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы....

Учебное пособие. — СПб.: СПбГУ, 2006. — 108 с. В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью инструментального средства математической системы MatLAB 7.0.4 –...