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 |
Navegando Koha Ingenieria estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | ||||
| 164 BOS Bloque 1 Introducción al simbolismo lógico / | 164 BOS Bloque 1 Introducción al simbolismo lógico / | 164 DEA Lewis Carroll : el juego de la lógica y otros escritos / / | 164 DEA Bloque 1 Iniciacao á lógica matemática / | 164 DEK Bloque 1 Les fontions combinatoires et les isols | 164 DEL-Bloque 1 Prolegómenos a la lógica simbólica | 164 MAT Bloque 1 Lógica matemática elemental / |
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.
