IuZ

.grande:maestro.

User info:

Registered: Mar 2004
Posts: 816 (0.10 al dì)
Location:
Corso: T.I.Co.
Anno: Primo
Time Online: 8 Days, 7:26:48 [...]
Status: Offline

Post actions:

Ciao a tutti,
qualcuno di voi ha dato l'esame di Logica Matematica per il recupero crediti matematici?

Mi potete dire come si svolge l'esame e cosa chiede?
So che fa fare degli esercizi.. alberi... ma nello specifico? Avete esempi di esercizi?

Ciao.
grazie

__________________
Links a risorse (How-To, libri, manuali, siti) su Linux? -> Qui! ( .dsy:it. LUG ) <-
Scouting Site: -> no6.org <-
Prima di postare, fate una SEARCH ... Link in alto a destra, non è difficile!
Abbiamo il dovere di voler essere ciò che siamo.

HatTrick86

.illuminato.

User info:

Registered: Oct 2007
Posts: 216 (0.03 al dì)
Location: Corbetta - MI
Corso: Info x Telecom
Anno: III (Theorically)
Time Online: 1 Day, 9:13:29 [...]
Status: Offline

Post actions:

allora l'esame è diviso in 2 parti: uno sulla logica proposizionale e su quelli che tu hai chiamato giustamente alberi...ossia sulla soddisfacibilità di clausole, regole di riscrittura etc... e una parte in prolog (che è un linguaggio logico-computazionale). oltre a queste due prove è previsto anche un orale facoltativo che può essere svolto o sulla storia della logica, o su un progetto in prolog, oppure sulla parte teorica di logica proposizionale.

__________________
"And there goes the Challenger, being chased by the blue, blue meanies on wheels. The vicious traffic squad cars are after our lone driver, the last American hero, the electric centaur, the, the demi-god, the super driver of the golden west!"

IuZ

.grande:maestro.

User info:

Registered: Mar 2004
Posts: 816 (0.10 al dì)
Location:
Corso: T.I.Co.
Anno: Primo
Time Online: 8 Days, 7:26:48 [...]
Status: Offline

Post actions:

Originally posted by HatTrick86
allora l'esame è diviso in 2 parti: uno sulla logica proposizionale e su quelli che tu hai chiamato giustamente alberi...ossia sulla soddisfacibilità di clausole, regole di riscrittura etc... e una parte in prolog (che è un linguaggio logico-computazionale). oltre a queste due prove è previsto anche un orale facoltativo che può essere svolto o sulla storia della logica, o su un progetto in prolog, oppure sulla parte teorica di logica proposizionale.

__________________
Links a risorse (How-To, libri, manuali, siti) su Linux? -> Qui! ( .dsy:it. LUG ) <-
Scouting Site: -> no6.org <-
Prima di postare, fate una SEARCH ... Link in alto a destra, non è difficile!
Abbiamo il dovere di voler essere ciò che siamo.

HatTrick86

.illuminato.

User info:

Registered: Oct 2007
Posts: 216 (0.03 al dì)
Location: Corbetta - MI
Corso: Info x Telecom
Anno: III (Theorically)
Time Online: 1 Day, 9:13:29 [...]
Status: Offline

Post actions:

AAAAAAAAAAAAH! allora boh, nn so!

__________________
"And there goes the Challenger, being chased by the blue, blue meanies on wheels. The vicious traffic squad cars are after our lone driver, the last American hero, the electric centaur, the, the demi-god, the super driver of the golden west!"