| 000 | 02451nam a2200301Ia 4500 | ||
|---|---|---|---|
| 001 | 3492 | ||
| 008 | 141201s2012 ck 00 0 spa d | ||
| 020 | _a9789588726045 | ||
| 040 |
_aPUCESD _bspa _erda |
||
| 082 | 0 | 4 |
_a511 _bB635 2012 |
| 090 | _aPlanta Baja | ||
| 100 | 1 | _aBohorquez Villamizar, Jaime Alejandro | |
| 245 | 1 | 0 |
_aLógica y matemáticas discretas en la informática. El estilo calculatorio / _cJaime Alejandro Bohórquez Villamizar |
| 250 | _a1° Ed. | ||
| 264 | 1 |
_aColombia : _bEscuela Colombiana de Ingenieria , _c2012 |
|
| 300 |
_a442 páginas ; _c24 cm. |
||
| 336 | _atxt | ||
| 337 | _an | ||
| 338 | _anc | ||
| 490 | 0 | _aInformatica | |
| 500 | _aFactura Limerin | ||
| 505 | 0 | _aI. 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 | _aSistemas de la Información | ||
| 590 | _aJT | ||
| 650 | 0 | 4 | _aPRINCIPIOS GENERALES DE LAS MATEMATICAS (MATEMATICAS DISCRETAS) |
| 650 | 0 | 4 | _aCALCULO PROPOSICIONAL Y DE PREDICADOS |
| 942 | 0 | 0 |
_00 _cBK |
| 999 |
_c202753 _d202753 |
||