Математическая логика. Учебник для бакалавриата (Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович); Прометей, 2020

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

Развернуть фото

Смотри также о книге.

Основные характеристики товара

Параметр	Значение
ISBN	978-5-907244-03-0
Автор(ы)	Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович
Вес	0.35кг
Возрастные ограничения	12
Год издания	2020
Издатель	Прометей
Кол-во страниц	228
Количество страниц	228
Обложка	твердый переплёт
Раздел	Математические науки
Размеры	60x84/16
Формат	145x207мм
Язык издания	rus