Dsy Network>  www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > [Logica Matematica] Diario del corso 2004/2005
Pages (3): « 1 2 [3]   Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 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, >, <, =:=, =\=
06-06-2005 13:43
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 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)
06-06-2005 13:47
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 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
06-06-2005 14:01
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged


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
06-06-2005 19:40
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
sonica
Monkeywrencher

User info:
Registered: Nov 2002
Posts: 197 (0.02 al dì)
Location:
Corso: info
Anno: i've got it all(most)
Time Online: 7 Days, 12:18:41 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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
09-06-2005 11:58
Click Here to See the Profile for sonica Click Here to See the Blog of sonica Click here to Send sonica a Private Message Visit sonica's homepage! Find more posts by sonica Add sonica to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
**Fabry**
.illuminato.

User info:
Registered: Apr 2003
Posts: 192 (0.02 al dì)
Location:
Corso: Informatica
Anno:
Time Online: 1 Day, 1:42:40 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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
10-06-2005 13:39
Click Here to See the Profile for **Fabry** Click here to Send **Fabry** a Private Message Find more posts by **Fabry** Add **Fabry** to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
YoMo
.precettore.

User info:
Registered: Oct 2004
Posts: 96 (0.01 al dì)
Location: Placentia
Corso: Info triennale
Anno: laureato
Time Online: 2 Days, 0:18:13 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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!
10-06-2005 14:37
Click Here to See the Profile for YoMo Click here to Send YoMo a Private Message Find more posts by YoMo Add YoMo to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Nico
.novellino.

User info:
Registered: Sep 2002
Posts: 4 (0.00 al dì)
Location: varese
Corso: informatica
Anno: 3
Time Online: 5:56:32 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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
10-06-2005 14:53
Click Here to See the Profile for Nico Click here to Send Nico a Private Message Find more posts by Nico Add Nico to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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
10-06-2005 15:25
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
monik
Samus Aran

User info:
Registered: Oct 2004
Posts: 241 (0.03 al dì)
Location:
Corso: TICO
Anno: Dottoressa Magistrale
Time Online: 5 Days, 15:11:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

...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!"
13-06-2005 19:43
Click Here to See the Profile for monik Click Here to See the Blog of monik Click here to Send monik a Private Message Find more posts by monik Add monik to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
monik
Samus Aran

User info:
Registered: Oct 2004
Posts: 241 (0.03 al dì)
Location:
Corso: TICO
Anno: Dottoressa Magistrale
Time Online: 5 Days, 15:11:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

aiutoooo!

__________________
"Think Different!"
14-06-2005 13:03
Click Here to See the Profile for monik Click Here to See the Blog of monik Click here to Send monik a Private Message Find more posts by monik Add monik to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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....
14-06-2005 17:46
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Aung SanSuu Kyi
.consigliere.

User info:
Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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
15-06-2005 15:16
Click Here to See the Profile for Aung SanSuu Kyi Click here to Send Aung SanSuu Kyi a Private Message Find more posts by Aung SanSuu Kyi Add Aung SanSuu Kyi to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Aung SanSuu Kyi
.consigliere.

User info:
Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

mi sono risposto da solo con l'swi prolog....
:teach:
chiedo venia per l'ignoranza
15-06-2005 15:28
Click Here to See the Profile for Aung SanSuu Kyi Click here to Send Aung SanSuu Kyi a Private Message Find more posts by Aung SanSuu Kyi Add Aung SanSuu Kyi to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 17:43.    Post New Thread    Post A Reply
Pages (3): « 1 2 [3]   Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts 		HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.090 seconds (63.81% PHP - 36.19% MySQL) con 23 query.