Sistema de Bibliotecas
en Línea
Universidad Nacional del Altiplano
Sistema de Bibliotecas al servicio de la comunidad universitaria
Centro de Recursos para el Aprendizaje
Infraestructura moderna al servicio de la investigación
Espacios para el Estudio e Investigación
Ambientes cómodos y equipados para nuestros estudiantes
Lago Titicaca, Patrimonio Cultural
La universidad más importante del altiplano peruano
Biblioteca Virtual y Repositorio Institucional
Accede a tesis, libros electrónicos y bases de datos académicas
Fachada de la Biblioteca Central UNAP
Más de 120,000 títulos disponibles en nuestras colecciones
Colecciones Especializadas
Libros, revistas y material de consulta para todas las áreas del conocimiento
Edificio Central Universitario
Formando profesionales desde 1856
Biblioteca Central UNAP
Un espacio emblemático de nuestra universidad
Personal del Sistema de Bibliotecas
Profesionales comprometidos con el servicio a la comunidad
Islas Flotantes de los Uros
Preservando la riqueza cultural del altiplano
Información del autor
Autor Bohórquez Villamizar, Jaime Alejandro |
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsquedaDiseño efectivo de programas correctos / Bohórquez Villamizar, Jaime Alejandro / Bogotá : Escuela Colombiana de Ingeniería (2006)
Título : Diseño efectivo de programas correctos Tipo de documento: texto impreso Autores: Bohórquez Villamizar, Jaime Alejandro, Autor Mención de edición: Primera edición Editorial: Bogotá : Escuela Colombiana de Ingeniería Fecha de publicación: 2006 Colección: Informática Número de páginas: x, 472 páginas Il.: ilustraciones, diagramas, tablas Dimensiones: 24 cm ISBN/ISSN/DL: 978-958-8060-56-9 Nota general: Incluye referencias bibliográficas; índice temático Idioma : Español (spa) Clasificación: 382.5 Comercio de importación Nota de contenido: Cálculo lógico -- La programación como ciencia -- Corrección y derivación de programas iterativos -- Corrección y derivación de programas recurrentes -- Complejidad algorítmica -- Ecuaciones de recurrencia -- Métodos generales de solución de problemas -- Divide y vencerás -- Técnicas avanzadas de derivación -- Búsqueda de estructuras lineales -- Estructuras notables -- Programación dinámica -- Métodos voraces -- Exploración de grafos -- Intratabilidad. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=28271 Diseño efectivo de programas correctos [texto impreso] / Bohórquez Villamizar, Jaime Alejandro, Autor . - Primera edición . - Bogotá : Escuela Colombiana de Ingeniería, 2006 . - x, 472 páginas : ilustraciones, diagramas, tablas ; 24 cm. - (Informática) .
ISBN : 978-958-8060-56-9
Incluye referencias bibliográficas; índice temático
Idioma : Español (spa)
Clasificación: 382.5 Comercio de importación Nota de contenido: Cálculo lógico -- La programación como ciencia -- Corrección y derivación de programas iterativos -- Corrección y derivación de programas recurrentes -- Complejidad algorítmica -- Ecuaciones de recurrencia -- Métodos generales de solución de problemas -- Divide y vencerás -- Técnicas avanzadas de derivación -- Búsqueda de estructuras lineales -- Estructuras notables -- Programación dinámica -- Métodos voraces -- Exploración de grafos -- Intratabilidad. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=28271
Diseño efectivo de programas correctos
Bohórquez Villamizar, Jaime Alejandro - Bogotá : Escuela Colombiana de Ingeniería - 2006
Incluye referencias bibliográficas; índice temático
Cálculo lógico -- La programación como ciencia -- Corrección y derivación de programas iterativos -- Corrección y derivación de programas recurrentes -- Complejidad algorítmica -- Ecuaciones de recurrencia -- Métodos generales de solución de problemas -- Divide y vencerás -- Técnicas avanzadas de derivación -- Búsqueda de estructuras lineales -- Estructuras notables -- Programación dinámica -- Métodos voraces -- Exploración de grafos -- Intratabilidad.
Reserva
Reservar este documento
Ejemplares (3)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 22-2669-01 005.133 B73 Libros Bib. Esp. Ing Estadistica e Informática Estanteria (Libros) Disponible 23-2086-01 005.133 B73 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible 24425-68491-01 005.133 B73 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible
Título : Lógica y matemáticas discretas en la informática : El estilo calculatorio Tipo de documento: texto impreso Autores: Bohórquez Villamizar, Jaime Alejandro, Autor Mención de edición: Primera edición Editorial: Bogotá : Escuela Colombiana de Ingeniería Fecha de publicación: 2012 Colección: Informática Número de páginas: x, 440 páginas Il.: ilustraciones Dimensiones: 25 cm ISBN/ISSN/DL: 978-958-8726-05-2 Nota general: Incluye referencias bibliográficas, índice alfabético Idioma : Español (spa) Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ
[Agneaux] DEPORTES - ASPECTOS SOCIALESClasificación: 624.183402 Hormigón. Manuales Nota de contenido: Fundamentos del lenguaje matemático -- Lógica de predicados y operatorias -- Conjuntos, relaciones y funciones -- Aritmética y combinatoria. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=78915 Lógica y matemáticas discretas en la informática : El estilo calculatorio [texto impreso] / Bohórquez Villamizar, Jaime Alejandro, Autor . - Primera edición . - Bogotá : Escuela Colombiana de Ingeniería, 2012 . - x, 440 páginas : ilustraciones ; 25 cm. - (Informática) .
ISBN : 978-958-8726-05-2
Incluye referencias bibliográficas, índice alfabético
Idioma : Español (spa)
Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ
[Agneaux] DEPORTES - ASPECTOS SOCIALESClasificación: 624.183402 Hormigón. Manuales Nota de contenido: Fundamentos del lenguaje matemático -- Lógica de predicados y operatorias -- Conjuntos, relaciones y funciones -- Aritmética y combinatoria. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=78915
Lógica y matemáticas discretas en la informática
Bohórquez Villamizar, Jaime Alejandro - Bogotá : Escuela Colombiana de Ingeniería - 2012
Incluye referencias bibliográficas, índice alfabético
Fundamentos del lenguaje matemático -- Lógica de predicados y operatorias -- Conjuntos, relaciones y funciones -- Aritmética y combinatoria.
Reserva
Reservar este documento
Ejemplares (3)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 16-0423-01 511.3 B69 Libros Bib. Esp. Ciencias Educación Estanteria (Libros) Disponible 22-3058-01 511.3 B69 Libros Bib. Esp. Ing Estadistica e Informática Estanteria (Libros) Disponible 28728-78934-01 511.3 B69 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible
