Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia

Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia

Paulo Gomide Cohn

DISSERTAÇÃO

Português

T/UNICAMP C661p

Campinas, SP : [s.n.], 1991.

[106]f. : il.

Orientadores: Antonio E. Costa Pereira, Tomasz Kowaltowski

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica Estatistica e Ciencia da Computação

Resumo: Apresenta-se inicialmente uma introdução à programação em lógica através de uma abordagem evolutiva. Começando de um sistema formal de primeira ordem bastante complexo, descreve-se o conceito de prova de teoremas e sua automação. A partir daí apresenta-se a idéia de eficiência da prova. Os...

Abstract: An introduction to logic programming is initially presented by means of an evolutionary approach. Starting with a fairly complex first order formal system, the concepts of theorem proving and its automatization are described. From there the idea of proof efficiency is presented. The most...

Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia

Paulo Gomide Cohn

										

Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia

Paulo Gomide Cohn

    Exemplares