Подробное описание документа

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