Литература
Савельев А.Я. Арифметические и логические основы цифровых автоматов.
– М., Высшая школа, 1980.
Савельев А.Я. Прикладная теория цифровых автоматов. – М., Высшая школа, 1987.
Савельев А.Я. Основы информатики., – М, МГТУ им. Н.Э.Баумана, 2001.
Дополнительная
литератураБаранов С.И. Синтез микропрограммных автоматов. – Л., Энергия, 1978.
Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. – М.,Энергоатомиздат, 1989.
Глушков В.М., Синтез цифровых автоматов – ГИ ФМЛ, 1962.
Пухальский Г.И., Новосельцева Я., Цифровые устройства. – Санкт-Петербург, Политехника,1996.
Структура курса
Защита ДЗ:
№1 (5-6 нед)
№2 (11 нед)
№3 (16 нед)
Лаб.работы:
№1
№2
№3
№4
№5
схемы без памяти
с памятью
без памяти
с памятью
Баллы max/min:
Модуль 1 – 20/12 баллов Модуль 2 – 30/18 баллов Модуль 3 – 40+10/30 баллов
Зачет = 60 – 100 баллов
Набор баллов по защищенным домашним заданиям и лаб. работам.
Основы СХТ
Алгебра Логики (АЛ)
Из истории АЛ
основы АЛ заложены в середине XIX века английским математиком Дж. Булем,
отсюда название булева алгебра.
использование АЛ для синтеза релейных схем предложил Шеннон в
1938 г.
Определение АЛ
Математический аппарат, в
котором используются двоичные |
|||
функции двои |
Пр |
аргументов, |
|
обмлеа |
|||
называется |
|
||
|
|
||
исчислением высказываний,
Используется еще и в
•теории множеств,
•логике и
•теории переключательных схем
Соответствие между науками |
|||
Теория |
Логика |
Булева |
Теория |
множеств |
|
алгебра |
переключательных |
|
|
|
схем |
Множество |
Высказыва |
Элемент |
Сигнал с возможными |
элементов |
ние |
|
состояниями |
Пересечение (∩) |
И |
Операция |
Схема И |
|
|
И |
|
Обьединение |
ИЛИ |
Операция |
Схема ИЛИ |
(U) |
|
ИЛИ |
|
Дополнение (Т) |
НЕ |
Операция НЕ |
Схема НЕ |
Пустое |
Ложное |
0-элемент |
Одно из возможных |
множество (Ø) |
высказыва |
|
состояний сигнала |
|
ние |
|
|
Множество всех |
Истинное |
1-элемент |
Другое из возможных |
элементов |
высказыва |
|
н состояний |
булиан) (U) |
ние |
|
сигнала |
Начальное понятие АЛ
Высказывание
абсолютно |
абсолютно |
истинно |
ложно |
Х = 1 |
Х = 0 |
Простое - если его значение |
Сложное - если его значение |
истинности не зависит от |
истинности зависит от |
значений истинности каких-либо |
значений истинности |
других высказываний |
других высказываний |
Аксиомы, теоремы и тождества АЛ