Математическая логика в алгоритмизации

Описание

Практикум разработан в помощь студентам, изучающим курс по дисциплине «Математические основы автоматизированных систем». Практикум предназначен для освоения учебной программы и получения практических знаний. Практикум соответствуют программе курса «Математические основы автоматизированных систем» для студентов направления подготовки 15.03.04 «Автоматизация технологических процессов и производств». Приведены краткие сведения по основам логики высказываний, логики предикатов, формальных аксиоматических теорий и теории алгоритмов. Контрольные задания включают упражнения по всем разделам. Приводятся указания к проведению практических работ.