𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Счетные булевы алгебры и разрешимость

✍ Scribed by Гончаров С.С.


Book ID
127417938
Publisher
Науч. кн
Year
1996
Tongue
Russian
Weight
4 MB
Series
Сибирская школа алгебры и логики
Category
Library
City
Новосибирск
ISBN-13
9785881190040

No coin nor oath required. For personal study only.

✦ Synopsis


Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов. Для интересующихся математической логикой и алгеброй.


📜 SIMILAR VOLUMES


Секреты силового тренинга. Как накачать
📂 Standards 📅 2009 🏛 АСТ 🌐 Russian ⚖ 697 KB

Много парней начинают ходить в тренажерные залы в надежде накачать мышцы и стать сильнее. Однако большинство из них не достигают никакого результата и в итоге бросают тренировки. Это происходит не потому, что у них не хватило упорства, а потому что они тренировались принципиально неправильно. Просто

Секреты силового тренинга. Как накачать
📂 Standards 📅 2009 🏛 АСТ 🌐 Russian ⚖ 1 MB

Много парней начинают ходить в тренажерные залы в надежде накачать мышцы и стать сильнее. Однако большинство из них не достигают никакого результата и в итоге бросают тренировки. Это происходит не потому, что у них не хватило упорства, а потому что они тренировались принципиально неправильно. Просто

Система здоровья Норбекова: ускоренный и
📂 Standards 📅 2000 🏛 Прайм-Еврознак, ОЛМА-Пресс 🌐 Russian ⚖ 373 KB

В этой книге содержится новый, существенно усовершенствованный вариант методики самооздоровления, успешно практикуемой в России вот уже более десяти лет. Курс этой уникальной системы прост и доступен любому. Методика Норбекова опирается на достижения философской мысли Востока ипри правильном примене

Достижение максимума. Стратегии и навыки
📂 Standards 📅 2003;2005 🏛 SmartBook 🌐 Russian ⚖ 211 KB

Брайан Трейси - ведущий специалист в области успеха и личных достижений, ежегодно обучающий более 100000 человек на общественных и индивидуальных семинарах. В книге он предлагает мощную, действеннуюсистему, которую вы сразу можете применить, чтобы достичь прекрасных результатов в жизни. Вы узнаете,

Достижение максимума. Стратегии и навыки
📂 Standards 📅 2003;2005 🏛 SmartBook 🌐 Russian ⚖ 939 KB

Брайан Трейси - ведущий специалист в области успеха и личных достижений, ежегодно обучающий более 100000 человек на общественных и индивидуальных семинарах. В книге он предлагает мощную, действеннуюсистему, которую вы сразу можете применить, чтобы достичь прекрасных результатов в жизни. Вы узнаете,

Советы олигарха. Как строить отношения с
📂 Standards 📅 2014 🏛 Добрая книга 🌐 Russian ⚖ 470 KB

Автор этой книги хорошо знает, как соединяются и разбиваются сердца обитателей дорогих особняков Рублёво-Успенского шоссе и как строят отношения с противоположным полом состоятельные люди. Счастья за деньги не купить. Автор на основании собственных наблюдений и опыта дает советы о том, как строить