Serĉrezultoj

...s la [[regulo de konkludo]] ke, se ''B'' sekvas de ''A'', kaj ''A'' sekvas de ''B'', tiam ''A'' [[se kaj nur se]] ''B''. [[Kategorio:Reguloj de konkludo]] ...

...aŭ konata sub la nomo '''LK''', distinganta ĝin de diversaj aliaj sistemoj de simila maniero, kiuj estas kreitaj poste kaj kiuj estas iam ankaŭ nomitaj s ...splikita en pli granda detalo pli sube. Iu familiareco kun la bazaj nocioj de predikata logiko (aparte ĝia sintaksa strukturo) estas alprenita. ...

...uzatan terminon [[matematika modelo]] kiel ĝi estas uzata en aliaj partoj de matematiko kaj scienco ĝenerale.'' ...ezento de matematikaj konceptoj per terminoj de [[aroteorio]], aŭ la studo de la '''modeloj''', kiuj subkuŝas matematikajn sistemojn. Ĝia premiso estas, ...

...pravigi, ĉar ili simpligas la modelon kaj samtempe permesas la produktadon de akceptinde precizaj solvaĵoj. ...nkcio ''V'':'''R'''³ → '''R''' kaj la trajektorio estas solvaĵo de la diferenciala ekvacio ...

...nto]] estas flanko de iu [[egallatera triangulo]] , devenanta el [[bazo]]j de [[Eŭklido]]. Unu el la plej malnovaj konservitaj matematikaj pruvoj.]] ...iko]] '''pruvo''' estas demonstro de senduba valideco de iu aserto surbaze de certaj supozoj ([[aksiomo]]j). ...

...ng Gépgyár, 1977 Fortepan 89049.jpg|300px|eta|desktre|Maŝinaro funkciigita de laboristoj en Fabriko Láng Gépgyár en [[Budapeŝto]], [[Hungario]], en 1977. ...|dekstre|[[dentrado]] uzata por transmiti forton de komponanto al alia ene de '''maŝino'''.]] ...