Kopieren und bearbeiten

Fundamentos de la programación lógica.

Beschreibung

Mindmap am Fundamentos de la programación lógica., erstellt von corazonsarahi am 04/06/2014.
corazonsarahi
Mindmap von corazonsarahi, aktualisiert more than 1 year ago
corazonsarahi
Erstellt von corazonsarahi vor fast 11 Jahre
313
0
0
1 2 3 4 5 (0)

Zusammenfassung der Ressource

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

                                                                  Medienanhänge

                                                                  Zusammenfassung anzeigen Zusammenfassung ausblenden

                                                                  0 Kommentare

                                                                  There are no comments, be the first and leave one below:

                                                                  Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.

                                                                  ähnlicher Inhalt

                                                                  Abiturvorbereitung (1 Monat)
                                                                  AntonS
                                                                  Règlement et relance - Phrases - Chapitre 5
                                                                  Gaelle Bourgeois
                                                                  IAM
                                                                  Gustav Glanz
                                                                  Projektmanagement Uni Due
                                                                  Awash Kaul
                                                                  PuKW - GESKO WERB
                                                                  Salome Jeong
                                                                  Vetie Radiologie VL WS 11/12
                                                                  Cedric-Bo Lüpkemann
                                                                  Vetis - Tierhaltung / -hygiene
                                                                  Jessica Ehlers
                                                                  Vetie Virologie 2012
                                                                  Isabelle K.
                                                                  Quiz MS-4.2 Foliensatz II_Teil 1
                                                                  Bernd Leisen
                                                                  Bibliothek durchsuchen