Pizza: Forskelle mellem versioner
Fra DAMNWiki
Spring til navigationSpring til søgning
Boss (diskussion | bidrag) No edit summary |
Andreas (diskussion | bidrag) No edit summary |
||
| Linje 1: | Linje 1: | ||
En pizza er ikke en pizza uden [[oregano]]. | En pizza er ikke en pizza uden [[oregano]]. | ||
Invariant for pizza: <math>I \triangleq (\pi \cdot z^2 \cdot \alpha \to oregano)</math> | Invariant for pizza: <math>I \triangleq (\pi \cdot z^2 \cdot \alpha \to \texttt{oregano})</math> | ||
[[Category:Opskrifter]] | [[Category:Opskrifter]] | ||
Nuværende version fra 6. maj 2008, 11:41
En pizza er ikke en pizza uden oregano.
Invariant for pizza:
