INFORMATICA TEORICA 07/08

Ti dirò,alla fine bisogna vedere quello che farà,però onestamente penso che sta materia tocca studiarla e tanto.....
Ma più che studiarla capirla....
Uffffffff......

ragazzi ma domani c'è lezione??grazie!!

peppegiannini ha scritto:

ragazzi ma domani c'è lezione??grazie!!

A me hanno detto che per la facoltà non è ponte.
Quindi credo che ci sia lezione.

ciao!
Oggi che cosa è stato fatto a lezione?

oggi ha introdotto i cpo, ha fatto il confronto cpo vs lattice, dimostrazione del teorema di kleene, ha ripreso il confronto fra call-by-value e call-by-name... e mille altre cose di cui non saprei riferire. ha consegnato tre dispense: due fogli singoli ed un malloppone da 35 fogli

un link utile:
www.swi-prolog.org , preso da it.wikipedia.org/wiki/Prolog

in cui si possono scaricare il compilatore SWI-PROLOG (che nomina sempre il prof) e la relativa documentazione, utile per i progetti dell'esame.