Lógica Computacional IV
Teoria dos conjuntos Álgebra de conjuntos A Álgebra de conjuntos é um importante ramo da Matemática e com aplicações em diferentes áreas de conhecimento, entre elas a Computação. A linguagem de conjuntos se caracteriza por ser uma linguagem clara, concisa, rigorosa e que não dá margens a interpretações equivocadas. Por apresentar essas características, ela é […]
Lógica Computacional II
Evolução da lógica Desenvolvimento histórico Antes de Aristóteles, filósofos e pensadores já aplicavam argumentos lógicos, porém de maneira intuitiva, sem que houvesse necessariamente uma reflexão sobre tais argumentos. Aristóteles, porém, foi o primeiro a reconhecer que a lógica poderia ser examinada e desenvolvida, constituindo-se assim como uma ferramenta do pensamento que nos ajudaria a compreender […]
Lógica Computacional I
Fundamentos de lógica Conceitos Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim (2002) destaca : A partir dos vocabulários, podemos definir os tipos de lógica existentes, entre os quais estão a lógica formal e a lógica transcendental. Lógica Formal Começa nos estudos […]
Você precisa fazer login para comentar.