.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [LPA] esame di gennaio (http://www.dsy.it/forum/showthread.php?threadid=33581)

[LPA] esame di gennaio

ciao
qualcuno che ha dato l'esame di gennaio potrebbe scrivere le proprie impressioni e magari qualche domandina frequente?

che tipo di esercizio avete scelto?

l'orale verte molto su concetti puramente teorici o più sulla loro applicazione nel programma di spass?

a chi volesse rispondere.. grazie

io l'ho fatto all'appello di gennaio
come primo esercizio nn scegliete quello ke dei box con la frutta, visto che lo portano quasi tutti!! o cmq se proprio lo scegliete è meglio che formalizzate da zero gli assiomi.
l'esame si svolge + o meno così: può chiedere di spiegare il significato di alcune clausole, poi sceglie a caso un passggio dell'esercizio e chiede di spiegare xkè viene svoto in quel modo.
poi inizia a fare domande un pò su tutto (definizioni o teoremi fatti a lezione)
generalmente inizia con domande di difficoltà media, se si va bene passa a quelle un pò + complesse x capire se può dare 30, altrimenti se si fa un inizio da incubo passa a domande basilari (tipo def. di termine, def di linguaggio) x dare almeno 20-22

Guardando gli altri thread ho visto che negli anni scorsi all'orale si poteva capitare con Ghilardi oppure con Ranise...

Mi chiedevo se anche l'appello di gennaio 2008 è stato svolto in questo modo, perché sono un po' preoccupato dal fatto che Ranise insiste sulla DPLL... argomento in cui sono meno preparato rispetto ad altri!

__________________
"Credo nelle rovesciate di Bonimba, e nei riff di Keith Richards ... Credo che non è giusto giudicare la vita degli altri, perché comunque non puoi sapere proprio un cazzo della vita degli altri."

a gennaio c'era solo ghilardi .. ai prossimi appelli nn so .. cmq ache ghilardi ha fatto domande su DPLL .. cmq in pratica gli argomenti sono sempre quei 5-6 .. a turno chiede un pò di tutto .. va a fortuna a trovare quello che si sa meglio