| Аннотація | В этой книге рассматривается проблема решения систем линейных диофантовых уравнений, продолжается изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Описан метод элементарно устойчивых множеств для доказательства разрешимости теорий первого (второго) порядка. Показано, что в любой конечно определенной коммутативной полугруппе класс регулярных множеств образует конструктивную булеву алгебру. Рассмотрены логические и дескриптологические приемы и методы самоорганизации для овладения математическими знаниями. Книга рассчитана на широкий круг студентов, аспирантов и научных работников.
Предисловие... 3
Глава 13. Элементарно устойчивые множества ... 5
13.1. Общая схема метода э.у.м.... 5
13.2. Полулинейные и жесткие множества ... 12
13.3. Арифметика Пресбургера и коммутативные полугруппы . 19
13.4. Сингулярные теории второго порядка и конечные
е-автоматы ... 22
13.5. Конечные Wе -автоматы ... |