UNIVERSIDAD DE ORIENTE

NÚCLEO DE MONAGAS
ESCUELA DE INGENIERÍA Y CIENCIAS APLICADAS
DEPARTAMENTO DE INGENIERÍA DE SISTEMAS
MATURÍN / MONAGAS / VENEZUELA

PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:

CIENCIAS DE LA COMPUTACIÓN

SUB-COORDINACIÓN ÁREAS DE GRADO – DPTO. ING. DE SISTEMAS:

PROF. JESÚS CHAPARRO

COLABORADORES/REDACTORES:
PROFE. JONATHAN VÁSQUEZ
PROFA. YAMILA GASCÓN
PROFA. NELSY VÍVENES

REVISADO POR:
PROFA. INÉS MITAYNE
PROFA. MARÍA GAMBOA
PROFA. YEISLAND RODRÍGUEZ

MATURÍN, MARZO DE 2016

 PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:
CIENCIAS DE LA COMPUTACIÓN

Tabla de contenido P.p

Lenguajes y técnicas avanzadas de programación...................................................1
Lógica computacional .......................................................................................................8
Teoria de automátas y lenguajes formales ...............................................................14

ii
 UNIVERSIDAD DE ORIENTE
COMISIÓN CENTRAL DE CURRÍCULA
PROGRAMA SINÓPTICO DE ASIGNATURA

PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:

CIENCIAS DE LA COMPUTACIÓN

NOMBRE DE LA ASIGNATURA
LENGUAJES Y TECNICAS AVANZADAS DE PROGRAMACIÓN
ESCUELA: Ingeniería y Ciencias Aplicadas DEPARTAMENTO: Ingeniería de Sistemas

CÓDIGO: PRERREQUISITO (S) CRÉDITOS SEMESTRE

- 071-4133 / 071-5112 2 X
HORAS SEMANALES TOTAL HORAS SEMESTRE VIGENCIA
4 64
HORAS TEÓRICAS HORAS PRÁCTICAS ELABORADO POR:
0 4 Profe. (Ing.): Jonathan Vásquez
SÍNTESIS DE LOS CONOCIMIENTOS PREVIOS

El estudiante debe tener Conocimientos en lógica y algoritmo, lenguajes de programación y estructura de

datos.
OBJETIVO GENERAL

Proponer proyectos de desarrollo orientados a la búsqueda de soluciones a las organizaciones, enmarcado

dentro de los fundamentos y políticas adecuadas y estándar de calidad, que contribuyan a la optimización de los
procesos de manejo y gestión de la información en la industria nacional.

SINOPSIS DE CONTENIDO
Unidad I: Revisión de conceptos Orientado a Objetos.
Unidad II: Herramientas tecnológicas.
Unidad III: Patrones y buenas practicas.
Unidad IV: Aspectos metodológicos.
Unidad V: Extensiones al paradigma: declaratividad y metaprogramación.

BIBLIOGRAFÍA

 Budd Timothy. Introducción a la Programación Orientada a Objetos. Addison-Wesley Iberoamericana. 1994.

 Stroustrup, Bjarne. The C++ Programming Language. Addison Wesley. Segunda edición. 1991.
 Aguilar Joyanes, Luis. Programación Orientada a Objetos. Segunda edición. Osborne McGraw-Hill. 1998.
 Gamma Erich, Helm Richard, Johnson Ralph, Vlissides John. Design Patterns. Elements of reusable Object
Oriented Software. Addison Wesley.
 Aho A., Hopcroft J., and Ullman J. The Design and Analysis of Computer Algorithms. Addison-Wesley,
1974
 Aho A., Hopcroft J., and Ullman J. Data Structures and Algorithms. Addison-Wesley, 1983.
 Brassard G. and Bratley P. Fundamentos de Algoritmia. Prentice Hall, 2000.
 Cormen T. Introduction to Algorithms. The MIT Press, 3 edition, 2009.
 Knuth D. The art of computer programming, volume 1: Fundamental Algorithms. Addison-Wesley, 1979.
 Knuth D. The art of computer programming, volume 2: Seminumerical Algorithms. Addison-Wesley, 1979.
 Knuth D. The art of computer programming, volume 3: Sorting and searching. Addison-Wesley, 1979.
 Sedgewick R. Algorithms in C++. Addison-Wesley, 1992.
 Skiena S. The Algorithm Design Manual. Springer, 2 edition, 2008.

1
 UNIVERSIDAD DE ORIENTE
COMISIÓN CENTRAL DE CURRÍCULA
PROGRAMA ANALÍTICO DE ASIGNATURA

PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:

CIENCIAS DE LA COMPUTACIÓN

NOMBRE DE LA ASIGNATURA
LENGUAJES Y TECNICAS AVANZADAS DE PROGRAMACIÓN
ESCUELA: Ingeniería y Ciencias Aplicadas DEPARTAMENTO: Ingeniería de Sistemas

CÓDIGO: PRERREQUISITO (S) CRÉDITOS SEMESTRE

