Книга: Журавлев Ю.И. «Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата»
|
Производитель: "ЮРАЙТ" Серия: "Бакалавр. Академический курс" В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте. Издание исправленное и дополненное. Издательство: "ЮРАЙТ" (2018)
ISBN: 978-5-534-06279-3 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Дискретный анализ. Основы высшей алгебры. Учебное пособие для академического бакалавриата | Данное учебное пособие посвящено введению в высшую алгебру. В нем рассматриваются свойства основных… — Юрайт, Бакалавр. Академический курс Подробнее... | бумажная книга | ||
| Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата | В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге… — Юрайт, Бакалавр. Академический курс Подробнее... | бумажная книга | ||
| Дискретный анализ. Основы высшей алгебры. Учебное пособие для академического бакалавриата | Данное учебное пособие посвящено введению в высшую алгебру. В нем рассматриваются свойства основных… — ЮРАЙТ, Бакалавр. Академический курс Подробнее... | бумажная книга |
См. также в других словарях:
Журавлев — Журавлев, Александр Александрович В Википедии есть статьи о других людях с фамилией Журавлев. Александр Александрович Журавлев Имя при рождении: Александр Род деятельности: Российский и Советский реставратор Дата рождения … Википедия
Журавлев — ЖАРАВЛЕВ ЖЕРАВКИН ЖОРАВ ЖУРАВЕЛЬ ЖУРАВКИН ЖУРАВКОВ ЖУРАВОК ЖУРАВЛЕВ ЖУРАЕВ ЖУРКИН Птичьи нецерковные имена были не редкостью в русских деревнях. От имени Журавль и было образовано отчество ставшее фамилией. Журавок, журай в народных говорах… … Русские фамилии
Журавлев Ю. — Юрий Иванович Журавлёв Российский ученый, математик, академик РАН Дата рождения: 14 января 1935 Место рождения: Воронеж, СССР Научная сфера: Дискретная математика, Математическая кибернетика Место работы … Википедия
Журавлев Ю. И. — Юрий Иванович Журавлёв Российский ученый, математик, академик РАН Дата рождения: 14 января 1935 Место рождения: Воронеж, СССР Научная сфера: Дискретная математика, Математическая кибернетика Место работы … Википедия
Журавлев А. — Андрей Журавлев (более известный как Андрей Иоаннов; 1751 1813) протоиерей, историк раскола старообрядчества. Изначально сам старообрядец, хорошо знакомый с учениями раскольнических сект, Журавлев принял православие и был назначен священником… … Википедия
Журавлев Е. — Ежи Журавлев (польск. Jerzy Żurawlew; 21 января 1887, Ростов на Дону 3 октября 1980, Варшава) польский пианист и музыкальный педагог, инициатор (1927) проведения Международного конкурса пианистов имени Шопена. Отец Журавлева был русским, мать… … Википедия
