Лекция - Алгебра логики

Новосибирск: Изд-во Нгту, 2003. – 72 с. Данный конспект лекций составлен на основе курса лекций, читаемого авторами для студентов I курса факультета бизнеса Новосибирского государственного технического университета. В нем излагаются основы таких разделов дискретной математики, как «Теория множеств», «Алгебра логики», «Комбинаторика», «Теория графов». Работа предназначена для студентов и лиц, начинающих изучать дискретную математику. Введение....

Москва: Российский университет дружбы народов, 2011. - 79 с. В пособии излагаются основные положения логики - булева алгебра, исчисление высказываний, исчисление предикатов. Подготовлено на кафедре систем телекоммуникаций и предназначено для студентов I, II курсов математических специальностей университетов.

Элементы теории множеств. Основы алгебры логики. Понятие множества. Диаграммы Эйлера–Венна. Операции над множествами. Отношения на множествах. Понятие функции и отображения. Алгебраические структуры. Теорема Шеннона. Совершенная дизъюнктивная нормаль-ная форма. Двойственность конъюнктивной нормальной формы. Булева алгебра. Полнота и замкнутость системы логических функций. Логические сети. Графы. Сети, потоки на сетях.rn

Математическая логика. Алгебра высказываний. Функции алгебры логики. Минимизация булевых функций. Анализ и синтез логических сетей. Логические сети.

Скан с тетради преподавателя. Теория множеств. Булева алгебра, алгебра логики, математическая логика, исчисление высказываний. Теория графов. Теория автоматов.rn

МГТУ "Станкин", кафедра прикладной математики Двузначная логика: - Функции алгебры логики. - Суперпозиция и формулы. - Булева алгебра. - Алгебра Жегалкина. - Нормальные формы логических функций. - Минимизация функций. - Полнота и замкнутость. К-значная логика: - Элементарные функции. - Основные свойства элементарных функций. - Основные формы функций. - Представление функций полиномами. - Полнота и замкнутость. Элементы теории графов:...

Введение в теорию множеств. Отношения на множествах. Основные понятия комбинаторики. Булева алгебра. Метод минимизации функций алгебры логики. Варианты контрольных работ. Примеры решения типовых заданий.rn

СОДЕРЖАНИЕ Введение Множества. Основные понятия. Операции над множествами. Геометрическое моделирование множеств. Диаграммы Эйлера – Венна. Алгебра множеств. Основные тождества алгебры множеств. Эквивалентность множеств. Счетные множества. Множества мощности континуума. Отношения. Функции. Основные понятия и определения. Операции над отношениями. Свойства отношений. Функции. Графы. Основные характеристики графов. Матричные способ...

Учебник. - М.: Инфра-М, Новосибирск, Изд. НГТУ. – 2002г. -280 с. Может служить справочным пособием по дискретной математике. Элементы теории множеств. Алгебраические системы. Числовые системы. Элементы теории графов. Комбинаторика. Алгебра логики. Формальные исчисления.

Функциональные системы с операциями. Алгебра логики. Функции алгебры логики. Равенство функций и эквивалентность формул. СДНФ. Операция замыкания. Полнота. Важнейшие замкнутые классы. Критерий полноты. к-значная логика. Функции к-значной логики. Аналог СДНФ. Операция замыкания и полнота. Алгоритм распазнования полноты. Теорема Кузнецова о полноте. Критерий слупецкого. Особенности к-значных логик.