Differenze tra le versioni di "Logica per le applicazioni"

Da WikiDsy.
(Informazioni generali)
 
(31 versioni intermedie di 16 utenti non mostrate)
Riga 1: Riga 1:
== Informazioni generali ==
+
{{introduzione}}
 +
== Turni ==
 +
{{Turno|(Ghilardi)}}
  
=== Orari delle lezioni ===
+
== A.A. passati ==
 +
{{Annipassati|2005-2006|(Ghilardi)}}
  
LUNEDI': 11.30-13.30 (in aula beta)<br>
+
== Informazioni ==
MERCOLEDI': 9.30-11.30 (in aula beta)
 
VENERDI' : 9.30 -11.30 (in aula delta)
 
  
Cercate di essere puntuali! :)
+
Il corso ha anche il nome di '''Logica matematica'''.
  
=== Orario di ricevimento studenti ===
+
=== Giudizio sul corso ===
 +
{{Giudizio}}
 +
{{Giudizio/Interesse}}
 +
{{Giudizio/Difficoltà}}
 +
{{Giudizio/Nonfrequentanti}}
 +
{{Giudizio/Ore}}
  
Attenersi all'orario di ricevimento, evitate telefonate o mail al di fuori dell'orario
+
[[Categoria:Corsi Primo Semestre]][[Categoria:Corsi Magistrale]]
 
 
===Sito del corso ===
 
 
 
Il sito del corso è:
 
[http://homes.dsi.unimi.it/~ghilardi/ls/lpa.html/]
 
 
 
=== Materiale didattico ===
 
 
 
- La dispensa reperibile sul sito del prof
 
- Il dimostratore automatico SPASS  scaricabile da Internet secondo le indicazioni presenti sul sito del prof
 
 
 
=== Modalità d'esame ===
 
 
 
Orale con presentazione di un proprio esercizio formalizzato in SPASS. Durante l'orale verranno anche fatte domande sulla teoria spiegata a lezione e presente sulla dispensa.
 
Una modalità alternativa prevedere la presentazione di un progetto. <br>
 
 
 
=== Corso integrativo di logica ===
 
Durante le ore del corso sono previste delle esercitazioni con il dottor Zucchelli ("Metodi formali per la verifica dei protocolli") dal 24 Ottobre circa durante le ore di lezione.
 
Le prime 2 o 3 lezioni sono obbligatorie, poi facoltative per chi volesse fare l'esame con la modalità alternativa (progetto)
 
 
 
=== Rapporto con la laurea triennale ===
 
Chi avesse fatto come complementare logica matematica durante la laurea triennale, deve obbligatoriamente fare anche questo esame (i programmi sono distinti) <br> Logica matematica e logica per le applicazioni per la specialistica hanno invece lo stesso programma
 
 
 
=== Recupero del debito ===
 
Il professor Ghilardi ha detto che non ha molto senso fare Logica Matematica come complementare della triennale. Se volete fare qualcosa riguardante la logica, contattate il prof e concordate un programma, oppure fate un corso integrativo che partirà più avanti con progetto annesso.
 
 
 
=== Altri corsi ===
 
Al secondo semestre c'è Logica II, un esame a moduli, il cui programma è molto variabile e verrà concorato in seguito
 
 
 
=== Iniziative e seminari ===
 
C'è la possibilità di fare una scuola di Logica sul Lago di Garda per una settimana circa, verso primavera. Possibilità di borse di studio.
 
 
 
== Diario del corso ==
 

Versione attuale delle 11:51, 10 ott 2006

Disambigua compass.PNG
Questa è una pagina di introduzione al corso: contiene i turni, le modalità d'insegnamento, alcune informazioni generali ed eventuali giudizi sul corso in questione. Se sei giunto qui passando da un link, puoi tornare indietro e correggerlo in modo che punti direttamente alla voce appropriata.

Turni

A.A. passati

Informazioni

Il corso ha anche il nome di Logica matematica.

Giudizio sul corso

I giudizi di seguito espressi sono il parere personale degli studenti,
e potrebbero non rispecchiare il parere medio dei frequentanti.
Non vi è comunque alcun intento di mettere alla gogna i docenti del corso!
Interesse della materia (da 1 a 5 - aiuto)
____________________
Difficoltà del corso (da 1 a 5 - aiuto)
____________________
Difficoltà del corso per non frequentanti (da 1 a 5 - aiuto)
____________________
Ore di studio richieste (da 1 a 5 - aiuto)
____________________