.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Cercasi prof di logica (http://www.dsy.it/forum/showthread.php?threadid=38688)

Cercasi prof di logica

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?

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.

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?