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 mehr als 10 Jahre
302
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

                                                                  Stochastik
                                                                  barbara91
                                                                  Analyse und Vergleich von Texten (Epik, Lyrik und Dramatik)
                                                                  lilith.m
                                                                  Gedichtsanalyse und Interpretation
                                                                  Laura Overhoff
                                                                  Analysis - Abiturvorbereitung Mathe
                                                                  Laura Overhoff
                                                                  B1 Adjektivdeklination
                                                                  Anna Kania
                                                                  Vetie Immunologie
                                                                  Kristin E
                                                                  Vetie AVO 2016
                                                                  Schmolli Schmoll
                                                                  THEO: VO PSYCH - Medienpsychologie
                                                                  Adrienne Tschaudi
                                                                  Vetie Geflügelkrankheiten altfragen teil 2
                                                                  Taissa Fraga de Almeida
                                                                  Vetie: Geflügelkrankheiten 2020 (Matrikel 2015)
                                                                  Ro F
                                                                  Vetie Berufsrecht 2020 !
                                                                  Alena Gesing
                                                                  Bibliothek durchsuchen