Много парней начинают ходить в тренажерные залы в надежде накачать мышцы и стать сильнее. Однако большинство из них не достигают никакого результата и в итоге бросают тренировки. Это происходит не потому, что у них не хватило упорства, а потому что они тренировались принципиально неправильно. Просто
Счетные булевы алгебры и разрешимость
✍ 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
Много парней начинают ходить в тренажерные залы в надежде накачать мышцы и стать сильнее. Однако большинство из них не достигают никакого результата и в итоге бросают тренировки. Это происходит не потому, что у них не хватило упорства, а потому что они тренировались принципиально неправильно. Просто
В этой книге содержится новый, существенно усовершенствованный вариант методики самооздоровления, успешно практикуемой в России вот уже более десяти лет. Курс этой уникальной системы прост и доступен любому. Методика Норбекова опирается на достижения философской мысли Востока ипри правильном примене
Брайан Трейси - ведущий специалист в области успеха и личных достижений, ежегодно обучающий более 100000 человек на общественных и индивидуальных семинарах. В книге он предлагает мощную, действеннуюсистему, которую вы сразу можете применить, чтобы достичь прекрасных результатов в жизни. Вы узнаете,
Брайан Трейси - ведущий специалист в области успеха и личных достижений, ежегодно обучающий более 100000 человек на общественных и индивидуальных семинарах. В книге он предлагает мощную, действеннуюсистему, которую вы сразу можете применить, чтобы достичь прекрасных результатов в жизни. Вы узнаете,
Автор этой книги хорошо знает, как соединяются и разбиваются сердца обитателей дорогих особняков Рублёво-Успенского шоссе и как строят отношения с противоположным полом состоятельные люди. Счастья за деньги не купить. Автор на основании собственных наблюдений и опыта дает советы о том, как строить