semantica dei giochi -...

22
Corso di Laurea Specialistica in Informatica A.A. 2005-2006 Docenti: Claudia Faggian e Pierre-Louis Curien (CNRS - Paris 7) Semantica dei Giochi

Upload: voanh

Post on 21-Feb-2019

216 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

Corso di Laurea Specialistica in Informatica

A.A. 2005-2006

Docenti: Claudia Faggian e Pierre-Louis Curien (CNRS - Paris 7)

Semantica dei Giochi

Page 2: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

La Semantica dei GiochiL' esecuzione di un programma e' rappresentata come interazione (dialogo, partita) tra due avversari :

il programma (sistema da studiare) e l'ambiente (resto del sistema, test).

• Il gioco fissa le regole e lo spazio d'azione; le strategie dei giocatori forniscono una descrizione astratta del comportamento operazionale.

SEMANTICA... Qual e' il senso [l'essenziale]di un programma? Come si svolge il processo di calcolo?

Sono questioni di interesse teorico ma anche che pratico: per analizzare il comportamento di un programma indipendentemente dai dettagli dellinguaggio (sintassi) e dell'implementazione abbiamo bisogno di astrazione.

Page 3: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

– Un vantaggio di questo approccio e' di riunire insieme

• metodi ed eleganza matematica di una rappresentazione di alto livello (semantica denotazionale )

• contenuto operazionale, che cattura dinamica del programma, flusso di calcolo, ed aspetti algoritmici.

– Oltre il corso: opportunita' di approfondimentoSUMMER SCHOOL "Games: between Semantics and Verification"

» 29 maggio - 2 giugno 2006, Ile de Re, Francia.

» docenti al massimo livello internazionale

» i corsi sono in lingua inglese

» 2 borse (spese di viaggio e soggiorno)

Modalita' d'esame e programma aggiornato del corso alla pagina del docente: www.math.unipd.it/~claudia

Page 4: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

1. Concetti generali di strategia:a. La definizione di settore industrialeb. L’analisi della struttura del settore e dell’attrattivitàdel mercatoc. Analisi dei clienti e dei loro driver di sceltad. Analisi dei competitorse del posizionamento competitivo

2. Il mercato dell’Information & Communication Technologyin Italia e in Europa3. Tipologie di aziende di Information Technology:

a. Aziende di servizii. Struttura organizzativaii. Il portafoglio dell’offerta

b. Aziende di prodottii. Struttura Organizzativaii. Il portafoglio dell’offerta

4. Il business plana. Definizione del business modelb. Definizione della strategia di sviluppoc. Identificazione del mercatod. Il forecasteconomico-finanziario

Struttura del corso Gestione Imprese Informatiche

Page 5: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

30% Active Learning & Partecipationin aula- Venire preparati a lezione- Domande e spunti di qualità- Contibuto alla discussione

70% Project workdi gruppo (teamdi 2-4 studenti)

Criteri di Valutazione

Project workPreparazione di un business plan

- Definizione della business opportunitye del mercato di riferimento- Individuazione delle strategia competitiva- Proiezioni economiche- Execution plan

Se possibile saranno invitati testimonialesterni per affrontare temi chiave quali:- Il ruolo del Chief Information Officer(CIO) in azienda- Dalla strategia all’execution: la costruzione e la gestione del team - Trendemergenti nell’IT: il business process outsourcing- Dimensione vs specializzazione: i fattori critici di successo

Testimonial

Page 6: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

Corso di Laurea Specialistica in Informatica dell’U niversita’ degli Studi di Padova – Facolta’ di Scienze mm.ff.nn

A.A. 2005-2006

Docente: Dott. Ing. Stefano Nativi

Sistemi per la Gestione del Territorio

Page 7: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

Temi principali affrontati dal corso• La Geo-informazione

– La Standardizzazione della Geo-Informazione• Standardizzazione dei modelli di dati (Data Model)• Standardizzazione delle codifiche dei dati (Data encoding)• Standard de-iure (ISO TC211, CEN TC287)• Standard de-facto (Open Geospatial Consortium)

• La Geomatica– Le Infrastrutture per i Dati Spaziali (Spatial Data Infrastructure).

• Iniziativa Europea INSPIRE (Infrastructure for Spatial Information in Europe )

• Iniziative del CNIPA (Repertorio Nazionale dei dati territoriali)

– La standardizzazione dei protocolli e delle interfacce• I servizi Web per la scoperta, la catalogazione, l’accesso ed il

trasferimento dei dati geospaziali• Location Based Service per le piattaforme mobili• I servizi Web per le reti di sensori a terra

Page 8: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

Temi principali affrontati dal corso

• I Sistemi per i Dati Spaziali– I GIS (Geographic Information Systems)

• Il ruolo abilitante delle tecnologie dell’informazione e delle comunicazioni– L’Interoperabilita’ dei sistemi e delle informazioni

• FIS (Federated Information Systems)• Sistemi Software Distribuiti• Service Oriented Approach (W3C Web Services)• Modelli Dati Semistrutturati: XML/XSD

• Gli Ambienti di sviluppo utilizzati– Ambiente di sviluppo per schemi e documenti XML – L’ambiente di sviluppo open-source MapServer (University of

Minnesota)– L’ambiente Java di sviluppo open-source OpenMAP (BBN

Technologies)

