Поиск :
Личный кабинет :
Электронный каталог: Журавлев, Ю. И. - Дискретный анализ. Формальные системы и алгоритмы
Журавлев, Ю. И. - Дискретный анализ. Формальные системы и алгоритмы
Нет экз.
Электронный ресурс
Автор: Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2022 г.
ISBN 978-5-534-06279-3
Автор: Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2022 г.
ISBN 978-5-534-06279-3
На полку
Электронный ресурс
Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов. – 2-е изд, испр. и доп. – Электрон. дан. – Москва : Юрайт, 2022. – 318 с. – (Высшее образование) . – URL: https://urait.ru/bcode/491079, https://urait.ru/book/cover/19C485CE-2843-4BB2-86C0-0E2FA1623D18. – Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . – URL: https://urait.ru/bcode/491079 (дата обращения: 30.05.2022). – На рус. яз. – ISBN 978-5-534-06279-3 : 1019.00.
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
510.51(075.8)
Рубрикатор Юрайт = Юрайт. Математический анализ
Рубрикатор Юрайт = Юрайт. Математика, статистика и механика.
Рубрикатор Юрайт = Юрайт. Дополнительные главы дискретной математики, математической логики
Рубрикатор Юрайт = Юрайт. Высшая алгебра и аналитическая геометрия
Рубрикатор Юрайт = Юрайт. Дискретные и математические модели
Рубрикатор Юрайт = Юрайт. Дискретный анализ
Журавлев, Ю. И.
Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов. – 2-е изд, испр. и доп. – Электрон. дан. – Москва : Юрайт, 2022. – 318 с. – (Высшее образование) . – URL: https://urait.ru/bcode/491079, https://urait.ru/book/cover/19C485CE-2843-4BB2-86C0-0E2FA1623D18. – Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . – URL: https://urait.ru/bcode/491079 (дата обращения: 30.05.2022). – На рус. яз. – ISBN 978-5-534-06279-3 : 1019.00.
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
510.51(075.8)
Рубрикатор Юрайт = Юрайт. Математический анализ
Рубрикатор Юрайт = Юрайт. Математика, статистика и механика.
Рубрикатор Юрайт = Юрайт. Дополнительные главы дискретной математики, математической логики
Рубрикатор Юрайт = Юрайт. Высшая алгебра и аналитическая геометрия
Рубрикатор Юрайт = Юрайт. Дискретные и математические модели
Рубрикатор Юрайт = Юрайт. Дискретный анализ