Методические рекомендации по дисциплине "Элементы математической логики"

Настоящие методические рекомендации определяют общие требования, структуру и правила оформления практических работ в соответствии с действующими стандартами. Методические рекомендации по проведению и оформлению практических работ предназначены для использования студентами СПО при выполнении практических работ по дисциплине «Элементы математической логики». Содержание методических рекомендаций охватывает следующие разделы программы: теория множеств, формулы логики, булевы функции, предикаты элементы теории алгоритмов. Для студентов колледжей, обучающихся по специальности 09.02.04 «Информационные системы (по отраслям)».