Математическая логика. Учебник для бакалавриата / Матросов Виктор Леонидович

Описание и характеристики Математическая логика. Учебник для бакалавриата / Матросов Виктор Леонидович

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.

Для приобретения Математическая логика. Учебник для бакалавриата / Матросов Виктор Леонидович от «Прометей» арт. 4844219 выберите желаемое количество единиц и кликните на красную кнопку "Купить". Далее товар будет перемещён в корзину. После выбора всех выбранных позиций перейдите в корзину в правом верхнем углу страницы и завершите оформление заказа. При оформлении вам будет предложено выбрать способ доставки Математическая логика. Учебник для бакалавриата / Матросов Виктор Леонидович в Москве и Московской области и оплаты из доступных вариантов.