Page 9: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

Alcuni dei possibili Seminari/Scenari applicativi

• Esempio di un Mediation Markup Language per la data harmonization tra le comunita’ GIS e delle Scienze della Terra.

• Utilizzo del linguaggio Scalable Vector Graphics (SVG) per la grafica spaziale 2-D

• Il progetto per la formazione di operatori degli enti locali all’utilizzo dei GIS per la gestione ed analisi dei dati ambientali e territoriali quale strumento di supporto per le procedure di valutazione di impatto ambientale (attivita’ legata al Portale Cartografico Nazionale del Min. Ambiente e Territorio).

• Il servizio di catalogo e discovery sviluppato nel PON (Programma Operativo Nazionale) per i distretti industriali per l’Osservazione della Terra, denominato COS(OT).

• Esempio d’implementazione di un server OGC WCS 1.0 utilizzando Java.

• L’architettura federata per rendere interoperabili i sistemi informativi oceanografici del progetto integrato europeo MERSEA.

• L’attivita’ della SDIC (Spatial Data Interest Community) INTERO (Italian National earTh & Environment Research cOmmunity) nell’ambito di INSPIRE

Page 10: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

������������

�������������

���������������� ���� �������������� ��� ��� ���������

Page 11: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

�������������

����� ������������ �������

� ������ ����� ������� ���������� � ���������� �� ���������������� ������������������������������� ������� ���������������� ���������������������

� � ��������� ��������� ��������������������������� ���������������������������������� �!����!������"#����$�

� %�������� ����������������������������������� ����������������������������������������� ��������������������������������� �����������

� ��������&�������'� ��(� ������������� ��� ��� ��������������� ��

� #���������(�)������������*� �&&������� ��)���� �'���������� ������'+��,���-���� �������������� �&��.�

Page 12: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

������������� �

���������� ������������������� ���������

� ����� �����( ���������� ����������� /��.���������������� ������� ������������(���!���! ���� �!����� - ��� �������( "#�

� ���������� �(�#����������� - ��������������������� #��.��������� ����&�����������������������������������(�#��.����������0�1����.���1����

� ������� � ��������������������(������������� ��!�������� ����������

� #����������2� ������������ ������3��������������������(����������������������������������������� 1��1��

Page 13: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

������������� �

�� ���2� '������� ���2� '�����

� ��������4 ����� 5 ����� 6����������*����������������������������������'�������������������� ��

� %���*����������������������������.������ �!�����������������,��.���)����'����

� !'��&����*��������������������7��.���������������� 8������ �� ������&�� ������������������������������� �� ������$

Page 14: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

�������������� ����������������������� � �

� ���������http://www.netcom-srl.it/������������� �����������������

Page 15: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

���������� ������

� ������������� ����������������������������������������������������� �������������� �� ��������� ���

� �������� ���������� ��������� � ������ ������ �������� ����������������� � ���������� ���

� ������������ ��� ���� �����������������������

Page 16: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

������������� ������������ �������� ���� ���

� �� �������������������� ������������������ ���������� �������� ������������������

� ���!������ �������������������� "#���� !$

� %��� ���������������� ������������� ������������������ &����� ���������������

� ����������� '��� �����

� "� ������ ������������

Page 17: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

��������� !(��������� ��� ����!�����)�����!��*����������������������������������������� �����������������(�������������������� �������������������� ������(#�����������������+����������(������ ��������������,-��������������� ������������(�������� ���������� ��������. ��������������������������������������������� ��.���������������������� ������������������� ��.�����/������ /������������� �����������

� $ ������ ������� ������������������������������. ���������������������� ������� ���������������.����������������(������������� �� ����������������� ������$����0����������1�� ���� ��.��������� � � ����1 ��

Page 18: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

1

Comunicazione nelle reti di computersII anno LS, 6 CFU - (Pabon)

Trimestre da decidere (II – III?)

�Prerequisiti: Algoritmi e s.d. 2, Matematica Disc.

Questo corso teorico tratterà di problemi algoritmici legati al routing dei dati in una rete (broadcast, multicast, ecc.) sotto angoli diverse, a seconda delle restrizioni considerate e a seconda degli obiettivi desiderati

Page 19: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

2

Contenuto del corso

�Modelli: Funzione di routing, comunicazione di pacchetti, di circuiti, etc.

�Adattabilità, tolleranza ai danni ed interbloccaggi

�Comunicazione globale strutturata

�Comunicazione nelle reti ottiche

�Comunicazione nelle reti cellulare

�http://www.math.unipd.it/~pabon/docs/Comunicazione_nelle_reti_di_computers/

Page 20: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

��������������������� ��������������������

�����������������������������������

Page 21: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

�����������������

� ������� ������ ���������� ������ ����������� �������������� ����

� ��������������������������������� �������� �����

� ���������������������������������

Page 22: Semantica dei Giochi - UniPDlauree.math.unipd.it/laureainformatica/specialistica/docs/Presenta... · La Semantica dei Giochi ... – La standardizzazione dei protocolli e delle interfacce

������� �������������������������

� ����������������� � ���������� ��������������� �������������� �� �����

����������������� ��

� !������������������������������� �� ���������������� ��� ������ � ���������

� "��������������� � ���������#�������$��������� ����������������������