Основы математической логики - Контрольная работа

Работа была сделана с помощью математической логики и анализа дискретных автоматов.Специалисты в области автоматизации технологических процессов и производств должны иметь четкое представление об основных принципах дискретной математики, составными частями которой являются: теория графов, алгебра логики, формальные языки и дискретные автоматы, теория алгоритмов. Принципы, положенные в основу этих дисциплин позволили развить теорию автоматизации и оптимизации, широко применяемые в технике и технологии. Целью работы по информатике является закрепление знаний, полученных на I курсе при решении задач, связанных с будущей профессиональной деятельностью студентов в области автоматизации. работа предполагает решение студентом трех задач последовательно, численный результат решения одной задачи является условием для решения следующей задачи.Современная математическая логика представляет собой обширную научную область, которая находит широкое применение как внутри математики, так и вне ее. Алгебра логики - раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.Логическое отрицание (инверсия ) - образуется из исходного высказывания с помощью добавления частицы НЕ к сказуемому или использованием оборота речи «наверно, что …» Логическое умножение (конъюнкция ) образуется соединением двух высказываний в одно с помощью союза «И». Логическое сложение (дизъюнкция) образуется соединением двух высказываний в одно с помощью союза ИЛИ.Дизъюнкция и конъюнкция обладают свойством коммутативности т.е.Дана контактная схема КС1(рис.1) . Необходимо найти аналитическое выражение логической функции, описывающей работу этой схемы и выходную последовательность сигналов этой схемы. В документе MS Excel проанализируем работу ДА на основе этой схемы в течение 5 тактов заданных входных векторов , i=1...6. В соответствии с обозначениями схемы, на выходе элемента 1 получим , и в таком виде поступает на вход 2, на выходе 2 получим , это значение поступает на вход 3. Элемент 3 преобразуя поступающий на его сигнал в , который является значением логической функции на выходе системы.В документ MATHCAD вводится таблица истинности для КС2 и входная последовательность сигналов Xinp2. Эти данные вводятся в виде матриц, причем таблица истинности вводится в виде матрицы и столбца. В столбцах матрицы Ti2 расположены все комбинации входных сигналов, в столбце Yi2 расположены значения выходного сигнала для каждой комбинации.Необходимо найти последовательность Z(t), которая является результатом двоичного суммирования этих последовательностей при начальном значение Z(t)=0.В данной работе была достигнута цель по закреплению знаний полученных на I курсе при решение задач в области автоматизации. В данной задачи мы нашли аналитическое выражение логической функции, описывающей работу схемы и выходную последовательность сигналов схемы. В данной задачи мы нашли последовательность сигналов на выходе, при заданной входной последовательности сигналов.Фрагмент листа Excel в режиме отображения формул.

Оглавление

Введение

1. Основы математической логики

1.1 Алгебра высказываний

1.2 Основные логические операции

1.3 Свойства логических операций

2. Выполнение работы

2.1 Задача № 1. Анализ схемы КС

2.2 Задача № 2. Анализ схемы КС2, заданной таблицей истинности

2.3 Задача № 3. Анализ работы логического сумматора

Вывод

Библиографический список

Приложение

Специалисты в области автоматизации технологических процессов и производств должны иметь четкое представление об основных принципах дискретной математики, составными частями которой являются: теория графов, алгебра логики, формальные языки и дискретные автоматы, теория алгоритмов. Принципы, положенные в основу этих дисциплин позволили развить теорию автоматизации и оптимизации, широко применяемые в технике и технологии. Методы дискретной математики широко применяются, например, при разработке различных технических устройств и систем с дискретным принципом действия. С появлением цифровых вычислительных машин и дискретных автоматов математическая логика приобрела прикладное значении. Это связано с тем, что в ЭВМ и многих других автоматических устройствах в качестве простейших элементов используют зачастую двухпозиционные приборы. Таким образом, при математической интерпретации устройства рассматриваемому элементу соответствует значение истинности переменной, т.е. единица, а нерабочему состоянию - ноль. Целью работы по информатике является закрепление знаний, полученных на I курсе при решении задач, связанных с будущей профессиональной деятельностью студентов в области автоматизации. работа предполагает решение студентом трех задач последовательно, численный результат решения одной задачи является условием для решения следующей задачи.

Проектирование и синтез дискретного автомата предполагает обработку большого количества таблиц, что удобно делать с помощью логического аппарата табличных процессоров, в частности, Excel.

В отчете предоставлены результаты расчетов, выполненных с помощью электронных таблиц Excel, фрагменты документов MATHCAD, блок- схемы использованных алгоритмов.

В данной работе была достигнута цель по закреплению знаний полученных на I курсе при решение задач в области автоматизации. С помощью математической логики мы выполнили расчеты в Excel и MATHCAD.

Результатом суммирования двоичных последовательностей Yout1={110110} и Yout2={010000} является последовательность Z={110110}

Задача 1. В данной задачи мы нашли аналитическое выражение логической функции, описывающей работу схемы и выходную последовательность сигналов схемы.

Задача 2. В данной задачи мы нашли последовательность сигналов на выходе, при заданной входной последовательности сигналов.

Задача 3. В данной задачи мы нашли последовательность Z(t), которая является результатом двоичного суммирования этих последовательностей при начальном значении Z(t)=0.

1. Алексеев В.Б. Элементы теории графов, схем и автоматов. Учебное пособие по курсу «Дискретная математика»/ В.Б. Алексеев, С.А. Ложкин. М.:МГУ, 2000, 24

2. Дьяконов В.К. MATHCAD. Специальный справочник. Любое издание.

3. Информатика: Практикум по технологии работы компьютере/ под ред. Н.В. Макаровой. М.: Финансы и статистки, 2004.

4. Куправа Т.А. Excel. Практическое руководство. М.: Диалог-МИФИ, 2004

5. Редькин Н.П. Дискретная математика. М.: Лань, 2006

6. Лупал А.М. Теория автоматов. PDF www.Twirpx.com 08.11.2014