Способы математического доказательства кратко

Обновлено: 02.07.2024

Свидетельство и скидка на обучение каждому участнику

Зарегистрироваться 15–17 марта 2022 г.

Способы математического доказательства

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

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

Чтобы доказать данное утверждение, рассмотрим произвольный четырехугольник, в котором три угла прямые. Так как в любом выпуклом четырехугольнике сумма углов 360 ⁰ , то и в данном она составляет 360 ⁰ . Сумма трех прямых углов равна 270 ⁰ (90 ⁰ •3 = 270 ⁰ ), и, значит, четвертый имеет величину 90 ⁰ (360 ⁰ - 270 ⁰ ). Если все углы четырехугольника прямые, то он – прямоугольник Следовательно, данный четырехугольник будет прямоугольником. Что и требовалось доказать.

Заметим, что сущность проведенного доказательства состоит в построении такой последовательности истинных утверждений (теорем, аксиом, определений), из которых логически следует утверждение, которое нужно доказать.

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

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

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

Например, в приведенном выше доказательстве можно выделить следующие умозаключения:

1. В любом выпуклом четырехугольнике сумма углов равна 360 ⁰ ; данная фигура – выпуклый четырехугольник, следовательно, сумма углов в нем 360 ⁰ .

2. Если известна сумма всех углов четырехугольника и сумма трех из них, то вычитанием можно найти величину четвертого; сумма всех углов данного четырехугольника равна 360 ⁰ , сумма трех 270 ⁰ (90 ⁰ •3 = 270 ⁰ ), то величина четвертого 360 ⁰ - 270 ⁰ = 90 ⁰ .

3. Если в четырехугольнике все углы прямые, то этот четырехугольник – прямоугольник; в данном четырехугольнике все углы прямые, следовательно, он прямоугольник.

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

Самое простое доказательство состоит из одного умозаключения. Таким, например, является доказательство утверждения о том, что 6

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

Следует еще заметить, что математическое доказательство – это не просто набор умозаключений, это умозаключения, расположенные в определенном порядке.

По способу ведения (по форме) различают прямые и косвенные доказательства. Рассмотренное ранее доказательство было прямым – в нем, основываясь на некотором истинном предложении и с учетом условия теоремы, строилась цепочка дедуктивных умозаключений, которая приводила к истинному заключению.

Примером косвенного доказательства является доказательство методом от противного. Сущность его состоит в следующем. Пусть требуется доказать теорему

Полная индукция – это такой метод доказательства, при котором истинность утверждения следует из истинности его во всех частных случаях.

Задача 4. Доказать, что каждое составное натуральное число, большее 4, но меньшее 20, представимо в виде суммы двух простых чисел.

Задача 5. Верно ли, что если натуральное число n не кратно 3, то значение выражения n² + 2 кратно 3? Метод полной индукции.

Основные выводы

В этом пункте познакомились с понятиями: умозаключение, посылка и заключение, дедуктивные (правильные) умозаключения, неполная индукция, аналогия, прямое доказательство, косвенное доказательство, полная индукция.

Мы выяснили, что неполная индукция и аналогия тесно связаны с дедукцией: выводы, полученные с помощью неполной индукции и аналогии, надо либо доказывать, либо опровергать. С другой стороны, дедукция не возникает на пустом месте, а является результатом предварительного индуктивного изучения материала.

Дедуктивные умозаключения позволяют из уже имеющегося знания получать новые истины, и притом с помощью рассуждения, без обращения к опыту, интуиции и т.д.

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

Основные понятия теории множеств. Способы задания множеств

Тема 1. Основные понятия теории множеств. Способы задания множеств. Диаграммы Венна. Операции над множествами. Свойства теоретико-множественных операций. Представление множеств в ЭВМ.

Основные понятия теории множеств. Способы задания множеств

Определение 1.1. Множество – это любая, определенная совокупность объектов. Объекты из которых составлено множество называют его элементами. Элементы множества различны и отличны друг от друга. Множества обозначают прописными буквами латинского алфавита, а их элементы – строчными. Например N , Z , Q , R – множества натуральных, целых, рациональных и действительных чисел.

Если объект х является элементом множества М, то говорят, что хÎМ. Если х не является элементом множества М, то говорят, что хÏМ.

Одно множество равно другому, если выполняется условие: A = B | A B & B A

Множество не содержащее элементов называется пустым. Его обозначают Ø.