- 071-4133 / 071-5112 2 X
HORAS SEMANALES TOTAL HORAS SEMESTRE VIGENCIA
4 64
HORAS TEÓRICAS HORAS PRÁCTICAS ELABORADO POR:
0 4 Profe. (Ing.): Jonathan Vásquez
SÍNTESIS DE LOS CONOCIMIENTOS PREVIOS

El estudiante debe tener Conocimientos en lógica y algoritmo, lenguajes de programación y estructura de

datos.
OBJETIVO GENERAL

Proponer proyectos de desarrollo orientados a la búsqueda de soluciones a las organizaciones, enmarcado

dentro de los fundamentos y políticas adecuadas y estándar de calidad, que contribuyan a la optimización de los
procesos de manejo y gestión de la información en la industria nacional.

SINOPSIS DE CONTENIDO
Unidad I: Revisión de conceptos Orientado a Objetos.
Unidad II: Herramientas tecnológicas.
Unidad III: Patrones y buenas practicas.
Unidad IV: Aspectos metodológicos.
Unidad V: Extensiones al paradigma: declaratividad y metaprogramación.

BIBLIOGRAFÍA

 Budd Timothy. Introducción a la Programación Orientada a Objetos. Addison-Wesley Iberoamericana. 1994.

 Stroustrup, Bjarne. The C++ Programming Language. Addison Wesley. Segunda edición. 1991.
 Aguilar Joyanes, Luis. Programación Orientada a Objetos. Segunda edición. Osborne McGraw-Hill. 1998.
 Gamma Erich, Helm Richard, Johnson Ralph, Vlissides John. Design Patterns. Elements of reusable Object
Oriented Software. Addison Wesley.
 Aho A., Hopcroft J., and Ullman J. The Design and Analysis of Computer Algorithms. Addison-Wesley,
1974
 Aho A., Hopcroft J., and Ullman J. Data Structures and Algorithms. Addison-Wesley, 1983.
 Brassard G. and Bratley P. Fundamentos de Algoritmia. Prentice Hall, 2000.
 Cormen T. Introduction to Algorithms. The MIT Press, 3 edition, 2009.
 Knuth D. The art of computer programming, volume 1: Fundamental Algorithms. Addison-Wesley, 1979.
 Knuth D. The art of computer programming, volume 2: Seminumerical Algorithms. Addison-Wesley, 1979.
 Knuth D. The art of computer programming, volume 3: Sorting and searching. Addison-Wesley, 1979.
 Sedgewick R. Algorithms in C++. Addison-Wesley, 1992.
 Skiena S. The Algorithm Design Manual. Springer, 2 edition, 2008.

2
 UNIDAD 1 HORAS:

REVISON DE CONCEPTOS ORIENTADO A OBJETOS 10

OBJETIVOS ESPECÍFICOS 1
 Conocer definiciones básicas Orientadas a Objetos
 Conocer las diferencias entre Interface y Clase abstracta
 Conocer Binding y las implicancias de uso de late binding
 Conocer las distintas formas de modelado
 Implementar Interfaces

CONTENIDO 1

1. Polimorfismo tipado.
2. Comparación con polimorfismo no tipado.
3. Interface vs. Clase abstracta.
4. Contratos fuertes y débiles.
5. Binding estático y dinámico.
6. Modelado con clases/instancias.
7. Separación de los momentos de instanciación y uso de objetos.
8. Definición e implementación de interfaces entre componentes funcionales.

ESTRATEGIAS METODOLÓGICAS 1
 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación directa de
los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la formación
relacionada con la investigación en la ingeniería de software
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento relevante
que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 1
 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA

 Budd Timothy. Introducción a la Programación Orientada a Objetos. Addison-Wesley

Iberoamericana. 1994.
 Stroustrup, Bjarne. The C++ Programming Language. Addison Wesley. Segunda edición. 1991.
 Aguilar Joyanes, Luis. Programación Orientada a Objetos. Segunda edición. Osborne McGraw-Hill.
1998.
 Gamma Erich, Helm Richard, Johnson Ralph, Vlissides John. Design Patterns. Elements of
reusable Object Oriented Software. Addison Wesley.
 Aho A., Hopcroft J., and Ullman J. The Design and Analysis of Computer Algorithms. Addison-
Wesley, 1974
 Aho A., Hopcroft J., and Ullman J. Data Structures and Algorithms. Addison-Wesley, 1983.
 Brassard G. and Bratley P. Fundamentos de Algoritmia. Prentice Hall, 2000.
 Cormen T. Introduction to Algorithms. The MIT Press, 3 edition, 2009.
 Knuth D. The art of computer programming, volume 1: Fundamental Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 2: Seminumerical Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 3: Sorting and searching. Addison-Wesley,
1979.
 Sedgewick R. Algorithms in C++. Addison-Wesley, 1992.
 Skiena S. The Algorithm Design Manual. Springer, 2 edition, 2008.

3
 UNIDAD 2 HORAS:

HERRAMIENTAS TECNOLÓGICAS 10

OBJETIVOS ESPECÍFICOS 2
 Conocer la implementación de un diseño
 Realizar pruebas con Herramientas de testeo, adecuadas a las nuevas tecnologías
 Conocer el Test Driven development
 Conocer el método Inversion of Control
 Conocer el enfoque de desarrollo de software Domain driven design

CONTENIDO 2

