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

Slides:



Advertisements
Presentaciones similares
TUTORIAL BÀSIC PER A LA GESTIÓ DE LA UBICACIÓ DE LES PERSONES EN L’APLICACIÓ DEL CATÀLEG D’ESPAIS SERVEI TÈCNIC I DE MANTENIMENT.
Advertisements

LA NOTÍCIA I LA PREMSA Realitzat per: Beatriz Gracia Lillo i
Impress 1... Benvingut al món de les presentacions!
Aplicació SEMICE- Cybertracker
Eines col·laboratives que conté Google Site
BAIXAR MAPES DE L’ICC (INSTITUT CARTOGRÀFIC DE CATALUNYA)
Importar les notes al Campus Virtual
MÚLTIPLES I DIVISORS.
Sònia Carrasco Trullàs Mercè Fabrés Montesinos
José Luis Molina Materiales proporcionados por Javier Ávila Molero
PREZI Primers passos Davinia Alfonsin 4rt C Info. Tecnològica
Eines digitals TIC © McGraw-Hill.
Cerca, seguiment i anàlisi de tendències en Twitter
Petició de col·laboració als Companys de la Caixa
Tema 2. DIVISIBILITAT.
MÚLTIPLES I DIVISORS ESCOLA EL Cim- 6è de primària.
Ens comuniquem per CEIP Salvador Espriu
2c. Les pàgines web i l’hipertext. Les bases de dades a la xarxa
Introducció de TEDIs (COACs) Versió 4.0
FUNCIONAMENT DE L’EPÈRGAM
PROJECTES: UN LLARG CAMÍ…
El mercat ELS NENS I NENES DE P-4.
Recordem què vol dir ser adolescent
LA FAULA.
Creació d’un mapa personalitzat
Senyor, ensenya’m a ser feliç i a donar pau!
Presentació de la base de dades
Increïble però cert, ens casem!!!!
Per entrar a l’intraweb:
Funcionament See Thecnical.
Una forma fàcil d'obtenir algunes fórmules
Potències de nombres racionals
IMPLIQUEM A TOTES LES CLASSES EN EL NOSTRE PROJECTE
VALORS I VITUTS PER CRÉIXER COM A PERSONA
Tutorial TIMERIME.
H. EBBINGHAUS. ELS PRIMERS ESTUDIS SISTEMÀTICS SOBRE MEMÒRIA
POLINOMIS.
Com enllaçar des de PubMed al gestor de
Tutorials Campus Virtual Càrrega automàtica d’alumnes
Problema 1: Trobar la recta que passa pel punts A(2, -3) i B(-1, 3)
Com crear un compte de correu amb gmail
DONA I ET DONARAN Si tu reses i dones a la gent que pateix; Déu et donarà a tu. Resa i fes obres. Georgina Prat Marrasé.
Curs de Llenguatge Administratiu Valencià Juli Martínez Amorós
El Perfil de l’Educador: El Lideratge a l’aula
Pràctica amb RQDA.
Publicació de la recerca al Dipòsit Digital de la UB
valors humans i socials
Presentació BATXILLERAT
Presentació BATXILLERAT
Automàtic 8 Amb so ¯.
MARTA GILABERT ZAIRA ORDOÑEZ
Ara resoldrem alguns problemes amb balances.
“ Jo, amb les obres, et mostraré la meva fe” Jm2, 18
ERIC Manual d’ús.
Problemes que es poden resoldre amb equacions
ESCOLA ANTONI TÀPIES- 5èB
Les fraccions Sisè B curs
Com s’han de signar electrònicament documents en format PDF?
LA NOVA SELECTIVITAT I L’ACCÉS A LA UNIVERSITAT
La literatura i les matemàtiques van de la mà.
AQUESTA QUARESMA TU POTS SER MÉS!
Señor, ensenya’m a ser feliç i a donar pau!
Què és EsComunica? Aplicació mòbil Comunicació dels centres escolars
Propostes de millora en el GIR
Dialnet.
AQUESTA QUARESMA TU POTS SER MÉS!
CONCURS BÍBLIC NOM: CÉSAR COGNOMS: GARCÍA MEDINA GRUP B DATA NAIXAMENT: 02/07/2003 COL·LEGI: SANT JOSEP OBRER CARRER: COVADONGA S/N
TUTORIAL BÀSIC PER A LA GESTIÓ DE LA UBICACIÓ DE LES PERSONES EN L’APLICACIÓ DEL CATÀLEG D’ESPAIS SERVEI TÈCNIC I DE MANTENIMENT.
NOM DEL PAIS AUTORS DEL PROJECTE.
AL NOSTRE INSTITUT #AQUIPROUBULLYING!
Transcripción de la presentación:

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