.dsy:it. - [Logica Matematica] Diario del corso 2004/2005

Pages (3): « 1 2 [3]
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica Matematica] Diario del corso 2004/2005 (http://www.dsy.it/forum/showthread.php?threadid=17688)

Posted by Polsy on 06-06-2005 13:43:

Diario del corso 23-5-05

PROLOG - PROF MORPURGO

- esercizi sulle liste (lunghezza, concatenazione, cancellazione di elementi, ...)
- aritmetica in prolog (operatori +, -, *, / visti come funtori)
- operatori is, >, <, =:=, =\=

Posted by Polsy on 06-06-2005 13:47:

Diario del corso 30-5-05

PROLOG - PROF MORPURGO
- operatore ! (cut), predicati fail e true, connettivo \+ (not)
- cenni sulla ricorsione terminale (trasformazione in forma iterativa)

Posted by Polsy on 06-06-2005 14:01:

Diario del corso 6-6-05

PROLOG - PROF MORPURGO
- standard I/O (visto come file chiamato "user", in lettura è la tastiera e in scrittura è il monitor)
- alcuni funtori standard:
see(file) --> apre file in lettura
tell(file) --> apre file in scrittura
put(c) --> scrive il carattere c (dove c è la codifica ascii)
get(c) --> legge il carattere c saltando eventuali caratteri non leggibili (spazi, tab, ...)
get0(c) --> come get(c) ma legge qualsiasi carattere
read(x)/write(x) --> legge/scrive una stringa/variabile
- funzioni che riconoscono oggetti:
var(x) --> variabili NON istanziate
nonvar(x) --> me lo sono perso :oops:
atom(x) --> atomi
integer(x) --> numero intero
float(x) --> numero in virgola mobile
number(x) --> numero generico
atomic(x) --> costante
compound(x) --> struttura
- significato di: =, ==, =:=, \==, =\=, =..
- esempi di alberi di esecuzione presi da vecchi temi d'esame

Posted by Polsy on 06-06-2005 19:40:

AVVISO
riporto testualmente dal sito http://homes.dsi.unimi.it/~logica/logimat/ :
# Giov. 9.6.05 verranno pubblicati su questo sito gli esiti del compitino. Il Dr. Sacchetti sarà a disposizione per la correzione e per chi volesse vedere il proprio compito venerdí 10.6.05, h 10:00, in via Comelico 39, uff. S244. Coloro che non hanno passato il compitino devono presentarsi a vedere il proprio compito.
# Il corso termina il 6.6.05. (Ven. 10.6.05 non ci sarà quindi lezione)
# Appello giugno 2005: 16.6.05, h 10:00, aula beta

Posted by sonica on 09-06-2005 11:58:

http://homes.dsi.unimi.it/~logica/l..._comp_mag05.txt

usciti i voti

__________________
I really love your peaches,
wanna shake your tree...

The Joker - Steve Miller Band

Posted by **Fabry** on 10-06-2005 13:39:

Possibile non ci sia un posto dove poter scaricare la dispensa del corso in un formato piu' normale piuttosto che questo terribile formato PostScript :oops: :oops: :oops:

Grazie per la info, ciao

Posted by YoMo on 10-06-2005 14:37:

ftp://mirror.cs.wisc.edu/pub/mirror...51/gs851w32.exe

ftp://mirror.cs.wisc.edu/pub/mirror...um/gsv47w32.exe

nn sembra difficile, basta cercare!

Posted by Nico on 10-06-2005 14:53:

per il compitino di prolog ho un po di problemi: ci saranno esercizi di dpll per chi ha gia fatto la prima parte? cosa è meglio studiare? io ho dato un'occhiata al sito http://dida.crii.uninsubria.it/~logica/ ma sinceramente non ho capito bene cosa va fatto e come si applica agli esercizi. nel compitino cosa dovremo fare?
qualcuno ha preso gli appunti dell'ultima lezione su pc e può passarmeli? i comandi di prolog ti servono per il compitino?
grazie a chiunque possa rispondermi

Posted by Polsy on 10-06-2005 15:25:

Originally posted by Nico
per il compitino di prolog ho un po di problemi: ci saranno esercizi di dpll per chi ha gia fatto la prima parte? cosa è meglio studiare? io ho dato un'occhiata al sito http://dida.crii.uninsubria.it/~logica/ ma sinceramente non ho capito bene cosa va fatto e come si applica agli esercizi. nel compitino cosa dovremo fare?
qualcuno ha preso gli appunti dell'ultima lezione su pc e può passarmeli? i comandi di prolog ti servono per il compitino?
grazie a chiunque possa rispondermi

vedendo i temi d'esame degli appelli passati la parte di prolog sembra essere solo la simulazione dell'albero di esecuzione dell'interprete dato un certo programma e un certo quesito, quindi i comandi li devi sapere nel senso che se compaiono nel programma devi sapere come li interpreta l'interprete prolog, ma non è che ti fa domande teoriche del tipo "descrivi la differenza tra =:= e =="
la dpll non sarà nel compitino di prolog (in quanto non è prolog, ma teoria) ma sarà nell'appello completo

Posted by monik on 13-06-2005 19:43:

...un'informazione...
chi nel compitino del Dr. Sacchetti ha preso 1 e 1 come punteggio,deve fare tutto il compitino di prolog giusto per prendere 18? non può prendere più di 18 quindi?

grazie in anticipo!

__________________
"Think Different!"

Posted by monik on 14-06-2005 13:03:

aiutoooo!

__________________
"Think Different!"

Posted by Polsy on 14-06-2005 17:46:

Originally posted by monik
...un'informazione...
chi nel compitino del Dr. Sacchetti ha preso 1 e 1 come punteggio,deve fare tutto il compitino di prolog giusto per prendere 18? non può prendere più di 18 quindi?

grazie in anticipo!

non saprei

a occhio direi che 2 punti su 6 sono come 10/30, quindi per avere 18 ti "basta" un 26....quindi un margine di errore direi che te lo puoi permettere....

Posted by Aung SanSuu Kyi on 15-06-2005 15:16:

siete pronti per domani?

pongo un quesito:
se nel programma ho qualcosa del tipo "del( X, [Y|T] , [Y|T1]):- ........"
le variabili X e Y possono anche unificare con la stessa istanza o devono riferirsi a due oggetti diversi?

grazie del vostro buon cuore

Posted by Aung SanSuu Kyi on 15-06-2005 15:28:

mi sono risposto da solo con l'swi prolog....
:teach:
chiedo venia per l'ignoranza

All times are GMT. The time now is 19:16.

Pages (3): « 1 2 [3]
Show all 44 posts from this thread on one page