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: 2017/2018
Sedi: MESSINA
SSDTAFtipologiafrequenzamoduli
MAT/07A scelta dello studenteLiberaLiberaNo
CFUCFU LEZCFU LABCFU ESEOREORE LEZORE LABORE ESE
64.501.56036024
Legenda
CFU: 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

Discrete mathematics, Calculus, Programming.

Verifiche dell'apprendimento

Discussione di un progetto e esame orale sui contenuti del corso.

Assessment

Discussion of a project and oral examination about the content of the course.

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. 4. Sage documentation; available at the URL http://www.sagemath.org

Elenco delle unità didattiche costituenti l'insegnamento

COMPUTER ALGEBRA IN APPLIED MATHEMATICS

Docente: FRANCESCO OLIVERI
NNomeSSDTipoCFUORETAFFrequenza
1COMPUTER ALGEBRA IN APPLIED MATHEMATICSMAT/07LEZ4,536A scelta dello studenteLibera
2COMPUTER ALGEBRA IN APPLIED MATHEMATICSMAT/07ESE1,524A scelta dello studenteLibera

Legenda
SEGMENTO: Tutte le unità didattiche sono composte da almeno un segmento
TIPO:LEZ - lezione, ESE - esercitazione, LAB - laboratorio

Orario di Ricevimento - FRANCESCO OLIVERI

GiornoOra inizioOra fineLuogo
Martedì 09:00 11:00Ufficio al I piano dell'Incubare d'impresa
Giovedì 09:00 11:00Ufficio al I piano dell'Incubare d'impresa
Note:
  • Segui Unime su:
  • istagram32x32.jpg
  • facebook
  • youtube
  • twitter
  • UnimeMobile
  • tutti