Contraexemplu - un exemplu care dezminte o declarație de loialitate.
Construirea unui contraexemplu - modul obișnuit de a respinge ipoteze. Dacă aveți o omologare de tip „pentru orice X set M are proprietatea A“, este un contraexemplu la această afirmație ar fi: „Există un obiect al multimii M. X0 pentru care proprietatea A nu este îndeplinită.“
De multe ori găsi un contraexemplu manual este foarte dificil. În astfel de cazuri, puteți utiliza calculatorul. program pentru a găsi contraexemplul poate pur și simplu itera elementele setului M și verificarea proprietăților de performanță A. O mai complex, dar mai eficientă, abordarea este de a construi un contraexemplu „bucată cu bucată“. În acest caz, atunci când selectați o altă „partea“ opțiuni eliminat imediat, care cu siguranță nu duce la o respingere a aprobării luate în considerare. Acest lucru poate accelera în mod semnificativ activitatea, de multe ori prin ordine de mărime.
Trebuie amintit faptul că absența unui contraexemplu nu dovedește ipoteza. Dovada de acest tip poate fi construit numai în cazul în care set dat desigur. În acest caz, este suficient pentru a itera prin toate elementele sale, iar în cazul în care contraexemplu nu este printre ei, atunci afirmația va fi dovedită.
contraexemple clasice în matematică
literatură
Acest articol preforme despre știință. Puteți ajuta Wikipedia prin completarea sa.
Această notă ar trebui să fie înlocuită cu posibilități mai precise.
contraexemplu - un contraexemplu ... Spelling dicționar director
contraexemplu - contraexemplu Sinonime română dicționar Tezaur ...
contraexemplu - Syn: contraexemplu ... Thesaurus vocabularul de afaceri din Rusia
contraexemplu \ (știință \) - contraexemple (în știință) de fapt, contrar concluziilor logice ale unei teorii științifice. Descoperirea acestui fapt pune oamenii de știință la alegere metodologică: pentru a restabili corespondența dintre consecințele logice ale teoriei și datele ... ... Enciclopedia de epistemologie și filosofia științei
Ipoteza lui Euler - afirmă că, pentru orice număr natural n-lea putere a oricărui număr natural nu poate fi reprezentat ca o sumă a puterilor de x alte numere naturale. Aceasta este, ecuația nu are soluții în numere întregi pozitive. Ipoteza a fost propusă în 1769 ... ... Wikipedia
cicluri algebrice - pe un membru colector algebric liber grup abelian formând o pluralitate de roi liber toate închise submanifold ireductibilă algebrice. diversitate. subgrupă algebrice. cicluri pe colectorul. generate ... ... Enciclopedia de Matematică
Coada recursivitate - coada recursivitate este un caz special de recursie, în cazul în care apelul recursiv la funcția în sine este ultima operațiune [1]. Acest tip de recursivitate este notabil prin faptul că acesta poate fi ușor înlocuită cu repetare, care este implementat în ... ... Wikipedia
Ipoteză Seifert - în teoria sistemelor dinamice afirmă că un câmp vectorial fără puncte singulare pe câmpul tridimensional există o traiectorie periodică. În activitatea sa în 1950 Herbert Seifert a dovedit [1] că traiectoriile periodice au un vector de buna ... Wikipedia
Funcția Weierstrass - graficul Weierstrass funcție pe intervalul [-2, 2]. Acest complot are un caracter fractal, afișarea de auto-similaritate: Crește zona (în cerc roșu) La fel ca toate elementele grafice ... Wikipedia