Copiar y Editar

Fundamentos de la programación lógica.

Descripción

Mapa Mental sobre Fundamentos de la programación lógica., creado por corazonsarahi el 04/06/2014.
corazonsarahi
Mapa Mental por corazonsarahi, actualizado hace más de 1 año
corazonsarahi
Creado por corazonsarahi hace alrededor de 10 años
300
0
0

Resumen del Recurso

Fundamentos de la programación lógica.
  1. Repaso de la lógica de primer orden.
    1. Es
      1. Argumentos
        1. Sintaxis
          1. Caracteres
          2. Reglas
            1. Axiomas
              1. Semantica
                1. Teoremas
              2. Unificación y resolución.
                1. Es
                  1. Se compone
                    1. Determina
                    2. Cláusulas de Horn y Resolución SLD.
                      1. Es
                        1. Sentencias
                          1. Representan
                          2. Programación lógica con cláusulas de Horn.
                            1. Formulas
                              1. Programa
                              2. Semántica de los programas lógicos.
                                1. Es
                                  1. Especifica
                                    1. Ejemplo
                                    2. Representación clausada del conocimiento.
                                      1. Representa
                                        1. Formas
                                        2. Consulta de una base de cláusulas
                                          1. Formado
                                            1. Hechos y Reglas
                                              1. Clausula
                                              2. Programación lógica con números listas y árboles.
                                                1. Basada en
                                                  1. Estructura
                                                    1. Utilizacion en prolog
                                                    2. Control de búsqueda en programas lógicos
                                                      1. Se define
                                                        1. procesa
                                                          1. Utiliza
                                                          2. Manipulación de términos. (Predicados metalógicos.)
                                                            1. Varidacion
                                                              1. Manipulacion
                                                                1. Clasificacion
                                                                2. Alumna: Emily Arroyo

                                                                  Recursos multimedia adjuntos

                                                                  Mostrar resumen completo Ocultar resumen completo

                                                                  ¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.

                                                                  Similar

                                                                  Inglés - Verbos Compuestos I (Phrasal Verbs)
                                                                  maya velasquez
                                                                  Capitales Europeas
                                                                  Diego Santos
                                                                  Teoria de la Empresa: Produccion y Costos
                                                                  Ani Kimori Rosas
                                                                  Las Matemáticas
                                                                  María Salinas
                                                                  Aparato CIRCULATORIO
                                                                  JL Cadenas
                                                                  PERSONAJES...
                                                                  JL Cadenas
                                                                  Causas principales de la Primera Guerra Mundial
                                                                  crisferroeldeluna
                                                                  Retribuciones a Empleados
                                                                  owem_039
                                                                  Algunos desafíos de la educación básica en el umbral de nuevo milenio César Coll
                                                                  dayana.marisol13
                                                                  FGM-12. MANIFESTACIONES EXTERNAS DE LA DISCIPLINA
                                                                  antonio del valle
                                                                  Past simple
                                                                  soy_fihiza
                                                                  Explorar la Librería