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 quase 10 anos atrás
290
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

                                                                  Biologia 10º ano
                                                                  indialovesea
                                                                  Primeira Guerra Mundial 1914-1918
                                                                  Alessandra S.
                                                                  Iluminismo
                                                                  Priscila Reinaldo
                                                                  Quiz de Geografia
                                                                  Alessandra S.
                                                                  TROVADORISMO
                                                                  Denise Teófilo
                                                                  RESUMOS EXAME GEOGRAFIA A
                                                                  beatriizcunha
                                                                  Roteiro de Estudo - Matemática
                                                                  Luiz Fernando
                                                                  Principais Fórmulas de Física
                                                                  Luiz Fernando
                                                                  21 erros de comunicação que atrapalham sua carreira
                                                                  Liliane Tubino
                                                                  Recursos hídricos
                                                                  Homero Borba
                                                                  Lei nº 8.666/1993
                                                                  Lavs Agah
                                                                  Explore a Biblioteca