Зюзьков

Эксперименты в теории чисел, Зюзьков В.М., 2019

Эксперименты в теории чисел, Зюзьков В.М., 2019.

   Экспериментальная математика - это тот раздел математики, который имеет дело, прежде всего, с кодированием и передачей идей в математическом сообществе с помощью экспериментальных исследований гипотез и менее формальных воззрений, а также с помощью анализа полученных данных. Как правило, математики не публикуют гипотезы. В этой книге, наоборот, читатель найдет много недоказанных утверждений, об истинности которых можно только предполагать. Но в этом и заключается цель книги - показать, как с помощью системы компьютерной алгебры Mathematica можно приходить к открытиям. Демонстрируется «кухня» компьютерных экспериментов. Предметной областью является элементарная теория чисел, так как эксперименты и исследования играют ключевую роль в изучении теории чисел. Автор стремился к «замкнутому» изложению материала.
Книга рассчитана на математиков, использующих системы компьютерной алгебры как инструмент в своих исследованиях. Также она будет полезна студентам и аспирантам математических направлений университетов, изучающих курс компьютерной алгебры.

Эксперименты в теории чисел, Зюзьков В.М., 2019
Скачать и читать Эксперименты в теории чисел, Зюзьков В.М., 2019
 

Введение в математическую логику, учебное пособие, Зюзьков В.М., 2018

Введение в математическую логику, учебное пособие, Зюзьков В.М., 2018.

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение лямбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.

Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.

Введение в математическую логику, учебное пособие, Зюзьков В.М., 2018
Купить бумажную или электронную книгу и скачать и читать Введение в математическую логику, учебное пособие, Зюзьков В.М., 2018
 

Введение в математическую логику, Зюзьков В.М., 2017

Введение в математическую логику, Зюзьков В.М., 2017.
 
   Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.
Для студентов математических направлений университетов, преподавателей математики и компьютерных наук высших хлебных заведений.

Введение в математическую логику, Зюзьков В.М., 2017
Купить бумажную или электронную книгу и скачать и читать Введение в математическую логику, Зюзьков В.М., 2017
 





 

2025-03-26 20:06:02