Quiz
Ohne Titel
Erstelle ein kostenloses Konto, um dieses Quiz zu beenden
Speichere deinen Fortschritt und sieh dir dein Endergebnis an.
oder mit deiner E-Mail registrieren
Schon ein Konto? Anmelden
Fragen in diesem 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
Informationen
- Beschreibung
- PL
- Autor
- Matrex 26
- Sprache
- Español
- Aufrufe
- 1
- Schlagwörter
- Bewertung
- Noch keine Bewertungen Bewerte dieses Quiz