Iniciacao á lógica matemática /
Proposicoes conectivos - Operacoes lógicas sobre proposicoes - Construcao de tabelas-verdade - Tautologias, contradicoes e contingencias - Implicao lógica - Equivalencia lógica - Algebra das proposicoes - Método dedutivo - Argumentos. Regras de inferencia - Validade mediante tableas-verdade - Valida...
Guardado en:
Autor principal: | De Alencar Filho, Edgard |
---|---|
Formato: | Libro |
Lenguaje: | Español |
Publicado: |
Sao Paulo :
Nobel,
2005.
|
Materias: | |
Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
Lógica matemática elemental /
por: Mates, Benson
Publicado: (1979) -
Primer curso de lógica matemática /
por: Suppes, Patrick
Publicado: (1975) -
Popular lectures on mathematical logic
por: Wang, Hao
Publicado: (1993) -
The elements of mathematical logic /
por: Rosenbloom, Paul
Publicado: (1950) -
Ejercicios de lógica
por: Moreno, Alberto
Publicado: (1983)