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
