3MICT
Передмова наукового редактора серії підручників та навчальних посібників «КОМП'ЮТИНГ»
Вступне слово автора. Обгрунтування та окреслення предметної області навчальної дисципліни «Комп'ютерна логіка» та пороздільна анотація підручника

РОЗДІЛ 7. МЕТОДИ АНАЛІЗУ ТА СИНТЕЗУ КОМБІНАЦІЙНИХ СХЕМ. ТИПОВІ КОМБІНАЦІЙНІ СХЕМИ ТА АВТОМАТИ ІЗ ПАМ'ЯТТЮ В ЦИФРОВИХ КОМП'ЮТЕРНИХ СИСТЕМАХ

7.1. Поняття комбінаційної схеми
7.2. Логічні елементи
7.3. Характеристики комбінаційних схем
7.4. Канонічний метод синтезу комбінаційних схем

7.5 Синтез комбінаційних схем з урахуванням обмежень на коефіцієнти розгалуження та об'єднання за виходом
7.5.1 Синтез комбінаційних схем з урахуванням обмежень на К роз
7.5.2. Синтез комбінаційних схем з урахуванням обмеження на К об

7.6. Методи аналізу комбінаційних схем
7.6.1. Аналіз комбінаційних схем методом алгоритму
7.6.2. Аналіз комбінаційних схем методом синхронного моделювання
7.6.3. Аналіз комбінаційних схем методом асинхронного моделювання
7.6.3.1. Статичний ризик збою
7.6.3.2. Динамічний ризик збою

7.7. Типові комбінаційні схеми
7.7.1. Суматори
7.7.2. Дешифратори та шифратори
7.7.3. Мультиплексори та демультиплексори
7.7.4. Кодоперетворювачі
7.7.5. Пристрої порівняння
7.7.6. Арифметико-логічний пристрій
7.7.7. Матричні помножувачі
7.7.8. Лінійні комбінаційні схеми

7.8. Тригери
7.8.1. RS-тригер
7.8.1.1. Асинхронний RS-тригер
7.8.1.2. Синхронний RS-тригер
7.8.2. В-тригер
7.8.3. Т-тригер
7.8.4. ІК-тригер

7.9. Регістри та лічильники
7.10. Програмовані логічні матриці

РОЗДІЛ 8. СТРУКТУРНИЙ СИНТЕЗ ЦИФРОВИХ АВТОМАТІВ

8.1. Основна задача теорії структурного синтезу цифрових автоматів
8.2. Теорема про структурну повноту
8.3. Синтез структурної схеми автомата
8.4. Синхронізація в цифрових автоматах
8.5. Канонічний метод структурного синтезу цифрових автоматів
8.6. Кодування внутрішніх станів автомата та гонки в автоматах
8.7. Кодування станів та складність комбінаційної схеми автомата
8.7.1. Алгоритм кодування абстрактних автоматів, побудованих на D-тригерах
8.7.2. Евристичний алгоритм кодування внутрішніх станів абстрактних автоматів
8.7.3. Сусіднє кодування логічно суміжних станів абстрактних автоматів

РОЗДІЛ 9. МІКРОПРОГРАМΗΙ КОМП'ЮТЕРНІ СИСТЕМИ

9.1. Принцип мікропрограмного керування. Концепція операційного та керуючого автомата
9.2. Методи опису алгоритмів та мікропрограм
9.2.1 Граф-схема алгоритму
9.2.2. Змістовна граф-схема алгоритму
9.2.3. Логічна схема алгоритму
9.2.4. Формули переходу
9.2.5. Матричні схеми алгоритмів

9.3. Операційні автомати
9.3.1. Структурна організація операційних автоматів
9.3.2. Характеристики операційних автоматів
9.3.3. Структурна організація та синтез І-автоматів
9.3.4. Структурна організація та синтез М-автоматів
9.3.5. Структурна організація та синтез ІМ-автоматів
9.3.6. Операційний Ѕ-автомат
9.3.7. Синтез операційних автоматів