Обычно, в конкретных обсуждениях, элементы всех множеств берутся из некоторого одного достаточно широкого множества U (своего для каждого множества), которое называется универсальным множеством или универсумом. В общем случае множества могут быть конечными и бесконечными. Конечное множество – это такое множество, для которого существует натуральное число, равное количеству элементов множества, и называемое мощностью множества и обозначаемое | A |.

Чтобы задать множество нужно указать, какие элементы ему принадлежат. Это можно сделать различными способами:

1)перечислением элементов множества А= < a 1, a 2,…, an | n =6>(перечислением можно задавать только конечное множество);

2) характеристическим предикатом M =< x | P ( x ) >, где P ( x ) – предикат.

Характеристический предикат – это некоторое условие, выраженное в форме логического утверждения, возвращаемое логическое значение. Если для данного элемента условие выполнено, т.е. P ( x ) = 1, то этот элемент принадлежит определяемому множеству, в противном случае – не принадлежит. Пример 1.1.:

P ( x ) = (11) = ( 11 & 11

3) порождающей процедурой: M =

Порождающая процедура – это процедура, которая будучи запущенной порождает некоторые объекты, являющиеся элементами порождаемого множества.

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

2. Прямые и косвенные доказательства. Доказательство методом от противного.

3. Основные выводы

Способы математического доказательства

Чтобы доказать данное утверждение, рассмотрим произвольный четырехугольник, в котором три угла прямые. Так как в любом выпуклом четырехугольнике сумма углов 360⁰, то и в данном она составляет 360⁰. Сумма трех прямых углов равна 270⁰ (90⁰•3 = 270⁰), и, значит, четвертый имеет величину 90⁰ (360⁰ - 270⁰). Если все углы четырехугольника прямые, то он – прямоугольник Следовательно, данный четырехугольник будет прямоугольником. Что и требовалось доказать.

Например, в приведенном выше доказательстве можно выделить следующие умозаключения:

1. В любом выпуклом четырехугольнике сумма углов равна 360⁰; данная фигура – выпуклый четырехугольник, следовательно, сумма углов в нем 360⁰.

2. Если известна сумма всех углов четырехугольника и сумма трех из них, то вычитанием можно найти величину четвертого; сумма всех углов данного четырехугольника равна 360⁰, сумма трех 270⁰ (90⁰•3 = 270⁰), то величина четвертого 360⁰ - 270⁰ = 90⁰.

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

Задача 1. Доказать, что если а + 3 > 10, то а ≠ 7. Метод от противного.

Задача 2. Доказать, что если х² - четное число, то х – четно. Метод от противного.

Задача 3. Даны четыре последовательных натуральных числа. Верно ли, что произведение средних чисел этой последовательности больше произведения крайних на 2? Метод неполной индукции.

Основные выводы

ТЕКСТОВАЯ ЗАДАЧА И ПРОЦЕСС ЕЕ РЕШЕНИЯ

Лекция 11. Текстовая задача и процесс ее решения

1. Структура текстовой задачи

2. Методы и способы решения текстовых задач

3. Этапы решения задачи и приемы их выполнения

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

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

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

Структура текстовой задачи

В задаче описывается движение двух автомобилей. Как известно, любое движение характеризуется тремя величинами: пройденным расстоянием, скоростью и временем движения. В данной задаче известны скорости первого и второго автомобилей (60 км/ч и 90 км/ч), известно, что они прошли одно и то же расстояние от пункта А до места встречи, количественную характеристику которого и надо найти. Кроме того, известно, что первый автомобиль был в пути на 2 ч больше, чем второй.

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

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

1. Свитер, шапка и шарф связаны из 1200 г шерсти.

2. На шарф израсходовали на 100 г больше, чем на шапку.

3. На шарф израсходовали на 400 г меньше, чем на свитер.

1. Сколько шерсти израсходовали на свитер?

2. Сколько шерсти израсходовали на шапку?

3. Сколько шерсти израсходовали на шарф?

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

Систему взаимосвязанных условий и требований называют высказывательной моделью задачи.

Таким образом, чтобы понять, какова структура задачи, надо выявить ее условия и требования, отбросив все лишнее, второстепенное, не влияющее на ее структуру. Иными словами, надо построить высказывательную модель задачи.

Чтобы получить эту модель, надо текст задачи развернуть (сделать это можно письменно или устно), так как текст задачи, как правило, дается в сокращенном, свернутом виде. Для этого можно перефразировать задачу, построить ее графическую модель, ввести какие-либо обозначения и т.д.

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

Пример 1. Сформулируйте условия и требования задачи:

Две девочки одновременно побежали навстречу друг другу по спортивной дорожке, длина которой 420 м. Когда они встретились, первая пробежала на 60 м больше, чем вторая. С какой скоростью бежала каждая девочка, если они встретились через 30 с?

В задаче речь идет о движении двух девочек навстречу друг другу. Как известно, движение характеризуется тремя величинами: расстоянием, скоростью и временем.

1. Две девочки бегут навстречу друг другу.

2. Движение они начали одновременно.

3. Расстояние, которое они пробежали, - 420 м.

4. Одна девочка пробежала на 60 м больше, чем другая.

5. Девочки встретились через 30 с.

6. Скорость движения одной девочки больше скорости движения
другой.

1. С какой скоростью бежала 1-я девочка?

2. С какой скоростью бежала 2-я девочка?

По отношению между условиями и требованиями различают:

а) определенные задачи - в них заданных условий столько, сколько
необходимо и достаточно для выполнения требований;

б) недоопределенные задачи - в них условий недостаточно для получения ответа;

в) переопределенные задачи - в них имеются лишние условия.

В начальной школе недоопределенные задачи считают задачами с недостающими данными, а переопределенные - задачами с избыточными данными.

1) решением задачи называют результат, т.е. ответ на требование
задачи;

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

Упражнения

1. В следующих задачах выделите условия и требования:

а) Два автобуса отправились одновременно из города в село, расстояние до которого 72 км. Первый автобус прибыл в село на 15 мин раньше второго. С какой скоростью шел каждый автобус, если скорость одного из них на 4 км/ч больше скорости другого?

б) Сумма двух чисел равна 199. Найдите эти числа, если одно из них больше другого на 61.

2. Задачи из упражнения 1 сформулируйте таким образом, чтобы предложение, содержащее требование, не содержало условий.

3. В задачах из упражнения 1 повелительную форму требований замените вопросительной, вопросительную - повелительной.

4. Решите задачи из упражнения I.

Из нижеследуемого списка выберите требования к данному условию и решите полученную задачу:

а) Сколько килограммов огурцов осталось незасоленными?

б) Сколько килограммов помидор осталось незасоленными?

в) Что больше - масса огурцов, которые посолили или масса огурцов, которые остались незасоленными?

6. Сформулируйте возможные требования к условию задачи:

а) Купили 12 м ткани и третью часть ткани израсходовали на платье.

б) Из деревни вышел пешеход, а через 2 ч вслед за ним выехал велосипедист. Скорость велосипедиста 10 км/ч, а скорость пешехода 5 км/ч.

7. Какие данные необходимы для ответа на следующее требование
задачи:

а) Какая часть урока использована на решение задачи?

б) Сколько платьев сшили из купленной ткани?

в) Найдите периметр прямоугольника.

Ответ: 6 км/ч - скорость велосипедиста.

Согласны ли вы с таким решением данной задачи?

9. Можете ли вы дать ответ на требование следующей задачи:

а) За 3 м ткани заплатили 60000 р. Во второй раз купили 6 м ткани. Сколько денег заплатили за ткань, купленную во второй раз?

б) Два мотоциклиста едут навстречу друг другу. Скорость одного них 62 км/ч, а скорость другого 54 км/ч. Через сколько часов мотоциклисты встретятся?

В случае если нельзя ответить на требование задачи, дополните ее условие и решите задачу.

10. Есть ли среди нижеприведенных задачи с лишними данными:

а) Объем комнаты равен 72 м³. Высота комнаты 3 м. Найдите площадь пола комнаты, если ее длина 6 м.

5) Для посадки леса выделили участок, площадь которого 300 га. Ду6ы посадили на 7/10 участка, а сосны на 3/10 участка. Сколько гектаров занято дубами и соснами?

В случае если в задаче есть лишние данные, то исключите их и решнте задачу.

Доказать какое-либо утверждение – это значит показать, что это утверждение логически следует из системы истинных и связанных с ним утверждений.

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

Основные законы логики:

1. Закон тождества. Каждая мысль, повторяясь в рассуждении, должна быть тождественной самой себе.

Закон тождества означает, что в процессе рассуждения нельзя подменять одну мысль другой, одно понятие другим. Нельзя тождественные мысли выдавать за различные, а различные – за тождественные.

2. Закон непротиворечия.Высказывание и его отрицание не могут быть одновременно истинными; по крайней мере одно из них обязательно ложно.

Если в мышлении (и речи) человека обнаружено формально-логическое противоречие, то такое мышление считается неправильным, а суждение, из которого вытекает противоречие, считается ложным.

