Fundamentos Informática Teórica(FIT)
Fundamentos de Informática Teórica. (FIT)
Dr. Eric Jeltsch F.
Tel: 4 - 2 - 0
Pre-Requisito: Matemáticas II (230201).
Prerrequisitos Informales: Se espera que el alumno tenga sólida base en el manejo matemático
para abordar problemas de análisis y desarrollo.
Descripción de la Asignatura: Esta asignatura corresponde al ciclo básico, y trata de sentar los
fundamentos teóricos en los cuales se sustentan muchas de las aplicaciones que se ven en ciencias
de la computación, fundamentos que no son solo beneficiosos para hacer informática teórica, sino
para la práctica de la informática. Las áreas abordadas corresponden, en general, a un curso de
matemáticas discretas, sin embargo incorporamos temas que para nuestra malla curricular
corresponde fortalecer. Esta asignatura ha considerado las recomendaciones realizadas por la
Mathematical Association of America, IEEE, y ACM (Association for Computing Machinery2005) para un curriculum de un estudiante de ingeniería en computación.
Objetivos: Al término del curso el alumno podrá conocer los fundamentos teóricos y aplicarlos a
problemas concretos relacionados con la computación y la informática.
Objetivos Mínimos de conocimientos: Cómo factor mínimo de saberes, capacidades o
aprendizajes asimilados están: El alumnos deberá ser capaz de hacer un seguimiento a cualquier
algoritmo que se le presente. Conocer y clasificar una diversidad de algoritmos clásicos dentro de
su contexto, (por ejemplo, ordenamiento, búsqueda o recorrido en grafos, etc.). Conocer los
fundamentos de los lenguajes formales y con ello las sentencias básicas de SQL.
Metodología: Para cumplir con los objetivos se realizan las clases mediante la presentación de los
contenidos, fundamentos y algoritmos con ejemplos típicos de los temas y aplicaciones asociadas
a la computación. Al mismo tiempo el alumno tiene una sesión de ejercicios en donde pone en
práctica otro tipo de problemas o refuerza los conceptos brindados en clase. Se cuenta también con
un set de problemas realizados en años anteriores con el fin de marcar un estándar de los temas
que se evalúan y la forma de las preguntas.
Evaluaciones:
3 Pruebas, con un mismo valor c/u. (total 100%).
Prueba nº1. 25 de Abril (Viernes)
Prueba nº2. 30 de Mayo (Viernes)
Prueba nº3. 27 de Junio (Viernes)
Examen. Por definir.
(Las Pautas de Corrección de pruebas de años anteriores, las encuentra en la secretaría de la
Escuela.)
Tabla de Contenidos (TEORIA)
Cap. 0 Se entrega una introducción y como los contenidos sustentan otras asignaturas del plan de
estudio de la carrera.
Cap. 1 Introducción a los Algoritmos. Algoritmos recursivos, Complejidad de los algoritmos,
Análisis de los algoritmos.
________________________________________________________________________
Dr. Eric Jeltsch F. Escuela Ingeniería en Computación, Universidad de La Serena.
1
Fundamentos Informática Teórica(FIT)
Dr. Eric Jeltsch F.
Cap. 2 Conteo, Permutaciones y Combinatoria, algoritmos para generar permutaciones.
Coeficientes Binomiales.
Cap. 3 Relaciones de Recurrencia. Tipos, Planteo y Métodos de resolución de recurrencias.
(Formulario de Ayuda)
Cap. 4 Funciones Generatrices y otros métodos. Aplicaciones al análisis de algoritmos,
Algoritmos Dividir para Conquistar.
Tentativo: Hasta aquí los contenidos para Prueba nº 1.
Cap. 5 Grafos. Grafos dirigidos y no-dirigidos, Caminos, Ciclos, Ciclos de Euler, Camino
Hamiltoniano. Algoritmos clásicos y sus aplicaciones. Las Redes Sociales es un buen tema de
introducción para grafos, así como su aplicación en Ingeniería de Software (Testing).
Cap. 6 Isomorfismo de grafos, representación de los grafos, matrices de adyacencia. Lectura de los
grafos, algoritmos clásicos de búsqueda en profundidad y búsqueda a lo ancho, ruta más corta,
Algoritmos Greedy.
Cap. 7 Arboles. Arbol de expansión, árbol expandido minimal, árboles binarios, árboles de
busqueda binario, AVL, B-tree, Red-Black.
Cap. 8 Lectura de un árbol. Algoritmos clásicos en lectura (in, post, pre)-orden. Inserción y
Borrado en los árboles clásicos.
Cap. 9 Algoritmos de Ordenamiento. Algoritmos Burbuja, Inserción, MergeSort. Análisis de sus
costos, número de comparaciones, intercambios.
Tentativo: Hasta aquí los contenidos para Prueba nº 2.
Cap. 10 Introducción a las gramáticas formales y máquinas secuenciales con y sin salida. Por
ejemplo, Máquinas de Moore, Máquinas de Mealy.
Cap. 11 Gramáticas Regulares y su relación con Autómatas de Estado Finito. Aplicación en la
construcción de analizadores lexicográficos en el proceso de construcción de compiladores.
Cap. 12 Bases de Datos como estructura y ejemplo de lenguaje formal de consulta SQL, bases de
datos deductivas.
Cap. 13 Campos de aplicación. Se menciona la importancia de los temas abordados en el contexto
de la BioInformática y la TeleMedicina, pero se dirigen al tema de interoperabilidad semántica.
Cap. 14 Visión a futuro.
Tentativo: Hasta aquí los contenidos para Prueba nº 3.
Bibliografía: (*) texto guía, es decir 80% del curso está basado en ellos.
________________________________________________________________________
Dr. Eric Jeltsch F. Escuela Ingeniería en Computación, Universidad de La Serena.
2
Fundamentos Informática Teórica(FIT)
Dr. Eric Jeltsch F.
(*) R. Johnsonbaugh, "Matemáticas Discretas" Prentice Hall-Pearson, 4Ed. 1999.
(*) R. Grimaldi, "Matemáticas Discretas y Combinatoria", Addison Wesley-Longman,
3Ed.1994.
(*) Rosen, "Matemática Discreta",McGraw-Hill, 2004, 5º Edición.
K. Ross, C. Wright, "Matemáticas Discretas" Prentice Hall-Pearson, 2Ed. 1990.
W. Grassmann, J-P.Tremblay, "Matemáticas Discretas y Lógica", Prentice Hall, 1998.
Cormen, Leiserson, Rivest, "Introduction to algorithms", McGraw-Hill, 1990.
Material Web de apoyo:
(R. Johnsonbaugh) http://condor.depaul.edu/~rjohnson/dm5th/
(K. Rosen)
http://www.mhhe.com/math/advmath/rosen/
Otros Links: http://remus.rutgers.edu/~rhoads/links.html
________________________________________________________________________
Dr. Eric Jeltsch F. Escuela Ingeniería en Computación, Universidad de La Serena.
3
0
