theanswer

User info:

Registered: Dec 2003
Posts: 18 (0.00 al dì)
Location: Piacenza
Corso: Informatica per le Telecom
Anno: Terzo (più o meno...)
Time Online: 18:36:22 [...]
Status: Offline

Post actions:

Qualcuno di voi, ben s'intende, che abbia passato bene logica e sia in grado di spiegarmela, ha tempo di darmi un paio di lezioni? Io non l'ho mai frequentata e ho bisogno di una mano per iniziare! Ovviamente ricompensa in denaro! Fatemi sapere

__________________
Tra un po' mi laureo?

Bisciu

User info:

Registered: Sep 2004
Posts: 53 (0.01 al dì)
Location: Milano
Corso: Informatica per le Telecomunicazioni
Anno: 1°
Time Online: 19:02:39 [...]
Status: Offline

Post actions:

Cosa ti serve? Come ben saprai (o almeno spero) l'esame è diviso in due parti: parte di logica matematica (1 es di dimostrazione, 1 es di contromodello, 1 es di traduzione di una frase, 1 es di dpll (tautologia), 1 es di assegnazione di valore per dimostrare che sia modello/contromodello e 2 o 3 esercizi a crocette) e parte di prolog (2 esercizi nei quali bisogna svolgere i vari alberi).

Bisogna vedere di cosa hai bisogno. Io della parte di logica matematica penso di sapere tutto a memoria, lasciando perdere la parte relativa alle crocette perchè quella è teoria pura e la devi studiare. Della parte di prolog so fare gli esercizi abbastanza bene...

fammi sapere
saluti a.

theanswer

User info:

Registered: Dec 2003
Posts: 18 (0.00 al dì)
Location: Piacenza
Corso: Informatica per le Telecom
Anno: Terzo (più o meno...)
Time Online: 18:36:22 [...]
Status: Offline

Post actions:

riapro il thread! Cerco ancora qualcuno, anche solo per studiare nei prossimi giorni prima dell'esame! Se invece qualcuno è disponibile a dare lezioni, meglio ancora!

__________________
Tra un po' mi laureo?