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