Математическая логика: учебник для бакалавриата [Электронный ресурс] учебник В. Л. Матросов, М. С. Мирзоев
Material type:
TextPublication details: Москва Прометей 2020Description: 229 с. илISBN: 9785907244030Subject(s): Учебник для высшей школы | Other classification: 22.12я73 Online resources: ЭБС Университетская библиотека онлайн Abstract: В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей Информатика и математика, Физика и информатика, Технология и информатика, Математика и информатика, Прикладная информатика. Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Библиогр. в кн
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей Информатика и математика, Физика и информатика, Технология и информатика, Математика и информатика, Прикладная информатика. Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Режим доступа: электронная библиотечная система Университетская библиотека ONLINE, требуется авторизация
There are no comments on this title.