Logica per l'Informatica - 2011/2012

Info

  • Corso: Claudio Sacerdoti Coen
  • Esercitazoni: Paolo Tranquilli (email)
  • Orari:
    • Corso: Mercoledì (15:30-18:30), Venerdì (Gruppo II → 9:30, Gruppo I → 11:30)
    • Esercitazioni: Venerdì (Gruppo I → 9:30, Gruppo II → 11:30)

Esercitazioni

I primi risultati possono essere consultati qui. È possibile che file non consegnati con le modalità espressamente previste (salvati come '/public/logica_etc.ma' in laboratorio, compresa l'estensione '.ma', inviati per posta quelli svolti a casa) non compaiano. Nel caso le istruzioni di consegna non siano state seguite non è previsto recupero.