Problemas e complexidade

Este recurso é um complemento ao manual da unidade curricular de Introdução à Inteligência Artificial, de modo a permitir um maior formalismo no tratamento da teoria de conjuntos por um lado, e na teoria da complexidade dos problemas por outro. O texto tem por base em duas referências: J. Ferreira, “Elementos de Lógica Matemática e Teoria dos Conjuntos”, reedição dos capítulos iniciais de “Lições de Análise Real”, Departamento de Matemática / Instituto Superior Técnico, 2001; e M. Garey; D. Johnson, “Computers and Intractability: A Guide to the Theory of NP-Completeness”, W.H. Freeman, San Francisco, 1979