- DocumentoTese de Church Turingenviado porvia linuxis
- DocumentoTese de Church - 2020enviado porvia linuxis
- Documentoslides-2enviado porvia linuxis
- DocumentoSegunda Avaliação - Teoria da Computação (IESB) - 1º Semestre de 2018 - Turmas - Ybadooenviado porvia linuxis
- DocumentoLinguagem recursivamente enumerável – Wikipédia, a enciclopédia livreenviado porvia linuxis
- Documentoprova2 - resolucaoenviado porvia linuxis
- DocumentoTC05enviado porvia linuxis