17 búsqueda de la palabra clave 'INFORMATICA'   

Informatica : Presente y futuro / Sanders, Donald H.

Público ISBD Título : Informatica : Presente y futuro Tipo de documento: texto impreso Autores: Sanders, Donald H. Editorial: Mexico : McGraw-Hill Otro editor: 1994 Dimensiones: 887 p ISBN/ISSN/DL: 978-968-422-575-6 Palabras clave: INFORMATICA  LENGUAJE DE PROGRAMACION  SISTEMA DE REDES  SISTEMAS DE INFORMACION Informatica : Presente y futuro [texto impreso] / Sanders, Donald H. . - Mexico : McGraw-Hill : 1994, [s.d.] . -  ; 887 p. ISBN : 978-968-422-575-6 Palabras clave: INFORMATICA  LENGUAJE DE PROGRAMACION  SISTEMA DE REDES  SISTEMAS DE INFORMACION

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00007898	004.11/S215	Libro	Biblioteca Principal -Medellín	General	Disponible

Auditoria en informatica / Echenique Garcia, Jose Antonio

Público ISBD Título : Auditoria en informatica Tipo de documento: texto impreso Autores: Echenique Garcia, Jose Antonio Editorial: Mexico : McGraw-Hill Otro editor: 2001 Dimensiones: 300 p ISBN/ISSN/DL: 978-970-10-3356-2 Palabras clave: AUDITORIA  AUDITORIA INFORMATICA  INFORMATICA  PROCESAMIENTO DE DATOS Auditoria en informatica [texto impreso] / Echenique Garcia, Jose Antonio . - Mexico : McGraw-Hill : 2001, [s.d.] . -  ; 300 p. ISBN : 978-970-10-3356-2 Palabras clave: AUDITORIA  AUDITORIA INFORMATICA  INFORMATICA  PROCESAMIENTO DE DATOS

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00007942	657.453 / E18	Libro	Biblioteca Principal -Medellín	General	Disponible

Diccionario de informatica

Público ISBD Título : Diccionario de informatica Tipo de documento: texto impreso Editorial: Madrid : Cultural Otro editor: 2001 Dimensiones: 360 p ISBN/ISSN/DL: 978-84-8055-256-1 Palabras clave: COMPUTADORES  DICCIONARIOS  INFORMATICA Diccionario de informatica [texto impreso] . - Madrid : Cultural : 2001, [s.d.] . -  ; 360 p. ISBN : 978-84-8055-256-1 Palabras clave: COMPUTADORES  DICCIONARIOS  INFORMATICA

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00008013	R/004.03/D545	Libro	Biblioteca Principal -Medellín	Referencia	Disponible

Practico curso de informatica e internet

Público ISBD Título : Practico curso de informatica e internet Tipo de documento: texto impreso Editorial: Bogota : El Tiempo Otro editor: 2001 Dimensiones: 540p : il color Palabras clave: INFORMATICA  INTERNET  WINDOWS Practico curso de informatica e internet [texto impreso] . - Bogota : El Tiempo : 2001, [s.d.] . -  ; 540p : il color. Palabras clave: INFORMATICA  INTERNET  WINDOWS

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00008236	R 004 / T562	Libro	Biblioteca Principal -Medellín	General	Excluido de préstamo

Lógica matemática para informáticos / Teresa Hortalá González

Público ISBD Título : Lógica matemática para informáticos : ejercicios resueltos Tipo de documento: texto impreso Autores: Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor Editorial: Madrid : Pearson Educación Fecha de publicación: 2008 Número de páginas: 390 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-84-8322-454-0 Nota general: Incluye Bibliografía e Índice Idioma : Español (spa) Palabras clave: CÁLCULO  INFORMATICA  LOGICA MATEMATICA  LOGICA PROGRAMADA  LOGICA PROPORCIONAL  LOGICA-PROBLEMAS, EJERCICIOS ETC.  RAZONAMIENTO Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Resumen: El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. Nota de contenido: Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos. Lógica matemática para informáticos : ejercicios resueltos [texto impreso] / Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor . - Madrid : Pearson Educación, 2008 . - 390 p : il. ; Rústica. ISBN : 978-84-8322-454-0 Incluye Bibliografía e Índice Idioma : Español (spa) Palabras clave: CÁLCULO  INFORMATICA  LOGICA MATEMATICA  LOGICA PROGRAMADA  LOGICA PROPORCIONAL  LOGICA-PROBLEMAS, EJERCICIOS ETC.  RAZONAMIENTO Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Resumen: El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. Nota de contenido: Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos.

Reserva

Reservar este documento

Ejemplares (2)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00002919	511.3 / L832/Ej. 1	Libro	Biblioteca Principal -Medellín	Colección General	Disponible
00002920	511.3 /L832/Ej. 2	Libro	Biblioteca Principal -Medellín	Colección General	Disponible

Camino al futuro / Gates, Bill

Permalink

Computacion 1 / Vasquez Bernal, Rogelio

Permalink

Computación 2 : guía de estudio / Camargo Camargo, Luis E.

Permalink

Desarrollo del software para la devolucion de los abonos efectuados a la obra 808 en el Municipio de Bello / Gomez Cadavid, Francisco Javier

Permalink

Diccionario de computación : Inglés-Español/Español-Inglés / Freedman, Alan

Permalink