PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
concepto
148 artículos con esta etiqueta.
27 sept 2026
Axioma de asignación de Hoare
concepto
programacion
logica-de-hoare
asignacion
27 sept 2026
Condición de verificación
concepto
programacion
logica-de-hoare
verificacion-formal
27 sept 2026
Precondición más débil
concepto
programacion
logica-de-hoare
verificacion-formal
26 sept 2026
Aceptación diferida
concepto
algoritmos
26 sept 2026
Acoplamiento
concepto
programacion-avanzada
diseño-modular
26 sept 2026
Agente basado en conocimiento
concepto
inteligencia-artificial
agentes
representacion-conocimiento
26 sept 2026
Agente de resolución de problemas
concepto
inteligencia-artificial
busqueda
26 sept 2026
Agente planificador
concepto
inteligencia-artificial
agentes
planeacion
26 sept 2026
Agente por reflejo
concepto
inteligencia-artificial
agentes
26 sept 2026
Agente racional
concepto
inteligencia-artificial
agentes
26 sept 2026
Algoritmo A estrella
concepto
inteligencia-artificial
busqueda
heuristicas
26 sept 2026
Algoritmo AC-3
concepto
inteligencia-artificial
csp
ac3
propagacion-de-restricciones
26 sept 2026
Algoritmo aleatorio
concepto
algoritmos
diseno
probabilidad
26 sept 2026
Algoritmo de Gale-Shapley
concepto
algoritmos
26 sept 2026
Algoritmo de ordenamiento topológico
concepto
algoritmos
grafos
dag
complejidad
26 sept 2026
Algoritmo voraz
concepto
algoritmos
diseno
26 sept 2026
Algoritmo
concepto
algoritmos
fundamentos
26 sept 2026
Análisis de mejor y peor caso
concepto
algoritmos
complejidad
26 sept 2026
Arquitectura MVC (Model-View-Controller)
concepto
programacion-avanzada
arquitectura
web
26 sept 2026
Arquitectura de software
concepto
programacion-avanzada
arquitectura
26 sept 2026
Aserción de programa
concepto
programacion
logica
verificacion-formal
26 sept 2026
Backtracking en Prolog
concepto
programacion
prolog
backtracking
programacion-logica
26 sept 2026
Backtracking
concepto
algoritmos
busqueda
recursion
26 sept 2026
Balance de tasas
concepto
modelacion-matematica
ecuaciones-diferenciales
26 sept 2026
Base de conocimiento
concepto
inteligencia-artificial
logica
representacion-conocimiento
26 sept 2026
Búsqueda de costo uniforme
concepto
inteligencia-artificial
busqueda
costos
26 sept 2026
Búsqueda de profundidad iterativa
concepto
inteligencia-artificial
busqueda
26 sept 2026
Búsqueda en anchura
concepto
inteligencia-artificial
busqueda
26 sept 2026
Búsqueda en profundidad
concepto
inteligencia-artificial
busqueda
26 sept 2026
Búsqueda en árbol y búsqueda en grafo
concepto
inteligencia-artificial
busqueda
26 sept 2026
Búsqueda lineal
concepto
algoritmos
busqueda
26 sept 2026
Búsqueda no informada
concepto
inteligencia-artificial
busqueda
26 sept 2026
Búsqueda voraz primero el mejor
concepto
inteligencia-artificial
busqueda
heuristicas
26 sept 2026
Ciclo de modelación
concepto
modelacion-matematica
26 sept 2026
Clasificación de modelos matemáticos
concepto
modelacion-matematica
26 sept 2026
Cláusula de Horn
concepto
inteligencia-artificial
logica
clausulas-horn
26 sept 2026
Cohesión
concepto
programacion-avanzada
diseño-modular
26 sept 2026
Complejidad espacial
concepto
algoritmos
complejidad
26 sept 2026
Complejidad temporal
concepto
algoritmos
complejidad
26 sept 2026
Conectividad fuerte
concepto
algoritmos
grafos
conectividad
26 sept 2026
Consistencia de arcos
concepto
inteligencia-artificial
csp
propagacion-de-restricciones
26 sept 2026
Construcción por patrones
concepto
algoritmos
patrones
26 sept 2026
Corrección parcial y corrección total
concepto
programacion
correccion
terminacion
logica-de-hoare
26 sept 2026
Corte (cut) en Prolog
concepto
programacion
prolog
backtracking
programacion-logica
26 sept 2026
Crecimiento exponencial
concepto
modelacion-matematica
ecuaciones-diferenciales
26 sept 2026
Crecimiento logístico
concepto
modelacion-matematica
ecuaciones-diferenciales
26 sept 2026
Criterios de evaluación de algoritmos de búsqueda
concepto
inteligencia-artificial
busqueda
complejidad
26 sept 2026
Cuadro mágico
concepto
algoritmos
combinatoria
26 sept 2026
Divide y vencerás
concepto
algoritmos
diseno
26 sept 2026
Eficiencia algorítmica
concepto
algoritmos
complejidad
26 sept 2026
Emparejamiento con capacidades
concepto
algoritmos
26 sept 2026
Emparejamiento estable
concepto
algoritmos
26 sept 2026
Emparejamiento perfecto
concepto
algoritmos
26 sept 2026
Entorno de tarea
concepto
inteligencia-artificial
agentes
26 sept 2026
Espacio de estados
concepto
inteligencia-artificial
busqueda
26 sept 2026
Estado de programa
concepto
programacion
semantica
verificacion-formal
26 sept 2026
Estandarización aparte de variables
concepto
inteligencia-artificial
logica-primer-orden
variables
resolucion
26 sept 2026
Experimento computacional
concepto
modelacion-matematica
computacion-cientifica
26 sept 2026
Factor de ramificación
concepto
inteligencia-artificial
busqueda
complejidad
26 sept 2026
Forma normal conjuntiva en lógica de primer orden
concepto
inteligencia-artificial
logica-primer-orden
forma-normal-conjuntiva
resolucion
26 sept 2026
Formulación de un problema de búsqueda
concepto
inteligencia-artificial
busqueda
26 sept 2026
Fortaleza lógica de una aserción
concepto
logica
aserciones
logica-de-hoare
26 sept 2026
Forward checking
concepto
inteligencia-artificial
csp
backtracking
propagacion-de-restricciones
26 sept 2026
Frontera de búsqueda
concepto
inteligencia-artificial
busqueda
26 sept 2026
Función 91 de McCarthy
concepto
programacion
recursion
induccion
verificacion-formal
26 sept 2026
Función de Ackermann
concepto
programacion
recursion
induccion
verificacion-formal
26 sept 2026
Función sucesor
concepto
inteligencia-artificial
busqueda
26 sept 2026
Función variante
concepto
programacion
logica-de-hoare
terminacion
ciclos
26 sept 2026
Grafo bipartito
concepto
algoritmos
grafos
coloracion
26 sept 2026
Grafo de espacio de estados
concepto
inteligencia-artificial
busqueda
grafos
26 sept 2026
Grafo dirigido acíclico
concepto
algoritmos
grafos
dag
26 sept 2026
Grafo dirigido
concepto
algoritmos
grafos
digrafos
26 sept 2026
Grafo
concepto
algoritmos
grafos
estructuras-discretas
26 sept 2026
Gramática formal
concepto
programacion-avanzada
lenguajes-formales
26 sept 2026
Gráfica de componentes conexas
concepto
algoritmos
grafos
dag
conectividad-fuerte
scc
26 sept 2026
Habitación china
concepto
inteligencia-artificial
filosofia-de-la-mente
26 sept 2026
Heurística MRV
concepto
inteligencia-artificial
csp
heuristicas
ordenamiento
26 sept 2026
Heurística
concepto
inteligencia-artificial
busqueda
heuristicas
26 sept 2026
IA fuerte e IA débil
concepto
inteligencia-artificial
filosofia-de-la-mente
inteligencia-artificial-general
26 sept 2026
Inducción matemática aplicada a ciclos
concepto
programacion
verificacion-formal
induccion
ciclos
26 sept 2026
Invariante de ciclo
concepto
algoritmos
correccion
26 sept 2026
Invariante de programa
concepto
programacion
logica-de-hoare
invariantes
26 sept 2026
Jerarquía de Chomsky
concepto
programacion-avanzada
lenguajes-formales
26 sept 2026
Lenguaje de programación
concepto
programacion-avanzada
lenguajes
26 sept 2026
Lenguajes compilados
concepto
programacion-avanzada
compilacion
26 sept 2026
Lenguajes declarativos
concepto
programacion-avanzada
paradigmas
26 sept 2026
Lenguajes imperativos
concepto
programacion-avanzada
paradigmas
26 sept 2026
Lenguajes interpretados
concepto
programacion-avanzada
interpretacion
26 sept 2026
Ley de enfriamiento de Newton
concepto
modelacion-matematica
ecuaciones-diferenciales
26 sept 2026
Lógica de primer orden
concepto
inteligencia-artificial
logica-primer-orden
representacion-conocimiento
26 sept 2026
Lógica proposicional
concepto
inteligencia-artificial
logica
formalismo
26 sept 2026
Modelo en lógica proposicional
concepto
inteligencia-artificial
semantica
modelos
26 sept 2026
Modelo matemático
concepto
modelacion-matematica
26 sept 2026
Mundo del Wumpus
concepto
inteligencia-artificial
entorno-de-tarea
peas
wumpus
26 sept 2026
Máquina de Turing
concepto
inteligencia-artificial
computabilidad
algoritmos
26 sept 2026
Método de Euler
concepto
modelacion-matematica
metodos-numericos
ecuaciones-diferenciales
26 sept 2026
Negación como falla
concepto
programacion
prolog
logica
programacion-logica
26 sept 2026
Nodo de búsqueda
concepto
inteligencia-artificial
busqueda
26 sept 2026
Ordenamiento de hot cakes
concepto
algoritmos
ordenamiento
26 sept 2026
Ordenamiento topológico
concepto
algoritmos
grafos
dag
ordenamiento
26 sept 2026
P versus NP
concepto
algoritmos
complejidad
p-np
26 sept 2026
Par inestable
concepto
algoritmos
26 sept 2026
Paradigma de diseño de algoritmos
concepto
algoritmos
diseno
26 sept 2026
Paradigma de programación
concepto
programacion-avanzada
paradigmas
26 sept 2026
Patrón de diseño
concepto
programacion-avanzada
patrones
26 sept 2026
Pesimista para estudiantes
concepto
algoritmos
26 sept 2026
Poda del espacio de búsqueda
concepto
algoritmos
busqueda
26 sept 2026
Pregunta modelable
concepto
modelacion-matematica
26 sept 2026
Principio de inducción matemática modificado
concepto
programacion
induccion
recursion
verificacion-formal
26 sept 2026
Problema de la parada
concepto
inteligencia-artificial
computabilidad
algoritmos
indecidibilidad
26 sept 2026
Problema de las ocho reinas
concepto
algoritmos
backtracking
26 sept 2026
Profundidad máxima de un árbol de búsqueda
concepto
inteligencia-artificial
busqueda
complejidad
26 sept 2026
Programación dinámica
concepto
algoritmos
diseno
26 sept 2026
Programación estructurada
concepto
programacion-avanzada
diseño
26 sept 2026
Programación modular
concepto
programacion-avanzada
diseño-modular
26 sept 2026
Prolog
concepto
inteligencia-artificial
prolog
programacion-logica
26 sept 2026
Prueba de Turing
concepto
inteligencia-artificial
26 sept 2026
Prueba de bipartición por BFS
concepto
algoritmos
grafos
bfs
26 sept 2026
Prueba de meta
concepto
inteligencia-artificial
busqueda
26 sept 2026
QuickSort
concepto
algoritmos
ordenamiento
divide-y-venceras
26 sept 2026
Regla condicional de Hoare
concepto
programacion
logica-de-hoare
condicionales
26 sept 2026
Regla de composición de Hoare
concepto
programacion
logica-de-hoare
verificacion-formal
26 sept 2026
Regla de consecuencia de Hoare
concepto
programacion
logica-de-hoare
inferencia
26 sept 2026
Reglas de conjunción y disyunción de Hoare
concepto
programacion
logica-de-hoare
inferencia
26 sept 2026
Resolución SLD
concepto
inteligencia-artificial
prolog
resolucion-sld
clausulas-horn
26 sept 2026
Resolución de primer orden
concepto
inteligencia-artificial
logica-primer-orden
resolucion
refutacion
26 sept 2026
Satisfacibilidad de circuitos
concepto
algoritmos
complejidad
satisfacibilidad
26 sept 2026
Satisfacibilidad proposicional
concepto
inteligencia-artificial
sat
csp
complejidad
26 sept 2026
Skolemización
concepto
inteligencia-artificial
logica-primer-orden
skolemizacion
26 sept 2026
Socio válido
concepto
algoritmos
26 sept 2026
Solución analítica y solución numérica
concepto
modelacion-matematica
metodos-numericos
26 sept 2026
Supuesto de modelación
concepto
modelacion-matematica
26 sept 2026
Sustitución lógica
concepto
inteligencia-artificial
logica-primer-orden
sustitucion
26 sept 2026
Teorema de Böhm-Jacopini
concepto
programacion-avanzada
control
26 sept 2026
Terminación de un algoritmo
concepto
algoritmos
correccion
26 sept 2026
Terna de Hoare
concepto
programacion
logica-de-hoare
verificacion-formal
26 sept 2026
Tiempo polinomial
concepto
algoritmos
complejidad
26 sept 2026
Unificación
concepto
inteligencia-artificial
logica-primer-orden
unificacion
26 sept 2026
Utilidad esperada
concepto
inteligencia-artificial
decision
26 sept 2026
Validación de un modelo
concepto
modelacion-matematica
validacion
26 sept 2026
Validez de un algoritmo
concepto
algoritmos
correccion
26 sept 2026
Valor menos restrictivo
concepto
inteligencia-artificial
csp
heuristicas
ordenamiento
26 sept 2026
Variable y parámetro de un modelo
concepto
modelacion-matematica
26 sept 2026
Verificación formal de programas
concepto
programacion
verificacion-formal
correccion
26 sept 2026
Vinculación lógica
concepto
inteligencia-artificial
logica
inferencia
26 sept 2026
Volteo de prefijo
concepto
algoritmos
operaciones
26 sept 2026
Árbol de búsqueda
concepto
inteligencia-artificial
busqueda
arboles
26 sept 2026
Óptimo para hospitales
concepto
algoritmos