- •Кафедра информатики и компьютерных технологий информатика
- •Введение
- •1. Основы математической логики
- •1.1 Алгебра высказываний
- •1.2. Основные логические операции
- •1.3. Свойства логических операций
- •1.4. Логические переменные, функции алгебры логики
- •2. Приложения алгебры логики в технике
- •2.1. Описание комбинационных схем
- •2.2. Понятия и типы дискретных автоматов
- •2.2.1 Дискретные автоматы без памяти
- •2.2.2 Дискретные автоматы с памятью
- •2.4.. Принцип работы логического сумматора
- •3. Выполнение курсовой работы
- •3.1 Примеры решения задач
- •Задача 3. Анализ работы логического сумматора
- •3.2 Требования к отчету по курсовой работе
- •Библиографический список
- •Оглавление
Задача 3. Анализ работы логического сумматора
Даны две двоичных последовательности :
Yout1={001110}
Yout2= {110110}.
Необходимо найти последовательность Z(t), которая является результатом двоичного суммирования этих последовательностей при начальном значении Z(t)=0.
Решение. Принцип работы сумматора описан в пункте 2.3. С использованием соотношений (1.2.4), (2.2.4), записываем таблицу, характеризующую работу сумматора. В первом столбце записываются дискретные значения моментов времени, когда на входы сумматора подаются значения разрядов слагаемых. Во втором и третьем столбцах записаны последовательности сигналов, образующих двоичные коды слагаемых. Это последовательности Y1, Y2, сформированные схемами КС1 и КС2. Последовательность анализа работы сумматора подробно рассмотрена в пункте 2.4. Результат для данных последовательностей представлен на рис. 24.
Рис. 24. Результат работы сумматора
Таким образом, результат суммирования по модулю 2 данных последовательностей: Z(t)={111110}.
3.2 Требования к отчету по курсовой работе
Отчет по курсовой работе должен содержать следующие части: титульный лист, лист с заданием по установленной форме, аннотацию на двух языках, оглавление, введение, текст задачи, теоретические сведения, необходимые для решения, формализацию задачи, исходные данные, таблицы, выполненные средствами MS Excel с соответствующими пояснениями, фрагменты документа MathCAD с соответствующими пояснениями, полученные результаты, библиографический список.
В аннотации кратко описывают содержание работы, а также количество страниц отчета, таблиц рисунков и приложений.
Во введении нужно указать, к какому классу относится решаемая задача, возможные методы и инструменты ее решения.
Текст задачи должен быть составлен с учетом содержания и конкретных данных выполняемого задания.
Теоретические сведения должны содержать информацию общего характера из рассматриваемой предметной области, основные сведения из области математической логики, на основе которых выполнена формализация задачи.
Исходные данные представляют в виде, удобном для ввода в компьютер. Графическая информация представляется в виде файла, созданного в специальном редакторе, например Paint.
Тестовый пример должен включать в себя все этапы расчета с соответствующими пояснениями.
Библиографический список
Алексеев В.Б. Элементы теории графов, схем и автоматов. Учебное пособие по курсу «дискретная математика»/ В.Б. Алексеев, С.А. Ложкин, М., МГУ, 2000, 24 с.
2. Дьяконов В.К. MathCAD.Специальный справочник.
3. Информатика: Практикум по технологии работы на компьютере/ под ред. Н.В. Макаровой, М., финансы и статистика, 2004, 256 с.
4. Куправа Т.А. Excel.Практическое руководство, М., Диалог-МИФИ, 2004, 240 с.
5. Редькин Н.П. Дискретная математика, М.,Лань, 2006, 96 с.
6. Лупал А.М. Теория автоматов. PDF,.www. Twirpx.com
Оглавление
2.2.2 Дискретные автоматы с памятью 18
Оглавление 34