1. Implementando un diseño.
2. Vinculación diseño-código.
3. Codificación de casos de prueba.
4. Herramientas de testeo unitario.
5. Introducción a TDD. (Test Driven Development)
6. Manejo de errores.
7. Inversion of Control.
8. Domain Driven design.

ESTRATEGIAS METODOLÓGICAS 2

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación directa de
los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la formación
relacionada con la investigación en la ingeniería de software
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento relevante
que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 2

 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 2

 Budd Timothy. Introducción a la Programación Orientada a Objetos. Addison-Wesley

Iberoamericana. 1994.
 Stroustrup, Bjarne. The C++ Programming Language. Addison Wesley. Segunda edición. 1991.
 Aguilar Joyanes, Luis. Programación Orientada a Objetos. Segunda edición. Osborne McGraw-Hill.
1998.
 Gamma Erich, Helm Richard, Johnson Ralph, Vlissides John. Design Patterns. Elements of
reusable Object Oriented Software. Addison Wesley.
 Aho A., Hopcroft J., and Ullman J. The Design and Analysis of Computer Algorithms. Addison-
Wesley, 1974
 Aho A., Hopcroft J., and Ullman J. Data Structures and Algorithms. Addison-Wesley, 1983.
 Brassard G. and Bratley P. Fundamentos de Algoritmia. Prentice Hall, 2000.
 Cormen T. Introduction to Algorithms. The MIT Press, 3 edition, 2009.
 Knuth D. The art of computer programming, volume 1: Fundamental Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 2: Seminumerical Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 3: Sorting and searching. Addison-Wesley,
1979.
 Sedgewick R. Algorithms in C++. Addison-Wesley, 1992.
 Skiena S. The Algorithm Design Manual. Springer, 2 edition, 2008.

4
 UNIDAD 3 HORAS:

PATRONES Y BUENAS PRACTICAS 15

OBJETIVOS ESPECÍFICOS 3
 Ofrecer una visión general e implementación de los patrones de diseño
 Proporcionar los conceptos básicos relacionados con frameworks y librerias
 Identificar cuáles son los beneficios de la aplicación “Best practices”
 Identificar las razones por las cuáles una empresa opta por implantar un estándar “Best Partice”
para el desarrollo de software

CONTENIDO 3

1. Implementación y adaptación de patrones de diseño.

2. Patrones GoF.
3. Double dispatch.
4. Type object.
5. Wrappers.
6. Framework vs. librería.
7. Best practices:
a. “Once and only once”
b. “Tell, don’t ask”
c. “Program to an interface not to an implementation”
d. “Favor object composition over class inheritance”
e. “Make it work, make it right, make it fast”.
ESTRATEGIAS METODOLÓGICAS 3
 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación directa de
los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la formación
relacionada con la investigación en la ingeniería de software
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento relevante
que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 3
 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos
BIBLIOGRAFÍA 3

 Budd Timothy. Introducción a la Programación Orientada a Objetos. Addison-Wesley

Iberoamericana. 1994.
 Stroustrup, Bjarne. The C++ Programming Language. Addison Wesley. Segunda edición. 1991.
 Aguilar Joyanes, Luis. Programación Orientada a Objetos. Segunda edición. Osborne McGraw-Hill.
1998.
 Gamma Erich, Helm Richard, Johnson Ralph, Vlissides John. Design Patterns. Elements of
reusable Object Oriented Software. Addison Wesley.
 Aho A., Hopcroft J., and Ullman J. The Design and Analysis of Computer Algorithms. Addison-
Wesley, 1974
 Aho A., Hopcroft J., and Ullman J. Data Structures and Algorithms. Addison-Wesley, 1983.
 Brassard G. and Bratley P. Fundamentos de Algoritmia. Prentice Hall, 2000.
 Cormen T. Introduction to Algorithms. The MIT Press, 3 edition, 2009.
 Knuth D. The art of computer programming, volume 1: Fundamental Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 2: Seminumerical Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 3: Sorting and searching. Addison-Wesley,
1979.
 Sedgewick R. Algorithms in C++. Addison-Wesley, 1992.
 Skiena S. The Algorithm Design Manual. Springer, 2 edition, 2008.

5
 UNIDAD 4 HORAS:

ASPECTOS METEDOLÓGICOS 10

OBJETIVOS ESPECÍFICOS 4
 Conocer cuáles son los modelos de ciclo de vida en el desarrollo de software
 Conocer la programación iterativa
 Conocer cuáles son las técnicas de refactorización
 Identificar las cualidades del software
 Conocer el software configuration management

CONTENIDO 4

1. Elección e implementación de un modelo de ciclo de vida en el desarrollo de software.

2. Prácticas de diseño y programación iterativas.
3. Técnicas de refactorización.
4. Cualidades del software.
5. Software configuration management

ESTRATEGIAS METODOLÓGICAS 4

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación directa de
los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la formación
relacionada con la investigación en la ingeniería de software
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento relevante
que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 4
 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 4

 Budd Timothy. Introducción a la Programación Orientada a Objetos. Addison-Wesley

