Serĉrezultoj
Salti al navigilo
Salti al serĉilo
- En [[rekursia teorio]], la '''μ-operatoro''' estas la [[operatoro]] kiu, kiam oni aplikas ĝin [[Kategorio:Rekursia teorio]] ...709 bajtoj (117 vortoj) - 15:59, 9 mar. 2013
- ...rio]] [[kalkulebla]] [[aro (matematiko)|aro]] nomiĝas '''komputebla''', '''rekursia''' aŭ '''decidebla''', se ekzistas [[algoritmo]], kies plenumado finiĝas po *[[Rekursia lingvo]] estas komputebla aro en aro de ĉiuj eblaj vortoj super la [[alfabe ...2 KB (273 vortoj) - 02:56, 23 maj. 2023
- [[Kategorio:Rekursia teorio]] [[Kategorio:Aro-teorio]] ...1 KB (200 vortoj) - 22:26, 25 nov. 2024
- En [[matematiko]], '''teorio de modeloj''' aŭ '''model-teorio''' aŭ '''modelo-teorio''' estas la studo de la prezento de matematikaj konceptoj per terminoj de [ ...[[Kurt Gödel]]) estas la du plej famaj rezultoj, kiuj rezultas el la model-teorio. Estas pruvite, ke la aksiomo de elekto - same kiel ĝia nego anstataŭe - es ...8 KB (1 233 vortoj) - 03:21, 22 feb. 2025
- '''Formala gramatiko''' aŭ simple '''gramatiko''' en la teorio de [[formala lingvo|formalaj lingvoj]] estas metodo de priskribo de formala Senkuntekstaj gramatikoj estas gravegaj en teorio de lingvoj de programado ĉar la plimulto de lingvoj de programado estas dif ...20 KB (2 544 vortoj) - 11:07, 6 nov. 2024
- En [[rikura teorio]], la '''akermana funkcio''' estas simpla ekzemplo de [[μ-rikura funkcio]] [[Kategorio:Teorio de kalkulado]] ...13 KB (1 952 vortoj) - 02:53, 19 okt. 2023
- ...rekursia teorio|rekursian teorion]] (kiu nun estas ofte nomata "komputeblo-teorio"). Ankaŭ [[aksioma aroteorio]] estas iam konsiderita kiel parto de matemati * A. S. _Troelstra_ & H. _Schwichtenberg_ (2000). ''Baza Pruva Teorio'' (Kembriĝo (Britio) _Tracts_ en Teoria Komputila Scienco) (2-a _ed_.). Kem ...23 KB (3 423 vortoj) - 03:13, 22 feb. 2025