Лекции по математической логике и теории алгоритмов (4-е изд.) Верещагин Н. К., Шень А. [2012]
#математическая_логика #высшая_математика #математика

📗 Математическая логика [2020] Матросов, Мирзоев

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