LSD Josep Humet Departament d’Informàtica i Matemàtica Aplicada Universitat de Girona
El programari LSD: és de lliure difusió és accessible via internet (http://ima.udg.es/~humet/lsd/) funciona sobre windows requereix només 4Mb de RAM és de maneig molt senzill facilita l’aprenentatge de la Lògica permet l’autoavaluació en l’estudi de la Lògica
A l’engegar el programa apareix la caràtula de LPA386-Prolog® ...
… i un missatge de benvinguda
Amb el menú FILE/OPEN podem obrir ...
… fitxers contenint ...
… textos lògics prèviament escrits
Amb el menú VERIFICADOR ...
... podem verificar ...
… que el text lògic és correcte
Amb el menú FILE/NEW ...
…podem crear una finestra en blanc per escriure-hi ...
…un text lògic, el que volguem, i a continuació ...
…amb el menú VERIFICADOR podem comprovar si ...
… hem comés algun error
Podem modificar el text lògic tantes vegades com volguem i ...
… verificar-lo fins que estiguem satisfets amb el resultat
Podem escriure textos avaluant una fórmula i ...
… comprovar que no ens hem equivocat
Podem escriure textos fent deduccions ...
… i comprovar que no ens hem equivocat
És molt natural que una demostració ...
… contingui errors: el verificador ens ajuda a trobar-los per ...
… a continuació poder-los corregir i arribar a obtenir ...
… una demostració sense errors
El menú AJUDA dona algunes informacions ...
… com la manera en què escriurem els símbols lògics ...
… o que hi ha certes paraules que són reservades ...
… o altres informacions com la sintaxi dels textos lògics, etc.
Els fitxers del menú FILE/OPEN contenen exemples i ...
… solucions a alguns problemes.
Moltes gràcies per la vostra atenció i esperem que aquest programari LSD us sigui d’utilitat