Поиск :
Личный кабинет :
Электронный каталог: Алябьева, Валентина Георгиевна - Математическая логика
Алябьева, Валентина Георгиевна - Математическая логика
Нет экз.
Электронный ресурс
Автор: Алябьева, Валентина Георгиевна
Математическая логика : Учебное пособие
Издательство: ПГНИУ, 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
основной = математика : математическая логика
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань
основной = Лань сделано