welcome: please sign in
location: Diff for "InformaticaCDLmatematica"
Differences between revisions 1 and 200 (spanning 199 versions)
Revision 1 as of 2009-11-08 20:38:42
Size: 6423
Comment:
Revision 200 as of 2014-09-13 15:10:13
Size: 20316
Comment: avviso appello settembre
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
'''Corso di Laurea in Matematica'''

----

[[Anchor(TOP)]]
[[BR]]


[[
Anchor(TOC)]]
[[TableOfContents]]

----

[[
Anchor(docente)]]
'''Corso di Laurea (CdL) in Matematica'''

----

<<Anchor(TOP)>>
<<BR>>

<<Anchor(TOC)>>
<<TableOfContents>>

----
<<Anchor(docente)>>
Line 17: Line 15:
Applicazioni avanzate nei più svariati ambiti spingono oggi verso un utilizzo dei calcolatori (finalmente) per rispondere ai problemi con soluzioni che gli esseri umani non sono in grado di trovare (non facilmente, almeno).

[[BR]]

Sistemi intelligenti sono già impiegati oggi in svariati ambiti: controllo di processi industriali, controllo del traffico aereo, commercio elettronico, robotica, grid computing, applicazioni mediche, giochi, intrattenimento, e oltre.

[[BR]]

I sistemi di elaborazione sono inoltre sempre più estesi, e la realtà apre quindi naturalmente alla possibilità di realizzare sistemi costituiti, gestiti o coadiuvati da una pluralità di entità autonome, chiamate agenti, che interagiscono fra loro in ambienti complessi. Essi sono già di fatto dei sistemi multi-agente, essendo costituiti da componenti collocate in un ambiente, autonome e sociali.

[[BR]]

