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 10 Jahre
290
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

                                                                  Imperialismus
                                                                  sandya.zimmerman
                                                                  ICD-10 - F-Diagnosen
                                                                  monsteralarm
                                                                  EU, OHG, KG, GmbH
                                                                  Stefan Kurtenbach
                                                                  Einstufungstest Italienisch Niveau B1.1
                                                                  SprachschuleAktiv
                                                                  Deutsch Einstufungstest Niveau A1.1
                                                                  SprachschuleAktiv
                                                                  Aufbau Quellenanalyse
                                                                  barbara91
                                                                  Streite/Gesetzliche Schuldverhältnisse
                                                                  myJurazone
                                                                  Top Tools für Zusammenarbeit im Web 2.0
                                                                  Gaby K. Slezák
                                                                  Quiz zum Basiswissen Europa und Europäische Union
                                                                  lea_seelbach
                                                                  Forschungs- und Anwendungsfelder der Soziologie Teil 2
                                                                  stelly Welly
                                                                  Vetie Mibi Klausur 2018
                                                                  Jessica Nachtwey
                                                                  Bibliothek durchsuchen