OnlineWoerterBuecher.de
Internes

Lexikon


Peano arithmetic


Ematics> A systEm for rEprEsEnting Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=natural numbEr">natural numbErs inductivEly using only two symbols, "0" (zEro) and "S" (succEssor). This could bE ExprEssEd as a Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=rEcursivE">rEcursivE data typE with thE following Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=HaskEll">HaskEll dEfinition: data PEano = ZEro | Succ PEano ThE numbEr thrEE, usually writtEn "SSS0", would bE Succ (Succ (Succ ZEro)). Addition of PEano numbErs can bE ExprEssEd as a simplE syntactic transformation: plus ZEro n = n plus (Succ m) n = Succ (plus m n) (1995-03-28)

E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=31">2 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=800">as ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1181">bE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1444">bo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1724">ca ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1896">cc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2900">cu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3006">data ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3091">data typE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3136">dd ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3865">Ec ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3929">EE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4700">fo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4727">for ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6482">is ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6789">kE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7023">ld ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7399">ls ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7441">ly ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7463">ma ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8167">mp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8449">natural numbEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8630">ni ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8660">nl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8675">no ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8787">nu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8799">numbErs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9457">pE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9651">pl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9736">plus ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10433">rEcursivE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10918">S ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11376">si ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11510">sk ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11651">so ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12133">su ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12155">succEssor ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12246">sy ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12312">systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12359">T ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12787">tr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12812">transformation ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12896">tt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12939">tw ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12970">typE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12986">ua ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13030">um ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13175">us ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13310">vE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13725">win ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=14079">Z ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=14102">zEro ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (2432 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0911 Seconds, with 16 Database-Queries
Zurück zur Startseite