| slovo | definícia |
peano arithmetic
(foldoc) | Peano arithmetic
Giuseppe Peano's system for representing {natural
numbers} inductively (induction) using only two symbols, "0"
(zero) and "S" (successor).
This system could be expressed as a recursive data type with the
following 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)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4