Copiar e Editar

Fundamentos de la programación lógica.

Descrição

Mapa Mental sobre Fundamentos de la programación lógica., criado por corazonsarahi em 04-06-2014.
corazonsarahi
Mapa Mental por corazonsarahi, atualizado more than 1 year ago
corazonsarahi
Criado por corazonsarahi mais de 10 anos atrás
302
0
0

Resumo de 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

                                                                  Anexos de mídia

                                                                  Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.

                                                                  Semelhante

                                                                  Classificação das Constituições
                                                                  veleal
                                                                  Direito Internacional Público
                                                                  victorbrando
                                                                  Tipos de Textos
                                                                  Larissa Borela
                                                                  PRINCÍPIOS DO DIREITO PROCESSUAL PENAL
                                                                  GraSousa
                                                                  Provas anteriores de Vestibular - Unicamp 2014 - 1
                                                                  GoConqr suporte .
                                                                  Organização e Arquitetura de Computador
                                                                  Rodrigo Gomes
                                                                  Oscilações, ondas, óptica e radiação
                                                                  Sem Parar
                                                                  EMILE DURKHEIM
                                                                  Débora C. Nascimento
                                                                  QUIZ DE CIÊNCIAS - FÍSICA
                                                                  Clean Maria Reis
                                                                  EA-HSG-2016 Questões achadas no app QUIZADA na playstore
                                                                  carloshenriquetorrez .
                                                                  Art. 5° da CF-88 parte III
                                                                  Rafael Ferreira da Silva
                                                                  Explore a Biblioteca