Плиско В.Е. - Введение в математическую логику - 16. Метод резолюций и логическое программирование
Простые способы изучения основ математической логики
Математическая логика — звучит страшно, правда? Но на самом деле это совсем не так! Если вы думаете, что это лишь для гениев, которые могут решать задачи на скорость, то спешу развеять этот миф. В этой статье мы поделимся простыми и эффективными способами освоить основы математической логики без лишнего стресса и запутанных теорий. Вы тоже когда-нибудь сидели с учебником, пытаясь понять, о чем там вообще речь? Давайте разберемся, как упростить процесс и сделать обучение логике не только понятным, но и увлекательным...
Доказательства существования Анубиса, Тора, Осириса и Одина методами математической логики
"Если врач просто врач - то это врач. А если философ - то это бог". Гиппократ. Из названия работы совершенно ясно и понятно, о чем пойдет речь. В современной науке открытия делаются на стыке различных дисциплин. И в данном случае это философия, математика, информатика и чуть-чуть медицины, и самое главное логика, классическая и квантовая. Как это ни парадоксально звучит, математически докажем, что Творец есть, а затем из этого выведем все остальное. Сразу предупреждаю, что это все сложно для понимания, на первый взгляд, конечно...