Ricevimento
Il ricevimento studenti avviene per appuntamento: inviare
una mail
all'indirizzo
marco.benini@uninsubria.it specificando il nome,
cognome, numero di matricola, il corso di laurea e una
descrizione del quesito.
The students are received on appointment: send an email to
marco.benini@uninsubria.it
with your name, surname, register number, course and a
description of your question.
Corsi
-
[+]
[-]
Linguaggi Funzionali
Corso di Laurea Magistrale in InformaticaFacoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
Syllabus
- Lambda-calculus
- Category Theory
Textbooks, study material and readings
Il corso non verrà attivato in questo anno accademico. Il materiale presentato serve solo come indicazione per chi volesse presentare un piano di studi che comprenda questo corso.
This course will not start during this academic year. The shown information is for students wanting to put this course in their curricula in future years.
-
[+]
[-]
Reti di Telecomunicazione
Corso di Laurea Triennale in Informatica, aa 2009/10Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
Programma
- Introduzione ai fondamenti delle Reti di telecomunicazione
- Stack di comunicazione: TCP, Internet e ISO/OSI
- Livello applicativo di Internet: FTP
- Livello di trasporto di Internet: UDP, TCP
- Livello di rete di Internet: IP, ICMP
- Livello di collegamento di Internet: Ethernet
- Cenni al livello fisico di Internet
Modalità d'esame
Uno scritto composto da dieci domande a risposta aperta, di carattere nozionistico, teorico, applicativo e pratico.Un testo d'esempio è disponibile, ed il suo svolgimento in forma di lezione.Prossimi appelli
- 21 settembre, ore 15:00
Testi, Appunti e Materiale
- J.F. Kurose, K.W. Ross, Internet e Reti di Calcolatori, McGraw-Hill, seconda edizione italiana (2003)
- Slides delle lezioni: lezione 1, lezione 2, lezione 3, lezione 4, lezione 5, lezione 6, lezione 7, lezione 8, lezione 9, lezione 10, lezione 11, lezione 12, lezione 13, lezione 14, lezione 15, lezione 16, lezione 17, lezione 18, lezione 19, lezione 20, lezione 21.
- Documentazione aggiuntiva: RFC 768, RFC 791, RFC 792, RFC 793, RFC 826, RFC 959, RFC 1122, RFC 1323, RFC 2018, RFC 2328, RFC 2453, RFC 2581, RFC 2766, RFC 3022, RFC 4271.
- Temi d'esame: Febbraio 2006, Aprile 2006, Giugno 2006, Luglio 2006, Settembre 2006, Dicembre 2006, Febbraio 2007, Aprile 2007, Giugno 2007, Luglio 2007, Settembre 2007, Novembre 2007, Febbraio 2008, Aprile 2008, Giugno 2008, Luglio 2008, Settembre 2008, Novembre 2008, Febbraio 2009, Aprile 2009, Giugno 2009, Luglio 2009, Settembre 2009, Novembre 2009, Gennaio 2010, Febbraio 2010.
Le slides delle lezioni sono pubblicate sotto
una Licenza
Creative Commons.
-
[+]
[-]
Computational content of
proofs (Professor H. Schwichtenberg)
Dottorato di Ricerca in Informatica, aa 2008/09Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
Program
We consider logical propositions concerning data structures. If such a proposition involves (constructive) existential quantifiers in strictly positive positions, then -- according to Brouwer, Heyting and Kolmogorov -- it can be seen as a computational problem. A (constructive) proof of the proposition then provides a solution to this problem, and one can machine extract (via a realizability interpretation) this solution in the form of a lambda calculus term involving recursion operators, which can be seen as (and translated into) a functional program. We will develop from scratch the theory of (1) computability in higher types, based on Scott's information systems, and (2) realizability interpretations of a logic of inductive definitions. A special emphasis will be on the question how to control at the proof level the complexity of the extracted programs.
Notes
This PhD-level course is kindly held by Professor H. Schwichtenberg, Mathematisches Institut, Fakultät für Mathematik, Informatik und Statistik, Ludwig Maximillians Universität - Muenchen (DE).
This PhD-level course is held under the Erasmus program.
The lecture notes are available on request.
-
Reti di Telecomunicazione
Corso di Laurea Triennale in Informatica, aa 2008/09Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
[+]
[-]
Gestione delle Reti
Corso di Laurea in Informatica, aa 2007/08Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
Programma
- TCP/IP networking: configurare una rete TCP/IP in Linux
- Routing statico, dinamico interno ed esterno: configurare gated
- Configurazione centralizzata: DHCP
- Domain name system: configurare named
- Posta elettronica: configurare sendmail
- Firewall: configurare iptables e creare DMZ
- Intrusion Detection Systems
- Monitoraggio di rete: syslog e sincronizzazione mediante NTP
Testi, Appunti e Materiale
- E. Nemeth, G. Snyder, S. Seebass, T.R. Hein, UNIX System Administration Handbook, Third Edition, Prentice Hall
- Advanced Information Assurance Handbook, CERT/CC Training and Education Center (PDF)
- Slides delle lezioni: lezione 1, lezione 2, lezione 3, lezione 4, lezione 5, lezione 6, lezione 7, lezione 8, lezione 9, lezione 10, lezione 11, lezione 12, lezione 13, lezione 14, lezione 15, lezione 16, lezione 17, lezione 18, lezione 19, lezione 20.
- Documentazione aggiuntiva: RFC 821, RFC 822, RFC 894, RFC 1034, RFC 1035, RFC 1122, RFC 1123, RFC 1305, RFC 1537, RFC 1713, RFC 1794, RFC 1912, RFC 1918, RFC 2131, RFC 2182, RFC 2219, RFC 2317, RFC 2616, RFC 2870, RFC 2929, RFC 3013, RFC 3164.
- Temi d'esame: Aprile 2006, Giugno 2006, Settembre 2006, Dicembre 2006, Febbraio 2007, Aprile 2007, Giugno 2007, Luglio 2007, Settembre 2007, Novembre 2007, Febbraio 2008, Aprile 2008, Giugno 2008, Luglio 2008, Settembre 2008, Giugno 2009.
Le slides delle lezioni sono pubblicate sotto
una Licenza
Creative Commons.
-
Reti di Telecomunicazione
Corso di Laurea Triennale in Informatica, aa 2007/08Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Gestione delle Reti
Corso di Laurea in Informatica, aa 2006/07Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Reti di Telecomunicazione
Corso di Laurea Triennale in Informatica, aa 2006/07Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
[+]
[-]
Applications of Constructive Logics
in Analysis, Verification, and Synthesis of
Programs
PhD programme, aa 2006/07Mathematisches Institut, Fakultät für Mathematik, Informatik und Statistik, Ludwig Maximillians Universität - Muenchen (DE)
Syllabus
- Introduction and motivations
- The IL and E logical systems
- Reasoning about data and the notion of specification framework
- Program synthesis
- Extracting information from proofs: the Collection Method
- Program analysis as an application of proof analysis
- Uniformly constructive formal systems
- A deep application of program analysis: circuit timing
Lecture Notes
The lecture notes are published under
a Creative
Commons License.
-
Gestione delle Reti
Corso di Laurea in Informatica, aa 2005/06Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Reti di Telecomunicazione
Corso di Laurea Triennale in Informatica, aa 2005/06Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Informatica Teorica
Corso di Laurea Specialistica in Informatica, aa 2004/05Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Gestione delle Reti
Corso di Laurea in Informatica, aa 2004/05Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Sicurezza Perimetrale
Master di Sicurezza delle Reti, aa 2004/05
-
Laboratorio di Sistemi
Operativi
Laurea in Informatica, aa 2003/04Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Informatica Teorica
Corso di Laurea Specialistica in Informatica, aa 2003/04Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Applicazioni Web-based
Master in Web & Business, aa 2003/04Facoltà di Economia, Università degli Studi dell'Insubria
-
Fondamenti di Informatica
Laurea in Informatica, aa 2002/03Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Laboratorio di Architettura dei
Calcolatori - Esercitazioni
Laurea in Informatica, aa 2002/03Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Laboratorio di Sistemi
Operativi
Laurea in Informatica, aa 2001/02Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Sistemi Operativi
Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2001/02Facoltà di Lettere e Filosofia, Università degli Studi di Milano
-
Applicazioni Web-based
Master in Web & Business, aa 2001/02Facoltà di Economia, Università degli Studi dell'Insubria
-
Laboratorio di Reti di
Telecomunicazione
Laurea in Informatica, aa 2001/02Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Laboratorio di Linguaggi
Laurea in Informatica, aa 2001/02Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Logica Computazionale
Laurea in Informatica, aa 2001/02Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Laboratorio di Sistemi
Operativi
Diploma in Informatica, aa 2000/01Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Sistemi Operativi
Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2000/01Facoltà di Lettere e Filosofia, Università degli Studi di Milano
-
Reti di Telecomunicazione
Diploma in Informatica, aa 2000/01Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Laboratorio di Architettura dei
Calcolatori - Esercitazioni
Diploma in Informatica, aa 2000/01Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Logiche Costruttive
Dottorato di Ricerca in Informatica, aa 2000/01Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
-
Laboratorio di Informatica Generale
- Esercitazioni
Laurea in Scienze e Tecnologie per l'Ambiente, aa 1999/00Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano - Bicocca
-
Laboratorio di Sistemi
Operativi
Diploma in Informatica, aa 1999/00Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Sistemi Operativi
Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 1999/00Facoltà di Lettere e Filosofia, Università degli Studi di Milano
-
Laboratorio di Architettura dei
Calcolatori - Esercitazioni
Diploma in Informatica, aa 1999/00Facoltà di Scienze Matematiche, Fisiche e Naturali - Varese, Università degli Studi dell'Insubria
-
Logica II - Esercitazioni
Diploma in Informatica, aa 1999/00Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
-
Laboratorio di Informatica Generale
- Esercitazioni
Laurea in Scienze e Tecnologie per l'Ambiente, aa 1999/99Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano - Bicocca
-
Programmazione II -
Esercitazioni
Diploma in Informatica, aa 1998/99Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
- ...