Искусство доказательства в математике. Курс лекций с упражнениями
A

Искусство доказательства в математике. Курс лекций с упражнениями

Математика
mathematics proof techniques logic set theory quantifiers exercises computer science
Автор
Дэниэл Веллеман
Издательство
ДМК Пресс
Год
2021
Язык
Русский
46
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Изображение квантовых процессов: Начальный курс квантовой теории и рассуждений на диаграммах

Изображение квантовых процессов: Начальный курс квантовой теории и рассуждений на диаграммах

Боб Коке, Алекс Киссинджер

От математики к обобщенному программированию

От математики к обобщенному программированию

Александр А. Степанов, Дэниэл Э. Роуз

Доказательство корректности программ

Доказательство корректности программ

К. Рустан М. Лейно

Методы программирования в задачах и примерах на C/C++

Методы программирования в задачах и примерах на C/C++

В. Д. Валединский, А. А. Корнев

Танец с кубитами. Как на самом деле работают квантовые вычисления

Танец с кубитами. Как на самом деле работают квантовые вычисления

Роберт С. Сатор

Регрессия: теория и практика. C примерами на R и Stan

Регрессия: теория и практика. C примерами на R и Stan

Эндрю Гельман, Дженнифер Хилл, Аки Вехтари

Системы искусственного интеллекта

Системы искусственного интеллекта

А. В. Остроух, Н. Е. Суркова

Секреты интересных интегралов (с введением в контурное интегрирование)

Секреты интересных интегралов (с введением в контурное интегрирование)

Пол Дж. Нахин

Как проектировать программы. Введение в программирование и компьютерные вычисления

Как проектировать программы. Введение в программирование и компьютерные вычисления

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

Теоретический минимум по Computer Science. Все, что нужно программисту и разработчику

Теоретический минимум по Computer Science. Все, что нужно программисту и разработчику

Владстон Феррейра Фило