Gua de estudio para el examen al Posgrado de Computacin

Se indica el porcentaje de preguntas por cada tema general incluido en el examen. Son tres temas generales. El examen
consiste de 90 preguntas de opcin mltiple a contestar en tres horas.

1SISTEMAS DE SOFTWARE Y METODOLOGIA (25 %)

1.1Organizacin de datos
1.1.1Tipos de datos abstractos (por ejemplo: pilas, colas, listas, cadenas de caracteres, rboles, conjuntos).
1.1.2Implementacin de tipos de datos (por ejemplo: apuntadores, hashing, codificacin, empaquetamiento, aritmtica
de direcciones).
1.1.3Organizacin de archivos (por ejemplo: tipos de archivos, mtodos de acceso, permisos, etc.).
1.1.4Modelos de datos (por ejemplo: jerrquico, relacional, red, etc.).
1.2Organizacin del control de un programa.
1.2.1Iteraccin y recursin.
1.2.2Funciones y procedimientos (por ejemplo: declaraciones, paso de parmetros, etc.).
1.2.3Procesos concurrentes, comunicacin y sincronizacin entre procesos.
1.3Metodologa y lenguajes de programacin.
1.3.1Diseo orientado a objetos, de arriba abajo, etc.
1.3.2Estructuras de datos (ver punto 1.1.1) y estructuras de control (por ejemplo: if, While, do-while, switch).
1.3.3Lenguajes funcionales, declarativos, imperativos y orientado a objetos.
1.3.4Evaluacin de expresiones (por ejemplo: aritmticas, lgicas, por eliminacin, por orden de evaluacin, etc.).
1.4Sistemas
1.4.1Compiladores, sistemas operativos, cargadores, ligadores (por ejemplo: tipos, etapas, etc.).
1.4.2Manejo de recursos (por ejemplo: calendarizacin de procesos, administracin de la memoria principal, manejo de
memoria virtual).
1.4.3Ingeniera de software.
1.4.4Base de datos (por ejemplo: tipos, normalizacin, implementacin, etc.).

2ORGANIZACIN Y ARQUITECTURA DE COMPUTADORAS (25 %)

2.1Diseo Lgico.
2.1.1Diseo e implementacin de circuitos secuenciales y combinatorios.
2.1.2Propiedades funcionales de circuitos digitales integrados.
2.2Procesadores y unidades de control.
2.2.1Arquitectura de procesadores (por ejemplo: RISC, CISC, etc.).
2.2.2Conjuntos de instrucciones, organizacin de registros y de la unidad aritmtico-lgica (ALU).
2.3Memorias y su jerarqua.
2.3.1Velocidad, capacidad y costo.
2.3.2Tipos de memorias (por ejemplo: cach, principal, secundaria, etc.).
2.3.3Paginacin y segmentacin.
2.4Dispositivos de Entrada/Salida y sus interfaces.
2.4.1Caractersticas funcionales y capacidades.
2.4.2Mecanismo de acceso, interrupciones.
2.5Redes de computadoras.
2.5.1Tipos de redes de computadoras.
2.5.2Principios de redes y protocolos.
2.5.3Recursos distribuidos.

3MATEMATICAS COMPUTACIONALES (25%)

3.1Estructuras discretas --- elementos bsicos de:
3.1.1Relaciones de recurrencia.
3.1.2Lgica matemtica incluyendo lgebra booleana.
3.1.3Teora de grafos.
3.1.4Teora de conjuntos.
3.1.5Teora de conteo (por ejemplo: permutaciones, combinaciones, etc.).
3.1.6Teora de nmeros (por ejemplo: factorizacin, divisibilidad, nmeros primos, nmero enteros, etc.).
3.2Matemticas numricas.
3.2.1Aritmtica de computadora.
3.2.2lgebra lineal.
3.2.3Funciones (por ejemplo: tipos, soluciones, etc.).
3.3Probabilidad y estadstica.

file:///C|/Users/vinculacion/Desktop/guia.html[17/02/2014 11:35:05]

3.3.1Distribuciones y eventos.
3.3.2Estimaciones.
4TEORA DE LA COMPUTACIN (25 %)
4.1Teora de autmatas y lenguajes.
4.1.1Lenguajes regulares (por ejemplo: autmatas finitos, autmatas finitos no determinsticos, expresiones regulares).
4.1.2Lenguajes libres de contexto (por ejemplo: notaciones para gramticas, propiedades como vaciedad, ambigedad).
4.1.3Clases especiales de gramticas libres de contexto (por ejemplo: LL, LR, precedencia).
4.1.4Mquinas de Turing y decidibilidad.
4.1.5Procesadores de lenguajes formales (por ejemplo: analizadores lxicos y generadores de analizadores lxicos).
4.2Especificacin correcta de programas.
4.2.1Especificacin formal y afirmaciones (por ejemplo: pre- y post-afirmaciones, elementos no variables en ciclos,
relaciones no variables de estructuras de datos).
4.2.2Tcnicas de verificacin (por ejemplo: transformadores de predicados, axiomas de Hoare).
4.3Anlisis de algoritmos.
4.3.1Anlisis exacto y asinttico del mejor caso, del peor caso o del caso promedio de la complejidad del tiempo y
espacio de algoritmos especficos.
4.3.2Lmite alto y bajo de la complejidad de problemas especficos.
4.3.3Completitud NP.

Bibliografa
Sistemas de sofware y metodologa
1N. Wirth, Algoritmos + estructuras de datos = programas. Ed. Dossat, 1999.
2C. J. Date. An Introduction to Data Base Systems. Addison-Wesley, 2003.
3M. Ben-Ari. Understanding Programming Languages. John Wiley and Sons, 1996.
4B. W. Kernighan y D. M. Ritchie. El Lenguaje de Programacin C. Prentice Hall Hispanoamericana, 1988.
5A. Tanenbaum y A. S. Woodhull, Operating Systems: Design and Implementation, Prentice-Hall 2006.
6A. V Aho. Compiladores, Principios, Tcnicas y Herramientas. Addison-Wesley Longman, 2000.
Organizacin y arquitectura de computadoras
7M. M. Mano. Lgica Digital y Diseo de Computadoras. Prentice-Hall, 1989.
8D. A. Patterson y J. L. Hennessy. Computer Organization & Design: The Harware/Software Interface. Morgan
Kaufmann Publisher, 1998.
9A. S. Tanenbaum. Computer Networks. Prentice Hall, 2002.
Matematicas computacionales
10K. Ross y Ch. Wright. Matemticas Discretas. Prentice Hall Hispanoamericana S.A, 1992.
11E. Mendelson. Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software, 1997.
12Carnahan. Applied Numerical Methods. McGraw-Hill, 1969.
13B. Noble y J. Daniel. Algebra Lineal Aplicada. Prentice Hall Hispanoamericana S.A, 1989.
Teora de la computacin
14D. Gries. The Science of Programming. Springer-Verlag, 1998.
15A. V. Aho, J. E. Hopcroft y J. D. Ullman. The Design and Analysis of Algorithms. Addison-Wesley, 1998.
16J. E. Hopcroft, R. Motwani y J. D. Ullman, Introduction to Automata Theory, Languages, and Computation,
Addison-Wesley, 2000.
17J. Martin, Introduction to Languages and the Theory of Computation, McGraw-Hill, 2003.