CdSINFORMATICA
Codice585AA
CFU12
PeriodoSecondo semestre
LinguaItaliano
Gli studenti che completano il corso con successo devono avere familiarita' con l'induzione, il calcolo combinatorio elementare e le successioni ricorrenti, l'aritmetica modulare, i polinomi e la loro fattorizzazione, gli spazi vettoriali, le basi e l'indipendenza lineare.
Saranno inoltre in grado di risolvere semplici esercizi su questi argomenti, di dimostrare una visione intuittiva degli aspetti algebrici e geometrici, di dimostrare i teoremi basilari spiegati nelle lezioni.
The student who successfully completes the course will be familiar with induction, simple counting and linear recurrence problems, modular arithmetic, vector spaces, bases and linear independence, determinants. They will be able to solve on their own simple problems in these fields and will have developed an intuitive vision of the algebraic and geometric aspects of these topics. They will be able to provide proofs of the basic theoretical results seen in the lectures.
Metodi:
- Esame scritto finale
- Esame orale finale
Infromazione ulteriore:
Esame scritto finale (oppure 2 compitini" ) ed esame orale.
L'esame scritto contiene esercizi basati su dimostrazione o su calcolo. L'esame finale include i teoremi, le definizioni e e altri exercizi/applicazioni.
Methods:
- Final oral exam
- Final written exam
Further information:
Final written exam (or 2 x "compitini") and oral exam.
The written exam contains (proof- or computation-based) exercises. The oral exam includes theorem proofs and/or other exercises.
Capacita' di fromulare correttamente le definizioni degli oggetti principali e gli enunciati dei teoremi, insime con la loro applicazione ad esempi semplici. Soluzione di eesercizi cl;assici con metodi standard.
Ability to express correctly the definitions of the main objects and the statements of the thorems, together with application to simple examples. Solution of classical exercises with standard methods.
L'esame scritto, che consiste essenzialmente di esercizi, certifichera' la capacita; di risolvere esercizi classici. L'esame orale certifichera' la conoscenza della teoria e delle sue applicazioni ad esempi fondamentali.
The written exam, consisting mainly of exercises, will certify the ability of solviong classical exercises. The oral exam will certify the tknowledge of the theory and of its applications to fundamental examples.
Ci si attende una normale frequenza alla lezioni ed ai ricevimenti dei docenti.
Durantte l'esame scritto, lo studente non deve assolutamente cercare aiuti estemi, ne' da altre persone, ne'da libri o appunti o strumenti elettonici. I
Normal attendance to the lectures and to time dedicated to personal explanations.
It is absolutely mandatory that the written exam is taken without any help from other people, books or electronic tools.
Non e' prevista una fase di verifica dei comportamenti, a meno che non si verifichi una palese violazione delle regole di correttezza usuali.
No assestment of behaviors is foreseen, unless a violation of the standard tules of correctness is observed.
Aritmetica elementare e operazioni algebriche al livello di una scuola media superiore.
Elementary aritmetic and algebra operations at high-school level.
Nessuno.
None.
Conoscenza degli algoritmi di base per l'artimetica modulare, i polinomi e i campi finiti.
Knowledge of the basic algorithms in modular arithmetic, polynomials and finite fields.
Lezioni in aula, con possibile uso di schermi elettronici.
Attivira' di appendimento: Learning activities:
- frequentazione delle lezioni
- studio individuale
Frequenza alle lezionI: estrememente consigliata
Metodi di insegnamento:
- Leczioni
- Arrendimento basato su obiettivi, problemi, risposta a domande.
Delivery: face to face, with possible use of electronic screen
Learning activities:
- attending lectures
- individual study
Attendance: Advised
Teaching methods:
- Lectures
- Task-based learning/problem-based learning/inquiry-based learning
Induzione; successioni lineati ricorrenti, principio dei cassetti; MCD, copngruenze ed aritmetica modulare. Algoritmo di Euclide. Teorema cinese del resto. Combinatoria elementare. Polinomi e fattorizzazione. Spazi vettoriali di dimensione finita, sottospazi, indipendenza lineare e basi. Applicazioni lineari e matrici associate. Matrici inverse e soluzioni di sistemi lineari. Determinnanti. Autovalori ed autovettori.
Induction; linear recurrences; binomials; pigeonhole principle; gcd, congruences and modular arithmetic; Euclidean algorithm; Chinese remainder theorem. Elementary combinatorics. Polynomials and their factorization. Finite-dimensional vector spaces; subspaces, linear independence and bases; linear applications and associated matrices; inverse matrices and the solution of linear systems; determinants; eigenvalues and eigenvectors.
Nom c'e' un testo obbligatorio. Sono suggeriti i seguenti libri e risors per lo studio individuale;
* The online lecture notes provided by the teachers at http://www.dm.unipi.it/~gaiffi/MatDisc2014/Pages/mat-disc.pdf, http://www.dm.unipi.it/~gaiffi/MatDisc2014/Pages/mainalgebralineare.pdf. *
* L. Childs, ALGEBRA, un'introduzione concreta, ETS Editrice.
*R. Dvornicich, Lezioni del corso on line degli anni precedenti.
Libri che rigurdano la seconda parte del corso (Algebra Lineare)"
* M. Abate, /Algebra Lineare/, McGraw-Hill.
* S. Abeasis, /Elementi di Algebra Lineare e Geometria/, Zanichelli.
* G. Strang, /Introduction to Linear Algebra/, Wellesley Cambridge, or his video lectures on http://ocw.mit.edu (both in English).
* prof. M. Gobbino's video lectures on http://users.dma.unipi.it/gobbino/Home_Page/AD_AL_14.html
Ovviametne non tutti questi l;ibri/risorse sono necessari. Lo studente puo' scegliere, Probabilmente un paio di questi libri/risorse sopno sufficienti.
No mandatory reading. Suggested books and resources for individual study include: * The online lecture notes provided by the teachers at http://www.dm.unipi.it/~gaiffi/MatDisc2014/Pages/mat-disc.pdf, http://www.dm.unipi.it/~gaiffi/MatDisc2014/Pages/mainalgebralineare.pdf. * the notes written on the tablet pc during the lectures, available on the instructors' websites. * L. Childs, ALGEBRA, un'introduzione concreta, ETS Editrice. *R. Dvornicich Lectures on line of the revios years. Books covering the topics of the second part of the course (linear algebra): * M. Abate, /Algebra Lineare/, McGraw-Hill. * S. Abeasis, /Elementi di Algebra Lineare e Geometria/, Zanichelli. * G. Strang, /Introduction to Linear Algebra/, Wellesley Cambridge, or his video lectures on http://ocw.mit.edu (both in English). * prof. M. Gobbino's video lectures on http://users.dma.unipi.it/gobbino/Home_Page/AD_AL_14.html (not all of these books are necessary of course; an abundance of sources is listed for the students' benefit, but one or two of these books/resources will cover all the required material).
Controllare costantemente il registro delle lezioni on line. Risolver i problemi proposti nel sito, sia nelle lezioni che come compiti degli anni precedenti. Controllare periodicamente anche eventuali infromazioni per gi studenti inserite on line.
Follow the daily summary of the lectures on line and try to solve the problems proposed in the web page, either within lectures or as past exams. Check periodically also any other information given on line to the students.
Moda;lita' :
- Esame finale scritto
- Esame finale orale
Inrformazioni ulteriori;
Esame finale scritto (oppure 2 compitini) ed esame orale.
L'esame scritto contiene esercizi basati su dimostrazione o su calcolo. L'esame finale include i teoremi, le definizioni e e altri exercizi/applicazioni.
Methods:
- Final oral exam
- Final written exam
Further information:
Final written exam (or 2 x "compitini") and oral exam.
The written exam contains (proof- or computation-based) exercises. The oral exam includes theorem proofs and/or other exercises.