Dover Publications, 2014. — 288 p. — ISBN: 0486492370. Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive...
КНИТУ, Чистопольский филиал, преп. Мухаметзянов, Варианты 7, 15, 22, 25
К/раб из учебника Галиев Ш.И. Математическая логика и теория алгоритмов
Логика высказываний
Логика предикатов
Логические следствия и метод резолюций
Нормальный алгоритм и машина ТьюрингаТрехзначная логика Лукасевича
Нечёткие множества
Содержит 3 лабораторных работы. В каждой имеется подробное описание изучаемого раздела с примерами. Лаб1 содержит материалы по разделам: основы нечеркой логики, T и S нормы, нечеткие множества и вероятность, нечеткая логика, статья Лотфи Заде. Лаб2 содержит: надстройка FuzzyXL, реализующая нечеткие вычисления в MS Excel. Лаб3 содержит: надстройка Fuzzy Logic, реализующая...
12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В.
Рассматриваемые вопросы:
Алгебра высказываний.
Тавтологии алгебры высказываний.
Признаки логического следствия.
Булевы функции.
Нормальные формы булевых функций.
Алгебра Жегалкина.
Монотонность функции. Теорема о полноте.
Релейно-контактные схемы....
Комментарии