https://www.genbeta.com/desarrollo/diferencias-entre-paradigmas-de-programacion
- Programa = transcripción de un algoritmo.
- Instrucciones = órdenes a la máquina.
- Modelo computacional = máquina de inferencias lógicas.
- Variables del programa = referencias a memoria.
Cuestión 1.2 Enumere las principales características que se asocian con un lenguaje de programación convencional (imperativo).
Cuestión 1.3 ¿Cuál de los siguientes lenguajes podría considerarse tanto un lenguaje de especificación ejecutable como un lenguaje de programación de alto nivel?
- C++.
- Pascal.
- Prolog.
- Ada.
Cuestión 1.4 Señale cuál de las siguientes ideas no pertenece al estilo de programación declarativa:
- Programa = lógica + control.
- Programación = demostración de teoremas + técnicas de extracción de respuestas.
- Programación = lenguaje de la lógica de primer orden como notación para los programas e inferencia lógica como mecanismo de computación.
- Programación = algoritmo + estructura de datos.
Cuestión 1.5 Indique cuál de las siguientes ideas no se relaciona con el estilo de programación declarativa:
- Programa = teoría formal que especifica un problema.
- Semántica operacional = deducción o inferencia lógica.
- Programa = secuencia de ordenes que operan sobre los estados de la máquina.
- Programa = lógica + control.