В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.
Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.
Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Страницы: 228
Бумага: Офсет
Издательство: Прометей
ISBN: 978-5-907244-03-0
Год издания: 2020
Автор: Махмашариф Сайфович Мирзоев, Виктор Леонидович Матросов
Обложка: 7Бц - твердая, целлофанированная (или лакированная)
Книга «Математическая логика. Учебник для бакалавриата» доступна для покупки в нашем интернет-магазине «Книжка US» по
выгодной цене.
Мы предлагаем доставку из России в США с использованием службы USPS, что занимает от 2-х недель до 30 дней.
Каждый заказ сопровождается трек-номером для удобного отслеживания.
Закажите книгу Махмашариф Сайфович Мирзоев «Математическая логика. Учебник для бакалавриата»
и получите её прямо на ваш адрес.
Мы гордимся тем, что являемся крупнейшим магазином русских книг в США, и всегда стремимся предложить нашим клиентам
лучший сервис и широкий ассортимент. Следите за нашими акциями и специальными предложениями, чтобы сделать свои
покупки ещё выгоднее.
Choosing a selection results in a full page refresh.