[#TOP Top of Page]

[[BR]]

[[Anchor(obiettivi)]]
'''Francesco Calimeri''' [[http://www.mat.unical.it/calimeri|link alla home page]]
<<BR>>
Dipartimento di Matematica, Università della Calabria, 87036 Rende (CS).
<<BR>>
Ufficio: cubo 30B, 2°piano
<<BR>>
Telefono: +39 0984 496478
<<BR>>
Fax: +39 0984 496410
<<BR>>
Email: calimeri[AT]mat.unical.it
<<BR>>
<<BR>>

=== Esercitatori ===
 * '''Susanna Cozza''' - cozza[at]mat.unical.it

[[#TOP|Top of Page]]
----
<<Anchor(avvisi)>>
== Avvisi ==
 * '''NOTA:''' Il gruppo Facebook disponibile [[http://www.facebook.com/home.php?sk=group_184435371576164|a questo indirizzo]], originariamente aperto per gli studenti che devono sostenere l'esame di Informatica 2 mutuato da questo corso, è ora da considerarsi aperto a tutti gli studenti; è da intendersi come un luogo per confrontarsi, discutere, cercare e trovare supporto e aiuto tra pari.
 * '''ATTENZIONE:''' registrarsi al corso compilando il modulo disponibile a [[http://goo.gl/EkYOWo|questo indirizzo]].
 * '''ATTENZIONE:''' la prova d'esame originariamente prevista per martedi' 23 settembre e' rinviata a giorno 30 settembre, invariati orario e luogo.
## * Risultati prova scritta del 27/01/2014: [[attachment:20140127-scritto-risultati.pdf|file pdf]]. La prova orale si terrà LUNEDI' 03/02/2014 presso lo studio del docente (cubo 30B, ponte coperto), alle ore 10:00.
## * '''Appello straordinario novembre-dicembre 2013''': L'esame si terrà mercoledì 27 novembre 2013 alle ore 09:00, nell'aula MT15 (cubo 31A).
## * '''Appello straordinario novembre-dicembre 2013''': GLI AVENTI DIRITTO possono prenotarsi su http://goo.gl/PvgEU6. Si ricorda che che i requisiti di ammissibilità alla prova saranno sottoposti a verifica in segreteria.

<<BR>>

[[#TOP|Top of Page]]
----
<<Anchor(materiale)>>
== Testi consigliati ==
''Testi''
 * Walter Savitch, ''Programmazione di base e avanzata con Java'', Pearson, 2014.
## * Walter Savitch, ''Programmazione con Java'', Pearson, 2013.
 * Roberto Bruni, Andrea Corradini, Vincenzo Gervasi, ''Programmazione in Java'', APOGEO, 2011.
 * Cay Horstmann, ''Concetti di informatica e fondamenti di Java'', APOGEO, 2010.
 * C. Thomas Wu, ''Java - Fondamenti di programmazione'', McGraw-Hill, 2009.
 * J. Glenn Brookshear, "Informatica - Una panoramica generale", Pearson, 2012.
## * Harvey M. Deitel, Paul J. Deitel, ''Java. Fondamenti di programmazione'', APOGEO, 2005.

 
''Varie e sparse''
 * D. C. Dennett, D. R. Hofstadter, "L'io della mente. Fantasie e riflessioni sul se' e sull'anima", Adelphi Ed., 1997. [[http://en.wikipedia.org/wiki/The_Mind's_I|link a wikipedia]]
 * D. R. Hofstadter, "Goedel, Escher, Bach: un'eterna ghirlanda brillante", Adelphi Ed., 1990. [[http://en.wikipedia.org/wiki/Goedel_Escher_Bach|link a wikipedia]]

[[#TOP|Top of Page]]
----
== Materiale Didattico, Links, Varie ed Eventuali ==
=== Dispense ===
 * [[attachment:D1-RappresentazioneDell'Informazione.pdf|Appunti: Rappresentazione dell'Informazione]] [documento .PDF]
 * [[attachment:D2-ArchitetturaDelCalcolatore.pdf|Appunti: Architettura del Calcolatore]] [documento .PDF]
 * [[attachment:D3-LogicaProposizionale.pdf|Appunti: Logica Proposizionale]] [documento .PDF]
=== Esercizi ===
## ''presto pubblicati :)''
 * [[attachment:20131029-ProgrammiDiBasePerIlLAB-laboratorio.txt|LAB - Programmi di base per iniziare]] - LAB - semplici programmi per iniziare a sporcarsi le mani [File di testo (.txt)]
 * [[attachment:20131112-LAB-primi-esercizi-IF.txt|LAB - comandi e condizioni]] - LAB - primi passi con l'istruzione ''IF'' [File di testo (.txt)]
   * Rappresentazione algoritmo per verificare se un anno è bisestile come diagramma di flusso (algoritmi equivalenti)
     * [[attachment:20121106-Algoritmo-Bisestile-01.gif]] Algoritmo 1 [File immagine (.gif)]
     * [[attachment:20121106-Algoritmo-Bisestile-02.gif]] Algoritmo 2 [File immagine (.png)]
 * [[attachment:20131126-LAB-IF-WHILE-FOR.txt|LAB - esercizi da svolgere con IF, WHILE, FOR]] - LAB - esercizi per consolidare i concetti di selezione e ciclo [file di testo (.txt)]
 * [[attachment:20131129-Random-Switch-Metodi.txt|Homeworks - esercizi per casa da svolgere con Random, Switch, metodi]] - Composizione di algoritmi e programmi più strutturati [file di testo (.txt)]
   * [[http://projects.cli.di.unipi.it/LIP/LIP-07/Tipi-Input/TipiEnum/main.html|Tutorial: Tipi enumerativi]] - Materiale prodotto per il corso di [[http://projects.cli.di.unipi.it/LIP/|Laboratorio di Introduzione alla Programmazione]], Dipartimento di Informatica, Università di Pisa.
 * [[attachment:20131217-LAB-metodi-array-ricorsione.txt|LAB - esercizi su metodi, array, ricorsione]] - LAB - qualche trucco per divertirsi un po' [File di testo (.txt)]
 * [[attachment:20140107-LAB-array+matrici+ricorsione.txt|LAB - esercizi su metodi, array, matrici, ricorsione]] - LAB - qualche trucco a volte non guasta [File di testo (.txt)]
 * [[attachment:20140114-LAB-classi-numeri-razionali.txt|LAB - esercitazioni sulle classi - numeri razionali]] - LAB - modellare nuovi tipi [File di testo (.txt)]
 * [[attachment:20140114-LAB-classi-insiemi-e-griglia-luminosa.txt|LAB - esercitazioni sulle classi - insiemi e griglie luminose]] - LAB - modellare nuovi tipi, un po' piu' elaborati [File di testo (.txt)]
 * [[attachment:20140121-LAB-stringhe.txt|LAB - esercitazioni su stringhe]] - LAB - giocare con il testo [File di testo (.txt)]
 * [[attachment:20140121-LAB-classi-dadi-matrici.txt|LAB - esercitazioni sulle classi - dadi e matrici]] - LAB - modellazione e algoritmi [File di testo (.txt)]

## * [[attachment:20111106-LAB-cominciamo.txt|Primi esercizi da risolvere in Java]] - LAB - Semplici esercizi per cominciare [File di testo (.txt)]
## * Rappresentazione algoritmo per verificare se un anno è bisestile come diagramma di flusso (algoritmi equivalenti)
## * [[attachment:20121106-Algoritmo-Bisestile-01.gif]] Algoritmo 1 [File immagine (.gif)]
## * [[attachment:20121106-Algoritmo-Bisestile-02.gif]] Algoritmo 2 [File immagine (.png)]
## * [[attachment:20121113-LAB-For-While.txt|Esercizi da risolvere in Java (for-while)]] - LAB - Semplici esercizi per continuare [File di testo (.txt)]
## * [[attachment:20121120-LAB-Random-Cicli.txt|Esercizi da risolvere in Java (cicli-random)]] - LAB - Semplici esercizi per continuare a continuare [File di testo (.txt)]
## * [[attachment:20121127-LAB-metodi.txt|Esercizi da risolvere in Java (metodi - 1)]] - LAB - Semplici esercizi sull'uso di metodi [File di testo (.txt)]
## * [[attachment:20121130-LAB-metodi.txt|Esercizi da risolvere in Java (metodi - 2)]] - LAB - Semplici esercizi sull'uso di metodi (continua) [File di testo (.txt)]
## * [[attachment:20121211-LAB-array.txt|Esercizi da risolvere in Java (array - 1)]] - LAB - Semplici esercizi sull'uso di array [File di testo (.txt)]
## * [[attachment:20121218-LAB-array+ricorsione.txt|Esercizi da risolvere in Java (array + ricorsione)]] - LAB - Semplici esercizi sull'uso di array e tecniche ricorsive [File di testo (.txt)]
## * [[attachment:20130108-LAB-Numeri Razionali.txt|Esercizi da svolgere in Java (Classi: Numeri Razionali)]] - LAB - Esercizi sulle classi, array, ricorsione in Java [File di testo (.txt)]
## * [[attachment:20130115-LAB-insiemi-e-griglie-luminose.txt|Esercizi da svolgere in Java (Classi: Insiemi e griglie luminose)]] - LAB - Nuovi esercizi sulle classi con elementi di riepilogo [File di testo (.txt)]
## * [[attachment:20130122-LAB-classi-dadi-matrici.txt|Esercizi da svolgere in Java (Classi: Dadi - Matrici)]] - LAB - Nuovi esercizi sulle classi con elementi di riepilogo sulle matrici [File di testo (.txt)]


## '''NOTA:''' Gli esercizi per il laboratorio sono da intendersi come '''obbligatori per tutti''', anche per coloro che non dovessero fare in tempo a completarli entro il termine della lezione.
## * [[attachment:20111021-LAB-cominciamo.txt|Primi esercizi da risolvere in Java]] - LAB - Semplici esercizi per cominciare [File di testo (.txt)]
## * [[attachment:20111028-LAB-continuiamo.txt|Altri semplici esercizi da risolvere in Java]] - LAB - Semplici esercizi per continuare [File di testo (.txt)]
## * [[attachment:20111108-LAB-andiamo-avanti.txt|Qualche esercizio un po' piu' elaborato da risolvere in Java]] - LAB - Semplici esercizi per andare avanti [File di testo (.txt)]
## * [[attachment:20111115-LAB-funzioni-metodi.txt|Metodi - 01]] - LAB - Esercizi che richiedono l'uso di metodi statici per la formulazione di soluzioni più struttutrate [File di testo (.txt)]
## * [[attachment:20111125-LAB-ricorsione-array.txt|Ricorsione-Array]] - LAB - Esercizi che richiedono l'impiego di metodi, ricorsione, array [File di testo (.txt)]
## * [[attachment:20111206-LAB-classi-ricorsione-array.txt|Classi (punti cartesiani) + Ricorsione-Array - 01]] - LAB - Primi esercizi sulle classi, piu' un piccolo esercizio su ricorsione ed array [File di testo (.txt)]
## * [[attachment:20111213-LAB-numeri-razionali.txt|Classi (numeri razionali) + Ricorsione-Array - 02]] - LAB - Ancora esercizi sulle classi, qualche richiamo su ricorsione ed array [File di testo (.txt)]
## * [[attachment:20111220-LAB-insiemi-e-griglie-luminose.txt|Classi (insiemi e griglie luminose)]] - LAB - Nuovi esercizi sulle classi con elementi di riepilogo [File di testo (.txt)]
## * [[attachment:20120110-LAB-Classi-Dadi-e-Matrici.txt|Classi (Classi, dadi e matrici)]] - LAB - Ancora esercizi sulle classi, con elementi di riepilogo, e matrici [File di testo (.txt)]
## * [[attachment:20120124-LAB-Stack.txt|Stack e Caratteri (Strutture dati, Classi e riepilogo)]] - LAB - Semplice classe stack, con elementi di riepilogo [File di testo (.txt)]


## * [[attachment:20101125-LAB-sequenze.txt|Primi esercizi in Java]] (Sequenze - Testo per esercitazione di laboratorio) [File di testo (.txt)] <-- questi esercizi sono da intendersi come '''obbligatori per tutti''', anche per coloro che non dovessero aver fatto in tempo a terminarli in laboratorio.
## * [[attachment:20101126-esercizi-per-il-weekend.txt|(ancora) primi esercizi in Java]] (Semplici algoritmi)
## * [[attachment:20101202-LAB-funzioni.txt|Primi esercizi sui metodi in Java]] (Metodi - Testo per esercitazione di laboratorio) [File di testo (.txt)] <-- (refrain) questi esercizi sono da intendersi come '''obbligatori per tutti''', anche per coloro che non dovessero aver fatto in tempo a terminarli in laboratorio.
## * [[attachment:20101203-20101203-Esercizi-per-la-settimana-dell'Immacolata.txt|Esercizi per la settimana dell'Immacolata]] (obbligatori per tutti) <-- completare ogni punto
## * [[attachment:20101209-LAB-funzioni.txt|Esercizi vari]] (Metodi, estrazioni casuali, switch - Testo per esercitazione di laboratorio) [File di testo (.txt)]
## * [[attachment:20110113-Esercitazione-LAB-Ricorsione-Array.txt|Esercitazione LABORATORIO - Array/Ricorsione (1)]] (occorrenze in sequenza, verifiche di proprietà su array, cifre e scomposizione di interi) [File di testo (.txt)]
## * [[attachment:20110120-EsercitazioneLAB-Matrici.txt|Esercitazione LABORATORIO - Matrici]] (varie operazioni su matrici e array+matrici) [file di testo (.txt)]
## * [[attachment:20110127-Esercitazione-LAB-Punti-Cartesiani-e-Cerchi.txt|Esercitazione LABORATORIO - Classi]] (Punti Cartesiani e Cerchi) [file di testo (.txt)]
## * [[attachment:20110203-Esercitazione-LAB-Insiemi-e-griglia-luminosa.txt|Esercitazione LABORATORIO - Classi]] (Insiemi e Griglia Luminosa) [file di testo (.txt)]
==== Esercizi Svolti ====
## ''presto pubblicati :))''
 * [[attachment:Classi-Time.txt|Classe "time"]] - Semplici esempi di definizioni e uso di classi in Java [File di testo (.txt)]
 * [[attachment:Ricerca-lineare+binaria-ordinamento-bubble-sort+merge-sort.txt|Ricerca/Ordinamento]] - Semplici implementazioni degli algoritmi di ricerca lineare e binaria e degli algoritmi di ordinamento bubble sort e merge sort [File di testo (.txt)]
## * [[attachment:20121219-Classi-Time.txt|Classe "time"]] - Semplici esempi di definizioni e uso di classi in Java [File di testo (.txt)]
## * [[attachment:20130109-Ricerca-array.txt|Ricerca Lineare/Binaria]] [file di testo (.txt)]
## * [[attachment:20130116-Ordinamento-array.txt|Bubble Sort/Merge Sort]] [file di testo (.txt)]
## * [[attachment:01-LAB-Funzioni-01-SOLUZIONI.txt|Uso di funzioni/metodi - 1]] [file di testo (.txt)]
## * [[attachment:02-LAB-Funzioni-02-SOLUZIONI.txt|Uso di funzioni/metodi - 2]] [file di testo (.txt)]
## * [[attachment:03-LAB-Ricorsione-Array-SOLUZIONI.txt|Array/Ricorsione]] [file di testo (.txt)]
## * [[attachment:04-LAB-Matrici-SOLUZIONI.txt|Matrici]] [file di testo (.txt)]
## * [[attachment:05-Classi-Numeri-razionali.txt|Classi - Numeri Razionali]] [file di testo (.txt)]
## * [[attachment:06-LAB-Punti-Cartesiani-e-Cerchi-SOLUZIONI.txt|Classi - Punti Cartesiani e Cerchi]] [file di testo (.txt)]
## * [[attachment:07-LAB-Insiemi-Griglia-Luminosa-SOLUZIONI.txt|Classi/Matrici - Griglia luminosa]] [file di testo (.txt)]
## * [[attachment:08-Ricerca-e-ordinamento-array.txt|Ricerca lineare/binaria - Bubble Sort/Merge Sort]] [file di testo (.txt)]
## * [[attachment:09-Stringhe.txt|Stringhe - Esempi]] [file di testo (.txt)]
==== Compiti d'esame ====
## ''presto pubblicati''
 * [[attachment:20140217-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 17 febbraio 2014]] - Testo e soluzioni [file .PDF]
 * [[attachment:20140127-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 27 gennaio 2014]] - Testo e soluzioni [file .PDF]
 * [[attachment:20100216-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 16 febbraio 2010]] - Testo e soluzioni [file .PDF]
 * [[attachment:20100202-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 02 febbraio 2010]] - Testo e soluzioni [file .PDF]
## * [[attachment:20110217-Informatica-cdl-Matematica-Esame-SOLUZIONI.pdf|Appello del 17 febbraio 2011]] - Testo e soluzioni [file .PDF]
## * [[attachment:20110405-Informatica-2-Appello-SOLUZIONI.html|Appello per l'esame di Informatica 2 (3° anno CdL Matematica)]] - Testo e soluzioni [file .html]
## * [[attachment:20110713-Informatica+Informatica-2-Appello-SOLUZIONI.pdf|Appello del 13 luglio 2011 (esami di Informatica ed Informatica 2)]] - Testo e soluzioni [file .PDF]
## * [[attachment:20110915-Informatica+Informatica-2-Appello-SOLUZIONI.pdf|Appello del 15 settembre 2011 (esami di Informatica ed Informatica 2)]] - Testo e soluzioni [file .PDF] (scarica Adobe Reader [[http://goo.gl/T4wp4|QUI]])
=== Progetti, Compiti e Varie ===
''presto pubblicati''
## * [[attachment:201312-Progetto-per-le-vacanze-di-Natale.pdf|Piccolo progetto per le Vacanze di Natale]] - Specifiche [file .PDF]
## * [[attachment:201212-Progetto-per-le-vacanze-di-Natale.pdf|Piccolo progetto per le Vacanze di Natale]] - Specifiche [file .PDF] - Si ricorda che il progetto è da considerarsi '''obbligatorio'''.
## * [[https://www.mat.unical.it/calimeri/wiki/InformaticaCDLmatematica/InventareUnGioco|Compito per la prima settimana]] (3-9 ottobre 2011).
## * [[attachment:2011-12-Progetto-per-le-vacanze-di-Natale.html|Piccolo progetto per le Vacanze di Natale]] (pagina html).
## * [[attachment:200912-ProgettoPerLeVacanzeDiNatale.pdf|PROGETTINO per le vacanze di Natale]] - Specifiche [file .PDF]
## * [[attachment:201012-PianoDiLavoroPerLeVacanzeDiNatale.html|Piano di lavoro per le vacanze di Natale]] - Esercizi + Specifiche del ''progettino'' - '''OBBLIGATORIO'''

=== Links ===
 * [[http://goo.gl/LKg8U|Gruppo Facebook]]
 * [[http://goo.gl/EkYOWo|Modulo di registrazione al Corso]]
## * [[attachment:MontyHall.html|Monty Hall o "Il gioco delle tre porte" - Discussione]]
 * Per installare Eclipse: prima provvedere ad [[http://www.java.com/it/download/|installare Java]]. Quindi [[http://www.eclipse.org/downloads/|scaricare ed installare Eclipse dal sito ufficiale]]. Versione suggerita: '''Eclipse IDE for Java Developers'''.


[[#TOP|Top of Page]]
----
<<Anchor(obiettivi)>>
Line 35: Line 170:
''[Passibile di modifiche]''
[[BR]]
Il corso si propone di fornire le nozioni fondamentali per la comprensione e la progettazione di sistemi che utilizzano tecniche di Intelligenza Artificiale nel senso più ampio, e in particolare affrontare i problemi tipici dell'ingegneria del software orientata agli agenti.

[[BR]]

Il corso si sofferma (ma non solo) sui metodi per la progettazione di agenti capaci di prendere decisioni razionali, e metodi per la progettazione di sistemi che prevedono la presenza di più agenti, in grado di comunicare e interagire.

[[BR]]

Alla fine del corso gli studenti dovrebbero acquisire la capacità di progettare, ed eventualmente sviluppare, sistemi intelligenti basati su agenti.

[[BR]]

[#TOP Top of Page]

[[BR]]

[[Anchor(prerequisiti)]]
Il corso intende fornire solide basi sulla programmazione dei calcolatori elettronici per la risoluzione di problemi. Esso prevede lo studio di tecniche di programmazione nel linguaggio Java, con uso di semplici strutture dati, ed una introduzione alla programmazione ad oggetti.
<<BR>>

[[#TOP|Top of Page]]
----
<<Anchor(prerequisiti)>>
Line 55: Line 177:
Sono indispensabili conoscenze di base di informatica e di programmazione avanzata. Sono utili conoscenze di base di matematica, logica, intelligenza artificiale.

[[BR]]

[#TOP Top of Page]

[[BR]]

[[Anchor(materiale)]]
== Testi e Materiale Didattico ==

=== Testi consigliati ===
''Testi''
 * S. Russell, P. Norvig, "Intelligenza artificiale. Un approccio moderno" Volumi 1 e 2. Pearson Education Italia, 2005. [http://aima.cs.berkeley.edu/ link]
   * ''In alternativa'': S. Russell, P. Norvig, "Artificial Intelligence: A modern approach", Prentice Hall, Englewood Cliffs, NJ, 2nd ed., 1995. [http://aima.cs.berkeley.edu/ link]
 * Matt Ginsberg, "Essentials of Artificial Intelligence", Morgan Kaufmann Ed., 1993. [http://cirl.uoregon.edu/ginsberg/ link al sito dell'autore]
 * M.Ghallab, D. Nau, P. Traverso, "Automated Planning - Theory and Practice", Morgan Kaufmann Ed., 2004. [http://www.laas.fr/planning/ link]
''Varie e sparse''
 * D. C. Dennett, D. R. Hofstadter, "L'io della mente. Fantasie e riflessioni sul se' e sull'anima", Adelphi Ed., 1997. [http://en.wikipedia.org/wiki/The_Mind's_I link a wikipedia]
 * D. R. Hofstadter, "Goedel, Escher, Bach: un'eterna ghirlanda brillante", Adelphi Ed., 1990. [http://en.wikipedia.org/wiki/Goedel_Escher_Bach link a wikipedia]


=== Materiale Didattico, Links, Varie ed Eventuali ===
''Lucidi''
 * [attachment:chapter01.pdf AI e agenti: introduzione] (aprile 2009)
 * [attachment:chapter02.pdf Agenti: razionalità, ambienti, tipologie] (aprile 2009)
 * [attachment:chapter03.pdf Problem Solving e Ricerca] (maggio 2009)
 * [attachment:chapter07.pdf Agenti Logici] (maggio 2009)
 * [attachment:chapter11.pdf Planning: (breve) introduzione] (maggio 2009)
 * [attachment:chapter11a-dlvK.pdf Planning: K action language e DLV^K]
 * [attachment:chapter22.pdf Comunicazione e Linguaggio] (maggio 2009)
 * [attachment:chapter22a-AgentCommunication.pdf Comunicazione tra Agenti] (maggio 2009)
 * [attachment:Multi-Agent-Interactions.pdf Interazioni multi agente] (giugno 2009)
## * [attachment:200705-Ricca-SeminarioOntoDLP.pdf OntoDLP] - Lucidi del seminario 2007
''Tutorial''
 * [attachment:JADETutorial_FIPA.pdf FIPA] (reperibile su [http://jade.tilab.com/ http://jade.tilab.com/])
 * [attachment:JADETutorial_Programming.pdf Jade - Programming] (reperibile su [http://jade.tilab.com/ http://jade.tilab.com/])
 * [attachment:JADEProgramming-Tutorial-for-beginners.pdf Utilizzare Jade] (reperibile su [http://jade.tilab.com/ http://jade.tilab.com/])
''Links''
 * [http://www.fipa.org/ FIPA]
 * [http://www.fipa.org/ JADE]
 * [http://www.agentlink.org/ agentlink.org]
''Ringraziamenti''

[http://aima.cs.berkeley.edu/ Stuart Russell e Peter Norvig] - [http://www.wfaber.com Wolfgang Faber] - [http://www.kr.tuwien.ac.at/staff/eiter/ Thomas Eiter] e [http://www.kr.tuwien.ac.at/staff/michael/ Michael Fink] - [http://www.mat.unical.it/ricca/ Francesco Ricca] e [mailto:gallucci@exeura.it Lorenzo Gallucci] - [http://staff.unak.is/not/yuan/ Tangming Yuan]

[[BR]]

[#TOP Top of Page]

[[BR]]

[[Anchor(prerequisiti)]]
== Progetti, Esercizi, Elaborati ==
 * [attachment:2007-Aspirapolvere.jar Aspirapolvere] [Maggio 2007 - Archivio eseguibile java (.jar)] - Simulazione di un agente aspirapolvere. L'agente si muove in un ambiente inizialmente sconosciuto, senza alcuna indicazione sulla posizione di eventuali ostacoli, ne' sullo stato del pavimento. Il suo scopo e' pulire la stanza (a meno di aree irraggiungibili) nel minor tempo possibile, e tornare nel punto di partenza. L'agente e' stato realizzato da [mailto:sirianni.marco@yahoo.it Marco Sirianni] e [mailto:saverio_vescio@yahoo.it Saverio Vescio].

 * [attachment:2007-SistemiIntelligenti-ProgettoFinale.pdf SPECIFICHE del progetto di fine corso - A.A. 2006/2007] [Giugno 2007 - File in formato .pdf]


[[BR]]

[#TOP Top of Page]

[[BR]]


[[Anchor(docente)]]
== Docente ==
'''Francesco Calimeri''' [http://www.mat.unical.it/calimeri link alla home page]
[[BR]]
Dipartimento di Matematica, Università della Calabria, 87036 Rende (CS).
[[BR]]
Ufficio: cubo 30B, 2°piano
[[BR]]
Telefono: +39 0984 496478
[[BR]]
Fax: +39 0984 496410
[[BR]]
Email: calimeri[AT]mat.unical.it
[[BR]]
[[BR]]

[#TOP Top of Page]

----

Torna alla pagina ["Didattica"]
Torna alla home page di [http://www.mat.unical.it/calimeri Francesco Calimeri]
----
Sono utili conoscenze di base di matematica, logica, una dimestichezza minima con l'uso del computer.

[[#TOP|Top of Page]]
----
<<Anchor(programma)>>
== Programma del Corso ==

Il programma di massima del corso è disponibile a [[attachment:informatica-cdl-matematica-programma.txt|questo LINK]] [file di testo (.txt)]

[[#TOP|Top of Page]]
----
<<Anchor(modalitaEsame)>>
== Modalità d'Esame ==

L'esame consiste di due prove: una scritta ed una orale (eventualmente integrata da una contestuale ''"prova pratica"'').

 * ''Prova scritta''

 Per accedere alla prova scritta è necessario prenotarsi tramite il sistema [[http://didattica.unical.it/|UNIWEX]]. Le date, gli orari e le aule sono in accordo con il calendario fornito dal Corso di Laurea.
 
 I risultati sono pubblicati online '''nei giorni immediatamente successivi alla prova''', dipendentemente dal numero di elaborati da correggere; è pertanto fortemente consigliato un '''controllo tempestivo e regolare''' di queste pagine e di quelle del Corso di Laurea.

 Gli studenti che hanno sostenuto con successo la prova scritta accedono a quella orale; gli altri, sono da considerarsi respinti.

 * ''Prova orale''

 Assieme ai risultati della prova scritta, è fatta comunicazione di date, orari e aule relativi alla prova orale, che si tiene '''nei giorni immediatamente successivi alla suddetta pubblicazione'''.

 La prova orale può prevedere una verifica delle capacità di utilizzare un ambiente integrato di sviluppo, effettuata direttamente su un computer ("''prova pratica''").
## * ''Note''
## * Ciascuno studente può sostenere uno solo dei due appelli previsti per ogni sessione d'esame, a libera scelta.
## * Gli studenti prenotati per il primo appello, ed effettivamente presenti in aula, hanno facoltà di "'''ritirarsi senza consegnare'''", garantendosi la possibilità di ripresentarsi al secondo appello. Questa possibilità, tuttavia, si concretizza effettivamente solo '''a condizione che il "ritiro" avvenga nei primi minuti dall'inizio ufficiale della prova'''. Detto limite sarà indicato dal docente direttamente in aula.
## * Gli studenti che, al primo appello, consegnano il compito scritto, o si "ritirano" dopo il limite indicato in aula, vengono automaticamente '''esclusi dalla possibilità di sostenere l'esame al secondo appello'''.
## * La prenotazione al primo appello non comporta l'esclusione dal secondo: si è esclusi dalla possibilità di sostenere l'esame al secondo appello soltanto se questo è stato effettivamente sostenuto al primo (leggi: se è stato consegnato il compito o se il "ritiro" è avvenuto dopo il limite indicato).


[[#TOP|Top of Page]]
----
<<Anchor(risultatiEsami)>>
== Risultati Esami ==
 * Risultati della prova scritta, appello del 17 febbraio 2014: [[attachment:ris-2014-02-17.pdf|file pdf]]. La prova orale si svolgerà MARTEDI 25 FEBBRAIO 2014 dalle ore 9:00 in poi presso lo studio del docente (cubo 30B, ponte coperto). Nella stessa occasione sarà presentata una possibile "soluzione" del compito, e sarà possibile prendere visione degli elaborati.
## * Appelli straordinari settembre 2013 (Informatica e Informatica2, ordinamento ''"509"'' e ''"270"''): l'esame si svolgerà LUNEDI 09 SETTEMBRE GIUGNO l'aula MT1 ore 14:30. Eventuali modifiche o spostamenti saranno comunicati tempestivamente qui o attraverso il gruppo Facebook. Alla prova potranno accedere solo gli studenti che avranno presentato regolare richiesta su http://goo.gl/XgSUq.

[[#TOP|Top of Page]]
----
Torna alla pagina [[didattica]]

Torna alla home page di [[http://www.mat.unical.it/calimeri|Francesco Calimeri]]
----

Corso di INFORMATICA

Corso di Laurea (CdL) in Matematica




Docente

Francesco Calimeri link alla home page
Dipartimento di Matematica, Università della Calabria, 87036 Rende (CS).
Ufficio: cubo 30B, 2°piano
Telefono: +39 0984 496478
Fax: +39 0984 496410
Email: calimeri[AT]mat.unical.it

Esercitatori

  • Susanna Cozza - cozza[at]mat.unical.it

Top of Page


Avvisi

  • NOTA: Il gruppo Facebook disponibile a questo indirizzo, originariamente aperto per gli studenti che devono sostenere l'esame di Informatica 2 mutuato da questo corso, è ora da considerarsi aperto a tutti gli studenti; è da intendersi come un luogo per confrontarsi, discutere, cercare e trovare supporto e aiuto tra pari.

  • ATTENZIONE: registrarsi al corso compilando il modulo disponibile a questo indirizzo.

  • ATTENZIONE: la prova d'esame originariamente prevista per martedi' 23 settembre e' rinviata a giorno 30 settembre, invariati orario e luogo.


Top of Page


Testi consigliati

Testi

  • Walter Savitch, Programmazione di base e avanzata con Java, Pearson, 2014.

  • Roberto Bruni, Andrea Corradini, Vincenzo Gervasi, Programmazione in Java, APOGEO, 2011.

  • Cay Horstmann, Concetti di informatica e fondamenti di Java, APOGEO, 2010.

  • C. Thomas Wu, Java - Fondamenti di programmazione, McGraw-Hill, 2009.

  • J. Glenn Brookshear, "Informatica - Una panoramica generale", Pearson, 2012.

Varie e sparse

  • D. C. Dennett, D. R. Hofstadter, "L'io della mente. Fantasie e riflessioni sul se' e sull'anima", Adelphi Ed., 1997. link a wikipedia

  • D. R. Hofstadter, "Goedel, Escher, Bach: un'eterna ghirlanda brillante", Adelphi Ed., 1990. link a wikipedia

Top of Page


Materiale Didattico, Links, Varie ed Eventuali

Dispense

Esercizi

Esercizi Svolti

  • Classe "time" - Semplici esempi di definizioni e uso di classi in Java [File di testo (.txt)]

  • Ricerca/Ordinamento - Semplici implementazioni degli algoritmi di ricerca lineare e binaria e degli algoritmi di ordinamento bubble sort e merge sort [File di testo (.txt)]

Compiti d'esame

Progetti, Compiti e Varie

presto pubblicati

Top of Page


Obiettivi del Corso

Il corso intende fornire solide basi sulla programmazione dei calcolatori elettronici per la risoluzione di problemi. Esso prevede lo studio di tecniche di programmazione nel linguaggio Java, con uso di semplici strutture dati, ed una introduzione alla programmazione ad oggetti.

Top of Page


Prerequisiti

Sono utili conoscenze di base di matematica, logica, una dimestichezza minima con l'uso del computer.

Top of Page


Programma del Corso

Il programma di massima del corso è disponibile a questo LINK [file di testo (.txt)]

Top of Page


Modalità d'Esame

L'esame consiste di due prove: una scritta ed una orale (eventualmente integrata da una contestuale "prova pratica").

  • Prova scritta

    Per accedere alla prova scritta è necessario prenotarsi tramite il sistema UNIWEX. Le date, gli orari e le aule sono in accordo con il calendario fornito dal Corso di Laurea.

    I risultati sono pubblicati online nei giorni immediatamente successivi alla prova, dipendentemente dal numero di elaborati da correggere; è pertanto fortemente consigliato un controllo tempestivo e regolare di queste pagine e di quelle del Corso di Laurea. Gli studenti che hanno sostenuto con successo la prova scritta accedono a quella orale; gli altri, sono da considerarsi respinti.

  • Prova orale

    Assieme ai risultati della prova scritta, è fatta comunicazione di date, orari e aule relativi alla prova orale, che si tiene nei giorni immediatamente successivi alla suddetta pubblicazione.

    La prova orale può prevedere una verifica delle capacità di utilizzare un ambiente integrato di sviluppo, effettuata direttamente su un computer ("prova pratica").

Top of Page


Risultati Esami

  • Risultati della prova scritta, appello del 17 febbraio 2014: file pdf. La prova orale si svolgerà MARTEDI 25 FEBBRAIO 2014 dalle ore 9:00 in poi presso lo studio del docente (cubo 30B, ponte coperto). Nella stessa occasione sarà presentata una possibile "soluzione" del compito, e sarà possibile prendere visione degli elaborati.

Top of Page


Torna alla pagina didattica

Torna alla home page di Francesco Calimeri


Calimeri Wiki: InformaticaCDLmatematica (last edited 2021-05-05 08:50:23 by FrancescoCalimeri)