Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В152.61$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | Тип видання: навчальний посібник | | |
1. |
Яглом, И. М. Необыкновенная алгебра [Електронний ресурс] / И. М. Яглом. - М. : Наука. Главная редакция физико-математической литературы, 1968. - 72 с.. - (Популярные лекции по математике. Вып. 45)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Брошюра излагает основные понятия, относящиеся к учению о так называемых "алгебрах Буля", играющих большую роль в математической логике и весьма важных для всех направлений современной математики, связанных с электронными вычислительными машинами и кибернетикой. В брошюре дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривается алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств. Брошюра содержит достаточное число упражнений (сопровождаемых ответами, помещенными в конце брошюры), доставляющих читателю возможность контроля над усвоением материала и самопроверки. Брошюра может быть использована и работе школьного математического кружка; она будет с интересом прочитана не только школьниками средних (7-го, 8-го) классов, но и школьниками-старшеклассниками.
Кл.слова: математична логіка -- кібернетика
| | Тип видання: науково-популярне видання | | |
2. |
Гончаров, С. С. Счетные булевы алгебры и разрешимость [Електронний ресурс] / С. С. Гончаров. - Новосибирск : Научная книга, 1996. - 364 с.. - (Сибирская школа алгебры и логики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов. Для интересующихся математической логикой и алгеброй.
Кл.слова: математична логіка -- алгебраїчна система
| |
|
|