Teoria dos tipos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m A migrar 15 interwikis, agora providenciados por Wikidata em d:q1056428 |
Ajustes |
||
Linha 1:
{{em tradução}}
{{Wikificar}}
No sentido mais lato, a '''teoria dos tipos''' é o ramo da [[matemática]] e da [[lógica]] que se preocupa com a classificação de entidades em [[conjunto]]s chamados [[tipo]]s. Neste sentido, está relacionada com a noção [[metafísica]] de "tipo". A teoria dos tipos moderna foi inventada em parte em resposta ao [[paradoxo de Russell]], e é muito usada em ''Principia Mathematica'', de Russell e Whitehead.
Linha 46 ⟶ 47:
Intuitionistic Type Theory
Outros tópicos
*A noção de tipos de dados abstratos▼
*A relação entre tipos e programação orientada a objeto▼
*A relação entre tipos e algoritmos▼
*Uma definição formal de tipos de dados abstratos - pré-
▲A noção de tipos de dados abstratos
*http://www.nist.gov/dads/HTML/abstractDataType.html - Abstract {{en}}▼
▲A relação entre tipos e programação orientada a objeto
*http://www.cs.ucsd.edu/users/goguen/ps/beatcs-adj.ps.gz - Um paper sobre o basico de ADTs, e uma boa lista de referencias. As pages 3–4 são as mais relevantes. (arquivo compactado)▼
▲A relação entre tipos e algoritmos
▲Uma definição formal de tipos de dados abstratos - pré-codição, pós-condição e invariantes
▲== {{Ligações externas}} ==
▲http://www.nist.gov/dads/HTML/abstractDataType.html - Abstract {{en}}
▲http://www.cs.ucsd.edu/users/goguen/ps/beatcs-adj.ps.gz - Um paper sobre o basico de ADTs, e uma boa lista de referencias. As pages 3–4 são as mais relevantes. (arquivo compactado)
{{Fundamentos da matemática}}
{{Portal3|Matemática}}
| |||