Offerta Didattica
ENGINEERING AND COMPUTER SCIENCE
COMPUTER ALGEBRA IN APPLIED MATHEMATICS
Classe di corso: LM-32, 18 - Classe delle lauree magistrali in Ingegneria informatica
AA: 2015/2016
Sedi: MESSINA
| SSD | TAF | tipologia | frequenza | moduli |
|---|---|---|---|---|
| MAT/07 | A scelta dello studente | Libera | Libera | No |
| CFU | CFU LEZ | CFU LAB | CFU ESE | ORE | ORE LEZ | ORE LAB | ORE ESE |
|---|---|---|---|---|---|---|---|
| 6 | 4.5 | 0 | 1.5 | 60 | 36 | 0 | 24 |
LegendaCFU: n. crediti dell’insegnamento CFU LEZ: n. cfu di lezione in aula CFU LAB: n. cfu di laboratorio CFU ESE: n. cfu di esercitazione FREQUENZA:Libera/Obbligatoria MODULI:SI - L'insegnamento prevede la suddivisione in moduli, NO - non sono previsti moduli ORE: n. ore programmate ORE LEZ: n. ore programmate di lezione in aula ORE LAB: n. ore programmate di laboratorio ORE ESE: n. ore programmate di esercitazione SSD:sigla del settore scientifico disciplinare dell’insegnamento TAF:sigla della tipologia di attività formativa TIPOLOGIA:LEZ - lezioni frontali, ESE - esercitazioni, LAB - laboratorio
Obiettivi Formativi
Il corso fornisce gli elementi di base di un sistema di algebra computazionale e analizza le tecniche di rappresentazione dei dati, alcuni algoritmi sui polinomi, sulla derivazione e l'integrazione simbolica.Learning Goals
The course provides the basic elementsof a system of computer algebra, and analyzes the techniques for data representation as well asthe algorithms for polynomials, dor symbolic differentiation and integration.Metodi didattici
Lezioni frontali ed esercitazioni pratiche nel laboratorio informatico.Teaching Methods
Lectures and practical exercitations in the computer laboratory.Prerequisiti
Matematica discreta, Calcolo differenziale. Programmazione.Prerequisites
Verifiche dell'apprendimento
Discussione di un progetto e esame orale sui contenuti del corso.Assessment
Programma del Corso
1. Caratteristiche dei sistemi di computer algebra. 2. La rappresentazione dei dati. Rappresentazione di interi, di frazioni, di polinomi, di funzioni razionali, di funzioni algebriche, di funzioni trascendenti, di matrici. 3. Semplificazione di polinomi. Riduzione di polinomi. Basi di Groebner. Soluzione di sistemi polinomiali. Algoritmo di Buchberger. 4. Derivazionee integrazione simbolica. Integrazione formale di equazioni differemnziali ordinarie. 5. Casi di studio. I sistemi di computer algebra Maxima, Reduce, Sage e Mathematica.Course Syllabus
1. Features of computer algebra systems. 2. Data representation. Representation of integers, fractions, polynomials, rational functions, algebraic functions, transcendent functions, matrices. 3. Polynomial simplification. Polynomial reduction. Groebner bases. Solution of polynomial systems. Buchberger algorithm. 4. Symbolic differentiation and integration. Formal integration of ordinary differential equations. 5. Case studies. The computer algebra systems Maxima, Reduce, Sage and Mathematica.Testi di riferimento: 1. J. H. Davenport, Y. Siret, E. Tournier. Computer Algebra: systems and algorithms for algebraic computation. Academic Press, 1988.
2. A.C. Hearn. Reduce User's Manual. Rand Corporation, 2004.
3. S. Wolfram. The Mathematica book. 2003.
Esami: Elenco degli appelli
Elenco delle unità didattiche costituenti l'insegnamento
COMPUTER ALGEBRA IN APPLIED MATHEMATICS
Docente: FRANCESCO OLIVERI
Orario di Ricevimento - FRANCESCO OLIVERI
| Giorno | Ora inizio | Ora fine | Luogo |
|---|---|---|---|
| Martedì | 09:00 | 11:00 | Ufficio al I piano dell'Incubare d'impresa |
| Giovedì | 09:00 | 11:00 | Ufficio al I piano dell'Incubare d'impresa |
Note:
- Segui Unime su:
