Поиск :
Личный кабинет :
Электронный каталог: Алябьева, Валентина Георгиевна - Математическая логика
Алябьева, Валентина Георгиевна - Математическая логика
Нет экз.
Электронный ресурс
Автор: Алябьева, Валентина Георгиевна
Математическая логика : Учебное пособие
Издательство: ПГНИУ, 2017 г.
ISBN 978-5-7944-2904-6
Автор: Алябьева, Валентина Георгиевна
Математическая логика : Учебное пособие
Издательство: ПГНИУ, 2017 г.
ISBN 978-5-7944-2904-6
Электронный ресурс
22.12я73
Алябьева, Валентина Георгиевна.
Математическая логика [Электронный ресурс] : Учебное пособие / В. Г. Алябьева ; М-во образования и науки РФ, ФГБОУ ВО ПНИПУ . - Пермь : ПГНИУ, 2017 . - 111 с. - Режим доступа : https://e.lanbook.com/book/246635 . - Допущено методическим советом Пермского государственного национального исследовательского университета в качестве учебного пособия для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность» . - Для авторизованных пользователей МПГУ . - Книга из коллекции ПГНИУ - Математика . - На рус. яз. - ISBN 978-5-7944-2904-6 .
Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».
ББК 22.12я73
510.6
основной = математика : математическая логика
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань
основной = Лань сделано
22.12я73
Алябьева, Валентина Георгиевна.
Математическая логика [Электронный ресурс] : Учебное пособие / В. Г. Алябьева ; М-во образования и науки РФ, ФГБОУ ВО ПНИПУ . - Пермь : ПГНИУ, 2017 . - 111 с. - Режим доступа : https://e.lanbook.com/book/246635 . - Допущено методическим советом Пермского государственного национального исследовательского университета в качестве учебного пособия для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность» . - Для авторизованных пользователей МПГУ . - Книга из коллекции ПГНИУ - Математика . - На рус. яз. - ISBN 978-5-7944-2904-6 .
Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».
ББК 22.12я73
510.6
основной = математика : математическая логика
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань
основной = Лань сделано