Опис

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

Підручник адресовано студентам та аспірантам вищих навчальних закладів, зокрема тим, які навчаються за напрямами «Комп’ютерна інженерія», «Програмна інженерія» та «Комп’ютерні науки».