Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата

В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
- Авторы:Михаил Николаевич Вялый, Юрий Арсениевич Флеров, Юрий Иванович Журавлев
- Серия: Бакалавр. Академический курс
- Жанр:Учебная литература
- Страницы: 319
- Формат: fb2, epub, pdf, txt
Советуем прочитать похожую литературу

Противодействие коррупции. Учебник и практикум для академического...
Специфика данного учебника, предназначенного для будущих работников структур государственного...

История русской литературы конца xix – начала xx века 5-е изд.,...
Учебник дает объемное представление о закономерностях литературного процесса конца XIX начала XX...

Теория менеджмента. Учебник для бакалавров
В данном учебнике сочетается теория, результаты исследований и практические выводы. В издании...

Логика. Теория и практика 4-е изд., испр. и доп. Учебное пособие...
В учебном пособии доступно, ясно и вместе с тем строго и систематично излагаются основные...

Этика 3-е изд., пер. и доп. Учебник и практикум для академического...
В учебнике раскрыты все основные темы дисциплины «Этика»: история этических учений; основные...

Философия. Учебник для академического бакалавриата
В учебнике раскрыты вопросы, которые осознанно или подсознательно волнуют каждого: что такое...
Отзывы (0)
Вам понравилось читать онлайн книгу «Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата»? Уделите пару минут, что бы оставить полезный отзыв другому читателю.