В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром.
Математическая логика — это раздел современной формальной логики, в котором логические...
Что происходит с логикой сегодня Логика — это учение/трансдисциплина, занимающаяся рассуждениями по каким-то правилам/нормам рассуждений, ведущим к надёжному/безошибочному результату. Эти правила рассуждений по большому счёту могут быть любыми, только некоторые из них ведут к безошибочным рассуждениям. Логикой называют и дисциплину про то, какие вообще бывают правила/нормы рассуждений, и отдельные дисциплины про то, как рассуждать по конкретным наборам правил. Рассуждения по правилам, которые ведут...
Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...