Синтез комбинационной схемы, Нормальные алгоритмы Маркова

ЛАБОРАТОРНАЯ РАБОТА №1.
Тема лабораторной работы: «Построение таблиц истинности логических
формул»
ЦЕЛЬ РАБОТЫ
Целью работы является построение таблицы истинности логического
выражения с использованием различных способов автоматизации данного
процесса.
ПОРЯДОК ВЫПОЛНЕНИЯ РАБОТЫ
1. Ознакомится с заданием. Повторить теоретические сведения по
логическим операциям и построению таблиц истинности.
2. Взять логическую функцию в соответствии с вариантом задания.
3. Построить вручную таблицу истинности для логической функции.
4. Построить таблицу истинности для логической функции, используя
автоматизацию, в какой либо стандартной программе, например
электронных таблицах. Специализированные программы для
построения таблиц истинности не использовать.
5. Построить таблицу истинности для логической функции, написав
программу на любом языке программирования.
6. Сравнить полученные таблицы.
7. Сделать выводы.
8. Составить отчет.

ЛАБОРАТОРНАЯ РАБОТА №2.
Тема лабораторной работы: «Синтез комбинационной схемы»
ЦЕЛЬ РАБОТЫ
Целью работы является построение схемы цифрового устройства и
проверка его работоспособности.
КРАТКИЕ ТЕОРЕТИЧЕСКИЕ СВЕДЕНИЯ
Применение аппарата алгебры высказываний для анализа и синтеза
цифровых устройств
Элементной базой современных цифровых устройств и систем являются
цифровые интегральные схемы.
Определение 1. Цифровая интегральная схема – это микроэлектронное
изделие, изготовленное методами интегральной технологии (чаще
полупроводниковой), заключенное в самостоятельный корпус и выполняющее
определенную функцию преобразования дискретных цифровых сигналов.
Для описания работы цифровых интегральных схем, а, следовательно, и
устройств, построенных на их основе, используется математический аппарат
алгебры высказываний. Возможность его применения для решения задач
анализа и синтеза цифровых устройств обусловлена аналогией понятий и
категорией этой алгебры и двоичной системы счисления, которая положена в
основу представления преобразуемых устройством сигналов.
ЛАБОРАТОРНАЯ РАБОТА №3.
Тема лабораторной работы: «Нормальные алгоритмы Маркова»
ЦЕЛЬ РАБОТЫ
Целью работы является составление нормальных алгоритмов Маркова
(НАМ) для решения задач.
КРАТКИЕ ТЕОРЕТИЧЕСКИЕ СВЕДЕНИЯ
Примеры на составление НАМ
Рассмотрим примеры, в которых демонстрируются типичные приёмы
составления НАМ.
Как и в случае машины Тьюринга, для сокращения формулировки задач
будем использовать следующие соглашения:
– буквой Р будем обозначать входное слово;
– буквой А будем обозначать алфавит входного слова, т.е. набор тех
символов, которые и только которые могут входить во входное слово Р (но в
процессе выполнения НАМ в обрабатываемых словах могут появляться и
другие символы).
Кроме того, в примерах будем справа от формул подстановки указывать
их номера. Эти номера не входят в формулы, а нужны для ссылок на
формулы при показе пошагового выполнения НАМ.