WikiDsy - Contributi utente [it]

Logica per le applicazioni

2005-12-21T10:50:44Z

Joker402:

[[Categoria:Corsi]][[Categoria:Corsi Primo Semestre]]

== Informazioni generali ==

=== Orari delle lezioni ===

LUNEDI': 11.30-13.30 (in aula beta) 
MERCOLEDI': 9.30-11.30 (in aula beta) 
VENERDI' : 9.00 -10.45 (in aula beta)

L'orario del venerdì è effettivo: la lezione inizia alle 9 in punto

Cercate di essere sempre puntuali! :)

=== Orario di ricevimento studenti ===

Attenersi all'orario di ricevimento, evitate telefonate o mail al di fuori dell'orario

=== Sito del corso ===

Il sito del corso è:
[http://homes.dsi.unimi.it/~ghilardi/ls/lpa.html]

Il sito per il corso integrativo è [http://www.loria.fr/~ranise/milano2006/]

=== Videolezioni ===

Le videolezioni sono diponibili a questo indirizzo:
[http://streaming.dico.unimi.it/]

=== 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. 

=== Corso integrativo di logica ===
Durante le ore del corso sono previste delle esercitazioni con il dottor Zucchelli e in piu' l'Ingegner Ranise svolge "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) 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à concordato 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 ==
=== Lezione di Lunedi' 3-10-05 ===

Sono state presentate le modalità del corso e introdotto cosa è SPASS: un dimostratore automatico, a cui diamo in pasto problemi di logica (basati sulla logica di saturazione per la logica del primo ordine) per vederceli risolti. In pratica, inseriamo le ipotesi e la tesi, e poi SPASS ci comunica se la tesi immessa è effettivamente conseguenza logica delle ipotesi.

Esistono anche altri dimostratori automatici come E (sotto Unix) e Vampire. E' stata progettata da due dottorandi della facoltà un'interfaccia Java che facilita l'inserimento delle clausole (la trovate sul sito del prof, nella parte delle esercitazioni, inserendo la password "jarinterfaccia".

La libreria TPTP contiene una serie di problemi che possono essere risolti con SPASS

=== Lezione di Mercoledi' 5-10-05 ===
Sono state introdotte nozioni e definizioni di:
-linguaggio formale
-termine
-enunciato
-ground

e spiegate la differenza tra la logica preposizionale, la logica del primo ordine e la logica di ordini superiori.

Comunque, vi consiglio di guardarvi le videolezioni, sono un validissimo aiuto! ;)

=== Lezione di Venerdì 7-10-05 ===

Abbiamo introdotto con esempi il concetto di verità e di conseguenza logica (in particolar modo, la nozione di verità data da Tarski), nonchè dell'interpretazione dei simboli del linguaggio.

=== Lezione di Lunedì 10-10-05 ===

Nozione di interpretazione, verità logica e conseguenza logica. Teorema di compattezza. Problema fondamentale della logica

=== Lezione di Mercoledì 12-10-05 ===

Dimostratori automatici 
Skolemizzazione 
Funzionamento ed esempio di problema in SPASS 

=== Lezione di Venerdì 14-10-05 ===
Operazioni di skolemizzazione: forma normale negativa, forma normale prenessa, skolemizzazione vera e propria e trasformazione in forma normale congiuntiva della matrice, con esempi ed esercizi finali

=== Lezione di Lunedì 17-10-05 ===
Esercizi sulla skolemizzazione e introduzione al problema della rilevazione delle contraddizioni

=== Lezione di Mercoledì 19-10-05 ===
Teorema dell'unificazione. Concetto di sostituzione simultanea e sequenziale. Definizione di rinomina e di problema di unificazione. Enunciazione delle sei regole per gli algoritmi di unificazione e successivi esempi ed esercizi

=== Lezione di Venerdì 21-10-05 ===
Regola di risoluzione di Robinson. Regola di fattorizzazione destra; teorema di completezza refutazionale. Esempi con la skolemizzazione e l'unificazione.

=== Lezione di Lunedì 24-10-05 ===
Corso integrativo di logica. Vedi: http://www.loria.fr/~ranise/milano2006/

=== Lezione di Mercoledì 26-10-05 ===
Vedi: http://www.loria.fr/~ranise/milano2006/

=== Lezione di Venerdì 28-10-05 ===
Continuazione sulla struttura del dimostratore automatico, Regole di Riduzione, Algoritmo della Given Clause con esempi

=== Lezione di Lunedì 31-10-05 ===
Nozioni di Logica Tradizionale e Sillogistica Aristotelica. Esempi di sillogismi calcolati con SPASS.
Dispenza scaricabile dal sito del Prof. Minari, Università di Firenze: http://www.philos.unifi.it/persone/minari.htm, sezione Dispense | Logica Tradizionale (log_trad.pdf).

=== Lezione di Mercoledi' 02-11-05 ===
Esercizi: abbiamo ricavato la forma logica da un testo, abbiamo ricavato tutti gli assiomi e le congetture e abbiamo testato il risultato con Spass.

=== Lezione di Venerdi' 04-11-05 ===
Abbiamo visto il significato di letterali massimali.
Il prof ha spiegato gli ordini di riduzione (KBO e LPO), le proprieta' degli ordinamenti, insiemi di ordine stretto.
Abbiamo visto il prodotto lessicografico e i multinsiemi (inclusione,unione e sottrazione).
Proprieta' degli ordinamenti in ordini stretti > su P terminanti.

=== Lezione di Lunedì 07-11-05 ===
Corso integrativo. Vedi: http://www.loria.fr/~ranise/milano2006/

=== Lezione di Mercoledi' 09-11-05 ===
Ordini di riscrittura, ordine di riduzione, proprieta' altamente desiderabili (ordini di semplificazione, teorema di Kruskal).
Ordinamenti Lpo con casi da verificare, esempi.
Ordinamenti Kbo con precondizione e casi da verificare, esempi.

=== Lezione di Venerdi' 11-11-05 ===
Letterali Massimali e strettamente massimali 
Metodo per la definizione dei massimali. 
Risoluzione ordinata; factoring ordinato 
Soluzione dei letterali negativi 
Esempi

=== Lezione di Lunedì' 14-11-05 ===
Risoluzione Ordinata con selezione (ripasso) 
Factoring ordnato 
Albero delle posizioni 
Proprietà fondamentali degli alberi 
Paramodulazione Destra 
Sovrapposizione Destra e Sinistra (SPR e SPL) 
Altre regole: equality factoring e regole di riduzione 
Esempi

=== Lezione di Mercoledi' 16-11-05 ===
Lezione del corso integrativo
[http://homes.dsi.unimi.it/~ranise/lezione4.pdf slides]

=== Lezione di Venerdi' 18-11-05 ===
Lezione del corso integrativo
[http://homes.dsi.unimi.it/~ranise/lezione5.pdf slides]

=== Lezione di Lunedi' 28-11-05 ===
>>dopo una pausa di 1 settimana per assenza del prof c'è stata lezione, ma non ho appunti, chi può aggiorni<<

=== Lezione di Mercoledi' 30-11-05 ===
Esercitazione: Assassinio al palazzo di Dreadbury ([http://homes.dsi.unimi.it/~zucchell/teaching/lpalab0506/testi.txt testo]): Formalizzazione ed esecuzione 
[http://homes.dsi.unimi.it/~zucchell/teaching/lpalab0506/ Sito di riferimento]

=== Lezione di Venerdi' 02-12-05 ===
Esercitazione: Assassinio al palazzo di Dreadbury - Analisi dell'esecuzione 
[http://homes.dsi.unimi.it/~zucchell/teaching/lpalab0506/ Sito di riferimento]

=== Lezione di Lunedì' 05-12-05 ===
nota: ULTIMA LEZIONE del corso 
Esempi di superposition 
Regola di inferenza, definizione di inferenza ridondante 
Definizione di successione di insiemi di clausole

=== il corso è terminato ===

Logica per le applicazioni

2005-12-21T10:46:01Z

Joker402: /* Diario del corso */

[[Categoria:Corsi]][[Categoria:Corsi Primo Semestre]]

{{NotUp-to-date}}
== Informazioni generali ==

=== Orari delle lezioni ===

LUNEDI': 11.30-13.30 (in aula beta) 
MERCOLEDI': 9.30-11.30 (in aula beta) 
VENERDI' : 9.00 -10.45 (in aula beta)

L'orario del venerdì è effettivo: la lezione inizia alle 9 in punto

Cercate di essere sempre puntuali! :)

=== Orario di ricevimento studenti ===

Attenersi all'orario di ricevimento, evitate telefonate o mail al di fuori dell'orario

=== Sito del corso ===

Il sito del corso è:
[http://homes.dsi.unimi.it/~ghilardi/ls/lpa.html]

Il sito per il corso integrativo è [http://www.loria.fr/~ranise/milano2006/]

=== Videolezioni ===

Le videolezioni sono diponibili a questo indirizzo:
[http://streaming.dico.unimi.it/]

=== 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. 

=== Corso integrativo di logica ===
Durante le ore del corso sono previste delle esercitazioni con il dottor Zucchelli e in piu' l'Ingegner Ranise svolge "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) 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à concordato 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 ==
=== Lezione di Lunedi' 3-10-05 ===

Sono state presentate le modalità del corso e introdotto cosa è SPASS: un dimostratore automatico, a cui diamo in pasto problemi di logica (basati sulla logica di saturazione per la logica del primo ordine) per vederceli risolti. In pratica, inseriamo le ipotesi e la tesi, e poi SPASS ci comunica se la tesi immessa è effettivamente conseguenza logica delle ipotesi.

Esistono anche altri dimostratori automatici come E (sotto Unix) e Vampire. E' stata progettata da due dottorandi della facoltà un'interfaccia Java che facilita l'inserimento delle clausole (la trovate sul sito del prof, nella parte delle esercitazioni, inserendo la password "jarinterfaccia".

La libreria TPTP contiene una serie di problemi che possono essere risolti con SPASS

=== Lezione di Mercoledi' 5-10-05 ===
Sono state introdotte nozioni e definizioni di:
-linguaggio formale
-termine
-enunciato
-ground

e spiegate la differenza tra la logica preposizionale, la logica del primo ordine e la logica di ordini superiori.

Comunque, vi consiglio di guardarvi le videolezioni, sono un validissimo aiuto! ;)

=== Lezione di Venerdì 7-10-05 ===

Abbiamo introdotto con esempi il concetto di verità e di conseguenza logica (in particolar modo, la nozione di verità data da Tarski), nonchè dell'interpretazione dei simboli del linguaggio.

=== Lezione di Lunedì 10-10-05 ===

Nozione di interpretazione, verità logica e conseguenza logica. Teorema di compattezza. Problema fondamentale della logica

=== Lezione di Mercoledì 12-10-05 ===

Dimostratori automatici 
Skolemizzazione 
Funzionamento ed esempio di problema in SPASS 

=== Lezione di Venerdì 14-10-05 ===
Operazioni di skolemizzazione: forma normale negativa, forma normale prenessa, skolemizzazione vera e propria e trasformazione in forma normale congiuntiva della matrice, con esempi ed esercizi finali

=== Lezione di Lunedì 17-10-05 ===
Esercizi sulla skolemizzazione e introduzione al problema della rilevazione delle contraddizioni

=== Lezione di Mercoledì 19-10-05 ===
Teorema dell'unificazione. Concetto di sostituzione simultanea e sequenziale. Definizione di rinomina e di problema di unificazione. Enunciazione delle sei regole per gli algoritmi di unificazione e successivi esempi ed esercizi

=== Lezione di Venerdì 21-10-05 ===
Regola di risoluzione di Robinson. Regola di fattorizzazione destra; teorema di completezza refutazionale. Esempi con la skolemizzazione e l'unificazione.

=== Lezione di Lunedì 24-10-05 ===
Corso integrativo di logica. Vedi: http://www.loria.fr/~ranise/milano2006/

=== Lezione di Mercoledì 26-10-05 ===
Vedi: http://www.loria.fr/~ranise/milano2006/

=== Lezione di Venerdì 28-10-05 ===
Continuazione sulla struttura del dimostratore automatico, Regole di Riduzione, Algoritmo della Given Clause con esempi

=== Lezione di Lunedì 31-10-05 ===
Nozioni di Logica Tradizionale e Sillogistica Aristotelica. Esempi di sillogismi calcolati con SPASS.
Dispenza scaricabile dal sito del Prof. Minari, Università di Firenze: http://www.philos.unifi.it/persone/minari.htm, sezione Dispense | Logica Tradizionale (log_trad.pdf).

=== Lezione di Mercoledi' 02-11-05 ===
Esercizi: abbiamo ricavato la forma logica da un testo, abbiamo ricavato tutti gli assiomi e le congetture e abbiamo testato il risultato con Spass.

=== Lezione di Venerdi' 04-11-05 ===
Abbiamo visto il significato di letterali massimali.
Il prof ha spiegato gli ordini di riduzione (KBO e LPO), le proprieta' degli ordinamenti, insiemi di ordine stretto.
Abbiamo visto il prodotto lessicografico e i multinsiemi (inclusione,unione e sottrazione).
Proprieta' degli ordinamenti in ordini stretti > su P terminanti.

=== Lezione di Lunedì 07-11-05 ===
Corso integrativo. Vedi: http://www.loria.fr/~ranise/milano2006/

=== Lezione di Mercoledi' 09-11-05 ===
Ordini di riscrittura, ordine di riduzione, proprieta' altamente desiderabili (ordini di semplificazione, teorema di Kruskal).
Ordinamenti Lpo con casi da verificare, esempi.
Ordinamenti Kbo con precondizione e casi da verificare, esempi.

=== Lezione di Venerdi' 11-11-05 ===
Letterali Massimali e strettamente massimali 
Metodo per la definizione dei massimali. 
Risoluzione ordinata; factoring ordinato 
Soluzione dei letterali negativi 
Esempi

=== Lezione di Lunedì' 14-11-05 ===
Risoluzione Ordinata con selezione (ripasso) 
Factoring ordnato 
Albero delle posizioni 
Proprietà fondamentali degli alberi 
Paramodulazione Destra 
Sovrapposizione Destra e Sinistra (SPR e SPL) 
Altre regole: equality factoring e regole di riduzione 
Esempi

=== Lezione di Mercoledi' 16-11-05 ===
Lezione del corso integrativo
[http://homes.dsi.unimi.it/~ranise/lezione4.pdf slides]

=== Lezione di Venerdi' 18-11-05 ===
Lezione del corso integrativo
[http://homes.dsi.unimi.it/~ranise/lezione5.pdf slides]

=== Lezione di Lunedi' 28-11-05 ===
>>dopo una pausa di 1 settimana per assenza del prof c'è stata lezione, ma non ho appunti, chi può aggiorni<<

=== Lezione di Mercoledi' 30-11-05 ===
Esercitazione: Assassinio al palazzo di Dreadbury ([http://homes.dsi.unimi.it/~zucchell/teaching/lpalab0506/testi.txt testo]): Formalizzazione ed esecuzione 
[http://homes.dsi.unimi.it/~zucchell/teaching/lpalab0506/ Sito di riferimento]

=== Lezione di Venerdi' 02-12-05 ===
Esercitazione: Assassinio al palazzo di Dreadbury - Analisi dell'esecuzione 
[http://homes.dsi.unimi.it/~zucchell/teaching/lpalab0506/ Sito di riferimento]

=== Lezione di Lunedì' 05-12-05 ===
nota: ULTIMA LEZIONE del corso 
Esempi di superposition 
Regola di inferenza, definizione di inferenza ridondante 
Definizione di successione di insiemi di clausole

=== il corso è terminato ===

Internazionalizzazione e localizzazione del sw

2005-12-03T11:47:52Z

Joker402: /* Diario del corso */

== Informazioni generali ==

=== Avvisi importanti ===

'''Prossime lezioni:''' 
lunedì 10 ottobre si terrà in AULETTA 5 
giovedì 13 ottobre la lezione NON SI TERRA'

'''Iscrizione alla Mailing List''' 
Non è obbligatoria; serve per rivecere le comunicazioni importanti e gli esiti degli esami. 
Per iscriversi scrivere una mail a corsoILS@binarisonori.it

=== Orari delle lezioni ===

LUNEDI' : 13.30-15.30 Aula Epsilon (Gressoney) (16 posti,(Via Gressoney 1)) 
GIOVEDI' : 11.30-13.30 Aula Epsilon (Gressoney) (16 posti,(Via Gressoney 1))

[http://www.viamichelin.it/viamichelin/ita/dyn/controller/ItiWGPerformPage?reinit=1&strStartAddress=comelico+39&strStartCP=20100&strStartCity=milano&strStartCityCountry=EUR&strDestAddress=gressoney+1&strDestCP=20100&strDestCity=milano&strDestCityCountry=EUR&image.x=17&image.y=9 Mappa del tragitto Comelico-Gressoney]

=== Orario di ricevimento studenti ===
Su appuntamento

===Sito del corso ===
Informazioni e appunti saranno pubblicati man mano su webcen:
http://webcen.dsi.unimi.it/wcinfo/index_corsi.php?corso=67501&anno_acc=2005/2006

=== Materiale didattico ===

- Slide 
- Un libro (di cui segnalerà man mano i riferimenti alle parti da fare): 
Bert Esselink: "A Pratical Guide To Localizazion", John Benjamin BV2000 
(l'ho trascritto dalle slide della prima lezione) 

Via mailing list il prof ci chiederà chi è interessato ad avere il libro, così da fare una prenotazione collettiva e averlo con un po'di sconto

=== Modalità d'esame ===
Scritto + orale facoltativo

== Diario del corso ==

=== Lezione di Lunedì 3-10-05 ===
E'stato introdotto il corso in generale

[http://webcen.dsi.unimi.it/wcinfo/pages/67501/Lezione%20introduttiva%202005.pdf PDF della lezione]

=== Lezione di Giovedì 6-10-05 ===
Introduzione, attori, processi, professionalità: 
- introduzione storica 
- attori principali 
- piattaforme di publishing 
- processi 
- professionalità 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/Lezione%20storia-attori-processi%202005.pdf pdf della lezione]

=== Lezione di Lunedì 10-10-05 ===
Definizione di "Locale"; linguaggi; struttura delle lingue (giapponese, cinese, lingue indiane, greco, russo, ...). 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/lezionilocalilingue.pdf pdf della lezione]

=== Lezione di Lunedì 17-10-05 ===
Sistemi di codifica dei caratteri: 
- visualizzazione e gestione del testo 
- insiemi di caratteri (character set) 
- insiemi di caratteri proprietari 
- ISO 10646-1, ISO 10646-2 
- distribuzione dei caratteri sul Basic Multilingual Plane 
- Unicode 
- tavola sinottica degli insiemi ISO e Unicode 
- Windows e insiemi di caratteri 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/04_2005_10-17_sistemi%20di%20rappresentazione%20dei%20caratteri.zip pdf della lezione]

=== Lezione di Giovedì 20-10-05 ===
Gestione dei font internazionali: 
- font raster e font outline 
- principali caratteristiche dei caratteri tipografici 
- utilizzo dei caratteri 
- diritti di utilizzo dei font 
- aspetti internazionali nella gestione dei font 
- tecnologie relative ai font 
- formati dei font 
- gestione dei font su computer e stampante 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/05_Lezione%20Font%20Internazionali%202005.pdf pdf della lezione]

=== Lezione di Lunedì 24-10-05 ===
Il modello GILT - Globalizzazione e Internazionalizzazione: 
- globalizzazione 
- internazionalizzazione del codice 
- internazionalizzazione dei contenuti: le immagini 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/06_Modello%20GILT%20-%20Globalizzazione%20e%20Localizzazione.pdf pdf della lezione]

=== Lezione di Giovedì 27-10-05 ===
Sviluppo di applicazioni internazionali 
Applicazioni Multilingua 
XML 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/Sviluppo%20di%20applicazioni%20internazionali.pdf pdf della lezione]

=== Lezione di Lunedì 31-10-05 ===
Localization Kit: 
- definizione di Localization Kit 
- linee guida di localizzazione 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/08_Localizzazione-LocalizationKit%20v2.pdf pdf della lezione]

=== Lezione di Giovedì 03-11-05 ===
Localization Form e dinamiche di sviluppo internazionale 
Dinamiche di sviluppo internazionale 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/09_Localization%20Form%20e%20dinamiche%20di%20sviluppo%20internazionale.PDF pdf della lezione]

=== Lezione di Lunedì 07-11-05 ===
Processo e gestione dei dati: 
- il processo di localizzazione 
- controllo di versione 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/10_Processo%20e%20gestione%20dei%20dati.pdf pdf della lezione]

=== Lezione di Giovedì 10-11-05 ===
Il modello GILT - Traduzione: 
- testo sorgente da tradurre 
- glossario 
- linee guida di traduzione 
- riferimenti e informazioni di contesto 
- figure professionali 
- struttura del team di traduzione 
- scelta della soluzione di traduzione più adeguata 
- traduzione del software 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/11%20GILT-Traduzione.zip zip della lezione]

=== Lezione di Lunedì 14-11-05 ===
Terminologia: 
- introduzione 
- preparazione 
- materiale di riferimento 
- standard terminoogici. 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/12_Terminologia.pdf pdf della lezione]

=== Lezione di Giovedì 17-11-05 ===

=== Lezione di Lunedì 21-11-05 ===
Tecniche di internazionalizzazione e localizzazione di audio: 
- introduzione 
- script e documenti accessori 
- tipologie di registrazione audio 
- fasi di localizzazione 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/14_Tecniche%20di%20I18n%20e%20L10n%20di%20Audio.pdf pdf della lezione]

=== Lezione di Giovedì 24-11-05 ===
Tecniche di internazionalizzazione e localizzazione di documenti: 
Caratteristiche della documentazione 
Internazionalizzazione, Workflow di localizzazione 
Analisi, preparazione e traduzione, engineering 
Formati intermedi di traduzione 
[http://webcen.dsi.unimi.it/wcinfo/pages/67501/15%20Tecniche%20di%20I18n%20e%20L10n%20di%20documentazione.pdf pdf della lezione]

=== Lezione di Lunedì 28-11-05 ===
Tecniche di internazionalizzazione e localizzazione di giochi 

=== Lezione di Giovedì 01-12-05 ===
La lezione non si è tenuta, per impegni di lavoro del prof

=== Lezione di Lunedì 05-12-05 ===

Modelli dei dati e DBMS di nuova generazione

2005-11-22T21:50:32Z

Joker402: /* Lezione di Martedi' 22 Novembre 2005 */

== Modelli dei dati e DBMS di nuova generazione, anno 2005/2006 ==

=== Docenti ===
[http://www.dico.unimi.it/persona.php?z=0;id_persona=299 Marco Mesiti]

=== Orari delle lezioni ===
Martedì 10:30-13:30 
Aula Delta

=== Orario di ricevimento dei docenti ===

=== Sito del corso ===

http://homes.dico.unimi.it/fisu6/0505/modelli 
per info sul sito e sul materiale chiedeteci pure in pm (joker402 o Flavia)

=== Materiale didattico ===

Slide fornite sul sito del docente

=== Modalità di esame ===

"L'esame consiste di una prova scritta e un progetto. La prova scritta può essere sostituita da due compitini che verranno assegnato durante il corso." 
informazioni dettagliate sul [http://homes.dico.unimi.it/fisu6/0505/modelli sito del corso]

== Diario del corso ==

=== Lezione di Martedi' 11 Ottobre 2005 ===

'''Argomenti trattati nella lezione di oggi''':

- Introduzione ed organizzazione del corso 
- UML: Introduzione al diagramma delle classi e degli oggetti 
- UML: rappresentazione di oggetti e classi 

=== Lezione di Martedi' 18 Ottobre 2005 ===

'''Argomenti trattati nella lezione di oggi''':

- UML: rappresentazione di attributi e relazioni 
- UML: diagramma delle interazioni 
- UML: esercizio di progettazione in UML 

=== Lezione di Martedi' 25 Ottobre 2005 ===

'''Argomenti trattati nella lezione di oggi''':

- UML: Use Cases: diagramma ed elementi 
- UML: Diagramma di interazione e Diagramma di sequenza 
- UML: Esercizio "Cinema" [http://homes.dico.unimi.it/fisu6/0505/modelli/rsvd/esercizi/esProgettazione2.pdf (testo e svolgimento)] 

=== Lezione di Martedi' 8 Novembre 2005 ===
DBMS relazionali ad oggetti: introduzione e tipi semplici; tipi ADT in SQL-2003 (attributi, metodi, uso di ADT); tabelle tipate

=== Lezione di Martedi' 15 Novembre 2005 ===
Tipi di dati: tipi riferimento, manipolazione di tipi riferimento; tipi collezione, tipi tupla, ereditarieta' 
introduzione a PL/SQL

=== Lezione di Martedi' 22 Novembre 2005 ===

Per tutta la lezione abbiamo svolto esercizi. 
es1. Azienda agricola - Dalla descrizione del problema abbiamo individuato: attività, attori e tipi di dato, poi messo in relazione gli attori co le azioni. Successivamente è stato mostrato come illustrare tutti gli scenari che si sono delineati. Infine è stato composto il diagramma ER 
es2. Cinema - da uno schema relazionale scrivere lo schema ad oggetti e poi lo schema relazionale ad oggetti.

Modelli dei dati e DBMS di nuova generazione

2005-11-22T21:49:55Z

Joker402: /* Diario del corso */

== Modelli dei dati e DBMS di nuova generazione, anno 2005/2006 ==

=== Docenti ===
[http://www.dico.unimi.it/persona.php?z=0;id_persona=299 Marco Mesiti]

=== Orari delle lezioni ===
Martedì 10:30-13:30 
Aula Delta

=== Orario di ricevimento dei docenti ===

=== Sito del corso ===

http://homes.dico.unimi.it/fisu6/0505/modelli 
per info sul sito e sul materiale chiedeteci pure in pm (joker402 o Flavia)

=== Materiale didattico ===

Slide fornite sul sito del docente

=== Modalità di esame ===

"L'esame consiste di una prova scritta e un progetto. La prova scritta può essere sostituita da due compitini che verranno assegnato durante il corso." 
informazioni dettagliate sul [http://homes.dico.unimi.it/fisu6/0505/modelli sito del corso]

== Diario del corso ==

=== Lezione di Martedi' 11 Ottobre 2005 ===

'''Argomenti trattati nella lezione di oggi''':

- Introduzione ed organizzazione del corso 
- UML: Introduzione al diagramma delle classi e degli oggetti 
- UML: rappresentazione di oggetti e classi 

=== Lezione di Martedi' 18 Ottobre 2005 ===

'''Argomenti trattati nella lezione di oggi''':

- UML: rappresentazione di attributi e relazioni 
- UML: diagramma delle interazioni 
- UML: esercizio di progettazione in UML 

=== Lezione di Martedi' 25 Ottobre 2005 ===

'''Argomenti trattati nella lezione di oggi''':

- UML: Use Cases: diagramma ed elementi 
- UML: Diagramma di interazione e Diagramma di sequenza 
- UML: Esercizio "Cinema" [http://homes.dico.unimi.it/fisu6/0505/modelli/rsvd/esercizi/esProgettazione2.pdf (testo e svolgimento)] 

=== Lezione di Martedi' 8 Novembre 2005 ===
DBMS relazionali ad oggetti: introduzione e tipi semplici; tipi ADT in SQL-2003 (attributi, metodi, uso di ADT); tabelle tipate

=== Lezione di Martedi' 15 Novembre 2005 ===
Tipi di dati: tipi riferimento, manipolazione di tipi riferimento; tipi collezione, tipi tupla, ereditarieta' 
introduzione a PL/SQL

=== Lezione di Martedi' 22 Novembre 2005 ===

Per tutta la lezione abbiamo svolto esercizi. 
es1. Azienda agricola - Dalla descrizione del problema abbiamo individuato: attività, attori e tipi di dato, poi messo in relazione gli attori co le azioni. Successivamente è stato mostrato come illutrare tutti gli scenari. Infine è stato composto il diagramma ER 
es2. Cinema - da uno schema relazionale scrivere lo schema ad oggetti e poi lo schema relazionale ad oggetti.

Internazionalizzazione e localizzazione del sw

2005-11-22T18:50:10Z

Joker402: /* Diario del corso */

Modelli dei dati e DBMS di nuova generazione

2005-10-27T16:01:59Z

Joker402: /* Diario del corso */

Modelli dei dati e DBMS di nuova generazione

2005-10-20T21:06:59Z

Joker402: /* Sito del corso */

Modelli dei dati e DBMS di nuova generazione

2005-10-20T21:06:36Z

Joker402: /* Sito del corso */

Internazionalizzazione e localizzazione del sw

2005-10-20T21:03:47Z

Joker402: /* Diario del corso */

Modelli dei dati e DBMS di nuova generazione

2005-10-18T16:44:09Z

Joker402: /* Modelli dei dati e DBMS di nuova generazione, anno 2005/2006 */

Modelli dei dati e DBMS di nuova generazione

2005-10-18T15:56:11Z

Joker402: /* Orari delle lezioni */

Modelli dei dati e DBMS di nuova generazione

2005-10-17T21:10:25Z

Joker402: /* Orari delle lezioni */

== Modelli dei dati e DBMS di nuova generazione, anno 2005/2006 ==

=== Docenti ===
[http://www.dico.unimi.it/persona.php?z=0;id_persona=299 Marco Mesiti]

=== Orari delle lezioni ===
Martedì 10:30-13:30 
Aula Delta (forse sarà spostato definitivamente in aula gamma)

=== Orario di ricevimento dei docenti ===

=== Sito del corso ===

=== Materiale didattico ===

=== Modalità d'esame e prerequisiti ===

== Diario del corso ==

=== Lezione di ... ===

'''Argomenti trattati nella lezione di oggi''':

Modelli dei dati e DBMS di nuova generazione

2005-10-17T21:09:55Z

Joker402: /* Orari delle lezioni */

Modelli dei dati e DBMS di nuova generazione

2005-10-17T21:08:55Z

Joker402: /* Docenti */

== Modelli dei dati e DBMS di nuova generazione, anno 2005/2006 ==

=== Docenti ===
[http://www.dico.unimi.it/persona.php?z=0;id_persona=299 Marco Mesiti]

=== Orari delle lezioni ===

=== Orario di ricevimento dei docenti ===

=== Sito del corso ===

=== Materiale didattico ===

=== Modalità d'esame e prerequisiti ===

== Diario del corso ==

=== Lezione di ... ===

'''Argomenti trattati nella lezione di oggi''':

Internazionalizzazione e localizzazione del sw

2005-10-17T20:58:34Z

Joker402: /* Lezione di Lunedì 17-10-05 */

Internazionalizzazione e localizzazione del sw

2005-10-17T20:57:47Z

Joker402: /* Diario del corso */

Logica per le applicazioni

2005-10-16T22:26:55Z

Joker402: /* Lezione di Mercoledì 12-10-05 */

== Informazioni generali ==

=== Orari delle lezioni ===

LUNEDI': 11.30-13.30 (in aula beta) 
MERCOLEDI': 9.30-11.30 (in aula beta) 
VENERDI' : 9.00 -10.45 (in aula beta)

L'orario del venerdì è effettivo: la lezione inizia alle 9 in punto

Cercate di essere sempre puntuali! :)

=== Orario di ricevimento studenti ===

Attenersi all'orario di ricevimento, evitate telefonate o mail al di fuori dell'orario

=== Sito del corso ===

Il sito del corso è:
[http://homes.dsi.unimi.it/~ghilardi/ls/lpa.html]

=== Videolezioni ===

Le videolezioni sono diponibili a questo indirizzo:
[http://streaming.dico.unimi.it/]

=== 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. 

=== 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) 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à concordato 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 ==
=== Lezione di Lunedi' 3-10-05 ===

Sono state presentate le modalità del corso e introdotto cosa è SPASS: un dimostratore automatico, a cui diamo in pasto problemi di logica (basati sulla logica di saturazione per la logica del primo ordine) per vederceli risolti. In pratica, inseriamo le ipotesi e la tesi, e poi SPASS ci comunica se la tesi immessa è effettivamente conseguenza logica delle ipotesi.

Esistono anche altri dimostratori automatici come E (sotto Unix) e Vampire. E' stata progettata da due dottorandi della facoltà un'interfaccia Java che facilita l'inserimento delle clausole (la trovate sul sito del prof, nella parte delle esercitazioni, inserendo la password "jarinterfaccia".

La libreria TPTP contiene una serie di problemi che possono essere risolti con SPASS

=== Lezione di Mercoledi' 5-10-05 ===
Sono state introdotte nozioni e definizioni di:
-linguaggio formale
-termine
-enunciato
-ground

e spiegate la differenza tra la logica preposizionale, la logica del primo ordine e la logica di ordini superiori.

Comunque, vi consiglio di guardarvi le videolezioni, sono un validissimo aiuto! ;)

=== Lezione di Venerdì 7-10-05 ===

Abbiamo introdotto con esempi il concetto di verità e di conseguenza logica (in particolar modo, la nozione di verità data da Tarski), nonchè dell'interpretazione dei simboli del linguaggio.

=== Lezione di Lunedì 10-10-05 ===

Nozione di interpretazione, verità logica e conseguenza logica. Teorema di compattezza. Problema fondamentale della logica

=== Lezione di Mercoledì 12-10-05 ===

Dimostratori automatici 
Skolemizzazione 
Funzionamento ed esempio di problema in SPASS

Internazionalizzazione e localizzazione del sw

2005-10-16T17:56:52Z

Joker402: /* Lezione di Lunedì 3-10-05 */

Internazionalizzazione e localizzazione del sw

2005-10-10T20:18:26Z

Joker402: /* Materiale didattico */

Internazionalizzazione e localizzazione del sw

2005-10-10T20:14:13Z

Joker402: /* Diario del corso */

Internazionalizzazione e localizzazione del sw

2005-10-10T20:10:59Z

Joker402: /* Materiale didattico */

Complementi di analisi

2005-10-07T17:37:44Z

Joker402: /* Modalità d'esame */

== Informazioni generali ==

=== Orari delle lezioni ===

- Martedì: 14.30 - 16.30 ( aula 301, in Via Celoria) 
- Giovedì: 14.30 - 17.30 ( aula 301, in Via Celoria)

L'inizio delle lezioni sarà indicativamente per le 14.45. Il giovedì, la pausa è prevista dalle 16.00 alle 16.15 e la lezione finirà alle 17.15
Le 3 ore del giovedì soo giustificate dal fatto che la prof si assenterà una settimana a Novembre, e quindi, al posto di recuparare i giorni a fine semestre, si fa un'ora in più a settimana!

=== Orario di ricevimento studenti ===

Mercoledi' : 14 – 15.30 (fino al 31.01.06, dal 01.02.06 è ancora da definire) 

in alternativa si può fissare appuntamento scrivendo alla prof. [mailto:cecilia.cavaterra@mat.unimi.it via e-mail]

===Sito del corso ===

[http://www.mat.unimi.it/~cecilia/ Pagina della Prof.] 
[http://www.mat.unimi.it/users/cecilia/info2005.06/didattica0506.html Sito del corso]

=== Materiale didattico ===

- Appunti da prendere in classe 
- Il libro verrà comunicato quando aggiornerà la home page

Il libro è solamente consigliato (potete prendere uno che volete che tratti gli stessi argomenti), ma sicuramente seguire le lezioni è il metodo migliore per passare l'esame (gli esercizi che si svolgeranno in classe saranno molto simili agli esercizi d'esame)

=== Modalità d'esame ===

Prova scritta (risoluzione di esercizi) + prova orale, nello stesso appello. 
- Durante lo svolgimento della prova scritta e' consentito consultare qualunque tipo di materiale e l’utilizzo di calcolatrici. 
- E' possibile essere esonerati dalla prova scritta dei primi appelli in caso di superamento di due prove in itinere che verranno effettuate in novembre e gennaio. Date, modalita' di superamento e validita' dell'esonero verranno pubblicate a breve nella pagina [http://www.mat.unimi.it/users/cecilia/info2005.06/ultime0506.html ultime notizie] 

Fonte: [http://www.mat.unimi.it/users/cecilia/info2005.06/regole0506.html sito del corso]

== Diario del corso ==

=== Lezione di Martedì 4-10-05 ===
Sono stati trattati i numeri complessi con relative proprietà. 
Qua gli appunti di questa lezione:
[http://www.dsy.it/forum/showthread.php?threadid=21767]

=== Lezione di Giovedì 6-10-05 ===

Le successioni e le serie numeriche: definizioni, teoremi e proprietà.
Qua per gli appunti: [http://www.dsy.it/forum/showthread.php?threadid=21767/]

=== Lezione di Martedì 11-10-05 ===

Complementi di analisi

2005-10-07T17:27:21Z

Joker402: /* Orario di ricevimento studenti */

== Informazioni generali ==

=== Orari delle lezioni ===

- Martedì: 14.30 - 16.30 ( aula 301, in Via Celoria) 
- Giovedì: 14.30 - 17.30 ( aula 301, in Via Celoria)

L'inizio delle lezioni sarà indicativamente per le 14.45. Il giovedì, la pausa è prevista dalle 16.00 alle 16.15 e la lezione finirà alle 17.15
Le 3 ore del giovedì soo giustificate dal fatto che la prof si assenterà una settimana a Novembre, e quindi, al posto di recuparare i giorni a fine semestre, si fa un'ora in più a settimana!

=== Orario di ricevimento studenti ===

Mercoledi' : 14 – 15.30 (fino al 31.01.06, dal 01.02.06 è ancora da definire) 

in alternativa si può fissare appuntamento scrivendo alla prof. [mailto:cecilia.cavaterra@mat.unimi.it via e-mail]

===Sito del corso ===

[http://www.mat.unimi.it/~cecilia/ Pagina della Prof.] 
[http://www.mat.unimi.it/users/cecilia/info2005.06/didattica0506.html Sito del corso]

=== Materiale didattico ===

- Appunti da prendere in classe 
- Il libro verrà comunicato quando aggiornerà la home page

Il libro è solamente consigliato (potete prendere uno che volete che tratti gli stessi argomenti), ma sicuramente seguire le lezioni è il metodo migliore per passare l'esame (gli esercizi che si svolgeranno in classe saranno molto simili agli esercizi d'esame)

=== Modalità d'esame ===

Scritto con esercizi più orale

== Diario del corso ==

=== Lezione di Martedì 4-10-05 ===
Sono stati trattati i numeri complessi con relative proprietà. 
Qua gli appunti di questa lezione:
[http://www.dsy.it/forum/showthread.php?threadid=21767]

=== Lezione di Giovedì 6-10-05 ===

Le successioni e le serie numeriche: definizioni, teoremi e proprietà.
Qua per gli appunti: [http://www.dsy.it/forum/showthread.php?threadid=21767/]

=== Lezione di Martedì 11-10-05 ===

Complementi di analisi

2005-10-07T17:23:24Z

Joker402: /* Sito del corso */

Logica per le applicazioni

2005-10-07T17:19:28Z

Joker402: /* Lezione di Venerdì 7-10-05 */

Logica per le applicazioni

2005-10-07T13:11:18Z

Joker402: /* Orari delle lezioni */