Biblioteca Julio Castiñeiras. Sistema de Información Integrado - Facultad de Ingeniería UNLP Facultad de Ingeniería | 115 esq.47 | Horario: Lunes a Viernes 8 a 19 hs. E-mail: bibcentral@ing.unlp.edu.ar
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.
Tapa y contenido (Amazon.com)
Items (1)
Código de barras
Prestado hasta
Última fecha de circulación
Biblioteca
40337
Consulte en la Biblioteca
Consulte en la Biblioteca
El software empleado por esta biblioteca esta basado en el
Koha
Software OSS para gestion de Bibliotecas, y cumple estándares internacionales de informacion web