Задачата - Доказателства - голяма енциклопедия на нефт и газ, хартия, страница 1
Задачата - доказателство
доказателства Task (оправдание) на теоремата е да се установи способността за излюпване на факти и правила на определена формула (цели на предложения, становища), представя някои въпроси. [1]
Задачата на доказване наличието на вектора и за търсене т д Em така че симплекс T (т, A, L) х Е: данъчни TB] има същите решетка точки като многостен M (A L) се нарича проблем агрегация. С други думи, съгласно този система (1.12) с цели коефициенти да намерите линейна комбинация на уравненията (агрегиране уравнение), имащи същия набор от разтвори в неотрицателни числа, системата източник. [2]
Целта на доказателството се нарича изясняване на въпроса за логично следствие на формула А Bi множество предварително определени формули. [3]
Понякога трябва доказателство за неравенство. [4]
Сега, естеството на проблема, е достатъчно ясно доказателство за теореми. [5]
В известен смисъл, задачата за доказване теореми е особено проста природа. След като последователността е намерена изрази който отговаря на теста за наличие на доказателството (такъв тест е винаги там), ние можем, така да се каже, за да се сложи край на този проблем, ако няма изискване да украси доказателства. Но, тъй като работата на Нюъл, Шоу и Саймън [789], с всички съвременни компютри за доказателства за повече или по-малко прост desyatishagovoy геометрична теорема от изчерпателно търсене на последователности, водещи до доказване време от порядъка на няколко хиляди години. [6]
Има и друг подход към проблема на доказателства единна равностойност (в случая на операторите, които не selfadjoint - прилика) смутен невъзмутим. X K) е компресиран в операторите на помещенията. Ако операторът успява да намери G, след като г-н Южен вземе оператора (7 - - D) - 1 / проверка преди неговата обратимост. Този метод може да се изследва клас от нормални субекти с отделно и непрекъснато спектър, квази-zinilygotentnyh оператори на операторите отместване претеглени, и това е особено важно за приложения на многомерни Интегро - диференциални оператори. [7]
програмиране проблем може да бъде намален до проблем на доказване. че предметът на роботизирана система достигне определен резултат. Често избран като критерий за най-малко Гаус принудителните функции или поне цялостни оценки. Тези доказателства трябва да бъде едновременно тест на програмата. В решаването на проблемите за програмиране е много важен метод за метод адаптация по метода на разлагане. Този метод предполага, че разделяте задачи за редица общи проблеми, които лесно се решават, а след това се коригират така, че да се получи правилния отговор, ако е необходимо. [8]
Тъй като много от проблемите могат да бъдат формулирани като проблем на доказване теореми. оспори доказателствата на автоматизация е важна област на изкуствения интелект. Чрез неуморните усилия на много изследователи много напредък бе постигнат при използването на машини, за да докаже, теореми. [9]
Има много задачи, които са лесно да се превърне в една задача, доказващ теореми. [10]
Ние вече посочи, (нито веднага става ясно), че проблемът с доказване на теорема на Ферма по себе си е една много специална задача на добавка теория на числата. Но ако е така, дали си струва усилието, че той е прекарал, независимо дали това повишено внимание, което й дава математика в продължение на почти три столетия. [11]
Очертаване една основна идея на метод Шимански, няма да доведе до свързана с математическата страна на решаването на проблемите на доказателствата. Ние показваме, че получената работа в разглеждания решение за ускоряване на потока може да се сближи с уравнението на движение на най-простият odnoemkostnogo връзката. [12]
Тъй като отговорът на въпроса на клас А - това е само да или не, проблемът е, че отговорът на този въпрос е проста задача на доказване. когато фактите се разглеждат аксиоми теорема, а въпросът е представено като сключването на тази теорема. [13]
Предложението, което обикновено се нарича последната теорема на Ферма, е роден около средата на XVII век; и по време на цялата последваща история на математическата мисъл едва ли може да се намери друга задача, която е до известна степен да бъдат привлечени изследователски усилия през вековете, като проблем на доказателство за това теорема, проблемът не е решен и в настоящето. [14]
Нека всеки литър съответства на число, показващо стойността на решаването на този проблем. Тогава проблемът на доказателствата от първоначалната декларация цел може да бъде преформулиран в задачата за намиране на най-добрата стойност за постигането на целта на първоначалното одобрение. [15]
Страница: 1 2