Brevísima introducción á programación lóxica

por Manolo Marqués / Nadal'98

Programación Lóxica

1.- Introducción.

1.1.- Lóxica de Proposicións.

Avaliación de Proposicións

1.1.2.- Lóxica de Proposicións.

1.2.- Cálculo de Predicados.

1.2.1.- Estados e Predicados.

1.2.2.- Cuantificadores.

1.2.3.- Identificadores Libres e Ligados.

1.2.4.- Substitución Textual.

 

Este é o primeiro documento Este é o índice Seguinte documento

Synapsis Home Page Mais artigos de ciência de computadores Mais artigos em galego-português