Servicios Bibliotecarios
Resultado de la búsqueda
17 búsqueda de la palabra clave
'INFORMATICA' 




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
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
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
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
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 PermalinkPermalinkPermalinkDesarrollo del software para la devolucion de los abonos efectuados a la obra 808 en el Municipio de Bello / Gomez Cadavid, Francisco Javier
PermalinkPermalink