Traducción para "teoreemojen" a ingles

Teoreemojen

sustantivo

• theorem

Ejemplos de traducción

theorem sustantivo

Muut aiheet hän opiskeli sisälly eriarvoisuutta, merkitse-arvo teoreemojen, Tauberian teoreemojen ja convexity teoreemojen.
Other topics he studied included inequalities, mean-value theorems, Tauberian theorems, and convexity theorems.

Gap ja tiheys teoreemojen:
Gap and density theorems:

Aihe tutkimus on todellakin alkeis-analyysi, ja teoreemojen teoreemojen analyysin totesi geometriset ehdot.
The subject of study is indeed elementary analysis, and the theorems are theorems of analysis stated in geometrical terms.

... räjähdyksen kauniit teoreemojen ja esimerkkejä.
... an explosion of beautiful theorems and examples.

... ei pelkästään... löytää teoreemojen ja todistaa ne.
... not merely... finding theorems and proving them.

Toisin kuin Eukleides, Nicomachus antoi ole abstrakti todisteet hänen teoreemojen, vaan todennut pelkästään, teoreemojen ja kuvatessaan niiden numeeristen esimerkkejä.
Unlike Euclid, Nicomachus gave no abstract proofs of his theorems, merely stating theorems and illustrating them with numerical examples.

Teoksen sisältämät teoreemojen, kaavat ja lyhyen vedoksia.
The book contained theorems, formulae and short proofs.

Sitä, mitä sääntöjä teoreemojen voidaan päätellä aksioomat?
By what rules will theorems be deduced from axioms?

Lähes kaikki työt finite ryhmissä käyttötapoja Sylow's teoreemojen.
Almost all work on finite groups uses Sylow's theorems.

Kirjassaan Coding teoreemojen of Information Theory (3 rd ed.
His book Coding Theorems of Information Theory (3rd ed.

Esimerkiksi kaikki erilaiset kartio­leikkaukset ovat ekvi­valentteja kompleksisessa projek­tiivisessa geo­metriassa, ja jotkut ympyröitä koskevat teoreemat voidaan käsittää näiden yleisten teoreemojen erikois­tapauksiksi.
For example, the different conic sections are all equivalent in (complex) projective geometry, and some theorems about circles can be considered as special cases of these general theorems.

Tuolloin yritykset parantaa Riemann-integroinnin teoreemoja johti reaalifunktioiden epäjatkuvuuspisteiden muodostaman joukon mahtavuuden tutkimiseen.
Around that time, the attempts to refine the theorems of Riemann integration led to the study of the "size" of the set of discontinuities of real functions.

Koneet voivat löytää ja tarkistaa todistuksia käyttämällä teoreemojen automaattista todistamista, sekä käsitellä todistuksia, jotka ovat liian pitkiä kirjoitettaviksi auki käsin.
Using automated theorem proving, the machines can find and check proofs, as well as work with proofs too lengthy to write out by hand.

Matematiikan tehtävä on saada jotakin aikaan, todistaa uusia teoreemoja, lisätä matematiikkaa, eikä puhua siitä, mitä muut matemaatikot ovat tehneet.
The function of a mathematician is to do something, to prove new theorems, to add to mathematics, and not to talk about what he or other mathematicians have done.

Siihen ei kuulunut reaalianalyysin syvällisempiä teoreemoja, mutta kolmannen osan loppuun mennessä asiantuntijoille oli selvää, että suuri osa tunnettua matematiikkaa oli periaatteessa kehiteltävissä käytetyllä formalismilla.
Deeper theorems from real analysis were not included, but by the end of the third volume it was clear to experts that a large amount of known mathematics could in principle be developed in the adopted formalism.

Kuitenkin vain harvat moni­mutkaisten matemaattisten teoreemojen johtamiset joukko-opista on muodollisesti varmistettu, koska sellaiset muodolliset johtamiset ovat usein paljon pidempiä kuin luonnolliseen kieleen perustuvat todistukset, joita matemaatikot yleisesti käyttävät.
Few full derivations of complex mathematical theorems from set theory have been formally verified, however, because such formal derivations are often much longer than the natural language proofs mathematicians commonly present.

Kaksi näistä on peräisin Prokloksen kommentaarista Eukleideen Alkeisiin: »Siihen aikaan elivät myös Leodamas Thasoslainen, Arkhytas Tarentumilainen ja Theaitetos Ateenalainen, joiden kautta teoreemoja kehitettiin lisää ja saatettiin tieteellisemmäksi järjestelmäksi.
There are two references to Leodamas in Proclus's Commentary on Euclid: "At this time also lived Leodamas of Thasos, Archytas of Tarentum, and Theaetetus of Athens, by whom the theorems were increased in number and brought into a more scientific arrangement.

Tällaisia ovat von Neumannin-Bernayn-Gödelin joukko-oppi, joka pelkästään joukkoja käsittelevien teoreemojen osalta on yhtä vahva kuin ZFC, sekä Morsen-Kelleyn joukko-oppi ja Tarskin-Grothendieckin joukko-oppi, jotka molemmat ovat vahvempia juin ZFC.
These include Von Neumann–Bernays–Gödel set theory, which has the same strength as ZFC for theorems about sets alone, and Morse–Kelley set theory and Tarski–Grothendieck set theory, both of which are stronger than ZFC.

Koska euklidinen geometria sisältyy projek­tiiviseen geo­metriaan mutta projek­tiivisella geo­metrialla on yksinkertaisempi perusta, euklidisen geometrian yleisiin tuloksiin voidaan päästä läpi­näkyvämmällä tavalla, kun taas eräitä euklidisessa geometriassa erillisiä mutta toisiaan muistuttavia teoreemoja voidaan projektiivisessa geometriassa käsitellä yhdessä.
Because a Euclidean geometry is contained within a projective geometry—with projective geometry having a simpler foundation—general results in Euclidean geometry may be derived in a more transparent manner, where separate but similar theorems of Euclidean geometry may be handled collectively within the framework of projective geometry.