Поиск :
Личный кабинет :
Электронный каталог: Журавлев, Ю. И. - Дискретный анализ. Формальные системы и алгоритмы
Журавлев, Ю. И. - Дискретный анализ. Формальные системы и алгоритмы
Нет экз.
Электронный ресурс
Автор: Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2023 г.
ISBN 978-5-534-06279-3
Автор: Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2023 г.
ISBN 978-5-534-06279-3
На полку
Электронный ресурс
Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов. – 2-е изд, испр. и доп. – Электрон. дан. – Москва : Юрайт, 2023. – 318 с. – (Высшее образование). – Режим доступа : https://urait.ru/bcode/513126, https://urait.ru/book/cover/7808CC04-42A0-4E7A-B431-A92015C6A430. – Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. – URL: https://urait.ru/bcode/513126 (дата обращения: 13.03.2023). – На рус. яз. – ISBN 978-5-534-06279-3 : 1019.00.
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
510.51(075.8)
основной = ЭБС Юрайт
Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов. – 2-е изд, испр. и доп. – Электрон. дан. – Москва : Юрайт, 2023. – 318 с. – (Высшее образование). – Режим доступа : https://urait.ru/bcode/513126, https://urait.ru/book/cover/7808CC04-42A0-4E7A-B431-A92015C6A430. – Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. – URL: https://urait.ru/bcode/513126 (дата обращения: 13.03.2023). – На рус. яз. – ISBN 978-5-534-06279-3 : 1019.00.
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
510.51(075.8)
основной = ЭБС Юрайт