postulate

postulate

Egy formális deduktív rendszer egy proposition elfogadható bizonyítékot, amelyből a többi propositions formális logika hagyományos módszerekkel levezethető nélkül. Ott, hogy mely propositions vannak kell kezelni, mint a Posztulátumok, mert amikor bizonyos bizonyult propositions kezelik az ilyen, más propositions, amelyek eredetileg Posztulátumok gyakran válnak bizonyult propositions egy bizonyos beutalás.

Ez egy automatikusan generált tartalom. Segíthet annak javításában.

0 0

Javítás

Kép hozzáadása

Szófaj: noun
Szinonimák:
Blossary:
Ipar/Tárgykör: Tudomány
Kategória: General science
Company: McGraw-Hill
Termék:
Betűszó/Rövidítés:

Több

Hozzáadás a Szójegyzékemhez

További nyelvek:

Több

Mit szeretne mondani?

Terms in the News

Billy Morgan

Sport; Snowboarding

Brit snowboardos Billy Morgan leszállt a sportág első valaha 1800 négyágyas cork. a lovas, aki képviselte Nagy-Britannia, Sochi 2014-es téli játékokon, Livigno, Olaszország, volt, amikor ő érte el a manőver. Jár essek négyszer, míg a test is forog öt teljes forgatás oldalra vagy lefelé néző tengelyen. a fogás már régóta figyelembe elérhetetlen ...

Varga Afkham

Broadcasting & receiving; Hírek

Varga Afkham, aki az ország első külügyminisztérium szóvivője, majd fejét egy misszió-Kelet-Ázsiában, az állami hírügynökség számolt be. Ez nem egyértelmű, melyik ország ő könyvelni kell mint kinevezéséhez még nem jelentették be hivatalosan. Afkham csak akkor lesz a második női nagykövet Irán volt. Alatt az utolsó shah szabály, László Dolatshahi, ...

Heti csomag

Nyelv; Online szolgáltatások; Szleng; Internet

Heti csomag vagy a "Paquete Semanal" Kuba néven egy olyan kifejezés, leírására a kubaiak Kuba kívül az internetről összegyűjtött információk és megtakarított-ra kemény vezet-hoz kell szállítani, és Kuba maga a. Heti csomagokat értékesítik, akkor a kubai nép anélkül, internet-hozzáférés, amely lehetővé teszi számukra információk megszerzéséhez csak nappal - és néha ...

Ázsiai infrastruktúra Beruházási Bank (AIIB)

Banking; Investment banking

Az Ázsia Infrastruktúra Befektetési Bank (AIIB) egy nemzetközi pénzügyi intézmény, melynek alapítási célja az Ázsiában lévő infrastrukturális fejlesztések megoldása. Az Ázsia Fejlesztési Bank szerint Ázsiának 800 billió dollárra van szüksége évente az utak, kikötők, erőművek és egyéb infrastrukturális projektek támogatásához 2020 előtt. Eredetileg Kína által ...

Spartan

Online szolgáltatások; Internet

Spartan a kódneve az új Microsoft Windows 10 böngészőjének, amely felváltja a Microsoft Windows Internet Explorert. Az új böngésző az alapoktól kezdve lesz építve és figyelmen kívül hagy minden kódot az IE platfromból. Új renderelő motorja van, amely úgy van építve, hogy kompatibilis legyen a web ma írott formájával. A Spartan névadója a Microsoft Halo játék ...