Книга "Формальные системы. Практикум" содержит множество задач и упражнений, которые помогут закрепить и расширить материал лекций по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов - то, что называется "формальные системы". Эта книга рассчитана на бакалавров, изучающих направление "Информатика и вычислительная техника".
Практикум содержит разнообразные задачи и упражнения, способствующие закреплению теоретического материала и практическому освоению избранных разделов современной логики: исчисления высказываний, алгебры предикатов. Рассчитан на студентов, обучающих по специальности "Информатика и вычислительня техника", хотя может быть полезен естественно-математического направления.
#учебники и пособия для вузов
#информатика и вычислительная техника
#практикумы