Поиск :
Личный кабинет :
Электронный каталог: Матросов, В. Л. - Математическая логика: учебник для бакалавриата
Матросов, В. Л. - Математическая логика: учебник для бакалавриата
Нет экз.
Электронный ресурс
Автор: Матросов, В. Л.
Математическая логика: учебник для бакалавриата : учебник
Издательство: Прометей, 2020 г.
ISBN 978-5-907244-03-0
Автор: Матросов, В. Л.
Математическая логика: учебник для бакалавриата : учебник
Издательство: Прометей, 2020 г.
ISBN 978-5-907244-03-0
На полку
Электронный ресурс
Матросов, В. Л.
Математическая логика: учебник для бакалавриата : учебник. – Москва : Прометей, 2020. – 229 с. : ил. – URL: https://biblioclub.ru/index.php?page=book&id=576107. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-907244-03-0.
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
510.6
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы
Матросов, В. Л.
Математическая логика: учебник для бакалавриата : учебник. – Москва : Прометей, 2020. – 229 с. : ил. – URL: https://biblioclub.ru/index.php?page=book&id=576107. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-907244-03-0.
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
510.6
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы