Лекции и практикум по математической логике

Лекции и практикум по математической логике — В пособии приведен конспект лекций и практикум по дисциплине «Математическая логика и теория алгоритмов». Учебное пособие используется для подготовки студентов направлений «Бизнес-информатика», «Математика. Компьютерные науки», «Информационные технологии», «Прикладная математика и информатика» и других математических, компьютерных и экономических специальностей.
Пособие состоит из трех разделов: лекции, лабораторный практикум, тестирование. В лекциях изложены основы математической логики, булева алгебра, исчисление высказываний и предикатов.
Подготовлено на кафедре прикладной информатики и теории вероятностей РУДН.

Название: Лекции и практикум по математической логике
Автор: Зарипова Э. Р., Маркова Е. В.
Издательство: Российский университет дружбы народов
Год: 2016
Страниц: 100
Формат: PDF