|
|
|
|
| LEADER |
00000Cam#a22000005a#4500 |
| 001 |
INGC-MON-018459 |
| 003 |
AR-LpUFI |
| 005 |
20221019005616.0 |
| 008 |
131030s2002||||bl |||||||||||||||||spa d |
| 020 |
|
|
|a 852130403X
|
| 040 |
|
|
|a AR-LpUFI
|b spa
|c AR-LpUFI
|
| 080 |
|
|
|a 164
|
| 100 |
1 |
|
|a De Alencar Filho, Edgard.
|9 303670
|
| 245 |
1 |
0 |
|a Iniciacao á lógica matemática /
|c Edgard De Alencar Filho.
|
| 260 |
|
|
|a Sao Paulo :
|b Nobel,
|c 2005.
|
| 300 |
|
|
|a 203 p.
|
| 520 |
2 |
|
|a 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.
|
| 650 |
|
4 |
|a LOGICA MATEMATICA
|9 265406
|
| 929 |
|
|
|a 40337 DON Lafuente
|
| 942 |
|
|
|c LIB
|6 _
|
| 999 |
|
|
|a GEB
|c 18458
|d 18458
|
