Основания математики. Математическая логика. Теория чисел

Математическая логика и теория алгоритмов для программистов. Учебное пособие, Гринченков Д.В. , Потоцкий С.И.

Скачать книгу "Математическая логика и теория алгоритмов для программистов. Учебное пособие, Гринченков Д.В. , Потоцкий С.И."
Страниц: 206
Год издания: 2017
Язык: Русский
Математическая логика и теория алгоритмов для программистов. Учебное пособие

Лекции по теории чисел. В обработке и с добавлениями P. Дедекинда, П. Г. Л. Дирихле

Скачать книгу "Лекции по теории чисел. В обработке и с добавлениями P. Дедекинда, П. Г. Л. Дирихле"
Страниц: 368
Год издания: 2016
Язык: Русский
Настоящая книга, автор которой - выдающийся немецкий математик П.Г.Л.Дирихле, принадлежит к числу лучших классических книг по теории чисел. Составленная Р.Дедекиндом по лекциям Дирихле, прочитанным по ...

Математическая логика. Дополнительные главы. Учебное пособие, А. Н. Колмогоров, А. Г. Драгалин

Скачать книгу "Математическая логика. Дополнительные главы. Учебное пособие, А. Н. Колмогоров, А. Г. Драгалин"
Страниц: 240
Год издания: 2017
Язык: Русский
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. И ...

Математическая логика. Учебник, В. И. Скорубский, В. И. Поляков, А. Г. Зыков

Скачать книгу "Математическая логика. Учебник, В. И. Скорубский, В. И. Поляков, А. Г. Зыков"
Страниц: 212
Год издания: 2016
Язык: Русский
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство тео ...