Iniciacao á lógica matemática / Edgard De Alencar Filho.
Tipo de material:
TextoDetalles de publicación: Sao Paulo : Nobel, 2005.Descripción: 203 pISBN: - 852130403X
Libro
| Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|
| Koha Ingenieria | 164 DEA Bloque 1 (Navegar estantería(Abre debajo)) | Disponible | 40337 |
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 - Validade mediante regras de inferencia - Validade mediante regras de inferencia e quivalencias - Demostracao condicional e demosntracao indireta - Sentencas abertas - Operacoes lógicas sobre sentencas abertas - Quantificadores - Quantificao de sentencas abertas com mais de uma variavel.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.
