Форум » Логические уравнения » Цепочки связующих узлов многодольного графа и метод обратного прогона по Елене А. Мирончик » Ответить
Цепочки связующих узлов многодольного графа и метод обратного прогона по Елене А. Мирончик
dbaxps: Сколько решений имеет система ? (x1^x2=>x3)^x4=>x5=1 (y1^y2=>y3)^y4=>y5=1 (z1^z2 =>z3)^z4=>z5=1 (x3⊕y3)^(y4⊕z4)=1
Ответов - 1
dbaxps: 1. Посмотреть http://kpolyakov.spb.ru/download/mea-2016-8.pdf 2. Посмотреть https://vk.com/doc6125348_500213701?hash=45e740c9fc41ca6cc3&dl=591adba71d2f079bbd 3. Посмотреть https://vk.com/doc6125348_500219375?hash=98bd7718a258b37a51&dl=7cbbc2f9e20b7f5178 Все три примера достаточно прозрачны и просты для понимания. Дальше не очень трудно сделать Другой пример ((((x1 =>x2) =>x3) =>x4) =>x5) =>x6=1 ((((y1 =>y2) =>y3) =>y4) =>y5) =>y6=1 ((((z1 =>z2) =>z3) =>z4) =>z5) =>z6=1 (x3 =>y3)^(y4=>z4)=1 На мой взгляд Битовые Цепочки - это своего рода интеллектуальная зависимость. Я отдаю себе отчет в том по факту мы имеем дело с более высоким уровнем абстракции, причем в области чистой математики. Алгебра Логики && Алгебра Предикатов && Теория графов. Читается в 1-2-ом семестре любого факультета типа МехМат,ВМК,ФУПМ на всей территории РФ. Читается также на ИВТ специальностях технических Вузов , но не всегда достаточно профессионально.
полная версия страницы