Teoria da Computação
2022-2023
(cod.14343/14813)

Departamento de Informática
Universidade da Beira Interior

Figure 1: Decision Procedure
Esta página no formato pdf

Paper do David Hilbert sobre o seu programa para a matemática do século XX (“os 23 problemas”) aqui

  Paper de Alan Turing introduzindo as Máquinas de Turing aqui

  Paper de Alonzo Church introduzindo o Cálculo Lambda aqui

  Paper de Lance fortnow sobre o estatuto recente do problema P=?NP aqui

This document was translated from LATEX by HEVEA.