[Logica Fuzzy] Diario del corso 2007-08
Clicca QUI per vedere il messaggio nel forum |
| Polsy |
Link al wiki
Come al solito, essendo un wiki, siete invitati a contribuire e/o correggere eventuali vaccate che scriverò :) |
| holylaw |
scusa avrei un paio di domande:
LC= logica classica
LG= logica di godel
LPC=???
che tu sappia le dispense sono quelle fatte da degli studenti che hanno seguito il corso tempo fa?
:) |
| Polsy |
Scusa, mi sono lasciata prendere dagli acronimi :P LPC sta per logica proposizionale classica.
Le dispense, a quanto ho capito, sono fatte dai professori, ma essendo ancora in versione preliminare vogliono aspettare qualche feedback prima di farle diventare ufficiali e pubblicarle sul sito.
Tra qualche giorno arriveranno anche le scansioni dei miei appunti, in questo momento ho qualche problema con lo scanner... |
| holylaw |
Logica Proposizionale Classica... ci puo' stare
non resta che attendere i tuoi appunti :D |
| ideafix |
Polsy secondo te è un complementare che si riesce a preparare senza seguire?
Purtroppo è in orari per me improponibili |
| Polsy |
Originally posted by ideafix
Polsy secondo te è un complementare che si riesce a preparare senza seguire?
Purtroppo è in orari per me improponibili
Il vero problema è che non c'è un libro che copra tutto il programma, infatti Marra ha detto che è quasi fondamentale seguire le lezioni, non so se poi con le dispense che distribuiranno quest'anno si riesce a fare a meno delle spiegazioni... Comunque ha anche detto che quello che fa a lezione basta per passare l'esame, quindi potresti guardare gli argomenti dei miei appunti e al limite andare a chiedere spiegazioni direttamente a Marra e Aguzzoli se qualcosa non ti è chiaro o non trovi documentazione in giro.
Come parere personale non so cosa dirti, per ora ha fatto più che altro definizioni e proprietà, cioè tutte cose comprensibili anche senza spiegazioni verbali, ma ha fatto solo 3 lezioni ed è un po' poco per giudicare... |
| ideafix |
| ok capito, ti ringrazio per il momento |
| Polsy |
AVVISO:
Le dispense del corso verranno pubblicate sul sito, per ora potete trovare i primi due capitoli qui. |
| holylaw |
per caso oggi a lezione ha detto se venerdi' c'e' lezione o meno??
(c'e' lo sciopero dei mezzi) |
| Polsy |
| Aguzzoli ieri non ha detto nulla (io manco sapevo che c'era lo sciopero...), prova a mandargli un'email per chiederglielo |
| elepilly |
| ho aperto un argomento apposta!ha detto di guardare la pagina del corso giovedì! ci sarà scritto cosa fa! |
| ggiuglio |
ciao
qualcuno ha gli appunti delle prime lezioni di aguzzoli
che io me le sono perse?
grazie ciao |
| Polsy |
Avendo finalmente uno scanner mio posso postare le scansioni delle prime 6 lezioni di aguzzoli con vergognoso ritardo (le trovate in area filez)
Le nuove scansioni saranno meno colorose ma più leggibili :) |
| biett0 |
Originally posted by Polsy
Avendo finalmente uno scanner mio posso postare le scansioni delle prime 6 lezioni di aguzzoli con vergognoso ritardo (le trovate in area filez)
Le nuove scansioni saranno meno colorose ma più leggibili :)
Io volevo dare un'occhiata a questo corso, ma si sovrappone con i mille corsi che seguo... :D
Grazie per gli appunti, sei un tesoro... |
| Polsy |
AVVISO
direttamente dal sito:
La terza dispensa sulla logica di Gödel è disponibile alla sezione Materiale Didattico.
Venerdì 11 gennaio, alle 10:30, in auletta 4, Simone Bova terrà un seminario dal titolo: Introduzione alla Basic Fuzzy Logic di Hájek.
Martedì 15 gennaio, alle 13:30, in auletta 5, Matteo Bianchi terrà un seminario dal titolo: Estensioni predicative delle logiche fuzzy.
Inoltre venerdì 11 alle 13:30 ci sarà l'ultima lezione del corso. |
| ggiuglio |
| grazie mille per gli appunti!!!! |
| holylaw |
grande Polsy!
se non ci fossi bisognerebbe invertarti
ti sfrutto per un'ultima volta: per caso durante i seminari ha parlato dell'esame?
e' su appuntamento o cosa? |
| Polsy |
Originally posted by holylaw
grande Polsy!
se non ci fossi bisognerebbe invertarti
ti sfrutto per un'ultima volta: per caso durante i seminari ha parlato dell'esame?
e' su appuntamento o cosa?
è su appuntamento, nel senso che vai lì quando vuoi e ti metti d'accordo su come fare l'esame (orale normale, progetto o approfondimento teorico) |
| ggiuglio |
ciao
ho fissato la prima metà dell'esame con marra...
qualcuno l'ha già fatto e sa darmi qualche info?
grazie e ciao a tutti |
| holylaw |
credo proprio che sarai tu il primo :D
io ho scritto ai proff ieri ma non mi hanno ancora risposto....
magari dopo l'orale posta qualche info in merito :D |
| ggiuglio |
ciao ho fatto la prima parte dell'esame..
mi è sembrato abbastanza facile, non chiede molto di ricordare cose a memoria, ma più che altro vuole sapere i concetti e i ragionamenti.
a me ha chiesto più o meno tutta la parte dall'inizio fino al diagramma di hasse.
comunque chiede solo cose che ci sono sugli appunti...
grazie ancora polsy...
tra l'altro gli appunti della seconda parte del corso ci sono tutti?
ciao... |
| Polsy |
Della parte di Aguzzoli mancano le ultime 5 lezioni, fino a metà febbraio sarò molto incasinata quindi non credo riuscirò a copiarle (per ora sono scritte in matita e sono quasi illeggibili)
dopo il 15 febbraio ricomincerò a riscriverle bene e piano piano le posterò, se qualcuno ne ha bisogno prima può mandarmi un pm per avere in prestito il quaderno e fare le fotocopie |
| holylaw |
Mi e' sorto un dubbio terribile:
Perche' e' cosi' importante dimostrare che le funzioni termine e le funzioni di MacNaughton coincidono?? quando utilizziamo questa informazione nel teorema di completezza? |
| ggiuglio |
dunque...
se ho capito bene quello è il primo passaggio per dimostrare la completezza funzionale.. ovvero che per ogni funzione esiste una formula logica...
e visto che le funzioni di MacNaughton sono infinite (non sono sicuro ma forse si può anche trovare l'equivalente di MacNaughton per ogni funzione polinomiale)
se coincidono con le funzioni termine che a loro volta coincidono con le formule logiche... |
|
|
|
