Уведомлений еще не было
  • Главная
  • Книги
  • Математический интуиционизм. Введение в теорию доказательств
Оцените книгу
1
2
3
4
5
6
7
8
9
10
Ваша оценка 0
Скачать

Описание книги

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

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

  • Просмотров: 298
  • Рецензий: 0
Информация об издании


К этой книге не добавлены цитаты
Эта книга еще не добавлена в подборки
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ персонажи
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ ТЕСТЫ
ОГЛАВЛЕНИЕ ОТСУТСТВУЕТ
КНИГА НЕ УПОМИНАЛАСЬ В БЛОГАХ

Рецензии на книгу

Написано 0 рецензий

Кино
8.2
0
0
Симпсоны и их математические секреты
Симпсоны и их математические секреты

Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.

Математика
6.9
0
0
Математика для взрослых. Лайфхаки для повседневных вычислений
Математика для взрослых. Лайфхаки для повседневных вычислений

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

Математика
8.2
0
0
Аргументация и убеждение
Аргументация и убеждение

В книге предложена логико-когнитивная формализованная теория аргументации для моделирования трех видов аргументации - обоснования, убеждения и практической аргументации. Формальная часть теории проиллюстрирована примерами "кухонного" спора Н.Хрущева с Р.Никсоном и спора Протагора с Эватлом. Книга адресована логикам, философам, специалистам в области речевой коммуникации и может служить учебн...

Естественные науки
8.8
0
0
Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса
Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса

Альберт Эйнштейн писал: "Как так получилось, что математика, продукт человеческой мысли, независимый от опыта, так прекрасно соотносится с объектами физической реальности?" Наука предлагает абстрактную математическую модель, а спустя какое-то время (иногда десятилетия) выясняется, что эта модель существует в реальности! Так кто же придумал математику — мы сами или Вселенная? Может быть, математика...

Математика
0.0
0
0
How Not to Be Wrong
How Not to Be Wrong

How Not to Be Wrong

Математика
0.0
0
0
Высшая математика. Учебник
Высшая математика. Учебник

Учебник полностью охватывает материал, входящий в программу по высшей математике для студентов, обучающихся по всем перечисленным в его грифе специальностям. При изложении материала авторы сделали попытку свести до минимума язык кванторов, заменяя его четкими словесными объяснениями проводимых рассуждений, и внесли ряд методических усовершенствований. Материал учебника был апробирован при чтении...

Математика
9.0
0
0
Формирование элементарных математических представлений у дошкольников
Формирование элементарных математических представлений у дошкольников

В пособии даны методологические, теоретические и дидактические основы формирования элементарных математических представлений у детей дошкольного возраста. Раскрываются формы и методы обучения детей математике во всех возрастных группах детского сада, обосновывается необходимость систематической подготовки детей в дошкольных учреждениях к усвоению школьной программы.

Математика
0.0
0
0
Аффинная дифференциальная геометрия
Аффинная дифференциальная геометрия

Настоящая книга охватывает все основные разделы современной аффинной дифференциальной геометрии, из которых многие не вошли в существующие монографии. Кроме того, в русской оригинальной и переводной литературе руководства по аффинной геометрии вообще

Естественные науки
8.4
0
0
The Improbability Principle
The Improbability Principle

Why is it that incredibly unlikely phenomena actually happen quite regularly and why should we, in fact, expect such things to happen? Here, in this highly original book - aimed squarely at anyone with an interest in coincidences, probability or gambling - eminent statistician David Hand answers this question by weaving together various strands of probability into a unified explanation, which he c...

Математика
0.0
0
0
Введение в коммутативную алгебру
Введение в коммутативную алгебру

Атья - известный тополог и алгебраист, лауреат филдсовской премии - знаком читателю по русскому переводу его монографии "Лекции по К-теории" ("Мир", 1967). "Введение в коммутативную алгебру", написанное им совместно с И.Макдональдом, также основано на курсе лекций. Эта книга отличается исключительно удачным подбором материала, изложенного современно, лаконично и с предельной ясностью. Разобрав все...

0.0
0
0
Функции алгебры логики и классы Поста
Функции алгебры логики и классы Поста

Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производя...

Математика
0.0
0
0
Математика метаматематики
Математика метаматематики

Название этой книги - вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика - это теория, изучающая формализованные математические теории. Формализованная теория - это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, ...

Математика
0.0
0
0
Основания математики
Основания математики

Двухтомная монография Д.Гильберта и П.Бернайса «Основания математики» занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами. Отличающаяся исключительной глубиной содержания и тщательностью изложения, книга Гильбе...

Математика
0.0
0
0
Рекурсивный математический анализ
Рекурсивный математический анализ

Настоящая книга объединяет переводы книг Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ".

Технические науки
0.0
0
0
Синтез цифровых автоматов
Синтез цифровых автоматов

В настоящей книге изложены логико-математические основы общей теории синтеза логических схем дискретных (цифровых) автоматов с учетом простейших соображений надежности, не связанные с учетом специфических особенностей конкретных физических элементов, из которых эти схемы построены. В ней рассматриваются также общие принципы блочного синтеза автоматов с микропрограммным управлением. В книге находят...

Математика
0.0
0
0
Теория алгорифмов
Теория алгорифмов

В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.

0.0
0
0
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Основания интуиционистской математики с точки зрения теории рекурсивных функций

В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой и которая в своих деталях не стала широко известной или понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, отличную от выполненной в 1930 г. Рейтингом. Эта формализация вкл...

Математика
0.0
0
0
Степени неразрешимости
Степени неразрешимости

Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужн...

Математика
8.6
0
0
Введение в математическую логику
Введение в математическую логику

В книге Э.Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутс...

0.0
0
0
Введение в теорию моделей и метаматематику алгебры
Введение в теорию моделей и метаматематику алгебры

Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В первых пяти главах излагаются такие известные классические резуль...