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