Комп'ютерний практикум з математичної логіки

Abstract

В навчальному посібнику викладено базові поняття та методи математичної логіки, які використовуються для проектування комбінаційних схем, автоматів та інших засобів електронно-обчислювальної техніки. Наведено приклади розв'язання задач з математичної логіки за допомогою комп'ютерних пакетів. Розроблено індивідуальні та тестові завдання. Навчальний посібник відповідає вимогам державних стандартів України та навчальній програмі дисципліни "Дискретна математика" і призначений для студентів технічних спеціальностей вищих навчальних закладів.