|
Size: 12635
Comment:
|
Size: 16924
Comment: errire precedente.
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| #acl EditorsGroup:read,write All:read = Official Problem Suite = == Problem List - Model & Solve and System Track == <<BR>> ||<tablewidth="1024px" tableheight="421px">'''Nr''' ||'''Name''' ||'''Author(s)''' ||'''Type''' ||'''Complexity''' ||'''Domain''' ||'''Problem Description''' ||'''Sample Instances''' ||'''Checker''' || '''ASP-Core-2 encoding''' || ||N01 ||Permutation Pattern Matching ||Martin Lackner, Andreas Pfandler ||Search ||NP ||Combinatorial ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/PermutationPatternMatching|view]] || [[https://www.mat.unical.it/aspcomp2013/files/PPM-samples.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/permutation_pattern_matching-checker.zip|download]] || [[attachment:Permutation-Pattern-Matching-ENCODING.asp|Permutation Pattern Matching]] || ||N02 ||Valves Location Problem ||Andrea Peano ||Optimization ||Beyond NP ||Combinatorial ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/ValvesLocation|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/valves_location_problem-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/valves_location_problem-checker.zip|download]] || [[attachment:Valves-Location-Problem-ENCODING.asp|Valves Location Problem]] || ||N03 ||Rotating Workforce Scheduling ||Francesco Calimeri, Thomas Krennwallner, Nysret Musliu ||Search || ||Scheduling ||[[https://www.mat.unical.it/aspcomp2013/RotatingWorkforceScheduling|view]] || || || - || ||N04 ||Connected Maximum-density Still Life ||Christian Drescher ||Optimization ||Beyond NP ||AI ||[[https://www.mat.unical.it/aspcomp2013/ConnectedMaximumDensityStillLife|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/still_life-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/still_life-checker.zip|download]] || [[attachment:Connected-Maximum-density-Still-Life-ENCODING.asp|Connected Maximum-density Still Life]] || ||N05 ||Graceful Graphs ||Christian Drescher ||Search ||NP ||Graph ||[[https://www.mat.unical.it/aspcomp2013/GracefulGraphs|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/graceful_graphs-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/graceful_graphs-checker.zip|download]] || [[attachment:Graceful-Graphs-ENCODING.asp|Graceful Graphs]] || ||N06 ||Bottle Filling Problem ||Wolfgang Faber ||Search || ||Combinatorial ||[[https://www.mat.unical.it/aspcomp2013/BottleFillingProblem|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/bottle_filling-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/bottle_filling-checker.zip|download]] || [[attachment:Bottle-Filling-Problem-ENCODING.asp|Bottle Filling Problem]] || ||N07 ||Nomystery ||Giovambattista Ianni, Carlos Linares López*, Hootan Nakhost* ||Search || ||Planning ||[[https://www.mat.unical.it/aspcomp2013/Nomystery|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/nomystery-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/nomystery-checker.zip|download]] || [[attachment:Nomystery-ENCODING.asp|Nomystery]] || ||N08 ||Sokoban ||Giovambattista Ianni, Wolfgang Faber*, Carlos Linares López* ||Search || ||Planning ||[[https://www.mat.unical.it/aspcomp2013/Sokoban|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/sokoban-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/sokoban-checker.zip|download]] || [[attachment:Sokoban-ENCODING.asp|Sokoban]] || ||N09 ||Ricochet Robots ||Julius Höfler, Martin Gebser, Philipp Obermeier, Roland Kaminski, Torsten Schaub ||Search || ||Puzzle ||[[https://www.mat.unical.it/aspcomp2013/RicochetRobot|view]] || [[https://www.mat.unical.it/aspcomp2013/files/ricochetSampleInstances.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/ricochet_robot-checker.zip|download]] || [[attachment:Ricochet-Robots-ENCODING.asp|Ricochet Robots]] || ||O10 ||Crossing Minimization ||Carmine Dodaro, Graeme Gange*, Peter Stuckey* ||Optimization ||Beyond NP ||Graph ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/CrossingMinimization|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/crossing_minimization-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/crossing_minimization-checker.zip|download]] || [[attachment:Crossing-Minimization-ENCODING.asp|Crossing Minimization]] || ||O11 ||Reachability ||Carmine Dodaro, Giorgio Terracina* ||Query ||P ||Graph ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/Reachability|view]] || || || [[attachment:Reachability-ENCODING.asp|Reachability]] || ||O12 ||Strategic Companies ||Mario Alviano, Marco Maratea*, Francesco Ricca* ||Query ||Beyond NP ||AI ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/StrategicCompanies|view]] ||[[https://www.mat.unical.it/ aspcomp2013/files/samples/strategic_companies-sample.zip|download]] || || [[attachment:Strategic-Companies-ENCODING.asp|Strategic Companies]] || ||O13 ||Solitaire ||Marcello Balduccini, Yuliya Lierler* ||Search ||NP ||Puzzle ||[[https://www.mat.unical.it/aspcomp2013/Solitaire|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/solitaire_sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/solitaire-checker.zip|download]] || [[attachment:Solitaire-ENCODING.asp|Solitaire]] || ||O14 ||Weighted-Sequence Problem ||Marcello Balduccini, Yuliya Lierlier, Shaden Smith ||Search ||NP ||Database ||[[https://www.mat.unical.it/aspcomp2013/WeightedSequenceProblem|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/weighted_sequence-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/weighted_sequence-checker.zip|download]] || [[attachment:Weighted-Sequence-Problem-ENCODING.asp|Weighted-Sequence Problem]] || ||O15 ||Stable Marriage ||Mario Alviano, Carmine Dodaro, Francesco Ricca ||Search ||P ||Graph ||[[https://www.mat.unical.it/aspcomp2013/StableMarriage|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/stablemarriage-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/stable_marriage-checker.zip|download]] || [[attachment:Stable-Marriage-ENCODING.asp|Stable Marriage]] || ||O16 ||Incremental Scheduling ||Marcello Balduccini, Yuliya Lierler* ||Search ||NP ||Scheduling ||[[https://www.mat.unical.it/aspcomp2013/IncrementalScheduling|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/incremental_scheduling-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/incremental-scheduling-checker.zip|download]] || [[attachment:Incremental-Scheduling-ENCODING.asp|Incremental Scheduling]] || == Problem List - System Track only == <<BR>> ||<tablewidth="1024px" tableheight="421px">'''Nr''' ||'''Name''' ||'''Author(s)''' ||'''Type''' ||'''Complexity''' ||'''Domain''' ||'''ASP-Core-2 Encoding''' ||'''Problem Description''' ||'''Sample Instances''' ||'''Checker''' || '''ASP-Core-2 encoding''' || ||N17 ||Qualitative Spatial Reasoning ||Jason Jingshi Li ||Search ||NP ||Formal logic || ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/QualitativeSpatialTemporalReasoning|view]] || ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/qualitative_spatial_reasoning-checker.zip|download]]|| [[attachment:Qualitative-Spatial-Reasoning-ENCODING.asp|Qualitative Spatial Reasoning]] || ||N18 ||Chemical Classification ||Despoina Magka ||Search ||P ||Natural Sciences || ||[[https://www.mat.unical.it/aspcomp2013/ChemicalClassification|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/chemical_classification-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/chemical_classification-checker.zip|download]]|| [[attachment:Chemical-Classification-ENCODING.asp|Chemical Classification]] || ||N19 ||Abstract Dialectical Frameworks Well-founded Model ||Stefan Ellmauthaler, Johannes Wallner ||Optimization || ||Formal logic || ||[[https://www.mat.unical.it/aspcomp2013/AbstractDialecticalFrameworks|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/abstract_dialectical_frameworks-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/abstract_dialectical_frameworks-checker.zip|download]]|| [[attachment:Abstract-Dialectical-Frameworks-Well-founded-Model-ENCODING.asp|Abstract Dialectical Frameworks Well-founded Model]] || ||N20 ||Visit-all ||Giovambattista Ianni,Nir Lipovetzky*, Carlos Linares López* ||Search || ||Planning || ||[[https://www.mat.unical.it/aspcomp2013/VisitAll|view]] || [[https://www.mat.unical.it/aspcomp2013/files/Visitall-samples.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/visit_all-checker.zip|download]]|| [[attachment:Visit-all-ENCODING.asp|Visit-all]] || ||N21 ||Complex Optimization of Answer Sets ||Martin Gebser, Roland Kaminski, Torsten Schaub ||Search || ||Synthetic || ||[[https://www.mat.unical.it/aspcomp2013/ComplexOptimizationAnswerSets|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/complex_optimization-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/complex_optimization-checker.zip|download]]|| [[attachment:Complex-Optimization-of-Answer-Sets-ENCODING.asp|Complex Optimization of Answer Sets]] || ||O22 ||Knight Tour with Holes ||Francesco Calimeri, Neng-Fa Zhou* ||Search ||NP ||Puzzle || ||[[https://www.mat.unical.it/aspcomp2013/KnightTour|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/knight_tour-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/knight_tour-checker.zip|download]]|| [[attachment:Knight-Tour-with-Holes-ENCODING.asp|Knight Tour with Holes]] || ||O23 ||Maximal Clique Problem ||Guenther Charwat, Martin Kronegger, Johan Wittocx* ||Optimization ||Beyond NP ||Graph || ||[[https://www.mat.unical.it/aspcomp2013/MaximalClique|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/maximal_clique-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/maximal_clique-checker.zip|download]]|| [[attachment:Maximal-Clique-Problem-ENCODING.asp|Maximal Clique Problem]] || ||O24 ||Labyrinth ||Carmine Dodaro, Giovambattista Ianni, Martin Gebser* ||Search ||NP ||Puzzle || ||[[https://www.mat.unical.it/aspcomp2013/Labyrinth|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/labyrinth-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/labyrinth-checker.zip|download]]|| [[attachment:Labyrinth-ENCODING.asp|Labyrinth]] || ||O25 ||Minimal Diagnosis ||Marcello Balduccini, Martin Gebser* ||Search ||Beyond NP ||Diagnosis || ||[[https://www.mat.unical.it/aspcomp2013/MinimalDiagnosis|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/minimal_diagnosis-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/minimal_diagnosis-checker.zip|download]]|| [[attachment:Minimal-Diagnosis-ENCODING.asp|Minimal Diagnosis]] || ||O26 ||Hanoi Tower ||Gayathri Namasivayam, Miroslaw Truszczynski, Shaden Smith, Alex Westlund ||Search ||NP ||AI || ||[[https://www.mat.unical.it/aspcomp2013/HanoiTower|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/hanoi_tower-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/hanoi_tower-checker.zip|download]]|| [[attachment:Hanoi-Tower-ENCODING.asp|Hanoi Tower]] || ||O27 ||Graph Colouring ||Johannes Wallner, Marcello Balduccini*, Yuliya Lierler* ||Search ||NP ||Graph || ||[[https://www.mat.unical.it/aspcomp2013/GraphColouring|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/graph_colouring-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/graph_colouring-checker.zip|download]]|| [[attachment:Graph-Colouring-ENCODING.asp|Graph Colouring]] || == Legend == Columns in the table below are to be read as following: * '''Nr'''. ID of the benchmark. The prefixes ''N'' resp. ''O'' denote a newly added resp. a 2011 benchmark. * '''Author(s)'''. Names of authors. A ''^*^'' denotes that they authored the respective package in previous years. * '''Type'''. One of ''Search'', ''Optimization'', ''Query''. See the problem [[BenchmarkProblems|classification]] page. * '''Final Problem Description'''. Problem specifications in their official form, with latest notes and updates. * '''Sample Instances'''. A link to sample instances of the given problem. |
= Corso di INFORMATICA = '''Corso di Laurea (CdL) in Matematica''' ---- <<Anchor(TOP)>> <<BR>> <<Anchor(TOC)>> <<TableOfContents>> ---- <<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>> === Esercitatori === ## * '''Mario Alviano''' - alviano[at]mat.unical.it - [[http://www.alviano.com/|home page]] * '''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. <<BR>> [[#TOP|Top of Page]] ---- <<Anchor(materiale)>> == Testi consigliati == ''Testi'' * Roberto Bruni, Andrea Corradini, Vincenzo Gervasi, ''Programmazione in Java'', APOGEO, 2009. * Harvey M. Deitel, Paul J. Deitel, ''Java. Fondamenti di programmazione'', APOGEO, 2005. * Cay Horstmann, ''Concetti di informatica e fondamenti di Java'', APOGEO, 2007. * 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. [[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: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: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:20100202-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 02 febbraio 2010]] - Testo e soluzioni [file .PDF] * [[attachment:20100216-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 16 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: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]] ## * [[attachment:MontyHall.html|Monty Hall o "Il gioco delle tre porte" - Discussione]] [[#TOP|Top of Page]] ---- <<Anchor(obiettivi)>> == 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. <<BR>> [[#TOP|Top of Page]] ---- <<Anchor(prerequisiti)>> == Prerequisiti == 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 == ## * Esito [[attachment:20100202-informatica-cdl-matematica-risultati.html|appello del 02-02-2010]] [pagina .html] ## * Esito [[attachment:20100216-informatica-cdl-matematica-risultati.html|appello del 16-02-2010]] [pagina .html] ## * Esito [[attachment:20110217-informatica-cdl-matematica-risultati.pdf|appello del 17-02-2011]] [file .pdf] - '''AVVISO''': prova orale GIOVEDI' 24 febbraio 2010, ore 15;00, presso lo studio del docente (cubo 30B, ponte coperto). ## * Esito [[attachment:20110405-informatica-2-cdl-matematica-risultati.html|appello del 05-04-2011]] [file .html] - '''NOTA''': si tratta della prova d'esame per il corso di Informatica 2. ## * Esito [[attachment:20110713-informatica+informatica-2-cdl-matematica-risultati.html|appello del 13-07-2011]] [file .html] -- '''NOTA''': prova d'esame per entrambi i corsi di Informatica 2 v.o. e Informatica n.o.. -- '''Prova orale''': mercoledì 20 luglio, a partire dalle ore 09:30 presso lo studio del prof. Calimeri (cubo 30B, ponte coperto). ## * Esito [[attachment:20110915-informatica+informatica-2-cdl-matematica-risultati.pdf|appello del 15-09-2011]] [file .pdf] (scarica Adobe Reader [[http://goo.gl/T4wp4|QUI]]) -- '''NOTA''': prova d'esame per entrambi i corsi di Informatica 2 v.o. e Informatica n.o. -- '''Prova orale''': mercoledì 21 settembre, a partire dalle ore 10:30 presso lo studio del prof. Calimeri (cubo 30B, ponte coperto). * Esito [[attachment:20120209-informatica-cdl-matematica-risultati.pdf|appello del 09-02-2012]] [file .pdf] (scarica Adobe Reader [[http://goo.gl/T4wp4|QUI]]) -- '''Prova orale''': gli ammessi (compresi gli ammessi con ''riserva'') sono convocati '''giovedì 23 febbraio''', alle ore 09:30, presso lo studio del prof. Calimeri (cubo 30B, ponte coperto). [[#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
Contents
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
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.
Testi consigliati
Testi
Roberto Bruni, Andrea Corradini, Vincenzo Gervasi, Programmazione in Java, APOGEO, 2009.
Harvey M. Deitel, Paul J. Deitel, Java. Fondamenti di programmazione, APOGEO, 2005.
Cay Horstmann, Concetti di informatica e fondamenti di Java, APOGEO, 2007.
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
Materiale Didattico, Links, Varie ed Eventuali
Dispense
Appunti: Rappresentazione dell'Informazione [documento .PDF]
Appunti: Architettura del Calcolatore [documento .PDF]
Appunti: Logica Proposizionale [documento .PDF]
Esercizi
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)
20121106-Algoritmo-Bisestile-01.gif Algoritmo 1 [File immagine (.gif)]
20121106-Algoritmo-Bisestile-02.gif Algoritmo 2 [File immagine (.png)]
- Rappresentazione algoritmo per verificare se un anno è bisestile come diagramma di flusso (algoritmi equivalenti)
Esercizi da risolvere in Java (for-while) - LAB - Semplici esercizi per continuare [File di testo (.txt)]
Esercizi da risolvere in Java (cicli-random) - LAB - Semplici esercizi per continuare a continuare [File di testo (.txt)]
Esercizi da risolvere in Java (metodi - 1) - LAB - Semplici esercizi sull'uso di metodi [File di testo (.txt)]
Esercizi da risolvere in Java (metodi - 2) - LAB - Semplici esercizi sull'uso di metodi (continua) [File di testo (.txt)]
Esercizi da risolvere in Java (array - 1) - LAB - Semplici esercizi sull'uso di array [File di testo (.txt)]
Esercizi da risolvere in Java (array + ricorsione) - LAB - Semplici esercizi sull'uso di array e tecniche ricorsive [File di testo (.txt)]
Esercizi da svolgere in Java (Classi: Numeri Razionali) - LAB - Esercizi sulle classi, array, ricorsione in Java [File di testo (.txt)]
Esercizi da svolgere in Java (Classi: Insiemi e griglie luminose) - LAB - Nuovi esercizi sulle classi con elementi di riepilogo [File di testo (.txt)]
Esercizi da svolgere in Java (Classi: Dadi - Matrici) - LAB - Nuovi esercizi sulle classi con elementi di riepilogo sulle matrici [File di testo (.txt)]
Esercizi Svolti
Classe "time" - Semplici esempi di definizioni e uso di classi in Java [File di testo (.txt)]
Ricerca Lineare/Binaria [file di testo (.txt)]
Bubble Sort/Merge Sort [file di testo (.txt)]
Compiti d'esame
Appello del 02 febbraio 2010 - Testo e soluzioni [file .PDF]
Appello del 16 febbraio 2010 - Testo e soluzioni [file .PDF]
Progetti, Compiti e Varie
Piccolo progetto per le Vacanze di Natale - Specifiche [file .PDF] - Si ricorda che il progetto è da considerarsi obbligatorio.
Links
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.
Prerequisiti
Sono utili conoscenze di base di matematica, logica, una dimestichezza minima con l'uso del computer.
Programma del Corso
Il programma di massima del corso è disponibile a questo LINK [file di testo (.txt)]
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").
Risultati Esami
Esito appello del 09-02-2012 [file .pdf] (scarica Adobe Reader QUI) -- Prova orale: gli ammessi (compresi gli ammessi con riserva) sono convocati giovedì 23 febbraio, alle ore 09:30, presso lo studio del prof. Calimeri (cubo 30B, ponte coperto).
Torna alla pagina didattica
Torna alla home page di Francesco Calimeri