Informàtica teòrica: diferència entre les revisions
Contingut suprimit Contingut afegit
m claudàtor |
|||
Línia 12:
{| style="border:1px solid #ddd; text-align:center; margin: 0 auto;" cellspacing="15"
| <math> P \rightarrow Q \,</math>
| [[File:DFAexample.svg|96px|Teoria d'autòmats]]
| [[File:Elliptic curve simple.png|96px|Teoria de nombres]]
| [[File:6n-graf.svg|96px|Teoria de grafs]]
|-
| [[Lògica matemàtica|Lògica Matemàtica|]]
Línia 22:
|-
| <math>\Gamma\vdash x : Int</math>
| [[File:Commutative diagram for morphism.svg|96px|Teoria de Categories]]
| [[File:SimplexRangeSearching.png|96px|Geometria Computacional]]
| [[File:Blochsphere.svg|96px|Computació Quàntica]]
|-
| [[Teoria de Tipus]]
| |||