Iberoamericana. 1994.
 Stroustrup, Bjarne. The C++ Programming Language. Addison Wesley. Segunda edición. 1991.
 Aguilar Joyanes, Luis. Programación Orientada a Objetos. Segunda edición. Osborne McGraw-Hill.
1998.
 Gamma Erich, Helm Richard, Johnson Ralph, Vlissides John. Design Patterns. Elements of
reusable Object Oriented Software. Addison Wesley.
 Aho A., Hopcroft J., and Ullman J. The Design and Analysis of Computer Algorithms. Addison-
Wesley, 1974
 Aho A., Hopcroft J., and Ullman J. Data Structures and Algorithms. Addison-Wesley, 1983.
 Brassard G. and Bratley P. Fundamentos de Algoritmia. Prentice Hall, 2000.
 Cormen T. Introduction to Algorithms. The MIT Press, 3 edition, 2009.
 Knuth D. The art of computer programming, volume 1: Fundamental Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 2: Seminumerical Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 3: Sorting and searching. Addison-Wesley,
1979.
 Sedgewick R. Algorithms in C++. Addison-Wesley, 1992.
 Skiena S. The Algorithm Design Manual. Springer, 2 edition, 2008.

6
 UNIDAD 5 HORAS:

EXTENSIONES AL PARADIGMA: DECLARATIVIDAD Y METAPROGRAMACIÓN 5

OBJETIVOS ESPECÍFICOS 5

 Conocer los elementos declarativos en la construcción de un software

 Incorporar el concepto de metaprogramación
 Conocer el lenguaje XML
 Usar Annotations
 Conocer la programación reflexiva
 Diferenciar los niveles meta y no-meta identificando el momento adecuado en el cual trabajar en
cada nivel

CONTENIDO 5

1. Elementos declarativos en la construcción de software.

2. Metadatos.
3. XML.
4. Annotations.
5. Introducción a la programación reflexiva.
6. Modelo y metamodelo.

ESTRATEGIAS METODOLÓGICAS 5

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación directa de
los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la formación
relacionada con la investigación en la ingeniería de software
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento relevante
que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 5
 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 5

 Budd Timothy. Introducción a la Programación Orientada a Objetos. Addison-Wesley

Iberoamericana. 1994.
 Stroustrup, Bjarne. The C++ Programming Language. Addison Wesley. Segunda edición. 1991.
 Aguilar Joyanes, Luis. Programación Orientada a Objetos. Segunda edición. Osborne McGraw-Hill.
1998.
 Gamma Erich, Helm Richard, Johnson Ralph, Vlissides John. Design Patterns. Elements of
reusable Object Oriented Software. Addison Wesley.
 Aho A., Hopcroft J., and Ullman J. The Design and Analysis of Computer Algorithms. Addison-
Wesley, 1974
 Aho A., Hopcroft J., and Ullman J. Data Structures and Algorithms. Addison-Wesley, 1983.
 Brassard G. and Bratley P. Fundamentos de Algoritmia. Prentice Hall, 2000.
 Cormen T. Introduction to Algorithms. The MIT Press, 3 edition, 2009.
 Knuth D. The art of computer programming, volume 1: Fundamental Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 2: Seminumerical Algorithms. Addison-Wesley,
1979.
 Knuth D. The art of computer programming, volume 3: Sorting and searching. Addison-Wesley,
1979.
 Sedgewick R. Algorithms in C++. Addison-Wesley, 1992.
 Skiena S. The Algorithm Design Manual. Springer, 2 edition, 2008.

7
 UNIVERSIDAD DE ORIENTE
COMISIÓN CENTRAL DE CURRÍCULA
PROGRAMA SINÓPTICO DE ASIGNATURA

PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:

CIENCIAS DE LA COMPUTACIÓN

NOMBRE DE LA ASIGNATURA
LÓGICA COMPUTACIONAL
ESCUELA: Ingeniería y Ciencias Aplicadas DEPARTAMENTO: Ingeniería de Sistemas
CÓDIGO: PRERREQUISITO (S) CRÉDITOS SEMESTRE
- 071-4133 / 071-5112 2 X
HORAS SEMANALES TOTAL HORAS SEMESTRE VIGENCIA
4 64
HORAS TEÓRICAS HORAS PRÁCTICAS ELABORADO POR:
0 4 Profe. (Ing.): Yamila Gascón
SÍNTESIS DE LOS CONOCIMIENTOS PREVIOS
Comprensión y manejo apropiado del lenguaje, construcción gramatical. Probabilidad: Probabilidad
marginal, condicional y conjunta. Teorema de Bayes. Sucesos inciertos. Programación orientada a
objetos: Uso del lenguaje de programación orientado a objeto. Introducción a los algoritmos: Definición,
diseño e implementación. Introducción al estudio de algoritmos básicos. Algoritmos: Estrategias para la
resolución de problemas.

OBJETIVO GENERAL
Realizar proyectos de desarrollo orientados a la búsqueda de soluciones informáticas a través de
la selección, desarrollo e implementación de sistemas fundamentados y arquitecturas sólidas
para escenarios de entornos reales.
SINOPSIS DE CONTENIDO
Unidad I: Razonamiento y Metas.
Unidad II: Reglas condición-acción.
Unidad III: Sistema lógico integrado.
Unidad IV: Inferencia y búsqueda.

BIBLIOGRAFÍA

 Bonini, Hausman, Bierman (2000). Análisis cuantitativo para los negocios. Irwin. Colombia.
 Dávila (2009). Lógica práctica y aprendizaje computacional. Universidad de Los Andes.
Disponible: http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-
computacional.pdf.
 Kowalski (2011). Computational Logic and Human Thinking: How to be Artificially Intelligent.
Cambridge University Press. Disponible: http://www.doc.ic.ac.uk/~rak/ y
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html.

8
 UNIVERSIDAD DE ORIENTE
COMISIÓN CENTRAL DE CURRÍCULA
PROGRAMA ANALÍTICO DE ASIGNATURA

PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:

CIENCIAS DE LA COMPUTACIÓN

NOMBRE DE LA ASIGNATURA
LÓGICA COMPUTACIONAL
ESCUELA: Ingeniería y Ciencias Aplicadas DEPARTAMENTO: Ingeniería de Sistemas
CÓDIGO: PRERREQUISITO (S) CRÉDITOS SEMESTRE
- 071-4133 / 071-5112 2 X
HORAS SEMANALES TOTAL HORAS SEMESTRE VIGENCIA
4 64
HORAS TEÓRICAS HORAS PRÁCTICAS ELABORADO POR:
0 4 Profe. (Ing.): Yamila Gascón
SÍNTESIS DE LOS CONOCIMIENTOS PREVIOS
Comprensión y manejo apropiado del lenguaje, construcción gramatical. Probabilidad: Probabilidad
marginal, condicional y conjunta. Teorema de Bayes. Sucesos inciertos. Programación orientada a
objetos: Uso del lenguaje de programación orientado a objeto. Introducción a los algoritmos: Definición,
diseño e implementación. Introducción al estudio de algoritmos básicos. Algoritmos: Estrategias para la
resolución de problemas.

OBJETIVO GENERAL
Realizar proyectos de desarrollo orientados a la búsqueda de soluciones informáticas a través de
la selección, desarrollo e implementación de sistemas fundamentados y arquitecturas sólidas
para escenarios de entornos reales.
SINOPSIS DE CONTENIDO
Unidad I: Razonamiento y Metas.
Unidad II: Reglas condición-acción.
Unidad III: Sistema lógico integrado.
Unidad IV: Inferencia y búsqueda.

BIBLIOGRAFÍA

 Bonini, Hausman, Bierman (2000). Análisis cuantitativo para los negocios. Irwin. Colombia.
 Dávila (2009). Lógica práctica y aprendizaje computacional. Universidad de Los Andes.
Disponible: http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-
computacional.pdf.
 Kowalski (2011). Computational Logic and Human Thinking: How to be Artificially Intelligent.
Cambridge University Press. Disponible: http://www.doc.ic.ac.uk/~rak/ y
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html.

9
 UNIDAD 1 HORAS:

RAZONAMIENTO Y METAS 10

OBJETIVOS ESPECÍFICOS 1

 Describir el objeto de estudio, principios y concepciones de la lógica, así como su

importancia y utilidad. Construir los fundamentos formales de la Lógica Computacional
observando el carácter abstracto y simbólico. Utilizar apropiadamente los principios y
conceptos fundamentales del razonamiento lógico y matemático en la solución de
problemas.
CONTENIDO 1
1. Fundamentos. Descripción de los Principios de Lógica.
a. Objeto de estudio de la lógica.
b. Dimensiones de la lógica.
c. Lenguaje Natural.
d. Lenguaje Artificial.
e. Lenguaje Formal.
2. Construcción de los fundamentos formales de la lógica. Empleo de herramientas formales
de la lógica.
a. Razonamiento Lógico
b. Lógica Proposicional
c. Lógica de Predicados
d. Conectivos Lógicos
e. Semántica de la lógica
f. Tablas de Verdad
3. Establecer a través del razonamiento metas y sub metas. Introducción a los agentes

ESTRATEGIAS METODOLÓGICAS 1

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación

directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la
formación relacionada con la investigación en la lógica computacional.
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.
ESTRATEGIAS DE EVALUACIÓN 1

 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos
BIBLIOGRAFÍA 1
 Bonini, Hausman, Bierman (2000). Análisis cuantitativo para los negocios. Irwin.
Colombia.
 Dávila (2009). Lógica práctica y aprendizaje computacional. Universidad de Los Andes.
Disponible: http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-
aprendizaje-computacional.pdf.
 Kowalski (2011). Computational Logic and Human Thinking: How to be Artificially
Intelligent.
Cambridge University Press. Disponible: http://www.doc.ic.ac.uk/~rak/ y
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html.

10
 UNIDAD 2 HORAS:

REGLAS CONDICIÓN-ACCIÓN 10

OBJETIVOS ESPECÍFICOS 2
 Conocer los diferentes métodos de razonamiento. Aplicar las reglas de condición-acción
para simular explícitamente la reducción de metas.

CONTENIDO 2
1. Determinación de grafos de reducción de metas.
2. Método de razonamiento hacia atrás.
3. Método de razonamiento hacia adelante.
4. Uso de los sistemas de producción para simular la reducción de metas
5. Plantear agentes a través de las reglas condición – acción.

