Матвієнко М.П.
КОМП’ЮТЕРНА ЛОГІКА.
Навч. посібник., — К.: Видавництво Ліра-К. — 2012. — 292 с. Тв. Рекомендовано МонУ.
ISBN 978-966-2609-09-07 Код книги Л12062. Розповсбджує книгу "Видавництво Ліра-К", сайт http://lira-k.com.ua/, каталог http://lira-k.com.ua/files/vita-lira/lira-k.xls У навчальному посібнику викладено основні поняття комп’ютерної логіки та методи побудови різноманітних комп’ютерних схем та схем автоматики і управління. Теоретичний матеріал проілюстровано великою кількістю вправ і задач для набуття читачем практичного досвіду.
Навчальний посібник призначено для студентів, аспірантів і спеціалістів, які використовують відповідні математичні і комп’ютерні методи для побудови схем обчислювальної техніки та автоматики, а також окремі розділи посібника можуть бути використані студентами технічних учбових закладів.
ЗмістПередмова.
1. Логіка арифметичних операцій в комп’ютерах. 1.1 Логіка систем числення. 1.2 Логіка арифметичних операцій над двійковими числами. 1.3 Логіка представлення двійкових чисел в прямому, додатковому, оберненому та модифікованому кодах. 1.4 Логіка додавання і віднімання двійкових чисел. Контрольні запитання. Задачі для самостійного розв‘язування. Коментарі.
2. Логіка Буля. 2.1 Основні визначення. 2.2 Способи задання логічних функцій. 2.3 Елементарні логічні функції. 2.4 Основні закони алгебри логіки. 2.5 Перетворення логічних функцій. 2.6 Властивості логічних функцій. 2.7 Суперпозиція логічних функцій. 2.8 Аналітичне представлення логічних функцій. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
3. Логіка Жегалкіна. 3.1 Основні визначення. 3.2 Закони алгебри Жегалкіна. 3.3 Поліном Жегалкіна. 3.4 Методи побудови полінома Жегалкіна. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
4 Логіка розкладання булевих функцій. 4.1 Диз’юнктивне розкладання логічних функцій. 4.2 Кон’юнктивне розкладання логічних функцій. 4.3. Нормальні форми зображення логічних функцій. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
5Логіка дослідження булевих функцій. 5.1 Дослідження логічних функцій на двоїстість. 5.2 Дослідження логічних функцій на зберігання нуля та одиниці. 5.3 Дослідження логічних функцій на монотонність. 5.4 Дослідження логічних функцій на лінійність. 5.5 Дослідження на замкнутість класів і повноту логічних функцій. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
6 Логіка мінімізації булевих функцій. 6.1 Основні визначення. 6.2 Метод Вейча. 6.3 Метод Карно. 6.4 Метод Квайна. 6.5 Метод Мак-Класкі. 6.6 Метод невизначених коефіцієнтів. 6.7 Метод Блейка-Порецького. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
7 Логіка часових і рекурентних булевих функцій. 7.1. Логіка часових булевих функцій. 7.2. Логіка рекурентних булевих функцій. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
8 Логіка дискретних автоматів. 8.1 Основні визначення. 8.2 Автомати Мілі, Мура, С-автомати. 8.3 Способи задання автоматів. 8.4 Перетворення автоматів Мілі в автомати Мура. 8.5 Перетворення автоматів Мура в автомати Мілі. 8.6 Ізоморфізм автоматів. 8.7 Еквівалентність автоматів. 8.8 Мінімізація автоматів. 8.9 Канонічний метод структурного синтезу автоматів. 8.10 Графічний метод структурного синтезу автоматів. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
9 Логіка регулярних подій. 9.1 Основні визначення. 9.2 Алгебра подій. 9.3 Закони еквівалентного перетворення регулярних подій. 9.4 Задання регулярних подій графами. 9.5 Синтез автоматів по графам регулярних подій. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.
10 Логіка побудови комбінаційних схем. 10.1 Логічні елементи елементарних булевих функцій. 10.2 Логіка побудови дешифраторів і шифраторів. 10.3 Логіка побудови мультиплексорів і демультиплексорів. 10.4 Логіка побудови суматорів. 10.5 Логіка побудови компараторів. Контрольні запитання. Коментарі.
11 Логіка побудови комбінаційних схем на програмуємих логічних матрицях. 11.1 Призначення і застосування прграмуємих логічних матриць. 11.2 Принципи побудови базової програмуємої логічної матриці. 11.3 Рекомендації по програмуванню базової логічної матриці. 11.4 Програмування базової логічної матриці. 11.5 Логіка побудови комбінаційних схем на програмуємих логічних матрицях. Контрольні запитання. Коментарі. 12 Логіка побудови типових схем з памяттю. 12.1 Логіка побудови RS-тригерів. 12.2 Логіка побудови D-тригерів. 12.3 Логіка побудови T-тригерів. 12.4 Логіка побудови JK-тригерів. 12.5 Логіка побудови лічильників. 12.6 Логіка побудови регістрів. Контрольні запитання. Коментарі.
13 Логіка побудови комп’ютерних схем. 13.1 Логіка побудови одновихідних комбінаційних схем на елементах. логіки Буля. 13.2 Логіка побудови одновихідних комбіінаційних схем на мультиплексорах. 13.3 Логіка побудови багатовихідних комбінаційних схем на елементах. логіки Буля. 13.4 Логіка побудови багатовихідних комбінаційних схем на дешифраторах. 13.5 Логіка побудови часових булевих схем. 13.6 Логіка побудови рекурентних булевих схем другого роду. 13.7 Логіка побудови схем з застовуванням теорії автоматів і елементів логіки Буля. 13.8 Логіка побудови схем з застосуванням теорії автоматів і програмуємих логічних матриць. Контрольні запитання. Задачі для самостійного розв ‘язування. Коментарі.Література.
___________________________________________________________------
«Видавництво Ліра-К»
03179 м. Київ вул. Прилужна 14 оф. 42.
Т./ф. 8 (044) 450-91-96, т. 247-93-37, 228-81-12
Електронна пошта
lira-k@ukr.net Сайт lira-k.com.ua
Редакція
zv_lira@ukr.net