Бесплатная библиотека - 1 338 003 изданий в библиотеке

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

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

Название: Гончаров С.С. Счётные булевы алгебры и разрешимость - Гончаров С.С.
Формат: DJVU
Размер: 3657 Kb
Аннотация:

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

Для интересующихся математической логикой и алгеброй.

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

Для интересующихся математической логикой и алгеброй.

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12902 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Журнал Trabalhos em BARBANTE №49

    Trabalhos em BARBANTE №49

    Название: Trabalhos em BARBANTE №49Номер: 49Формат: JPGРазмер: 4.38MbКоврики, скатерти, покрывала, салфетки. Все модели связаны крючком и имеют подробные схемы.depositfiles.comuploadbox.com . . .

  • Книга The Pleasures of Knitting.

    The Pleasures of Knitting.

    Название: The Pleasures of Knitting Автор: Ann McCauley Издательство: Martingale & Company Год издания: 2005 Страниц: 74 Язык: Английский Формат: jpg Размер: 11.95 Мб Описание: Touchable textures, s . . .

  • Книга Мэри Бэлоу - Леди с черным зонтиком (аудиокнига)

    Мэри Бэлоу - Леди с черным зонтиком (аудиокнига)

    Решительная двадцатипятилетняя англичанка, считающая себя безнадежной старой девой, и ироничный светский лев, покоряющий женщин одним взглядом… о, оригинальная парочка! Эта страсть вспыхнула, когда Де . . .

  • Журнал Как устроено тело человека №48

    Как устроено тело человека №48

    Название: Как устроено тело человека №48Автор: Альбер БариллеГод издания: 2007Страниц: 32Формат: DjvuРазмер: 1.9 MbЖурнал «Как устроено тело человека» — полное руководство для детей 4—11 лет по изучен . . .

  • Книга Arranging Flowers.

    Arranging Flowers.

    Название: Arranging Flowers Автор: Martha Stewart Издательство: Oxmoor House Год издания: 1999 Страниц: 146 Язык: Английский Формат: JPG Размер: 62 Мб Описание: Аранжировка цветов и дизайн букетов. . . .

  • Книга Основы кудо

    Основы кудо

    Название: Основы кудоАвтор: Зорин В.И., Анашкин Р.М.Год Выпуска: 2004Формат: программа для djvuРазмер файла: 3.45 MbВосточные единоборства всегда привлекают к себе повышенное внимание. КУДО не столько . . .

  • Книга Философское мировоззрение Гёте

    Философское мировоззрение Гёте

    Название: Философское мировоззрение ГётеАвтор: Свасьян К.А.Издательство: EvidentisГод: 2001Страниц: 224ISBN: 5-94610-006-8Формат: PDFЯзык: РусскийРазмер: 8,34 МбВ этой работе Карена Араевича Свасьяна . . .

  • Книга Путь чая

    Путь чая

    В книге рассказывается история возникновения и распространения чая в Китае и за пределами страны, дается его классификация. В главе «Сокровища чайной коллекции» представлены самые знаменитые сорта. Чи . . .

  • Книга Апокалипсис 2012, или Пророчества майя

    Апокалипсис 2012, или Пророчества майя

    Что делать миру и что делать человеку? Есть несколько животрепещущих вопросов.- Предаться страху или питать надежды?- Пережить кризис или встретить конец?- Сохранится ли для России тенденция двенадцат . . .

  • Журнал Tejer la Moda №80

    Tejer la Moda №80

    Название: Tejer la ModaГод / месяц: неизвестен Номер: 80Формат: pdf Размер: 7.7 Mb Страниц: 28 Язык: испанскийЖурнал по вязанию - коллекция узоров.depositfilesturbobit . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Гончаров С.С. Счётные булевы алгебры и разрешимость - Гончаров С.С.. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.