Top 10 similar words or synonyms for theorem

genetic    0.935236

nostratic    0.926904

proving    0.926715

languages    0.925190

raikov    0.924647

collected    0.924304

eds    0.923867

selected    0.921947

critical    0.921223

disaster    0.920130

Top 30 analogous words or synonyms for theorem

Article Example
Automatizuotas teoremos įrodymas 4. ^ Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994-01-01). KED: A Deontic Theorem Prover. In: Biagioli, Carlo, Sartor, Giovanni and Tiscornia, Daniela Workshop on Legal Application of Logic Programming, Santa Margherita Ligure, Italy, (60-76).
Matematinis grožis Kitas gilių rezultatų pavyzdys apima netikėtas įžvalgas į matematines struktūras. Sakykime, Gausso „Theorema egregium“ yra gili teorema, kuri vietinius reiškinius (kreivumą) netikėtu būdu susieja su globaliu reiškiniu (plotu). Kaip atskiras šios teoremos pavyzdys gali būti paminėta, kad trikampis ant kreivo paviršiaus yra proporcingas trikampio pertekliui, o pats proporcingumas yra kreivumas. Kitas pavyzdys yra Niutono – Leibnico teorema (ir jos vektorinės versijos, įskaitant Gryno formulę) ir Stoko ("angl. "Stokes' theorem) teoremą).
Matematinis grožis Tai yra atskiras Oilerio formulės atvejis, kurį fizikas Richardas Feynmanas pavadino „mūsų brangakmeniu“ ir „nuostabiausia matematikos formule“. Tarp naujausių pavyzdžių paminėtina moduliarumo teorema ("angl". modularity theorem), kuria nustatomas svarbus ryšys tarp elipsinių kreivių ir moduliarinių formų ("angl. "modular forms) ir už kurios tyrimus Andrew Wiles ir Robert Langlands buvo paskirta Wolfo premija, taip pat „milžiniško svaigulio“ ("angl. "monstrous moonshine) reiškinys, stygų teorijoje susiejantis matematinės grupių teorijos milžinišką grupę ("angl." Monster group) su moduliarinėmis funkcijomis ("angl". modular functions), už kurio įrodymą Richard Borcherds buvo apdovanotas „Fields Medal“ medaliu.
Automatizuotas teoremos įrodymas Pirmojo lygmens teoremos įrodymas yra vienas iš labiausiai išnagrinėtų automatizavimo teoremos įrodymo pogrupių. Logika yra pakankamai aiški, kad būtų galima natūraliai ir intuityviai patikslinti atsitiktines problemas. Kita vertus, problemos tik pusiau išsprendžiamos, todėl buvo sukurtas tam tikras skaičius garsų ir išbaigtų skaičiavimų, kurie leidžia veikti pilnai automatizuotoms sistemoms. Dar konkretesnė logika, pavyzdžiui, aukštesnės sekos arba modalinė, leidžia patogiai išreikšti įvairesnes problemas nei pirmojo lygmens logika, tačiau šių logikų teoremos įrodymas yra mažiau išplėtotas. Įgyvendintos sistemos kokybę gerina didžiulis standartinių kompiuterių sistemos darbo bandymų (standard benchmark) pavyzdžių rinkinys (,Thousands of Problems for Theorem Provers” (TPTP) Nuoroda) taip pat ,CADE ATP System Competition” (CASC) kasmetinis pirmojo lygmens sistemų konkurencijos forumas, skirtas daugeliui svarbių pirmojo lygio problemų klasių.