9.4. Керуючий автомат
9.4.1. Синтез керуючого автомата з жорсткою логікою за граф-схемою алгоритму
9.4.2. Структурний синтез мікропрограмних автоматів з жорсткою логікою
9.4.2.1. Структурний синтез автомата Мілі
9.4.2.2. Структурний синтез автомата Мура
9.4.2.3. Синтез керуючого автомата Мура на базі регістра зсуву
9.4.3. Керуючий автомат з програмованою логікою
9.4.3.1. Принципи організації керуючих автоматів з програмованою логікою
9.4.3.2. Адресація мікрокоманд
9.4.3.3. Кодування мікрооперацій
9.4.3.4. Синтез керуючого автомата з програмованою логікою

РОЗДІЛ 10. ЕЛЕМЕНТИ ВИСОКОРІВНЕВОЇ ЛОГІКИ ІНТЕЛЕКТУАЛІЗОВАНИХ ІНФОРМАЦІЙНИХ СИСТЕМ, ЩО ЗАСНОВАНІ НА ЗНАННЯХ

10.1. Роль моделей представлення знань як основи високорівневої логіки інтелектуалізованих інформаційних систем, що засновані на знаннях

10.2. Логічна модель представлення знань. Логіка предикатів
10.2.1. Означення та властивості предикатів
10.2.2. Логічні операції над предикатами. Алгебра предикатів
10.2.3. Логіка предикатів як формальна аксіоматична система

10.3. Продукційна модель представлення знань
10.4. Семантична мережа як модель представлення знань
10.5. Фреймова модель представлення знань

10.6. Онтології та дескриптивні логіки
10.6.1. Онтології та онтоорієнтовані інформаційні інтелектуалізовані системи
10.6.2. Дескриптивні логіки
10.6.3. Мова опису та середовище розробки онтологій

10.7. Аксіоматико-дедуктивна стратегія організації знань із використанням онтологічного підходу на прикладі формування контенту навчальної дисципліни
10.7.1. Концептуальні основи аксіоматико-дедуктивної стратегії організації знань
10.7.2. Формалізовані об'єкти та структури аксіоматико-дедуктивної підстратегії організації термінологічно-понятійного апарату власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни
10.7.2.1. Термінологічно-понятійний апарат власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни у вербальній формі
10.7.2.2. Термінологічно-понятійний апарат власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни як формальна аксіоматична система
10.7.2.3. Термінологічно-понятійний апарат власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни у машинно-інтерпретовній формі
10.7.3. Формалізовані об'єкти та структури аксіоматико-дедуктивної підстратегії організації сукупності тверджень власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни
10.7.3.1. Сукупність тверджень власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни у вербальній формі
10.7.3.2. Сукупність тверджень власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни як формальна аксіоматична система
10.7.3.3. Сукупність тверджень власного абстрактного логіко-семантичного ядра змістовного простору навчальної дисципліни у машинно-інтерпретовній формі,
10.7.4. Приклад реалізації елементів аксіоматико-дедуктивної стратегії організації логіко-семантичного ядра змістовного простору навчальної дисципліни «Комп'ютерна логіка» у середовищі Protégé з використанням мови опису онтологій OWL

Основні підсумки
Контрольні запитання
ОЗНАЧЕННЯ ОСНОВНИХ ПОНЯТЬ І ТЕРМІНІВ
ВИКОРИСТАНІ ЛІТЕРАТУРНІ ДЖЕРЕЛА

Анотація:
Даний підручник присвячено концептуальним, формально-математичним інженерно-технічним основам архітектурної, функціональної та проектної комп'ютерних логік. Основний акцент у підручнику зроблено на висвітленій формально-логічних моделей, методів за алгоритмів організації та функціонування класичних цифрових комп'ютерних систем. Зокрема, розглянуто арифметичні та логічні основи цифрових комп'ютерних систем, основи теорії абстрактних дискретних автоматів, методи аналізу та синтезу комбінаційних цифрових схем у різних елементарних логічних базисах. Розглянуто методи структурного синтезу цифрових автоматів із пам'яттю та методи синтезу операційних та керуючих автоматів із жорсткою та програмованою логіками. Окремі розділи підручника присвячено традиційній логіці з елементами математичної формалізації та високорівневій логіці інформаційних інтелектуалізованих систем, які засновані на знаннях.
Підручник адресовано студентам та аспірантам винних навчальних закладів, зокрема тим, які навчаються за напрямами «Комп'ютерна інженерів», «Програмна інженерія» та «Комп'ютерні науки».