Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов
ЛОГИКА
Что происходит с логикой сегодня Логика — это учение/трансдисциплина, занимающаяся рассуждениями по каким-то правилам/нормам рассуждений, ведущим к надёжному/безошибочному результату. Эти правила рассуждений по большому счёту могут быть любыми, только некоторые из них ведут к безошибочным рассуждениям. Логикой называют и дисциплину про то, какие вообще бывают правила/нормы рассуждений, и отдельные дисциплины про то, как рассуждать по конкретным наборам правил. Рассуждения по правилам, которые ведут...