Preguntas De Caro

1.- Aparte del razonamiento científico, ¿qué otro tipo de razonamiento utilizan los Demostradores de teoremas y lenguajes de programación lógicos?
R= Matemático
2.-Anota un ejemplo dedemostradores de teoremas.
R= SAM
3.- Anota un ejemplos de los lenguajes de programación lógica (5 letras):

R=Prolog

4.- Tipo de sistemas en los cuales las relaciones binarias seconsideren como ranuras de un cuadro que se llenan mediante otra.

R= Cuadro

5.- Tipos de redes en las que las relaciones semánticas se consideran como flechas entre un nodo y otro.

R=Semánticas
6.- Tipo de lenguaje que es simbólico, preciso y universal.
R= Lógico
7.-Se dice que un objeto es… cuando utiliza formulas, símbolos y signos convencionales para su comprensión
R=Simbolico

8.- Característica aplicada a una entidad cuando se dice que esta evita la ambigüedad o doble sentido y tiene una sola interpretación
R= Precisión
9.- Característica aplicada auna entidad cuando se dice que esta es aceptada en todo el mundo, asi como sus principios y reglas
R= Universalidad
10.- Es un sistema de símbolos que consta de un alfabeto de símbolos básicosen un lenguaje lógico
R= Sintaxis
11.- Se refiere a la interpretación declarativa que pone en relación a los elementos sintácticos del lenguaje con los elementos de la conceptuación que sepretende representar con ese lenguaje.
R= Semántica
12.- Aparte de la falsedad que otro concepto semántico básico existe
R= Verdad
13.- En que tipo de demostrador se utiliza laresolución para demostrar oraciones expresadas en lógica de primer orden total
R= de teorema
14.- Tipos de lenguajes de programación que se caracterizan por restringir la lógica, lo que impide elmanejo completo de la negación, la disyunción y/o la igualdad.
R= Lógicos

15.- Tipo de sistemas que utilizan la implicación como elemento primario de la representación.
R= Produccion