Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

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

Атяскина Т. В.
   Элементы математической логики : практикум / Атяскина Т. В. - Оренбургский государственный университет, ЭБС АСВ, 2016. - ISBN 978-5-7410-1410-3.

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