Счетные булевы алгебры и разрешимость » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Java 9. Полный обзор нововведений. Для быстрого ознакомления и миграции Java 9. Полный обзор нововведений. Для быстрого ознакомления и миграции Крестовый поход ИТ-руководителя (2016) Крестовый поход ИТ-руководителя (2016) Иллюстрированный Атлас Мира Иллюстрированный Атлас Мира Математические софизмы: Правдоподобные рассуждения, приводящие к ошибочным утверждениям Математические софизмы: Правдоподобные рассуждения, приводящие к ошибочным утверждениям Бухгалтерский учет: учебник Бухгалтерский учет: учебник Exploring the Scientific Method: Cases and Questions Exploring the Scientific Method: Cases and Questions Encyclopedia of Biodiversity, Revised Edition Encyclopedia of Biodiversity, Revised Edition Basic Cyanide Chemistry: An Essential Guide for Gold and Silver Leaching Basic Cyanide Chemistry: An Essential Guide for Gold and Silver Leaching Венерические болезни. Справочник Венерические болезни. Справочник Deep Learning Applications in Operations Research Deep Learning Applications in Operations Research Суперкурс підготовки до школи Суперкурс підготовки до школи Скандинавские мифы для детей (2024) Скандинавские мифы для детей (2024) Дифференцирование функций в линейных пространствах. Основы современного анализа Дифференцирование функций в линейных пространствах. Основы современного анализа Migrating ASP.NET Microservices to ASP.NET Core 8, Second Edition Migrating ASP.NET Microservices to ASP.NET Core 8, Second Edition Learning PHP, MySQL & JavaScript, 7th Edition (Final Release) Learning PHP, MySQL & JavaScript, 7th Edition (Final Release) Think Stats, 3rd Edition (Early Release) Think Stats, 3rd Edition (Early Release)
Java 9. Полный обзор нововведений. Для быстрого ознакомления и миграции Java 9. Полный обзор нововведений. Для быстрого ознакомления и миграции Крестовый поход ИТ-руководителя (2016) Крестовый поход ИТ-руководителя (2016) Иллюстрированный Атлас Мира Иллюстрированный Атлас Мира Математические софизмы: Правдоподобные рассуждения, приводящие к ошибочным утверждениям Математические софизмы: Правдоподобные рассуждения, приводящие к ошибочным утверждениям Бухгалтерский учет: учебник Бухгалтерский учет: учебник Exploring the Scientific Method: Cases and Questions Exploring the Scientific Method: Cases and Questions Encyclopedia of Biodiversity, Revised Edition Encyclopedia of Biodiversity, Revised Edition Basic Cyanide Chemistry: An Essential Guide for Gold and Silver Leaching Basic Cyanide Chemistry: An Essential Guide for Gold and Silver Leaching Венерические болезни. Справочник Венерические болезни. Справочник Deep Learning Applications in Operations Research Deep Learning Applications in Operations Research Суперкурс підготовки до школи Суперкурс підготовки до школи Скандинавские мифы для детей (2024) Скандинавские мифы для детей (2024) Дифференцирование функций в линейных пространствах. Основы современного анализа Дифференцирование функций в линейных пространствах. Основы современного анализа Migrating ASP.NET Microservices to ASP.NET Core 8, Second Edition Migrating ASP.NET Microservices to ASP.NET Core 8, Second Edition Learning PHP, MySQL & JavaScript, 7th Edition (Final Release) Learning PHP, MySQL & JavaScript, 7th Edition (Final Release) Think Stats, 3rd Edition (Early Release) Think Stats, 3rd Edition (Early Release)
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Счетные булевы алгебры и разрешимость
Добавил: Natali26 / 26-05-2022, 07:46 /
Название: Счетные булевы алгебры и разрешимость
Автор: Гончаров С.С.
Издательство: Научная книга
Год: 1996
Формат: pdf
Страниц: 373
Размер: 11,64 Мб
Язык: русский

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


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!