Математическая логика. Учебник для бакалавриата
Артикул: p6443145
Купили 22 раза
О товаре
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. .Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. .Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Характеристики
- Раздел:
- Математические науки
- Издательство:
- Прометей
- ISBN:
- Год издания:
- 2019
- Количество страниц:
- 228
- Формат:
- 145x207 мм
- Вес:
- 0.35 кг
Отзывов ещё нет — вы можете быть первым.