Имя:
Пароль:


a b c d e f g h i j k l m n o p q r s t u v w x y z    0 1 2 3 4 5 6 7 8 9 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я 

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

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





Скачать c rapidshare.com

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости.
]