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 etwa 10 Jahre
300
0
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

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

                                                                  ähnlicher Inhalt

                                                                  Gemischte Klausur- und sonstige Fragen
                                                                  Bibische
                                                                  Zellorganellen
                                                                  Sarah K.
                                                                  Mediengestalter Abschlussprüfung 2015
                                                                  Jonas Deh
                                                                  Ecologie politique - Vocabulaire
                                                                  Gaelle Bourgeois
                                                                  Ideologie des Nationalsozialismus
                                                                  Dude woode
                                                                  Ökologie
                                                                  vere2400
                                                                  Innere Kleintier Vetie
                                                                  Anne Käfer
                                                                  Online-Quiz MS-1.3 Foliensatz 1
                                                                  Bernd Leisen
                                                                  Vetie Para Morphologie Helminthen
                                                                  Kristin E
                                                                  Vetie Repro 2020
                                                                  Franziska Piepho
                                                                  Vetie - Spez. Patho 2017
                                                                  Anne Käfer
                                                                  Bibliothek durchsuchen