Sarcina - Dovada - enciclopedia mare de petrol și gaze, hârtie, pagina 1
Sarcina - dovada
Sarcina probe (justificare) a teoremei este de a stabili Clocirea fapte și reguli de o anumită formulă (obiectivele propunerii, încheierea), prezintă unele probleme. [1]
Sarcina de a dovedi existența vectorului și de căutare t e Em astfel încât simplex T (t, A, L) x E: TAXA PE tb] are aceleași puncte zăbrele ca M poliedru (A L) este denumită problemă de agregare. Cu alte cuvinte, în conformitate cu acest sistem (1.12) cu coeficienți întregi pentru a găsi combinația liniară a ecuațiile (agregarea equation) având același set de soluții în numere întregi nenegative, sistemul sursă. [2]
Obiectul dovezii se numește clarificarea problemei consecință logică a unei formule A Bi pluralitate de formule predeterminate. [3]
Uneori, aveți o dovadă de inegalitate. [4]
Acum, natura problemei este o dovadă destul de clară a teoreme. [5]
Într-un sens, sarcina de a dovedi teoreme este natura deosebit de simplu. Odată ce secvența este găsit expresii care îndeplinește criteriul pentru prezența dovezii (un astfel de test este întotdeauna acolo), putem, ca să spunem așa, pentru a pune capăt acestei probleme, în cazul în care nici o cerință pentru a harului probe. Dar, ca lucrarea lui Newell, Shaw și Simon [789], toate computerele moderne pentru dovezi ale unei mai mult sau mai puțin simplu teorema geometrică desyatishagovoy prin căutare exhaustivă a secvențelor care conduc la timpul probei necesare pe ordinea de câteva mii de ani. [6]
Există o altă abordare a problemei probelor echivalenței unitare (în cazul operatorilor non-selfadjoint - similaritate) perturbate neperturbat. X K) este comprimat în operatorii de spațiu. În cazul în care un operator reușește să găsească G, apoi ca dl de Sud ia operatorului (7 - - D) - 1 / verificarea anterior reversibilitatea acesteia. Această metodă poate investiga o clasă de operatori normali cu spectru discret și continuu, operatori cvasi-zinilygotentnyh operatorilor de schimbare a ponderați și că este deosebit de important pentru aplicațiile de integro multidimensionale - operatori diferențiali. [7]
problemă de programare poate fi redusă la o problemă de probă. că obiectul sistemului robotului ajunge la un anumit rezultat. Adesea ales drept criteriu pentru funcțiile coercitive cel puțin gauss sau cel puțin estimările integrale. Aceste dovezi trebuie să fie atât un test al programului. În rezolvarea problemelor de programare este o metodă foarte importantă a metodei de adaptare pe baza metodei de descompunere. Această metodă presupune că partiționa sarcini pentru o serie de probleme comune, care sunt rezolvate cu ușurință, și apoi ajustate astfel încât să se obțină răspunsul corect, dacă este necesar. [8]
Deoarece multe probleme pot fi formulate ca o problemă de a dovedi teoreme. provocare dovada de automatizare este un domeniu important în inteligență artificială. Prin eforturile neobosite ale multor cercetători o mulțime de progrese au fost realizate în utilizarea de mașini pentru a dovedi teoreme. [9]
Există mai multe sarcini, care sunt ușor să se transforme într-o sarcină de a dovedi teoreme. [10]
Am arătat deja (și nici nu este imediat clar) că problema probei a teoremei lui, în sine, este o problemă foarte specială a aditivului teoria numerelor. Dar, în caz afirmativ, dacă merită efortul pe care este cheltuit, dacă această atenție, care dau matematica ei timp de aproape trei secole a crescut. [11]
Conturarea o idee de bază a metodei Szymanski, nu va conduce asociat cu partea matematică a probelor de rezolvare a problemelor. Arătăm că lucrarea rezultată în soluția luată în considerare pentru accelerarea fluxului poate fi aproximată prin ecuația de mișcare a mai simplu link-ul odnoemkostnogo. [12]
Deoarece răspunsul la întrebarea de clasa A - aceasta este doar un da sau nu, problema este răspunsul la întrebarea este o simplă sarcină de probă. în cazul în care faptele sunt considerate axiome teorema, iar întrebarea este prezentată ca încheierea acestei teoreme. [13]
Propunerea, care este de obicei numit Ultima teoremă, sa născut la mijlocul secolului al XVII-lea; și pe parcursul întregii istorii ulterioare a gândirii matematice pot găsi cu greu o altă sarcină, care este într-o măsură să fie atras eforturile de cercetare de-a lungul secolelor, ca o problemă de dovadă a acestei teoreme, problema nu este rezolvată și în prezent. [14]
Lăsați orice Litri corespunde unui număr indicând valoarea de rezolvare a acestei probleme. Apoi, problema probelor din situația obiectiv original poate fi reformulată în sarcina de a găsi cea mai bună valoare pentru realizarea obiectivului de aprobare inițială. [15]
Pagina: 1 2