КорзинаКорзина

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

Математическая логика. Учебник для бакалавриата
Автор: Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович
Издательство: Прометей
Год выпуска: 2020
ISBN: 978-5-907244-03-0
Наличие: На складе
1167 р.
Купить Математическая логика. Учебник для бакалавриатакупить

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

Печатное издание имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. На товар распростаняется гарантия. Имеется дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет отражена более детальная информация о стоимости доставки в ваш регион и о вашей личной скидке.

Книжный раздел

Позвольте Вам предложить