Dissertação
- Autor
- WAGNER DE CAMPOS SANZ
- Orientador(a)
- CARLOS ALBERTO LUNGARZO
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- LOGICA E FILOSOFIA DA CIENCIA
- Grau
- MESTRADO
- Ano
- 1991
1991WAGNER DE CAMPOS SANZ. RAZAO, COMPUTACAO E SISTEMAS FORMAIS. 1991. Dissertação (MESTRADO em LOGICA E FILOSOFIA DA CIENCIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): CARLOS ALBERTO LUNGARZO.2
COMPUTADORES SAO MAQUINAS DE SISTEMAS FORMAIS, LOGO TODO COMPORTAMENTOQUE UM COMPUTADOR PODE APRESENTAR PODE SER ESCRITO POR UM SISTEMA FORMAL.
Palavras-chave: