Terminal de consulta web

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... Ver mais
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... Ver mais

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

    Nº de exemplares: 2
    Não existem reservas para esta obra