Libri in Portoghese

O Peri Hermeneias de Apuleio de Madauros é o mais antigo tratado latino de lógica formal que conhecemos. Não se trata de uma mera compilação de textos, mas de uma síntese bem urdida, dotada de reflexã...

A cura di Eduardo Barrio

O Prolog é uma linguagem de programação, mas uma linguagem pouco usual. A designação "Prolog'' é abreviatura de "Programming with Logic'' e a relação com a lógica é o que dá ao Prolog o seu perfil esp...

O presente texto tem por objetivo introduzir conceitos e técnicas básicas de Matemática que são essenciais em diversas áreas da Engenharia Informática e da Ciência da Computação. Em particular, introd...

O objetivo do livro é a apresentação dos principais conceitos e metodologias associados à Lógica para estudantes universitários de Informática. Introduz as noções de proposição e de argumento e carate...

Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da lógica matemática no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmética conseguemse obter fac...

Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nições até o teorema de Morley e as partes elementares da teoria da estabilidade. Além dos resultados padrão tais...

O cálculo lambda é um dos pilares da ciência da computação. Para além do seu papel histórico em teoria da computabilidade, teve influência significativa no desenho e implementação de linguagens de pro...