Lógica Matemática

O livro Lógica Matemática trata da lógica proposicional e de predicados que são fundamentais para o entendimento de diversas outras matérias na área.

A lógica matemática é de fundamental importância para as linguagens de programação necessárias para a construção de programas de computador (softwares). É com base na lógica matemática que as linguagens de computador são descritas. Em lógica, uma linguagem de computador é dita como linguagem formal, pois o formalismo é dado pela representação matemática. A linguagem […]