MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
02411nam0a22003250i04500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
UTC-30058 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240326112517.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
240325s2012####ck#####gr#####00####spa#d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
978-958-8726-04-5 |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
511.3 |
| Número de ítem |
B677lo |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Bohórquez Villamizar, Jaime Alejandro |
| 245 ## - MENCIÓN DEL TÍTULO |
|---|
| Título |
Lógica y matemática discretas en la informática:el estilo calculatorio |
| Mención de responsabilidad, etc. |
Jaime Alejandro, Bohórquez Villamizar |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
1 |
| 264 ## - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Colombia : |
| Nombre del de productor, editor, distribuidor, fabricante |
ECDIJG |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2012 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
422 páginas ; |
| Dimensiones |
24cm. |
| Otras características físicas |
il. ; |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
no mediado |
| Código del tipo de medio |
n |
| Fuente |
damedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
volumen |
| Código del tipo de soporte |
nc |
| Fuente |
rdacarrier |
| 490 ## - MENCIÓN DE SERIE |
|---|
| Mención de serie |
ECDIJG |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
LIBRO DONADO |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
1. Introducción. 2. Sintaxis. 3. Sistemas formales. 4. Lógica proporsional. 5. Semántica de la lógica proposicional. 6. Extenciones y afinamiento del cálculo. 7. Lógica de predicados y operatorias. 8. La lógica como lenguaje para modelar. 9. Operatorias. 10. Teoría de sucesiones. 11. Una teoría de la programación. 12. Teoría de conjuntos. 13. Conceptos de relación y función. 14. Cardinalidad e inducción sobre conjuntos... |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
Mediante la presente obra se propone dotar a los estudiantes de habilidades en el uso del cálculo proposicional y de predicados para aplicarlas en la informática y las matemáticas discretas. Aunque el tema mismo del libro es ´elemental´, en el sentido de fundamental, no es ´fácil´. Aprender a razonar matemáticamente con efectividad exige tiempo y paciencia. El propósito es contribuir a que los estudiantes distingan las circunstancias en que el razonamiento sintáctico (calculatorio) resulta más adecuado y adquieran confianza en su uso; aprendan principios y estrategias para desarrollar pruebas o demostraciones; comprendan que la estructura de una fórmula ayuda a descubrir demostraciones, y relacionen los argumentos informales e intuitivos con los métodos de demostración formal para que, al final, se apropien de la noción de ésta y aprecien el rigor, la presión, la brevedad y la elegancia en los argumentos. |
| 526 ## - NOTA DE INFORMACIÓN SOBRE EL PROGRAMA DE ESTUDIO |
|---|
| Nombre del programa |
Sistemas de Información |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
LÓGICA Y MATEMÁTICAS DISCRETAS EN LA INFORMÁTICA. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
SUCESIONES. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
TEORÍA DE CONJUNTOS. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
ARITMÉTICA |
| 856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recurso |
<a href="https://images-na.ssl-images-amazon.com/images/I/61gK94wwmLL.jpg">https://images-na.ssl-images-amazon.com/images/I/61gK94wwmLL.jpg</a> |
| Texto de enlace |
Portada |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Clasificación Decimal Dewey |
| Tipo de ítem Koha |
Libros |
| Suprimir en OPAC |
No |
