000 00619nam a2200193Ia 4500
999 _c30561
_d30561
003 OSt
005 20181023043908.0
008 24419b pe ||||| |||| 00| 0 spa d
040 _cCentro de Información y Bibliotecas
082 _a511.3.KORF.00
100 _aKORFHAGE, ROBERT R.
100 _eAutor
245 0 _aLÓGICA Y ALGORITMOS CON APLICACIONES A LAS CIENCIAS DE LA COMPUTACIÓN E INFORMACIÓN.
250 _a1A. ed
260 _aMEXICO
260 _bLIMUSA
260 _c1990
300 _a222
300 _c22.5
505 _aCONJUNTOS, RELACIONES Y MAPEOS . -- ALGEBRAS BOOLEANAS . -- EL CALCULO PROPOSICIONAL . -- UNA VISIÓN DE LOS VECTORES BINARIOS . -- ALGORITMOS Y MAQUINAS COMPUTADORAS . -- EL CALCULO DE PREDICADOS DE PRIMER ORDEN . -- LENGUAJES FORMALES.
650 _aINFORMÁTICA-MATEMÁTICAS.-MATEMÁTICAS (PROGRAMAS DE COMPUTADORAS)
700 _aKORFHAGE, ROBERT R.
942 _cTM001
_2ddc