.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [ESAME] Logica per le applicazioni (http://www.dsy.it/forum/showthread.php?threadid=17490)

Volevo alcune informazioni riguardo questo corso.
Purtroppo per via della tesi e discussione non sono riuscito a frequentare nessuna lezione del primo semetre del TICO, per cui mi chiedevo se, per la preparazione di questo esame, basta avere fatto Filosofia del Linguaggio e studiare sulla dispensa...
Anche perché ancora non ho capito come è strutturato l'esame e la dispensa è un po' di difficile comprensione per me...
Sapreste darmi qualche dritta?

per studiare ti consiglio di leggere anche materiale che trovi in rete con google, perchè le dispense del prof. sono troppo formali ed hanno pochi esempi.

[ESAME] Logica per le applicazioni

Ragazzi, volevo sapere da chi ha già sostenuto quest'esame come si svolge la prova orale. Il discorso rimane sull'esercizio proposto dallo studente o il prof fa domande sui vari argomenti d'esame? Quanto dura la prova?
Qualsiasi informazione a riguardo è bene accetta. Grazie in anticipo per le eventuali risposte.

Ciao, io ho fatto l'esame l'anno scorso, non so se per quest'anno accademico le cose siano cambiate. Comunque in questo thread avevo riportato qualche informazione sul mio esame, se può esserti utile...

__________________
The man in black fled across the desert and the gunslinger followed.

Grazieeee!!!

Ho sostenuto l'esame quest'anno, a fine gennaio. L'orale è durato circa 15/20 minuti (ma tieni conto che eravamo in molti ad essere presenti e forse il prof teneva ad accorciare i tempi). Come detto da te si parte dall'esercizio, io ne avevo portato uno tratto dalla libreria pelletier, il prof ne ha preso un passaggio e me lo ha fatto risolvere (era una semplice regola di risoluzione). Poi il prof mi ha chiesto un altro esercizio, scelto da lui, dove era utilizzato il calcolo S. A mio parere, se ti porti un esercizio in cui il calcolo S è utilizzato, si attiene a questo senza cambiarlo. Nel discorso che fai poi il prof qualche domanda di teoria ce la infila... domande anche molto brevi "botta e risposta" (tipo: cosa indica lo spass col doppio asterisco?) o da parlare brevemente (come funziona il calcolatore automatico: given clause, quando si esce dal loop...).
Spero di esserti stato utile.
In bocca al lupo

__________________
quod fere libenter homines id quod volunt credunt
de bello gallico III,18