Quiz
Untitled
Create a free account to finish this quiz
Save your progress and see your final score.
Already have an account? Sign in
Questions in this quiz (55)
1¿Cuál de los siguientes paradigmas describe la Programación Declarativa?
- ABasado en clases y objetos
- BBasado en funciones matemáticas y lógica
- CBasado en estructuras iterativas
- DBasado en la asignación destructiva
2¿Qué propiedad caracteriza a la transparencia referencial en la Programación Funcional?
- ALas variables pueden cambiar su valor
- BEl valor de una función depende únicamente de sus argumentos
- CLos bucles son fundamentales para la ejecución
- DSe permite el uso de efectos secundarios
3¿Qué significa "currificación" en el contexto de Haskell?
- AConvertir una función de varios argumentos en una cadena de funciones de un argumento
- BDividir un programa en submódulos independientes
- COptimizar el código para mejor rendimiento
- DEjecutar funciones de manera paralela
4En el Lambda Calculus, la expresión (λx.x)3 evalúa a
- A1
- B3
- Cx+3
- DIndefinido
5¿Qué representa "if_then_else true 3 2" en Haskell?
- ASiempre retorna 2
- BRetorna 3 si el primer argumento es verdadero
- CLanza un error de sintaxis
- DNo está definido en Haskell
6¿Qué herramienta utiliza Prolog para resolver consultas?
- AMétodo de Monte Carlo
- BAlgoritmo de Dijkstra
- CMétodo de Robinson con estrategia SLD
- DÁrboles de decisión
7Una cláusula de Horn puede ser descrita como:
- AUna disyunción de literales con múltiples positivos
- BUna conjunción de literales con al menos un negativo
- CUna disyunción con un máximo de un literal positivo
- DUna función matemática sin efectos secundarios
8En Prolog, la consulta ?- concatenar([1,2],[3,4],Lista). produce:
- AUna lista vacía
- B[3,4]
- C[1,2,3,4]
- DError de sintaxis
9¿Qué significa ?- mortal(socrates). en Prolog, si está definido que todos los hombres son mortales y Sócrates es hombre?
- ADevuelve no
- BDevuelve yes
- CDevuelve una lista vacía
- DNo tiene salida porque es recursivo
10¿Qué permite la reutilización de predicados en Prolog?
- ADefinir múltiples resultados para una consulta
- BUso exclusivo de valores numéricos
- CDefinir solo una consulta por programa
- DEvitar la recursión
11¿Qué lenguajes se incluyen típicamente en el paradigma funcional?
- AJava y C++
- BHaskell y Scala
- CProlog y ASP
- DSQL y Maude
12¿Qué ventaja tiene la Programación Funcional frente a otros paradigmas?
- AUso exclusivo de estructuras iterativas
- BCódigo más limpio y sin efectos secundarios
- CMayor complejidad en la ejecución
- DUso obligatorio de objetos
13En Haskell, la función map aplicada como map (+1) [1,2,3] produce:
- A[1,2,3]
- B[2,3,4]
- C[1,3,5]
- DError de tipo
14En el Lambda Calculus, ¿qué representa λx.λy.x?
- ALa identidad
- BLa constante
- CUna función que ignora el segundo argumento
- DUna función recursiva
15¿Qué resultado obtiene if_then_else false 5 10 en Haskell?
- A5
- B10
- CError de tipo
- DTrue
16¿Qué lógica subyace en la Programación Lógica?
- ALógica de segundo orden
- BLógica proposicional
- CLógica de primer orden
- DLógica difusa
17En Prolog, ¿qué significa el predicado mortal(X) :- hombre(X).?
- AUn Hecho
- BUna Consulta
- CUna Regla
- DUna Disyunción
18¿Qué se entiende por "consulta" en Prolog?
- AUn hecho definido
- BUna pregunta realizada al sistema
- CUna lista de predicados
- DUna función recursiva
19En Prolog, la consulta ?- concatenar(LA, LB, [1,2,3]). produce:
- A[1,2] y [3] como una de las respuestas
- B[1,2,3] como la única respuesta
- CUna lista vacía
- DError de ejecución
20¿Qué ventaja tienen los predicados en Prolog respecto a las funciones?
- ASolo pueden devolver un resultado
- BPermiten múltiples consultas con la misma definición
- CNo permiten recursión
- DSolo funcionan con valores enteros
21¿Qué estudia la lógica formal?
- ALas aplicaciones matemáticas de los programas
- BLas leyes de inferencia en los razonamientos
- CLa ejecución de algoritmos en sistemas lógicos
- DEl diseño de sistemas operativos
22¿Qué tipo de lógica incluye la afirmación "Todos los hombres son mortales"?
- ALógica proposicional
- BLógica de segundo orden
- CLógica de primer orden
- DLógica epistémica
23Según Gödel, ¿qué sucede si una teoría matemática es consistente?
- AEs completa y consistente
- BExisten enunciados que no pueden probarse ni refutarse
- CNo describe los números naturales
- DTiene un procedimiento de decisión
24¿Cuál es la relación entre lógica y computación, según Turing?
- ANo tienen relación
- BLógica es una rama de la computación
- CDeterminar el problema de parada es equivalente a demostrar fórmulas en lógica de primer orden
- DLa computación se basa únicamente en lógica proposicional
25¿Qué establece el Teorema de Herbrand?
- AToda lógica de primer orden es indecidible
- BUn conjunto de cláusulas es insatisfacible si existe un conjunto finito de instancias básicas que también lo es
- CNo existen procedimientos de decisión para lógica proposicional
- DToda lógica de segundo orden es completa. Respuesta: b) Un conjunto de cláusulas es insatisfacible si existe un conjunto finito de instancias básicas que también lo es
26¿Qué caracteriza a la regla de resolución básica?
- APermite deducir contradicciones usando fórmulas recursivas
- BDeduce nuevos literales a partir de dos cláusulas
- CAplica procedimientos de decisión en lógica de segundo orden
- DReduce un conjunto de cláusulas a un conjunto vacío
27¿Qué es una sustitución en lógica?
- AUn conjunto finito de variables sin restricciones
- BUna función que asigna variables a términos en un lenguaje
- CUn proceso que genera un conjunto vacío de cláusulas
- DUn método para resolver problemas de decisión
28¿Qué significa que un método de resolución sea "correcto"?
- AGenera todas las posibles resoluciones
- BDeduce un conjunto vacío solo si las cláusulas son insatisfacibles
- CGarantiza un resultado en tiempo finito
- DNo genera resultados redundantes
29¿Qué estrategia de resolución usa Prolog?
- AResolución ordenada
- BResolución lineal con función de selección para cláusulas definidas (SLD)
- CResolución saturada
- DResolución dirigida
30¿Qué ventaja tiene la resolución con unificador de máxima generalidad (UMG)?
- AEs más rápida, pero incompleta
- BReduce la generación de instancias básicas innecesarias
- CFunciona solo en lógica de segundo orden
- DNo requiere sustituciones
31¿Cuál es el objetivo de una estrategia de simplificación en resolución?
- AReducir el número de cláusulas
- BGenerar todas las cláusulas posibles
- CEncontrar soluciones más generales
- DLimitar el proceso a un subconjunto de reglas
32¿Qué significa que una estrategia de resolución sea "completa"?
- ADeduce resultados solo si son insatisfacibles
- BPuede resolver cualquier problema en tiempo finito
- CSiempre deduce un conjunto vacío si las cláusulas son insatisfacibles
- DGenera un subconjunto reducido de soluciones
33¿Qué herramienta de inteligencia artificial utiliza lógica como base?
- ARedes neuronales
- BWatson de IBM
- CSistemas de recomendación
- DMotores de búsqueda
34¿Cuál fue el primer lenguaje de programación lógica?
- ALISP
- BProlog
- CCLP
- DSQL
35¿Qué significa la afirmación "Algorithm = Logic + Control" propuesta por Kowalski?
- ALa programación se basa únicamente en control de flujo
- BLos algoritmos combinan inferencia lógica y estrategia de resolución
- CTodo algoritmo puede expresarse como lógica proposicional
- DLos algoritmos deben incluir estructuras de control avanzadas
36¿Cuál es el modelo computacional usado por Prolog?
- ABúsqueda en amplitud
- BÁrbol de decisión binario
- CBúsqueda en profundidad con backtracking
- DBúsqueda heurística
37¿Qué asegura el operador corte (!/0) en Prolog?
- AOptimizar los cálculos aritméticos
- BReducir el tamaño del árbol de búsqueda
- CEvitar errores de compilación
- DReordenar las cláusulas del programa
38¿Qué tipo de corte en Prolog afecta el sentido declarativo del programa?
- AVerde
- BRojo
- CAzul
- DNinguno
39¿Qué operador se usa para implementar la Negación por Fallo?
- A!/0
- B+/1
- Ccall/1
- Dfail/0
40¿Cuál de las siguientes afirmaciones es cierta para tabulación en Prolog?
- AReduce la complejidad espacial pero no la temporal
- BSuspende la evaluación de objetivos repetidos
- CObliga a usar recursión infinita
- DFunciona únicamente con enteros
41¿Qué predicado se usa para recolectar todas las soluciones posibles de un objetivo sin ordenar?
- Asetof/3
- Bbagof/3
- Cfindall/3
- Dforall/3
42En Prolog, ¿qué predicado verifica que una expresión aritmética es válida y asigna su resultado a una variable?
- Ais/2
- B=:=/2
- Cplus/3
- Dcall/1
43¿Qué ventaja tiene la recursión por cola?
- ADisminuir el consumo de memoria en recursiones profundas
- BSimplificar el código fuente
- CEvitar la necesidad de backtracking
- DGenerar soluciones no deterministas
44¿Cuál es el propósito principal de un meta-interprete en Prolog?
- AOptimizar predicados aritméticos
- BInterpretar reglas y hechos definidos en Prolog
- CEliminar puntos de elección en programas
- DImplementar tabulación en consultas
45¿Qué significa functor(T,F,A) en Prolog?
- AEl predicado verifica que F es el functor de T y A su aridad
- BTransforma una lista en un término con functor F y aridad A
- CEncuentra todos los argumentos de un término T
- DReemplaza el functor de T por F y actualiza A
46¿Qué predicado permite calcular dinámicamente el resultado agregado en Prolog?
- Asum/3
- Bagg_entail/1
- Caggregate/3
- Dreduce/2
47¿Qué implementación mejora la complejidad de calcular Fibonacci en Prolog?
- ARecursión sin memoria
- BUso de tabulación
- CRecursión en anchura
- DUso de agregación dinámica
48¿Qué se logra al usar el predicado \+ is_member(X,Visitados) en una regla?
- AComprobar si X es un miembro duplicado
- BEvitar ciclos en la búsqueda de soluciones
- COrdenar los elementos de una lista
- DGenerar todas las permutaciones posibles
49¿Qué sucede si se cambia el orden de los literales en un predicado de Prolog?
- ASe optimizan automáticamente las soluciones
- BEl programa nunca termina
- CPuede influir en el orden de las respuestas o la terminación
- DNo afecta la ejecución
50¿Qué diferencia principal existe entre setof/3 y bagof/3?
- Abagof/3 elimina duplicados automáticamente
- Bsetof/3 ordena la lista resultante
- Cbagof/3 requiere instanciar todas las variables libres
- Dsetof/3 falla si no hay soluciones
51¿Cuál es el formato correcto para definir un predicado indexado en Prolog?
- Aplus(X,Y,Z) :- Z is X + Y
- Bquicksort([X|Xs],Ys)
- Crule(X,[])
- D:- table fib/2
52 ¿Qué ventaja proporciona el uso de listas ordenadas en Prolog?
- AAcelera las operaciones aritméticas
- BMejora la eficiencia al comparar conjuntos
- CElimina la necesidad de usar índices
- DPermite ejecutar consultas paralelas
53¿Qué estrategia usa Prolog para manejar términos grandes o complejos?
- ATabulación
- BAgregación dinámica
- CTransformación a listas usando T =.. L
- DUso de reglas con cortes rojos
54¿Cómo se denomina el paradigma utilizado en el predicado sort(Xs,Ys) :- permutation(Xs,Ys), ordered(Ys)?
- ADivide y vencerás
- BGenera y prueba
- CRestringe y genera
- DEvaluación incremental
55¿Qué sucede si un programa de Prolog tiene una rama infinita a la izquierda de una rama con respuestas?
- ANo se pueden encontrar las respuestas
- BSolo se obtienen respuestas parciales
- CLa consulta termina exitosamente
- DLa búsqueda es optimizada automáticamente
Information
- Description
- PL
- Author
- Matrex 26
- Language
- Español
- Views
- 1
- Tags
- Rating
- No ratings yet Rate this quiz