Основной контент книги Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Mətn PDF
Həcm 319 səhifələri
2018 il
Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Seriyaya daxildir «Бакалавр. Академический курс»
22,70 ₼
10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 2,28 ₼ əldə edin.
Kitab haqqında
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
Janr və etiketlər
Seriyaya daxildir "Бакалавр. Академический курс"
Daxil olun, kitabı qiymətləndirmək və rəy bildirmək üçün
Kitab М. Н. Вялого, Юрия Арсениевича Флерова və s. «Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş həddi:
0+Litresdə buraxılış tarixi:
10 yanvar 2018Yazılma tarixi:
2018Həcm:
319 səh. ISBN:
9785534062793Ümumi ölçü:
2.7 МБSəhifələrin ümumi sayı:
319Müəllif hüququ sahibi:
ЮРАЙТ