• Jueves 28 de Marzo de 2024, 22:35

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 - david_goodface

Páginas: [1]
1
Programación Lógica / Método De Resolución
« en: Jueves 22 de Abril de 2004, 05:35 »
hola q tal, necesito ayuda, aunque no se si sea para prolog, pues necesito un programa que compruebe tautologias por el método de resolución, primeramente comprueba que las premisas sean fórmulas bien formadas y despues si cumple o no.... espero sugerencias o ayuda porfavor

[ David ]

Páginas: [1]