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