Home > Terms > magyar (HU) > 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.
- 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:
További nyelvek:
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 ...
Featured Terms
Muscovy
Orosz fejedelemség, amely alakult ki mint ilyen a században alá herceg Dániel (r.1263-1304). Utódai szerzett a címet a fejedelem a Tatár urak, ...
Beküldő
Featured blossaries
Browers Terms By Category
- Aeronautics(5992)
- Air traffic control(1257)
- Airport(1242)
- Aircraft(949)
- Aircraft maintenance(888)
- Powerplant(616)
Aviation(12294) Terms
- Social media(480)
- Internet(195)
- Search engines(29)
- Online games(22)
- Ecommerce(21)
- SEO(8)
Online szolgáltatások(770) Terms
- Air conditioners(327)
- Water heaters(114)
- Washing machines & dryers(69)
- Vacuum cleaners(64)
- Coffee makers(41)
- Cooking appliances(5)
Household appliances(624) Terms
- Hírek(147)
- Radio & TV broadcasting equipment(126)
- TV equipment(9)
- Set top box(6)
- Radios & accessories(5)
- TV antenna(1)
Broadcasting & receiving(296) Terms
- Advertising(244)
- Event(2)