Scienze tecnologia e medicina

O objetivo dos ensinamentos segundo Grigori Grabovoi "Sobre a salvação e o desenvolvimento harmônico" é a salvação geral da humanidade, do mundo e de cada pessoa, como também assegurar o desenvolvimen...

(Portuguese Edition) O objetivo dos ensinamentos segundo Grigori Grabovoi "Sobre a salvação e o desenvolvimento harmônico" é a salvação geral da humanidade, do mundo e de cada pessoa, como também asse...

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ã...

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...

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...