Математическая логика: Учебник для бакалавриата
В.Л. Матросов, М.С. Мирзоев
В учебнике изложены основные понятия математической
логики, язык и средства математической логики, в том числе
системы логических функций и их применение в информатике.
Рассматриваются основные разделы математической логики:
алгебра высказываний; исчисления высказываний и логика пре-
дикатов. Алгоритмическим подходом по шагам представлено до-
казательство теорем из аксиоматической теории L. Помимо теоре-
тических и практических материалов учебник содержит задания
для самостоятельной работы.
Содержание учебника соответствует Федеральному государ-
ственному образовательному стандарту высшего образования
третьего поколения и методическим требованиям, предъявляе-
мым к учебным изданиям.
Учебник предназначен для студентов высших учебных
заведений, обучающихся по направлению педагогического обра-
зования профилей «Информатика и математика», «Физика
и информатика», «Технология и информатика», «Математика
и информатика», «Прикладная информатика». Может быть
полезен широкому кругу читателей, интересующихся основами
математической логики.
логики, язык и средства математической логики, в том числе
системы логических функций и их применение в информатике.
Рассматриваются основные разделы математической логики:
алгебра высказываний; исчисления высказываний и логика пре-
дикатов. Алгоритмическим подходом по шагам представлено до-
казательство теорем из аксиоматической теории L. Помимо теоре-
тических и практических материалов учебник содержит задания
для самостоятельной работы.
Содержание учебника соответствует Федеральному государ-
ственному образовательному стандарту высшего образования
третьего поколения и методическим требованиям, предъявляе-
мым к учебным изданиям.
Учебник предназначен для студентов высших учебных
заведений, обучающихся по направлению педагогического обра-
зования профилей «Информатика и математика», «Физика
и информатика», «Технология и информатика», «Математика
и информатика», «Прикладная информатика». Может быть
полезен широкому кругу читателей, интересующихся основами
математической логики.
Année:
2020
Editeur::
Прометей
Langue:
russian
ISBN 10:
5907244038
ISBN 13:
9785907244030
Fichier:
PDF, 1.50 MB
IPFS:
,
russian, 2020