.dsy:it. - [Avviso] Secondo compitino

.dsy:it.
//www.dsy.it

[Avviso] Secondo compitino

Posted by Lunik on 27-04-2004 18:03

Il 2° compitino si terrà l'11 Maggio.

Esercizi:
Un esercizio sul calcolo (il sequente sarà dimostrabile, quindi alla fine tutti dovremo avere degli assiomi)

Un esercizio di semantica (tipo quelli fatti in una vecchia lezione)

Domandine sul linguaggio proposizionale e predicativo (se ricordo bene)

Il tutto da fare in un'ora.

That's all.