Serĉrezultoj

...tas ''forte normiga''; tio estas, se ĉiu vico de reverkoj finiĝas je termo en [[norma formo]]. ...eblas difini la normigajn algoritmojn de iuj de la supre citataj kalkuloj en tiu sama kalkulo. ...

...a [[angla lingvo]] estas la literumo "ph" en vortoj derivita el la greka). En la sistemo de [[grekaj numeraloj]] ĝi havas valoron [[kvincent|500]] (φʹ) a * [[Eŭlera φ funkcio]] φ(n) en nombroteorio. ...

...kaj [[Leonard Adleman]] de [[MIT]]. Ĝi estis priskribita en septembro 1977 en <cite>[[Scientific American]]</cite>. estas neprovita en tribunalo. RSA ne estas patentita ekster Usono kaj [[Kanado]]. ...

...funkcio esprimata de la formulo estas FALSA por ĉiaj asignadoj variablaj. En la lasta kazo oni diras, ke la funkcio estas nekontentigebla; alie ĝi estas La '''bulea plenumebloproblemo''' estas decida problemo konsiderata en [[Komputa komplekseca teorio|komplikteorio]]. Apero de la problemo estas bu ...

[[Dosiero:Droste.jpg|eta|200ra|Rikuro en [[arto]]. Produkto de la kompanio Drosta kun desegno de virino tenanta plet ...RecursiveTree.JPG|eta|Desegno de arbo uzanta rekursian funkcion, skribitan en la logoo]] ...

En [[matematiko]], '''komponita funkcio''', formita kiel la '''komponaĵo''' de ...' post ''f''" aŭ "''g'' komponita kun ''f''". La operacio <small>o</small> en tia kunteksto nomiĝas '''funkcia komponado'''. ...

...gvo estas nomita por [[Haskell Brooks Curry]], kies esploro pri matematika logiko estas la fundamento de [[funkciaj lingvoj]]. Haskell baziĝas de la [[lambdo ...unctional Programming Languages and Computer Arquitecture», FPCA, en 1987) en [[Portlando (Oregono)]], kunveno fariĝis, dum kiu partoprenantoj forte kons ...

...de la [[19-a jarcento]]. Ĝi komence estis disputata, sed baldaŭ iĝis grava en la fundamenta teorio por difini bazajn matematikajn konceptojn kiel ''[[nom ...n algebraischen Zahlen»,] Journal für die reine und angewandte Mathematik (en germana) 1874 (77): 258-262, S2CID 199545885, doi:10.1515/crll.1874 .77.258 ...

...] abstraktajn strukturojn (laŭ [[kvanto]], [[formo]], [[aranĝo]]) uzante [[logiko|logikan]] formalan lingvon. La specifaj strukturoj de matematiko plejofte o {{Citaĵo|Matematikon oni povas difini kiel la sciencon, en kiu oni nek scias pri kio oni parolas, nek ĉu tio, kion oni diras, estas ve ...

...nkto''' aŭ '''glitkomo''' aŭ '''glitpunkto''' estas sistemo por prezentado en [[komputilo]] de [[reela nombro|reelaj nombroj]] kiuj povas esti tro granda En la sistemo nombroj estas prezentataj proksimume kiel fiksita kvanto de [[gr ...

:''Vidu la artikolon [[templinio de matematiko]] por templinio de eventoj en matematiko. Vidu [[Listo de matematikistoj|liston de matematikistoj]] por l ...de studado dediĉita unuavice al esplorado pri la fontoj de novaj malkovroj en matematiko kaj je malplia grado al esplorado pri la normaj matematikaj meto ...