Numa aula de Teoria da Computação, disse à Meg...
- "Queres ver a axiomática do Cálculo Lambda?"
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Blogs de nível
Arquivo
-
▼
2006
(26)
-
▼
December
(19)
- Telenovela
- Java... realmente... pá...!
- 10,1% body fat
- A verdadeira utilidade do Cálculo de Hoare
- Mais uma do Tomé
- Em honra à última aula prática de Teoria de Comput...
- Frio, muito frio...
- Modéstia
- Correcção ao último post
- Acerca do blog...
- The Bot #1
- Outra coisa...
- Cálculo Lambda
- Coisas...
- Perfeição
- Nomes simpáticos...
- The Bot #0
- Diagrama UML
- Deus...
-
▼
December
(19)
Tópicos
- aberrações da Natureza (8)
- Álgebra (2)
- Andreia Gaita (1)
- Apple (3)
- axioma (2)
- bot (7)
- BZFlag (1)
- C (2)
- C++ (1)
- Cálculo de Hoare (2)
- Cálculo Lambda (1)
- coisas (7)
- como é evidente (5)
- como não é evidente (4)
- demonstração (4)
- Deus (2)
- Emacs (3)
- Fénix (2)
- filhos (2)
- for the lulz (4)
- FORTRAN (1)
- giz (1)
- horóscopo (1)
- INESC (1)
- Inteligência Artificial (6)
- isomorfismo (1)
- Java (6)
- Lisp (7)
- mãe (1)
- Matemática (24)
- Mathematica (5)
- Nethack (2)
- nomes feios (4)
- obras de arte (4)
- Pascal (1)
- perfeição (2)
- pick-up line (19)
- professores (31)
- projecto (6)
- random (4)
- reclamações (3)
- Scheme (1)
- UML (1)
- Universo (1)
1 comment:
É quase tão má como aquela do "Vês, aquilo é que é um diagrama UML"...
Post a Comment