Общая алгебра
Математика
  • формат djvu
  • размер 3.21 МБ
  • добавлен 16 марта 2009 г.
Владимиров Д.А. Булевы алгебры
М.: Наука, 1969. - 319 с.

Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, даётся обзор её важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в различных областях математики (алгебра, функциональный анализ, теория меры, теория вероятностей). Она может служить пособием при первоначальном изучении теории булевых алгебр; для её понимания достаточно знакомства с элементами алгебры, теории меры и общей топологии.

Оглавление:
Предисловие
Введение
Первоначальные сведения о булевых алгебрах.
- Структуры.
- Булевы алгебры.
- Реализация булевой алгебры в виде алгебры множеств.
- Компоненты и дизъюнктные разложения.
- Булева алгебра компонент.
- Аддитивные функции на булевых алгебрах. Меры; связь с теорией вероятностей.
- Автоморфизмы и инвариантные меры.
Основной аппарат.
- Подалгебры, образующие.
- Булева алгебра как алгебраическая система.
Полные булевы алгебры. Топологии.
- Полные алгебры.
- Принцип исчерпывания и теорема о нормальных ядрах.
- Направленные множества и обобщенные последовательности.
- Различные топологии в булевых алгебрах.
- Построение полных булевых алгебр.
Непрерывные функции и отображения.
- Важнейшие классы непрерывных отображений.
- Теорема Лебега — Каратеодори.
- Продолжение гомоморфизмов.
Векторные структуры и спектральные функции.
- К-пространства и связанные с ними булевы алгебры.
- Спектральные семейства и разложения единицы. Спектральные меры.
- Интеграл по спектральной мере. Теорема Фрейденталя. Пространство Gх как совокупность разложений единицы.
- Сходимость и топология порядка в К-пространствах.
- Важнейшие примеры.
Нормированные и регулярные алгебры.
- Нормированные алгебры.
- Подалгебры нормированной булевой алгебры.
- Вполне аддитивные функции и разложения единицы нормированной алгебры.
- Регулярные булевы алгебры.
- Продолжение гомоморфизма со значениями в регулярной алгебре.
Строение полных булевых алгебр.
- Основные теоремы.
- Классификация нормированных алгебр.
Группы автоморфизмов и инвариантные меры.
- Необходимые условия существования инвариантной меры.
- Существование инвариантной меры на вполне однородной алгебре. Условия нормируемости.
- Теоремы об инвариантной мере для нормируемых алгебр.
Приложение. Некоторые сведения из теории множеств и общей топологии
Литература
Предметный указатель
Указатель основных обозначений
Похожие разделы
Смотрите также

Автор неизвестен. Теоретические основы автоматики и телемеханики

  • формат pdf
  • размер 519.63 КБ
  • добавлен 22 декабря 2010 г.
Автор неизвестен. Теоретические основы автоматики и телемеханики. Основные положения и законы алгебры логики. Формы представления функций алгебры логики. Булевы функции от двух переменных. Полнота и базис булевых функций. Минимизация булевых функций. Функции алгебры логики и электрические схемы.

Быкова С.В., Буркатовская Ю.Б. Булевы функции

Практикум
  • формат pdf
  • размер 426.41 КБ
  • добавлен 23 августа 2009 г.
Методическое пособие, ТПУ 2002г Булевы константы и векторы Булево пространство, интервал в булевом пространстве Булевы переменные, булевы функции, фиктивные переменные Формулы и равносильности Двойственная функция и двойственная формула Разложение булевой функции по переменным и совершенные нормальные формы Дизъюнктивная нормальная форма Сокращенная, кратчайшая, минимальная и безызбыточная ДНФ Минимизация булевых функций

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

  • формат djvu
  • размер 3.56 МБ
  • добавлен 27 февраля 2011 г.
Новосибирск: Научная книга, 1996, — 364 с., — (Сибирская школа алгебры логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгеб...

Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.73 МБ
  • добавлен 16 апреля 2010 г.
ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

Контрольная - Булевы функции

Контрольная работа
  • формат rtf
  • размер 174.39 КБ
  • добавлен 01 мая 2011 г.
СПб. : 2011 г - 38 стр. Содержание. Основные понятия булевой алгебры. Способы задания булевых функций. Булевы функции одной и двух переменных. Основные законы и тождества булевой алгебры. Аналитическое представление булевых функций. Функционально полные системы булевых функций. Минимизация булевых функций. Метод Квайна. Метод Квайна-Мак-Класки. Метод диаграмм Вейча. Карты Карно. Особенности минимизации булевых функций большим числом переменных....

Контрольная работа по булевым функциям

Контрольная работа
  • формат doc
  • размер 500 КБ
  • добавлен 03 августа 2011 г.
Контрольная работа, 6 заданий: Операцию вычитания заменить операцией сложения с использованием дополнительного кода. Сложить в двоичном и двоично – десятичном кодах числа. Булевы выражения минимизировать с помощью карт Карно. Начертить логическую схему. Составить уравнения алгебры логики по схеме, изображенной на рисунке, упростить полученное выражение, построить схему. Реализовать в базисе И-НЕ логическую функцию. Построить DC, преобразующий одн...

Контрольные работы - Булевы функции в СДНФ и СКНФ, карты карно

Контрольная работа
  • формат doc
  • размер 1.91 МБ
  • добавлен 05 августа 2011 г.
Две контрольные работы в архиве. По заданной таблице истинности записать Булевы функции в СДНФ и СКНФ, минимизировать полученные функции с помощью тождеств алгебры логики и карт Карно. Начертить логическую схему, реализующую полученное выражение. Булевы функции, заданные в СДНФ, минимизировать с помощью карт Карно и тождеств алгебры логики. Построить схемы, удовлетворяющие преобразованным выражениям.

Лекции - Математическая логика и основы теории алгоритмов

Статья
  • формат pdf
  • размер 1.54 МБ
  • добавлен 11 марта 2010 г.
12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В. Рассматриваемые вопросы: Алгебра высказываний. Тавтологии алгебры высказываний. Признаки логического следствия. Булевы функции. Нормальные формы булевых функций. Алгебра Жегалкина. Монотонность функции. Теорема о полноте. Релейно-контактные схемы. Логика предикатов. Кванторные операции над предикатами. Аристотелева силлогистика....

Лекции по булевым функциям

Статья
  • формат doc
  • размер 869 КБ
  • добавлен 07 ноября 2009 г.
Булевы переменные и функции. Операции булевой алгебры. Эквивалентные формулы. Основные эквивалентности. Дизъюнктивная нормальная форма (ДНФ). Совершенная ДНФ. Минимизация ДНФ. Конъюнктивная нормальная форма (КНФ). Совершенная КНФ. Минимизация КНФ. Полиномиальное разложение: СПНФ. Канонический полином Жегалкина. Арифметический полином.

Подзоров С.Ю. Булевы алгебры

  • формат pdf
  • размер 744.58 КБ
  • добавлен 05 декабря 2010 г.
Учебное пособие по спецкурсу. - Новосибирск: НГУ, 2005. - 93 с. В пособии даются основные определения из курса булевой алгебры, рассматриваются идеалы, фактор-алгебры и гомоморфизмы, простые идеалы и тождества, точные последовательности и идеальные пополнения, стоуновские топологические пространства, линейные базисы, операторы, суператомные алгебры Ершова и другие вопросы.