• Jueves 28 de Marzo de 2024, 12:19

Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.


Mensajes - Luis Abraham

Páginas: [1]
1
Programación Lógica / Re: Método De Resolución
« en: Miércoles 27 de Octubre de 2004, 02:22 »
Que tal !!!!!

Al igual que david_goodface yo tambien necesito hacer un programa que compruebe tautologias mediante el Metodo de Resolución pero que previamente compruebe que las premisas introducidas sean formulas bien formadas.

Normalemente programo en Delphi  :comp: pero no importa si me pueden ayudar con algo de código en algún otro lenguaje.

De antemano muchas gracias !!!!

Páginas: [1]