| BitTorrent Трекер RusTrek.ru http://5.45.70.241/ |
|
| Сибирская школа алгебры и логики - Гончаров С.С. - Счётные булевы алгебры и разрешимость [1996, DjVu, RUS] http://5.45.70.241/viewtopic.php?f=266&t=25574 |
Страница 1 из 1 |
| Автор: | kotiar [ 2011-11-24 00:47 ] |
| Заголовок сообщения: | Сибирская школа алгебры и логики - Гончаров С.С. - Счётные булевы алгебры и разрешимость [1996, DjVu, RUS] |
#777 Счётные булевы алгебры и разрешимость Год: 1996 Автор: Гончаров С.С. Жанр: Монография Издательство: Новосибирск: Научная книга ISBN: 5-88119-004-1 Серия: Сибирская школа алгебры и логики Язык: Русский Формат: DjVu Качество: Отсканированные страницы + слой распознанного текста Количество страниц: 373 Описание: Третий том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии "Сибирская школа алгебры и логики" под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов. Для интересующихся математической логикой и алгеброй. Опубликовано группой
|
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|
