«Задачи по теории множеств, математической логике и теории алгоритмов» И. А. Лавров, Л. Л. Максимова В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков. Это и многое другое вы найдете в книге Задачи по теории множеств, математической логике и теории алгоритмов (И. А. Лавров, Л. Л. Максимова). Напишите свою рецензию о книге И. А. Лавров, Л. Л. Максимова «Задачи по теории множеств, математической логике и теории алгоритмов» http://izbe.ru/book/84407-zadachi-po-teorii-mnozhestv-matematicheskoy-logike-i-teorii-algoritmov-i-a-lavrov-l-l-maksimova/

На чем основана логика? Часть 2. Математическая модель полисиллогистики В первой части было рассказано об алгебре множеств, рассматриваемой в качестве оснований классической логики и показано, как можно обосновать без аксиом законы алгебры множеств, которые полностью соответствуют законам классической логики.В Части 2 будут показаны недостатки и некорректности силлогистики, а также рассмотрена новая, основанная на законах алгебры множеств, математическая модель полисиллогистики, в которую добавлены новые методы логического анализа, включающие распознавание ошибок в рассуждении и методы получения абдуктивных заключений. Читать далее https://habr.com/ru/articles/781684/?utm_source=habrahabr&utm_medium=rss&utm_campaign=781684