Teoria della Dimostrazione
Anno Accademico 2007/08
Prof. Stefano Guerrini
guerrini at di.uniroma1.it
Orario delle lezioni
Lunedì e Mercoledì dalle 10.15 alle 11.45 in aula alfa. N.B. L'inizio delle lezioni è anticipato di 15 min. rispetto all'ora ufficiale d'inizio delle 10.30.Ricevimento
...Modalità di esame
- Presentazione di uno o più articoli su di un argomento di approfondimento da concordare con il docente.
- Esercizi scritti da svolgere a casa e da consegnare al docente prima della discusione orale.
- Discussione orale degli esercizi svolti a casa.
Edit | Attach | Topic revision: r1 - 2007-10-12 - StefanoGuerrini
TD Web Home
Users
Groups
Index
Search
Changes
Notifications
Statistics
Preferences- Algebra
- Algoritmi
- Architetture
- Basi di Dati
- Calcolo
- Metodi mat. per l'inf. (ex. Logica)
- Programmazione
- Reti
- Sistemi operativi
- Altri corsi
- Automi, Calcolabilitą
e Complessitą
- Apprendimento Automatico
- Economia Aziendale
- Elaborazione Immagini
- Fisica 2
- Grafica 3D
- Informatica Giuridica
- Laboratorio di Sistemi Interattivi
- Linguaggi di Programmazione 3° anno Matematica
- Linguaggi e Compilatori
- Sistemi Informativi
- Tecniche di Sicurezza dei Sistemi
- Automi, Calcolabilitą
- Percorsi di studio
- Corsi
- Algoritmi Avanzati
- Algoritmica
- Algoritmi e Strutture Dati
- Algoritmi per le reti
- Architetture degli elaboratori 3
- Architetture avanzate e parallele
- Autonomous Networking
- Big Data Computing
- Business Intelligence
- Calcolo Intensivo
- Complessitą
- Computer Systems and Programming
- Concurrent Systems
- Crittografia
- Elaborazione del Linguaggio Naturale
- Estrazione inf. dal web
- Fisica 3
- Gamification Lab
- Information Systems
- Ingegneria degli Algoritmi
- Interazione Multi Modale
- Metodi Formali per il Software
- Methods in Computer Science Education: Analysis
- Methods in Computer Science Education: Design
- Prestazioni dei Sistemi di Rete
- Prog. avanzata
- Internet of Things
- Sistemi Centrali
- Reti Wireless
- Sistemi Biometrici
- Sistemi Distribuiti
- Sistemi Informativi Geografici
- Sistemi operativi 3
- Tecniche di Sicurezza basate sui Linguaggi
- Teoria della
Dimostrazione
- Verifica del software
- Visione artificiale
- Algoritmi Avanzati
- Attivitą complementari
- Commissioni
- Corsi esterni
- Sistemi Operativi (Matematica)
- Perl e Bioperl
- ECDL
- Fondamenti 1
(NETTUNO)
- Tecniche della Programmazione 1° modulo
(NETTUNO)
- Seminars in Artificial Intelligence and Robotics: Natural Language Processing
- Informatica generale
- Informatica
- Informatica per Statistica
- Laboratorio di Strumentazione Elettronica e Informatica
- Sistemi Operativi (Matematica)
- Progetti
Site map
AA web
More...
Create New Topic
RSS Feed
 |
 |
Questo sito usa cookies, usandolo ne accettate la presenza. (CookiePolicy)
Torna al Dipartimento di Informatica 
|
|
|
|
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback