Calcolo numerico, LT in Informatica, a.a. 2019/20 Syllabus delle dimostrazioni irrinunciabili (e' necessario saper sviluppare una discussione su tutti gli argomenti del programma; qui si elencano i risultati di cui bisogna conoscere una dimostrazione completa e rigorosa) precisione di macchina come max errore relativo di arrotondamento nel sistema floating-point analisi di stabilita' di moltiplicazione, divisione, addizione e sottrazione con numeri approssimati convergenza del metodo di bisezione stima dell'errore col residuo pesato convergenza globale del metodo di Newton in ipotesi di convessita'/concavita' stretta velocita' (ordine) di convergenza del metodo di Newton ordine di convergenza delle iterazioni di punto fisso esistenza e unicita' dell'interpolazione polinomiale convergenza uniforme dell'interpolazione lineare a tratti sistema delle equazioni normali per l'approssimazione polinomiale ai minimi quadrati stime di condizionamento per un sistema lineare