Lógica matemática notas de clase (Registro nro. 252554)
[ vista simple ]
000 -• Cabecera (Nr) | |
---|---|
fixed length control field | 01282nam a22001817a 4500 |
005 - • Fecha Y Hora De La Ultima Transaccion (Nr) | |
control field | 20201112224312.0 |
008 - • Elementos de longitud fija (NR) | |
fixed length control field | 130508b2012 ck ||||fr|||| 001 0 spa d |
020 ## - • Número Internacional Normalizado para Libros (ISBN) (R) | |
ISBN | 9789588252253 |
082 ## - • Número de clasificación decimal de Dewey (R) | |
Número de la edición | 20 |
Número de clasificación (R) | 511.3 |
Número del ítem | O12 |
100 ## - • Nombre personal (NR) | |
Personal name | Obeso Fernández, Virgilio et al |
245 ## - • Titulo propiamente dicho (NR) | |
Title | Lógica matemática notas de clase |
Statement of responsibility, etc | Virgilio Obeso Fernández |
260 ## - • Area De Publicacion, Distribucion, Etc. (Pie de Imprenta) (R) | |
Place of publication, distribution, etc | Barranquilla |
Name of publisher, distributor, etc | Universidad del Norte |
Date of publication, distribution, etc | 2012 |
300 ## - • Descripción física (R) | |
Extent | 95 P. |
Dimensions | 25 CM. |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | Preliminares.--- proposiciones.-- fórmulas bien formadas.--- árboles, definiciones recursivas.--- supresión de paréntesis.--- notación prefijada, entrefijada y posfija.-- decidibilidad.--- convertir una notación entrefija a prefija.--- equivalencias lógicas y su utilización.-- conjuntos completos.--- formas normales.-- cálculo proposicional.--- teorema de la deducción.-- validez.--- completitud.--- consistencia.--- cálculo de predicados.--- predicados, relación y cuantificadores.--- representación simbólica del lenguaje cotidiano.-- variables ligadas y libres.--- teoría general de la inferencia.--- interpretación y validez. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | LÓGICA MATEMÁTICA |
Fuente del encabezamiento o término | LEMB |
General subdivision | LÓGICA MATEMÁTICA |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
General subdivision | LÓGICA |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Koha item type | Libro Colección General |
Expurgo - (Retirado) | Estado de Perdido | Estado de Dañado | No prestable | Colección | Koha itemnumber | Ubicación habitual | Ubicación actual | Fecha de adquisición | Costo | Full call number | Código de barras | Ejemplar | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Ó----- | Colección General | 453251 | Central Armenia | Central Armenia | 09/04/2013 | 28000.00 | 511.3 O12 | L029168 | 1 | Libro Colección General |