ESTRATEGIAS METODOLÓGICAS 2

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación

directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la
formación relacionada con la investigación en la lógica computacional.
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 2

 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 2
 Bonini, Hausman, Bierman (2000). Análisis cuantitativo para los negocios. Irwin.
Colombia.
 Dávila (2009). Lógica práctica y aprendizaje computacional. Universidad de Los Andes.
Disponible: http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-
aprendizaje-computacional.pdf.
 Kowalski (2011). Computational Logic and Human Thinking: How to be Artificially
Intelligent.
Cambridge University Press. Disponible: http://www.doc.ic.ac.uk/~rak/ y
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html.

11
 UNIDAD 3 HORAS:
SISTEMA LÓGICO INTEGRADO
20
OBJETIVOS ESPECÍFICOS 3
 Combinar en un sistema lógico la reducción de metas, reglas de condición-acción y
otros recursos lógicos.

CONTENIDO 3
1. Constatar la lógica tradicional con el ciclo de los sistemas de producción para acomodar
otros tipos de pensamiento, incluyendo el razonamiento lógico.
2. Demostrar que la lógica puede ser usada en el contexto del ciclo de observación-
pensamiento-decisión-acción de un agente.

ESTRATEGIAS METODOLÓGICAS 3
 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación
directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la
formación relacionada con la investigación en la lógica computacional.
 Lecturas orientadas: que orienten al estudiante en la identificación del co nocimiento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 3
 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 3
 Bonini, Hausman, Bierman (2000). Análisis cuantitativo para los negocios. Irwin.
Colombia.
 Dávila (2009). Lógica práctica y aprendizaje computacional. Universidad de Los Andes.
Disponible: http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-
aprendizaje-computacional.pdf.
 Kowalski (2011). Computational Logic and Human Thinking: How to be Artificially
Intelligent.
Cambridge University Press. Disponible: http://www.doc.ic.ac.uk/~rak/ y
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html.

12
 UNIDAD 4 HORAS:

INFERENCIA Y BUSQUEDA 10

OBJETIVOS ESPECÍFICOS 4
 Plantear que el modelo basado en la lógica del pensar, la búsqueda es realizada por el
razonar hacia atrás y la inferencia por el razonar hacia adelante.

CONTENIDO 4
1. Demostrar a través de ejemplos que los procedimientos de reducción de metas son un
caso especial de las creencias donde se aplica el procedimiento de razonar hacia atrás y
razonar hacia adelante.
2. Aplicación de la teoría de decisiones para reducir la incertidumbre.

ESTRATEGIAS METODOLÓGICAS 4

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación

directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de la
formación relacionada con la investigación en la lógica computacional.
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 4
 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 4
 Bonini, Hausman, Bierman (2000). Análisis cuantitativo para los negocios. Irwin.
Colombia.
 Dávila (2009). Lógica práctica y aprendizaje computacional. Universidad de Los Andes.
Disponible: http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-
aprendizaje-computacional.pdf.
 Kowalski (2011). Computational Logic and Human Thinking: How to be Artificially
Intelligent.
Cambridge University Press. Disponible: http://www.doc.ic.ac.uk/~rak/ y
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html.

13
 UNIVERSIDAD DE ORIENTE
COMISIÓN CENTRAL DE CURRÍCULA
PROGRAMA SINÓPTICO DE ASIGNATURA

PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:

CIENCIAS DE LA COMPUTACIÓN

NOMBRE DE LA ASIGNATURA
TEORÍA DE AUTOMÁTAS Y LENGUAJES FORMALES
ESCUELA: Ingeniería y Ciencias Aplicadas DEPARTAMENTO: Ingeniería de Sistemas
CÓDIGO: PRERREQUISITO (S) CRÉDITOS SEMESTRE
- 071-4133 / 071-5112 2 X
HORAS SEMANALES TOTAL HORAS SEMESTRE VIGENCIA
4 64
HORAS TEÓRICAS HORAS PRÁCTICAS ELABORADO POR:
0 4 Profa.(Ing.): Nelsy Vívenes
SÍNTESIS DE LOS CONOCIMIENTOS PREVIOS

Comprensión y manejo de estructuras de datos fundamentales: Pilas, colas y colas de prioridad. Lógica
matemática. Teoría de Grafos: Representación a través de matrices. Representación a través de listas de
adyacencias. Algoritmos utilizados para la realización de las operaciones básicas. Árboles. Estrategias de
implantación para grafos y árboles. Modelos matemáticos. Error de truncamiento y de redondeo. Método
de Newton. Factores cuadráticos. Interpolación y aproximación. Mínimos cuadrados para datos
discretos.

OBJETIVO GENERAL
Efectuar proyectos de desarrollo orientados a la búsqueda de soluciones informáticas a través de la
selección, desarrollo e implementación de sistemas empresariales fuertemente fundamentados y de
arquitecturas sólidas para escenarios de entornos reales.

SINOPSIS DE CONTENIDO
Unidad I: Visión de los Autómatas de Estados Finitos.
Unidad II: Visión de los Autómatas con salidas.
Unidad III: Visión de las expresiones regulares y lenguajes regulares.
Unidad IV: Lenguajes y Gramáticas Independientes de contexto.

