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