Основания математики. Математическая логика. Теория чисел
Прикладная логика, С. В. Попов, Н. Л. Брошкова
Разделы: Основания математики. Математическая логика, Основания математики. Математическая логика. Теория чисел
Страниц: 216
Год издания: 2011
Язык: Русский
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и син ...
Вычислительно сложные задачи теории чисел, Е. А. Гречников, С. В. Михайлов, Ю. В. Нестеренко, И. А. Поповян
Разделы: Основания математики. Математическая логика. Теория чисел, Вычислительная математика. Численные методы
Страниц: 312
Год издания: 2012
Язык: Русский
В учебном пособии подробно рассматриваются четыре задачи, привлекающие внимание исследователей на протяжении последних десятилетий: разложение больших составных чисел на множители, дискретное логарифм ...
Математическая логика. Введение в математическую логику, А. Н. Колмогоров, А. Г. Драгалин
Страниц: 240
Год издания: 2017
Язык: Русский
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. И ...