Resultatos del recerca

In [[mathematica]] e [[logica]], un '''quantificator'''{{linfoX}} es un operator del logico de predicatos [[Categoria:Logica mathematic]] ...

...lisava in le [[logica mathematic]]. Ille pensava innovar in le traditional logica prepositional, le principio de non contradiction e le principio del tertie ...ica polyvalente]], includente su proprie calculo de tres valores, le prime logica de calculo non classic. Ille etiam se dedicava al philosophia, se approxima ...

...siones mathematic''' contine solide e stabile expressiones usate in textos mathematic. * [[Lista alphabetic de terminos mathematic]] ...

...n Łukasiewicz]] inventava iste notation circa 1920 a fin que simplificar [[logica de sententias]]. [[Alonzo Church]] mentiona iste notation in su libro classic super [[logica mathematic]] como relevante in systemas de notation mesmo contrastate a exposition log ...

...ia que ha plure problemas non resolvite, e le discoperta de nove scientias mathematic occurre cata anno. ...ματικά (ta mathēmatiká), que [[Aristotele]] usava pro dicer "tote le cosas mathematic." ...

...natural, durante que alteres, specialmente les del Theoria de insimules, [[Logica]] e [[informatica]], ha un opinion opposite. In iste encyclopedia, zero es ...cura le veritate del technica de demonstration cognoscite como [[induction mathematic]]. ...

...minos [[mathematica|mathematic]] e de [[mathematico]]s, alora un '''lexico mathematic in Interlingua'''. ...h>{}^\text{1}</math>[[Induction mathematic|base]]''' (''sb'') (''induction mathematic'') ...

...le diffusion mundial de cognoscimento, exemplos scripte de nove progressos mathematic deveniva cognoscite solmente in pauc locos. Ab 3000 a.C., le statos mesopot ...assi que, per inferentia, le theorema pythagorean pare esser le progresso mathematic le plus antique e extensive post le arithmetica e geometria basic. ...

...orte de Hypatia marca le fine del Bibliotheca de Alexandria como un centro mathematic, le morte de Boethius marca le fine de mathematica in le Imperio Romano Occ ...ppelate elimination Gaussiana. Leibniz etiam descoperiva algebra Boolean e logica symbolic, etiam relevante pro algebra. ...

...lonian esseva 'le prime e multo successose tentativa de dar un description mathematic raffinate de phenomenos astronomic', secundo le historiographo A. Aaboe, 'o ...ation = New Jersey | isbn = 978-0691135267}}</ref> Tamen, le realisationes mathematic e scientific in India e particularmente in China occurreva in grande parte ...