Книга: Журавлев Ю.И. «Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата»

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

Серия: "Бакалавр. Академический курс"

В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте. Издание исправленное и дополненное.

Издательство: "Юрайт" (2018)

ISBN: 978-5-534-06279-3

Купить за 920 руб в My-shop

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Дискретный анализ. Основы высшей алгебры. Учебное пособие для академического бакалавриатаДанное учебное пособие посвящено введению в высшую алгебру. В нем рассматриваются свойства основных… — Юрайт, Бакалавр. Академический курс Подробнее...2018682бумажная книга
Дискретный анализ. Основы высшей алгебры. Учебное пособие для академического бакалавриатаДанное учебное пособие посвящено введению в высшую алгебру. В нем рассматриваются свойства основных… — ЮРАЙТ, Бакалавр. Академический курс Подробнее...2018882бумажная книга
Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриатаВ данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге… — ЮРАЙТ, Бакалавр. Академический курс Подробнее...20181190бумажная книга

См. также в других словарях:

  • Журавлев — Журавлев, Александр Александрович В Википедии есть статьи о других людях с фамилией Журавлев. Александр Александрович Журавлев Имя при рождении: Александр Род деятельности: Российский и Советский реставратор Дата рождения …   Википедия

  • Журавлев — ЖАРАВЛЕВ ЖЕРАВКИН ЖОРАВ ЖУРАВЕЛЬ ЖУРАВКИН ЖУРАВКОВ ЖУРАВОК ЖУРАВЛЕВ ЖУРАЕВ ЖУРКИН Птичьи нецерковные имена были не редкостью в русских деревнях. От имени Журавль и было образовано отчество ставшее фамилией. Журавок, журай в народных говорах… …   Русские фамилии

  • Журавлев Ю. — Юрий Иванович Журавлёв Российский ученый, математик, академик РАН Дата рождения: 14 января 1935 Место рождения: Воронеж, СССР Научная сфера: Дискретная математика, Математическая кибернетика Место работы …   Википедия

  • Журавлев Ю. И. — Юрий Иванович Журавлёв Российский ученый, математик, академик РАН Дата рождения: 14 января 1935 Место рождения: Воронеж, СССР Научная сфера: Дискретная математика, Математическая кибернетика Место работы …   Википедия

  • Журавлев А. — Андрей Журавлев (более известный как Андрей Иоаннов; 1751 1813) протоиерей, историк раскола старообрядчества. Изначально сам старообрядец, хорошо знакомый с учениями раскольнических сект, Журавлев принял православие и был назначен священником… …   Википедия

  • Журавлев Е. — Ежи Журавлев (польск. Jerzy Żurawlew; 21 января 1887, Ростов на Дону 3 октября 1980, Варшава) польский пианист и музыкальный педагог, инициатор (1927) проведения Международного конкурса пианистов имени Шопена. Отец Журавлева был русским, мать… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»