3. Закон исключенного третьего.Из двух противоречивых высказываний об одном и том же предмете одно – истинно, а другое – ложно, третьего не дано.

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

Когда речь идет о математическ4ом доказательстве, надо:

¾ иметь то утверждение, истинность которого нужно доказывать;

¾ понимать, что доказательство – это цепочка дедуктивных умозаключений; оно выполняется по правилам и законам логики;

¾ понимать, какие другие истинные утверждения можно использовать в процессе доказательства.

По способу ведения различают прямые и косвенные доказательства.

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

(Если в четырехугольники три угла прямые, то он прямоугольник)

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

(а+3> 10, то а ¹7)

Билет 15 Понятие соответствия между множествами. Способы задания соответствий. Взаимно - однозначные соответствия. Равномощные множества. Примеры соответствий (в том числе и взаимно - однозначных).

Основные законы логики:

1. Закон тождества. Каждая мысль, повторяясь в рассуждении, должна быть тождественной самой себе.

Когда речь идет о математическ4ом доказательстве, надо:

¾ иметь то утверждение, истинность которого нужно доказывать;

¾ понимать, какие другие истинные утверждения можно использовать в процессе доказательства.

По способу ведения различают прямые и косвенные доказательства.

(Если в четырехугольники три угла прямые, то он прямоугольник)

(а+3> 10, то а ¹7)

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

На протяжении всей истории математики представление о способах и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ, и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда), на основе которого созданы средства автоматического доказательства.

Связанные понятия

Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в XIX веке итальянским математиком Джузеппе Пеано.

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

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

Упоминания в литературе

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

Связанные понятия (продолжение)

Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.

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

Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.

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

Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона.

Преде́л — одно из основных понятий математического анализа. Различают предел последовательности и предел функции.

Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой.

Дедеки́ндово сече́ние (или у́зкая щель) — один из способов построения вещественных чисел из рациональных.

Математи́ческий объе́кт — абстрактный объект, определяемый и изучаемый в математике (или в философии математики).

Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения —

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

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

Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.

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

Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.

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

Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента.

Трансценде́нтное число́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.

Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.

Проблема остановки (или проблема останова) — это одна из центральных проблем в теории алгоритмов, которая может неформально быть поставлена в виде.

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

Математи́ческая структу́ра — название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой структуры задают отношения, в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры.

Теория комбинаторных схем — это часть комбинаторики (раздела математики), рассматривающая существование, построение и свойства семейств конечных множеств, структура которых удовлетворяет обобщённым концепциям равновесия и/или симметрии. Эти концепции не определены точно, так что объекты широкого диапазона могут пониматься как комбинаторные схемы. Так, в одном случае комбинаторные схемы могут представлять собой пересечения множеств чисел, как в блок-схемах, а в другом случае могут отражать расположение.

Дели́мость — одно из основных понятий арифметики и теории чисел, связанное с операцией деления. С точки зрения теории множеств, делимость целых чисел является отношением, определённым на множестве целых чисел.

Абсолютная геометрия — часть классической геометрии, независимая от пятого постулата евклидовой аксиоматики (то есть в абсолютной геометрии пятый постулат может выполняться, а может и не выполняться). Абсолютная геометрия содержит предложения, общие для евклидовой геометрии и для геометрии Лобачевского.

Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов.

Откры́тые (нерешённые) математи́ческие пробле́мы — задачи, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве.

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

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

Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.

Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.

Определённый интеграл — аддитивный монотонный функционал, заданный на множестве пар, первая компонента которых есть интегрируемая функция или функционал, а вторая — область в множестве задания этой функции (функционала).

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

Мно́жество — одно из ключевых понятий математики; это математический объект, сам являющийся набором, совокупностью, собранием каких-либо объектов, которые называются элементами этого множества и обладают общим для всех их характеристическим свойством. Изучением общих свойств множеств занимаются теория множеств, а также смежные разделы математики и математической логики.

Теория Рамсея — раздел математики, изучающий условия, при которых в произвольно формируемых математических объектах обязан появиться некоторый порядок. Названа в честь Фрэнка Рамсея.

Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин.

Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.

Многозна́чная ло́гика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний. Первую систему многозначной логики предложил польский философ Ян Лукасевич в 1920 году. В настоящее время существует очень много других систем многозначной логики, которые в свою очередь могут быть сгруппированы по классам. Важнейшими из таких классов являются частичные логики и нечёткие логики.

Читайте также: