|
|
|
|
| LEADER |
01203nam a2200301a 44500 |
| 001 |
UBP00508 |
| 003 |
AR-CdUBP |
| 005 |
20220310150906.0 |
| 008 |
151212s1986#######|||||||||||||||||spa|d |
| 020 |
|
|
|a 950-23-0282-6
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a spa
|
| 100 |
|
|
|a Naishtat, Francisco S.
|
| 245 |
1 |
0 |
|a Lógica para computación /
|c Francisco S. Naishtat
|
| 260 |
|
|
|a Buenos Aires :
|b Eudeba,
|c 1986
|
| 300 |
|
|
|a 300 p. ;
|c 22 cm.
|
| 490 |
0 |
|
|a Informática y computación
|
| 500 |
|
|
|a La Biblioteca posee: 3 ej.
|
| 504 |
|
|
|a Bibliografía: p. 293-300
|
| 505 |
0 |
|
|a PRIMERA PARTE. CALCULO DE PROPOSICIONES. Capítulo I. Sintaxis del lenguaje formal. Capítulo II. Semántica del lenguaje formal. Capítulo III. Deducción, noción de modelo, inconsistencia, arboles, teorema de finitud. Capítulo IV. Escritura booleana del cálculo proposicional : algebra de Boole de Lindenbaum. Capítulo V. El lenguaje del cálculo de predicados. Capítulo VI. Rudimentos de la teoría de modelos.
|
| 650 |
|
4 |
|a LOGICA INFORMATICA
|
| 653 |
|
|
|a MATEMATICAS
|
| 930 |
|
|
|a MATEMATICAS
|
| 931 |
|
|
|a 00508
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 519.76
|b N144
|
| 999 |
|
|
|c 16124
|d 16124
|