EGEL Plus de Ciencias Computacionales 2026: temario, estructura y diagnóstico

Complejidad temporal y espacial

Notación O grande para describir cómo crece el tiempo o la memoria que usa un algoritmo conforme crece la entrada. En el examen se presenta como comparar dos algoritmos que resuelven el mismo problema y decidir cuál escala mejor. Se confunde la complejidad del mejor caso con la del peor caso, y un ciclo anidado con complejidad cuadrática se confunde con uno lineal cuando el segundo ciclo recorre una porción decreciente de datos.

Árboles, grafos y tablas hash

Estructuras no lineales: árboles binarios de búsqueda, balanceo, recorridos (in-orden, pre-orden, post-orden), grafos dirigidos y no dirigidos, y tablas hash con manejo de colisiones. El examen suele pedir identificar qué estructura conviene para un caso de uso (búsqueda rápida por clave, jerarquía, rutas). El error típico es olvidar que un árbol de búsqueda binaria no balanceado puede degenerar en una lista, con complejidad lineal en el peor caso.

Sistemas numéricos y matrices

Conversión entre bases (binario, octal, decimal, hexadecimal), aritmética binaria y operaciones matriciales básicas usadas en algoritmos. Se confunde el complemento a dos con el complemento a uno al representar números negativos, y la multiplicación de matrices con la multiplicación elemento a elemento.

Lógica proposicional y álgebra de Boole

Tablas de verdad, leyes de De Morgan, simplificación de expresiones booleanas y reglas de inferencia (modus ponens, modus tollens). Aparece como simplificar una condición de código o evaluar la validez de un argumento. El error común es aplicar De Morgan solo a un operador de la expresión y dejar el resto sin negar.

Arquitectura de Von Neumann y gestión de procesos

El ciclo de instrucción (fetch-decode-execute), la memoria compartida entre datos y programa, y cómo el sistema operativo reparte el procesador entre procesos e hilos mediante planificación. Se pregunta qué componente ejecuta cada paso del ciclo o qué pasa cuando dos hilos compiten por el mismo recurso. Se confunde un proceso (con su propio espacio de memoria) con un hilo (que comparte memoria con otros hilos del mismo proceso).

Administración de memoria

Paginación, segmentación y memoria virtual: cómo el sistema operativo traduce direcciones lógicas a físicas y qué pasa cuando no hay marco libre (falla de página). El error frecuente es tratar la memoria virtual como si fuera memoria física adicional en lugar de un espacio de direcciones que se respalda en disco.

Fases de un compilador

Análisis léxico (tokens con expresiones regulares), análisis sintáctico (gramáticas y árboles de derivación), análisis semántico y generación de código intermedio, con los autómatas finitos como base del reconocimiento de patrones. Se confunde un error léxico (un símbolo que no forma parte del alfabeto del lenguaje) con un error sintáctico (una secuencia de símbolos válidos que no respeta la gramática).

Modelos OSI y TCP/IP

Las siete capas del modelo OSI frente a las cuatro del modelo TCP/IP, y qué protocolo corresponde a cada capa (IP en red, TCP/UDP en transporte, HTTP o DNS en aplicación). El examen pide ubicar un protocolo o un problema de red en la capa correcta. El error típico es asignar TCP a la capa de red por confundirlo con IP, cuando TCP opera en transporte.

Ciclo de vida del software y modelado con UML

Modelos en cascada, iterativo e incremental, y ágil, con los diagramas de UML (casos de uso, clases, secuencia) para representar requerimientos y diseño. Se pregunta qué diagrama conviene para documentar una interacción entre objetos o un flujo de actores. El error común es usar un diagrama de clases para representar el orden temporal de mensajes, que corresponde a un diagrama de secuencia.

Paradigmas de programación y herencia

Programación imperativa, funcional y orientada a objetos; dentro de esta última, herencia, polimorfismo y encapsulamiento. El examen plantea un fragmento de diseño y pide identificar el paradigma o el principio aplicado. Se confunde la sobrecarga de métodos (mismo nombre, distinta firma, resuelta en tiempo de compilación) con la sobreescritura (redefinición en una subclase, resuelta en tiempo de ejecución).

Modelo entidad-relación y normalización

Del diagrama entidad-relación al esquema relacional, y las formas normales (1FN, 2FN, 3FN) para eliminar redundancia y anomalías de actualización. Se pregunta si un esquema dado cumple una forma normal o qué anomalía produce. El error frecuente es confundir una dependencia funcional parcial (viola 2FN) con una dependencia transitiva (viola 3FN).

Criptografía simétrica y asimétrica

La simétrica usa una sola clave compartida (rápida, para cifrar volúmenes grandes); la asimétrica usa un par de claves pública y privada (más lenta, útil para intercambio de claves y firma digital). El examen pide identificar cuál conviene en un escenario de comunicación. El error típico es creer que la firma digital cifra el mensaje completo, cuando en realidad cifra un resumen (hash) del mensaje con la clave privada del firmante.

Representación del conocimiento y búsqueda heurística

Reglas de producción, redes semánticas y frames para representar conocimiento en un sistema experto, y algoritmos de búsqueda informada (como A*) que usan una función heurística para explorar menos estados que una búsqueda ciega. Se confunde el encadenamiento hacia adelante (parte de los hechos y deriva conclusiones) con el encadenamiento hacia atrás (parte de una hipótesis y busca los hechos que la sustenten).

Aprendizaje supervisado y no supervisado

El supervisado entrena con datos etiquetados para predecir una salida conocida; el no supervisado busca patrones en datos sin etiqueta, como el agrupamiento (clustering) o el algoritmo de k vecinos más cercanos usado para clasificar. El error común es tratar k-means (no supervisado, agrupa) como si fuera un clasificador supervisado.

Descubrimiento de conocimiento y preprocesamiento

El proceso KDD (selección, preprocesamiento, transformación, minería, interpretación) y por qué el preprocesamiento (limpiar valores faltantes, normalizar escalas) suele consumir más tiempo que el algoritmo de minería en sí. Se confunde la minería de datos, una etapa del proceso, con el proceso completo de KDD.

Cómputo distribuido y tolerancia a fallas

Procesamiento paralelo, comunicación entre procesos y qué mecanismos permiten que un sistema siga funcionando cuando falla un nodo (redundancia, replicación). El examen distingue el cómputo en la nube (recursos bajo demanda de un proveedor) del grid computing (recursos distribuidos de varias organizaciones que colaboran en una tarea).