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

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

Зарипова Э. Р., Кокотчикова М. Г., Севастьянов Л. А.
   Лекции по дискретной математике. Математическая логика : учебное пособие / Зарипова Э. Р., Кокотчикова М. Г., Севастьянов Л. А. - Российский университет дружбы народов, 2014. - ISBN 978-5-209-05455-9.

В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.