BIBLIOGRAFÍA
 HOPCROFT, J. Y OTROS (2007). Teoría de Autómatas, lenguajes y Computación. Editorial
Pearson-Addison Wesley.
 DEAN, K. (1998). Teoría de Autómatas y Lenguajes Formales. Editorial Prentice Hall
 JOHNSONBAUGH, R. (1989). Matemáticas Discretas. Grupo Editorial Iberoamericana

14
 UNIVERSIDAD DE ORIENTE
COMISIÓN CENTRAL DE CURRÍCULA
PROGRAMA ANALÍTICO DE ASIGNATURA

PROGRAMA DE CURSOS ESPECIALES DE GRADO EN EL ÁREA:

CIENCIAS DE LA COMPUTACIÓN

NOMBRE DE LA ASIGNATURA
TEORIA DE AUTOMÁTAS Y LENGUAJES FORMALES
ESCUELA: Ingeniería y Ciencias Aplicadas DEPARTAMENTO: Ingeniería de Sistemas
CÓDIGO: PRERREQUISITO (S) CRÉDITOS SEMESTRE
- 071-4133 / 071-5112 2 X
HORAS SEMANALES TOTAL HORAS SEMESTRE VIGENCIA
4 64
HORAS TEÓRICAS HORAS PRÁCTICAS ELABORADO POR:
0 4 Profa.(Ing.): Nelsy Vívenes
SÍNTESIS DE LOS CONOCIMIENTOS PREVIOS

Comprensión y manejo de estructuras de datos fundamentales: Pilas, colas y colas de prioridad. Lógica
matemática. Teoría de Grafos: Representación a través de matrices. Representación a través de listas de
adyacencias. Algoritmos utilizados para la realización de las operaciones básicas. Árboles. Estrategias de
implantación para grafos y árboles. Modelos matemáticos. Error de truncamiento y de redondeo. Método
de Newton. Factores cuadráticos. Interpolación y aproximación. Mínimos cuadrados para datos
discretos.

OBJETIVO GENERAL
Efectuar proyectos de desarrollo orientados a la búsqueda de soluciones informáticas a través de la
selección, desarrollo e implementación de sistemas empresariales fuertemente fundamentados y de
arquitecturas sólidas para escenarios de entornos reales.

SINOPSIS DE CONTENIDO
Unidad I: Visión de los Autómatas de Estados Finitos.
Unidad II: Visión de los Autómatas con salidas.
Unidad III: Visión de las expresiones regulares y lenguajes regulares.
Unidad IV: Lenguajes y Gramáticas Independientes de contexto.

BIBLIOGRAFÍA
 HOPCROFT, J. Y OTROS (2007). Teoría de Autómatas, lenguajes y Computación. Editorial
Pearson-Addison Wesley.
 DEAN, K. (1998). Teoría de Autómatas y Lenguajes Formales. Editorial Prentice Hall
 JOHNSONBAUGH, R. (1989). Matemáticas Discretas. Grupo Editorial Iberoamericana

15
 UNIDAD 1 HORAS:

VISION DE LOS AUTÓMATAS DE ESTADOS FINITOS 10

OBJETIVOS ESPECÍFICOS 1
 Conocer la funcionabilidad y aplicabilidad de los autómatas.
 Comprender las representaciones estructurales de los autómatas
 Describir los conceptos fundamentales de la teoría de autómatas.

CONTENIDO 1
1. Introducción a los autómatas finitos
2. Representaciones estructurales
3. Autómatas y Complejidad
4. Introducción a las demostraciones formales, demostración por reducción a lo absurdo
5. Demostraciones inductivas: inducciones sobre números enteros, formas generales de
inducción.
6. Conceptos fundamentales de la teoría de autómatas: alfabetos, cadenas de caracteres,
lenguajes y problemas
ESTRATEGIAS METODOLÓGICAS 1
 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación
directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de los
problemas a través de la teoría de autómatas.
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.
ESTRATEGIAS DE EVALUACIÓN 1

 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos
BIBLIOGRAFÍA 1

 HOPCROFT, J. Y OTROS (2007). Teoría de Autómatas, lenguajes y Computación.

Editorial Pearson-Addison Wesley.
 DEAN, K. (1998). Teoría de Autómatas y Lenguajes Formales. Editorial Prentice Hall
 JOHNSONBAUGH, R. (1989). Matemáticas Discretas. Grupo Editorial Iberoamericana

16
 UNIDAD 2 HORAS:

VISION DE LOS AUTÓMATAS CON SALIDAS 10

OBJETIVOS ESPECÍFICOS 2

 Conocer la definición de los autómatas finitos deterministas y no deterministas

 Construir Autómatas finitos deterministas y no deterministas.
 Utilizar apropiadamente los principios y conceptos fundamentales de autómatas finitos
deterministas y no deterministas para solucionar problemas aplicando un razonamiento
lógico y matemático.

