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