LSD Josep Humet Departament d’Informàtica i Matemàtica Aplicada

Presentación del tema: "LSD Josep Humet Departament d’Informàtica i Matemàtica Aplicada"— Transcripción de la presentación:

1 LSD Josep Humet Departament d’Informàtica i Matemàtica Aplicada
Universitat de Girona

2 El programari LSD: és de lliure difusió és accessible via internet ( 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

3 A l’engegar el programa apareix la caràtula de LPA386-Prolog® ...

4 … i un missatge de benvinguda

5 Amb el menú FILE/OPEN podem obrir ...

6 … fitxers contenint ...

7 … textos lògics prèviament escrits

8 Amb el menú VERIFICADOR ...

9 ... podem verificar ...

10 … que el text lògic és correcte

11 Amb el menú FILE/NEW ...

12 …podem crear una finestra en blanc per escriure-hi ...

13 …un text lògic, el que volguem, i a continuació ...

14 …amb el menú VERIFICADOR podem comprovar si ...

15 … hem comés algun error

16 Podem modificar el text lògic tantes vegades com volguem i ...

17 … verificar-lo fins que estiguem satisfets amb el resultat

18 Podem escriure textos avaluant una fórmula i ...

19 … comprovar que no ens hem equivocat

20 Podem escriure textos fent deduccions ...

21 … i comprovar que no ens hem equivocat

22 És molt natural que una demostració ...

23 … contingui errors: el verificador ens ajuda a trobar-los per ...

24 … a continuació poder-los corregir i arribar a obtenir ...

25 … una demostració sense errors

26 El menú AJUDA dona algunes informacions ...

27 … com la manera en què escriurem els símbols lògics ...

28 … o que hi ha certes paraules que són reservades ...

29 … o altres informacions com la sintaxi dels textos lògics, etc.

30 Els fitxers del menú FILE/OPEN contenen exemples i ...

31 … solucions a alguns problemes.

32 Moltes gràcies per la vostra atenció i esperem que aquest programari LSD us sigui d’utilitat