¿Que significa la sigla SLD?

¿Cuales son las Dirección de la Búsqueda?

¿Que es una búsqueda de grafo?

¿Que es un problema?

¿Cuando decimos que una expresión se encuentra en su forma normal?

¿Que es una variable libre en lambda?

¿Que es una variable ligada en lambda?

¿Cuales son los Ordenes de evaluación de parámetros?

¿Como se puede realizar el paso de parametros?

¿Cuales son los métodos de Búsquedas?

¿Que es deducción?

¿Que son las Proposiciones?

¿Que es un enlace?

¿Que es alcanze?

¿Que es un parámetro formal?

¿Que es un parámetro actual?

¿Cuales son los niveles de polimorfismo?

¿Que es el encapsulamiento?

¿Que son los Procesador de lenguaje?

¿Que es un copilador?

¿Que es un interprete?

¿Que es Análisis Léxico?

¿Que es Análisis Sintáctico?

¿que es Regla de Resolución?

¿Que son las clausulas de Horm?

¿Que es sistema de tipos?

¿Que es un Unificador?

¿Cual es la diferencia entre sobrecarga y polimorfismo?

¿Que es sobrecarga?

¿Qué es el polimorfismo?

Captura de Variable

Equivalencia de expresiones

¿Que es Búsqueda?

¿Como se clasifica la sobrecarga?

¿que es conversiones de tipos?

¿Como se clasifica la conversión de tipos?

Alcance Estático

Control de Tipos Estático

Control de tipos Dinámico

¿Que es mundo cerrado?

¿Cuales son los componentes de Sistemas de Producción?

¿Que es una Fórmulas Bien Formadas?

¿Que es la Completitud?

¿Que son los valores?

¿Que son los tipos de datos?

¿Que es un paradigma?

¿Que es un paradigma de programación?