М. Н. Вялый. Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата. М.:ЮРАЙТ, 2018
Фрагмент книги
Библиографическое описание
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
Готовые работы, где использовался источник
Контроль и ревизия. Итоговый экзамен.РФЭИ 2014 Часть I. 40 вопросов
- Ответы на вопросы
- Экономика
- Выполнил: 5ballov
Статистика РФЭИ.3 работы (Контрольная, Самостоятельная, Итоговый Экзамен)
- Контрольная работа
- Статистика
- Выполнил: 5тёрка
Гарантия на работу 10 дней.