Lógica y matemáticas discretas en la informática. El estilo calculatorio / (Registro nro. 202753)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 02451nam a2200301Ia 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 3492 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 141201s2012 ck 00 0 spa d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9789588726045 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | PUCESD |
| Lengua de catalogación | Español |
| Normas de descripción | rda |
| 100 1# - AUTOR PERSONAL | |
| nombre | Bohorquez Villamizar, Jaime Alejandro |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Lógica y matemáticas discretas en la informática. El estilo calculatorio / |
| Mención de responsabilidad, etc. | Jaime Alejandro Bohórquez Villamizar |
| 250 ## - EDICIÓN | |
| edición | 1° Ed. |
| 264 #1 - PIE DE IMPRENTA | |
| lugar (ciudad) | Colombia : |
| editorial | Escuela Colombiana de Ingenieria , |
| fecha | 2012 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 442 páginas ; |
| Dimensiones | 24 cm. |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | texto |
| 337 ## - MEDIACIÓN | |
| Nombre/término del tipo de medio | no mediado |
| 338 ## - PORTADOR | |
| Nombre/término del tipo de soporte | volumen |
| 490 0# - SERIE | |
| Serie | Informatica |
| 500 ## - NOTA GENERAL | |
| Nota general | Factura Limerin |
| 505 0# - NOTA DE CONTENIDO | |
| Nota de contenido | I. Fundamentos del lenguaje matematico: 1.- Introduccion 2.- Sintaxis: - Analisis sintactico - Expresiones matematicas -Sustitucion textual 3.- Sistemas formales: - Contexto - Sistemas logicos formales - Logica de igualdad 4.- Logica proposicional: - Expresiones booleanas -Sistema deductivo - Calculo de deduccion ecuacional 5.- Semantica de la logica proposicional: - Validez - Completitud 6.- Extensiones y afinamiento del calculo: - Reglas derivadas adicionales - Extension del formato de prueba - Metateorema de la deduccion - Metodos de prueba inspirados en teoremas - Operador de clausura universal II. Logica de predicados y operatorias:- 7.- Caculo de predicados: - Lenguaje de la logica de predicados - Axiomas y reglas de la logica de predicados - Propiedades de la cuantificacion universal - Propiedades de la cuantificacion existencial 8.- La logica como lenguaje para modelar: - Simbolizacion en la logica proposicional - Simbolizacion en la logica de predicados 9.- Operatorias: - Sintaxis - Sistema axiomatico 10.- Teoria de sucesiones: - Tipos como distintivos sintacticos - Teoria del tipo suc T. 11.- Una teoria de la programacion III. Conjuntos, relaciones y funciones 12.- Teoria de conjuntos 13.- Conceptos de relacion y funcion 14.- Cardinalidad e induccion sobre conjuntos IV. Aritmetica y combinatoria 15.- Aritmetica aditiva 16.- Aritmetica multiplicativa 17.- Analisis combinatorio V. Teoria de relaciones: 18.- Relaciones matematicas 19.- Induccion estructural |
| 526 ## - Nota de Programa de Estudio | |
| Nombre del programa | Sistemas de la Información |
| 590 ## - NOTA LOCAL (RLIN) | |
| Nota local | JT |
| 082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 511 |
| Clave de autor | B635 2012 |
| 090 ## - CLASIFICACIÓN LOCAL | |
| clasificación | Planta Baja |
| 650 04 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | PRINCIPIOS GENERALES DE LAS MATEMATICAS (MATEMATICAS DISCRETAS) |
| 650 04 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | CALCULO PROPOSICIONAL Y DE PREDICADOS |
| 942 00 - PUNTO DE ACCESO ADICIONAL KOHA | |
| Préstamos Koha (prestado), todas las copias | 0 |
| Tipo de ítem koha | Libro |
| Ocultar en el OPAC | Perdido | Dañado | No circula | Colección | Sede propietaria | Localización actual | Ubicación | Adquirido | Signatura topográfica | Código de barras | Visto por última vez | Ejemplar | Tipo de ítem | Esquema de clasificación |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/17/2014 | 511 B635 2012 | SDO011368 | 03/08/2022 | Ej.4 | Libro | ||||
| No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/01/2014 | 511 B635 2012 | SDO009411 | 03/08/2022 | Ej.1 | Libro | ||||
| No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/01/2014 | 511 B635 2012 | SDO009412 | 03/08/2022 | Ej.2 | Libro | ||||
| No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/17/2014 | 511 B635 2012 | SDO011367 | 03/08/2022 | Ej.3 | Libro | Dewey Decimal Classification |
