Лекции по дискретной математике. Математическая логика

Авторы: Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А.

Издательство: Российский университет дружбы народов

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