clase

01 oct 2026

• clase

01 oct 2026

• clase
• inteligencia-artificial

01 oct 2026

• clase
• inteligencia-artificial
• agentes
• busqueda

01 oct 2026

• clase
• inteligencia-artificial
• busqueda-local
• metaheuristicas

01 oct 2026

• clase
• inteligencia-artificial
• logica-primer-orden
• inferencia
• resolucion
• unificacion
• skolemizacion
• prolog

01 oct 2026

• clase
• inteligencia-artificial
• representacion-conocimiento
• ontologias
• web-semantica
• planificacion
• strips
• planes-parcialmente-ordenados
• prolog
• repaso-examen

01 oct 2026

• clase

01 oct 2026

• clase
• programacion-avanzada
• verificacion-formal
• logica-de-hoare
• induccion
• invariantes
• ciclos

27 sept 2026

• clase
• programacion-avanzada
• verificacion-formal
• logica-de-hoare
• ternas-de-hoare

27 sept 2026

• clase
• programacion-avanzada
• verificacion-formal
• logica-de-hoare
• invariantes
• condicionales

27 sept 2026

• clase
• programacion-avanzada
• recursion
• induccion
• verificacion-formal
• logica-de-hoare

26 sept 2026

• clase
• algoritmos
• grafos
• biparticion
• digrafos
• conectividad-fuerte

26 sept 2026

• clase
• algoritmos
• grafos
• dag
• ordenamiento-topologico
• complejidad

26 sept 2026

• clase
• algoritmos
• grafos
• dag
• ordenamiento-topologico
• dfs
• conectividad-fuerte
• scc
• condensacion
• complejidad

26 sept 2026

• clase
• algoritmos
• grafos
• bfs
• dfs
• conectividad-fuerte
• componentes-fuertemente-conexas
• kosaraju
• greedy
• cambio-de-monedas

26 sept 2026

• clase
• inteligencia-artificial
• incertidumbre
• expectimax
• utilidad-esperada
• toma-de-decisiones

26 sept 2026

• clase
• inteligencia-artificial
• agentes-logicos
• logica-proposicional
• satisfacibilidad
• wumpus
• inferencia
• csp

26 sept 2026

• clase
• algoritmos

26 sept 2026

• clase
• algoritmos

26 sept 2026

• clase
• algoritmos

26 sept 2026

• clase
• algoritmos
• gale-shapley
• demostraciones

26 sept 2026

• clase
• algoritmos
• complejidad
• notacion-asintotica

26 sept 2026

• clase
• algoritmos
• gale-shapley
• complejidad
• estructuras-de-datos

26 sept 2026

• clase
• algoritmos
• induccion
• invariantes
• correccion

26 sept 2026

• clase
• algoritmos
• grafos

26 sept 2026

• clase
• inteligencia-artificial
• busqueda
• heuristicas

26 sept 2026

• clase
• inteligencia-artificial
• busqueda-informada
• a-estrella
• heuristicas

26 sept 2026

• clase
• inteligencia-artificial
• csp
• backtracking
• propagacion-de-restricciones

26 sept 2026

• clase
• inteligencia-artificial
• busqueda-adversaria
• minimax
• alfa-beta

26 sept 2026

• clase
• inteligencia-artificial
• logica-proposicional
• inferencia
• horn
• resolucion
• fnc

26 sept 2026

• clase
• modelacion-matematica

26 sept 2026

• clase
• modelacion-matematica

26 sept 2026

• clase
• modelacion-matematica
• ecuaciones-diferenciales
• metodos-numericos

26 sept 2026

• clase
• modelacion-matematica
• metodos-numericos
• metodo-de-euler

26 sept 2026

• clase

26 sept 2026

• clase
• programacion-avanzada
• lenguajes-de-programacion
• diseño-de-software

26 sept 2026

• clase
• programacion-avanzada
• divide-y-venceras
• quicksort
• backtracking

26 sept 2026

• clase
• programacion-avanzada
• backtracking
• ocho-reinas
• cuadros-magicos

26 sept 2026

• clase
• programacion-avanzada
• programacion-logica
• prolog
• resolucion
• clausulas-horn

26 sept 2026

• clase
• programacion-avanzada
• programacion-logica
• prolog
• unificacion
• backtracking
• corte