Problemas indecidíveis

Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra

Bibliographic Details
Main Author: Lobo, Diana de Castro (author)
Format: masterThesis
Language:por
Published: 2013
Subjects:
Algoritmo
Diofantina
Indecidibilidade
Mortalidade
Recursividade
Algorithm
Diophantine
Mortality
Recursivity
Unsolvability
Online Access:http://hdl.handle.net/10316/33698
Country:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/33698
Description
Summary:Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra

Similar Items