Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Lektsiyi_2014-2015

.pdf
Скачиваний:
20
Добавлен:
02.02.2015
Размер:
2.11 Mб
Скачать

Министерство образования и науки Украины

Конспект лекций

по курсу

«Компьютерная логика»

Богомаз Александр Викторович

Харьков 2014

«Компьютерная логика»

1семестр

1.Цели и задачи курса. Основные определения.

2.Информационные основы компьютерной техники.

3.Логические функции.

4.Логические элементы. Их обозначение и классификация.

5.Реализация логических элементов (с помощью релейно-контактных схем, на диодах и транзисторах, логические микросхемы, другие реализации).

6.Комбинационные схемы.

7.Методы минимизации переключающих функций.

8.Синтез комбинационных схем в разных элементных базисах.

2семестр

1.Комбинационные схемы в компьютерной технике.

2.Основы теории цифровых автоматов с памятью.

3.Методы синтеза цифровых автоматов с памятью.

4.Анализ логических схем и динамических процессов в цифровых автоматах.

5.Типичные цифровые схемы компьютеров.

Литература

1.Айзерман М.А., Гусев Л.А. и др. Логика. Автоматы. Алгоритмы. – М.: Физматгиз, 1963. – 556 с.

2.Пухальский Г.И., Новосельцева Т.Я. Проектирование дискретных устройств на интегральных микросхемах: Справочник. – М. : Радио и связь, 1990. – 304 с.

3.Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. – М. : Наука. Главная редакция физикоматематической литературы, 1980. – 400 с.

4.Точчи Р.Дж., Уидмер Н.С. Цифровые системы. Теория и практика, 8-е издание. : Пер. с англ. – М. : Издательский дом «Вильямс»,

2004. – 1024 с.

5.Бабич Н.П. Жуков И.А. Компьютерная схемотехника. Методы построения и проектирования. Учебное пособие. – К. : МК Пресс,

2004. – 576 с.

Лекция 1 Цели и задачи курса. Основные определения

Понятие логики Логика – это наука о законах и формах мышления.

Логика – раздел философии, наука о формах, методах и законах познавательной деятельности, формализуемых с помощью логического языка.

Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям».

Алгебра логики (алгебра высказываний) – раздел математической логики, изучающий строение (форму, структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.

Алгебра логики возникла в середине ХIХ века в трудах английского математика Джорджа Буля. Еѐ создание представляло собой попытку решать традиционные логические задачи алгебраическими методами.

Таким образом, алгебра логики (другое название – Булева алгебра) – это область математики. Она оперирует величинами, которые могут принимать два значения (булевых значения). Эти два значения могут быть обозначены как угодно, лишь бы по-разному. Самые распространенные варианты:

0, 1 F, T

false, true

ложь, истина Л, И

Алгебра логики применяется: 1) для упрощения сложных логических формул и доказательств тождеств; 2) при решении логических задач; 3) в контактных схемах; 4) при доказательствах теорем; 5) в базах данных при составлении запросов.

Логическое высказывание – утверждение, которому всегда можно поставить в соответствие одно из двух логических значений ложь (0, ложно, false) или истина (1, истинно, true).

Отрицание логического высказывания – логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.

Конъюнкция двух логических высказываний – логическое высказывание, истинное только тогда, когда они одновременно истинны.

Дизъюнкция двух логических высказываний – логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.

Равносильность (эквивалентность) двух логических высказываний – логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.

Логическое выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0).

Сложное логическое выражение – логическое выражение,

составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.

Лекция 2 Информационные основы компьютерной техники

Числа – абстрактная сущность, используемая для описания количества, сравнения и нумерации объектов.

Цифры – система знаков для записи чисел.

Цифры в древнем мире:

Египет

Майа

Рим

Старославянские

Система счисления – совокупность правил записи чисел.

Наиболее часто используются позиционные системы счисления, в которой положительное целое число записывается в виде последовательности символов enen–1..ep..e2e1, а вес каждого символа ep определяется его позицией в записи числа. Вес символа ep равен qp–1, q – основание системы счисления, а ep=0, 1, ..., q–1. Тогда любое целое положительное число E в системе счисления с основанием q можно записать

n

в виде E = ep q p 1 . При вычислении суммы полагаем, что все значения ep и

p=1

qp–1 представлены в десятичной системе счисления.

Максимальное n-разрядное число получается при ep=q–1 для всех p:

n

Emax = q 1 q p 1 = q n 1 .

p=1

Пример: при n = 3 и q = 10 максимальное n-разрядное число 103 – 1 =

999.

Из этого следует, что существует qn различных n-разрядных чисел (с учѐтом нуля).

Пример: при n = 3 и q = 10 количество n-разрядных чисел 103 = 1000.

Перевод числа из системы счисления с произвольным основанием q в десятичную систему счисления (q = 10) выполняется по приведенным формулам, для чего требуется перевести в десятичную систему счисления только числа ep и q.

Пример:

(3F)16 = X10

(3F)16 = 15*161-1 + 3*162-1 = 15 + 48 = 6310

Пример:

(1101)2 = X10

X10 = 1*21-1 + 0*22-1 + 1*23-1 + 1*24-1 = 1 + 4 + 8 = 1310

Двоичная система счисления широко используется в вычислительных устройствах для передачи, преобразования и хранения информации. Преимущество двоичной системы счисления перед системами счисления с другими основаниями – простота реализации устройств передачи и хранения (обычно оперируют отсутствием (0) и наличием (1) напряжения).

Код Грея – система счисления, в которой два соседних значения различаются только в одном разряде. Наиболее часто на практике применяется рефлексивный (отражѐнный) двоичный код Грея

2-битный код Грея

00

01

11

10

3-битный код Грея

000

001

011

010

110

111

101

100

Лекция 3 Логические функции

«НЕ»

«И»

x1

x2

x3

x1x2x3

0

0

0

0

0

0

1

0

0

1

0

0

0

1

1

0

1

0

0

0

1

0

1

0

1

1

0

0

1

1

1

1

«ИЛИ»

x1

x2

x3

x1+x2+x3

0

0

0

0

0

0

1

1

0

1

0

1

0

1

1

1

1

0

0

1

1

0

1

1

1

1

0

1

1

1

1

1

«Исключающее ИЛИ» (сумма по модулю два, логическая неравнозначность)

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]