Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Calendario accademico
Il calendario accademico riporta le scadenze, gli adempimenti e i periodi rilevanti per la componente studentesca, personale docente e personale dell'Università. Sono inoltre indicate le festività e le chiusure ufficiali dell'Ateneo.
L’anno accademico inizia il 1° ottobre e termina il 30 settembre dell'anno successivo.
Calendario didattico
Il calendario didattico indica i periodi di svolgimento delle attività formative, di sessioni d'esami, di laurea e di chiusura per le festività.
Periodo | Dal | Al |
---|---|---|
1° Q - 2° anno e successivi | 29-set-2003 | 28-nov-2003 |
2° Q | 12-gen-2004 | 12-mar-2004 |
3° Q | 5-apr-2004 | 11-giu-2004 |
Sessione | Dal | Al |
---|---|---|
Sessione straordinaria | 17-dic-2003 | 17-dic-2003 |
Sessione invernale | 17-mar-2004 | 17-mar-2004 |
Sessione estiva | 22-lug-2004 | 22-lug-2004 |
Sessione autunnale | 22-set-2004 | 22-set-2004 |
Periodo | Dal | Al |
---|---|---|
Festa di tutti i santi | 1-nov-2003 | 1-nov-2003 |
Vacanze natalizie | 22-dic-2003 | 6-gen-2004 |
Vacanze Pasquali | 8-apr-2004 | 13-apr-2004 |
Festa del Patrono S. Zeno | 12-apr-2004 | 12-apr-2004 |
Festa del lavoro | 1-mag-2004 | 1-mag-2004 |
Festa della Repubblica | 2-giu-2004 | 2-giu-2004 |
Vacanze estive | 26-lug-2004 | 31-ago-2004 |
Calendario esami
Gli appelli d'esame sono gestiti dalla Unità Operativa Segreteria Corsi di Studio Scienze e Ingegneria.
Per consultazione e iscrizione agli appelli d'esame visita il sistema ESSE3.
Per problemi inerenti allo smarrimento della password di accesso ai servizi on-line si prega di rivolgersi al supporto informatico della Scuola o al servizio recupero credenziali
Docenti
Squassina Marco
marco.squassina@univr.it +39 045 802 7913Piano Didattico
Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
2° Anno Attivato nell'A.A. 2004/2005
Insegnamenti | Crediti | TAF | SSD |
---|
4° Anno Attivato nell'A.A. 2006/2007
Insegnamenti | Crediti | TAF | SSD |
---|
5° Anno Attivato nell'A.A. 2007/2008
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Logica computazionale (2007/2008)
Codice insegnamento
4S01115
Docente
Crediti
5
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
MAT/01 - LOGICA MATEMATICA
Periodo
1° Q dal 3-ott-2007 al 4-dic-2007.
Pagina Web
Obiettivi formativi
Il corso introduce sistemi logici fondamentali per le applicazioni all'informatica e per la rappresentazione astratta dei processi computazionali in modo rigoroso ma radicato nella pratica .
Programma
Il corso presenta i sistemi di Gentzen, calcolo dei sequenti e deduzione naturale; la procedura semantic tableaux per la dimostrazione dei teoremi di consistenza e completezza per la semantica di Kripke delle logiche modali K, K4, S4 e per la logica intuizionistica, via la traduzione in S4; la corrispondenza di Curry-Howard tra lambda calcolo tipato semplice e deduzione naturale intuizionistica; proprieta` di Church-Rosser e teoremi di normalizzazione forte; categorie cartesiane chiuse e semantiche categoriali della logica intuizionistica.
Modalità d'esame
Esame scritto o orale
Materiale e documenti
- esercizio 1 (pdf, it, 27 KB, 04/10/07)
- esercizio 2 (pdf, it, 16 KB, 12/10/07)
- esercizio 3 (pdf, it, 29 KB, 17/10/07)
- esercizio 4 (pdf, it, 31 KB, 26/10/07)
- esercizio 5 (pdf, it, 41 KB, 28/11/07)
- esercizio 6 (pdf, it, 41 KB, 28/11/07)
- esercizio 7 (pdf, it, 100 KB, 28/11/07)
- Programma corso di logica computazionale 2007-8 (pdf, it, 28 KB, 02/10/07)
- soluzione esercizio 2 (pdf, it, 102 KB, 24/10/07)
- soluzione esercizio 3 (pdf, it, 113 KB, 24/10/07)
- soluzione esercizio 4 (pdf, it, 112 KB, 28/11/07)
Tipologia di Attività formativa D e F
Documenti e avvisi
- Documento ufficiale (pdf, it, 21 KB, 25/06/03)
Insegnamenti non ancora inseriti
Prospettive
Avvisi degli insegnamenti e del corso di studio
Per la comunità studentesca
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.