CONTENIDO 2
1. Autómatas finitos determinista: definición, procesamiento de las cadenas de un AFD,
notaciones, ejercicios.
2. Autómatas finitos no determinista: definición, función de transición extendida, lenguaje
de un AFN, ejercicios.
3. Equivalencia de autómatas finitos determinista y no determinista, ejercicios.

ESTRATEGIAS METODOLÓGICAS 2

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación

directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de los
problemas a través de la teoría de autómatas.
 Lecturas orientadas: que orienten al estudiante en la identificación del conoci miento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 2

 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 2

 HOPCROFT, J. Y OTROS (2007). Teoría de Autómatas, lenguajes y Computación.

Editorial Pearson-Addison Wesley.
 DEAN, K. (1998). Teoría de Autómatas y Lenguajes Formales. Editorial Prentice Hall
 JOHNSONBAUGH, R. (1989). Matemáticas Discretas. Grupo Editorial Iberoamericana

17
 UNIDAD 3 HORAS:

VISIÓN DE LAS EXPRESIONES REGULARES Y LENGUAJES REGULARES 20

OBJETIVOS ESPECÍFICOS 3

 Identificar las expresiones regulares y lenguajes regulares.

 Aplicar las propiedades de los lenguajes regulares.
 Utilizar apropiadamente las propiedades de los lenguajes regulares para solucionar
problemas aplicando un razonamiento lógico y matemático

CONTENIDO 3

1. Expresiones regulares: operadores, construcción de expresiones regulares, precedencia

de los operadores en las expresiones regulares. Ejercicios.
2. Autómatas finitos y expresiones regulares: conversión de un AFD a una expresión
regular mediante la eliminación de estados, conversión de una expresión regular a un
autómata.
3. Algebra de las expresiones regulares: asociatividad, conmutatividad, elemento identidad
y elemento nulo. Leyes distributivas. Leyes de idempotencia
4. Propiedades de clausura de los lenguajes regulares: clausura de los lenguajes regulares
para operaciones booleanas, reflexión, homomorfismo y homomorfismo inverso.
5. Propiedades de decisión de los lenguajes regulares: conversión entre representaciones,
cómo comprobar la pertenencia a un lenguaje regular.
6. Equivalencia y minimización de autómatas: comprobar la equivalencia de estados,
comprobar la equivalencia de lenguajes, minimización de un AFD

ESTRATEGIAS METODOLÓGICAS 3

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación

directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de los
problemas a través de la teoría de autómatas.
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 3

 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 3

 HOPCROFT, J. Y OTROS (2007). Teoría de Autómatas, lenguajes y Computación.

Editorial Pearson-Addison Wesley.
 DEAN, K. (1998). Teoría de Autómatas y Lenguajes Formales. Editorial Prentice Hall
 JOHNSONBAUGH, R. (1989). Matemáticas Discretas. Grupo Editorial Iberoamericana

18
 UNIDAD 4 HORAS:

LENGUAJES Y GRAMATICAS INDEPENDIENTES DE CONTEXTO 10

OBJETIVOS ESPECÍFICOS 4

 Conocer la definición de las gramáticas independientes de contexto.

 Resolver ejercicios de gramáticas independientes de contexto para la eliminación de
ambigüedades y la verificación de sintaxis.
 Aplicar las propiedades de los lenguajes independientes de contexto.

CONTENIDO 4

1. Gramáticas independientes de contexto: definición, derivaciones utilizando una

gramática, derivaciones izquierda y derecha. Lenguaje de una gramática. Formas
secuenciales.
2. Árboles de derivación: construcción.
3. Aplicaciones de las gramáticas libre de contexto: analizadores sintácticos, eliminación de
ambigüedad de las gramáticas. Ejercicios.
4. Propiedades de los lenguajes independientes de contexto: formas normales para las
gramáticas independientes de contexto (eliminación de símbolos inútiles, eliminación de
producciones unitarias, forma normal de Chomsky) ejercicios. Propiedades de la clausura
de los LIC: sustituciones, reflexión, intersección con un lenguaje regular, homomorfismo
inverso, ejercicios.

ESTRATEGIAS METODOLÓGICAS 4

 Talleres Prácticos: basados en casos de estudio que permitan al estudiante la aplicación

directa de los conocimientos teóricos adquiridos.
 Exposición oral del docente: sobre el contenido del material académico de la unidad.
 Trabajos de investigación: que fortalezcan la capacidad de interpretación de los
problemas a través de la teoría de autómatas.
 Lecturas orientadas: que orienten al estudiante en la identificación del conocimiento
relevante que debe adquirir al finalizar la lectura.
 Exposiciones: acerca de consulta y lecturas que son recomendadas por el profesor.

ESTRATEGIAS DE EVALUACIÓN 4

 Evaluación continua
 Trabajo en equipo
 Ejercicios Individuales
 Participación
 Casos Prácticos

BIBLIOGRAFÍA 4

 HOPCROFT, J. Y OTROS (2007). Teoría de Autómatas, lenguajes y Computación.

Editorial Pearson-Addison Wesley.
 DEAN, K. (1998). Teoría de Autómatas y Lenguajes Formales. Editorial Prentice Hall
 JOHNSONBAUGH, R. (1989). Matemáticas Discretas. Grupo Editorial Iberoamericana

19