Методические указания к практическим занятиям. — Омск: Омский государственный технический университет (ОмГТУ), 2005. — 64 с. Алгебра Буля и её модели. Представление булевых функций формулами. Сводка тавтологий. Совершенные формы. Конструирование и упрощение релейно-контактных схем. Логические функции (предикаты) и операции над ними. Общезначимые формулы. Представление формул...
Тверь: Тверской государственный технический университет (ТГТУ), 2003. — 46 с. Настоящие методические указания предназначены для изучения основ математической логики в части логики предикатов, исчисления высказываний и исчисления предикатов. В нем также даны основные определения формальных систем. Логика высказываний и логика предикатов рассматриваются как примеры формальных...
Методические указания для студентов II курса заочного отделения специальности. — Пермь: Пермский государственный технический университет (ПГТУ), 2007. — 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примеры решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Логика...
Волгоград: Волгоградский государственный технический университет (ВолгГТУ). Формальная модель высказываний. Законы построения правильных рассуждений. Исчисление высказываний, как формальная система. Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга. Проблемы аксиоматического исчисления высказываний
Волгоград: Волгоградский государственный технический университет (ВолгГТУ). Постановка задачи минимизации функций алгебры логики. Этапы минимизации. Методы минимизации. Расчетный метод. Карты Карно. Геометрический метод. Примеры минимизации. Метод Квайна.
Нижний Новгород: Нижегородский государственный университет (НГУ) имени Н.И. Лобачевского, 2000. — 44 с. Методическая разработка предназначена для самостоятельной работы студентов специальности «Прикладная информатика» над материалом темы «Концепции конечного автомата и регулярного языка. Операции над регулярными языками», входящей в состав учебного курса «Теория алгоритмов и...
Комментарии