САДОВНИКОВ Николай Владимирович; СУЛТАНОВА Галия Алиевна(2022)
Разработан оригинальный подход к изучению элементов бесконечнозначной логики (БЛ) на основе преемственности введения основных операций (дизъюнкции, конъюнкции и отрицания) двузначной логики. В бесконечнозначной логике ...
We prove that (3,3)-homogeneous logics with 15 or 17 atoms are unique and for 16 atoms such logic does not exist. We also describe the automorphism groups for such logics and construct (3,3)-homogeneos logics (with 19 ...
В статье предложен один из методов формирования умения правильно рассуждать у учащихся 9 класса на курсе по выбору. Этот метод основан на использовании средств математической логики при решении задач на распознавание ...