OpenLLM-France/wikimedia huggingface dataset:
# Definizione

Il Testing è un metodo di verifica nel quale si accerta la correttezza di un sistema esercitandolo e comparandone il funzionamento rispetto alle attese.

## Attività sottese al Testing
### Test Case Selection

    scelta dei Test Cases

### Sensitization

    identificare gli input che portano ai Test Cases scelti

### Execution

    creare stub, driver, log

### Oracle Verdict

    il sistema verifica le attese?

### Debugging

    tracciare ciascuna Failure su una o più Faults

### Coverage Analysis

    Stimare il grado di copertura raggiunto rispetto alla complessità reale del sistema - Ci da un indicatore di confidenza sulla assenza di errori residui
Occorre innanzi tutto domandarsi a quale livello di astrazione del sistema possiamo lavorare
* Codice Sorgente
* Codice Compilato
* Diagramma UML
Sono possibili inoltre diverse astrazioni rispetto ad altrettante prospettive che intendiamo investigare

### Funzionale

    il sistema è visto come una BlackBox investigabile solo in termini di relazioni tra l'input immesso e l'output restituito. Viene testato facendo riferimento alla specifica dei requisiti.

### Strutturale

    il sistema è visto come una WhiteBox, ovvero si ha accesso, invece che alle relazioni di Ingresso/Uscita, al codice sorgente.

### Architetturale

    il sistema è visto come una GreyBox, ovvero si ha accesso all'aspetto Funzionale e alle principali relazioni funzionali interne.
Solitamente il miglior approccio da adottare prevede:
* Prospettiva Funzionale nel TCS
* Prospettiva Strutturale nella CA

#### Approccio al Testing

| Approccio | Control Flow | Data Flow | Finite States | OO testing |
| Funzionale | NO | NO | OK | OK |
| Strutturale | OK | OK | NO | OK |

### Coverage Analysis

Una volta definito il livello di astrazione desiderato, utilizziamo un opportuno Criterio di Copertura
* All Nodes
* All Edges
* All Conditions
* Condition Decision
* Multiple Conditions
* Modified Condition-Decision

#### All Nodes

Con questo criterio si intende visitare tutti i nodi del Control Flow Graph
Pro:
* Complessità: $O(N)$
Contro:
* Non garantisce la copertura di tutte le scelte

#### All Edges

Con questo criterio oltre a verificare tutti i nodi del control flow graph si controllano anche tutti gli archi.
La complessità è O (N* C) dove N è il numero di nodi e E è il massimo grado di uscita.
# Testo di Urick sul sonar

-Download libero-

## Presentazione del testo

Il testo, in lingua inglese, citato in questa pagina, è una copia del libro di Urick; un manuale tecnico di notevole importanza per la progettazione e la sperimentazione dei sistemi di localizzazione e comunicazione subacquea.
Le chiare esposizioni della materia, abbinate a numerosi esempi di calcolo, rendono l'Urick un manuale indispensabile per chi lavora nel settore.
Una caratteristica saliente del libro è che ciascun capitolo può essere consultato, come se fosse un articolo tecnico, indipendentemente dalla lettura degli altri.
Il libro è composto da 13 capitoli per un totale di 423 pagine; riporteremo alcuni capitoli del testo suggerendone l'acquisto presso librerie specializzate.

## Alcuni capitoli

Alcuni capitoli interessanti sono consultabili in pdf contenuti:
* the sonar equations
* reflection and scattering by sonar targets
* radiated noise of ships
* self-noise of ships, submarine
* design and prediction in sonar system
Archivio: Spa.USEA/C.Del Turco

## Come scaricare i capitoli

In un unico file in pdf possono essere scaricati i Capitoli menzionati.
L'inserto è disponibile all'indirizzo indicato nella sezione dei Collegamenti esterni.
# Testi per Letteratura italiana II

| Biblioteca di Wikiversità · Fonti librarie Biblioteca del Dipartimento di Scuole Sezione Scuola secondaria superiore | Biblioteca di beni e attività culturali Biblioteca di economia Biblioteca di giurisprudenza Biblioteca di lingue Biblioteca di medicina Biblioteca di scienze agrarie e tessili | Biblioteca di scienze MFN Biblioteca di scienze meccaniche e aerospaziali Biblioteca di scienze sociali Biblioteca del Dipartimento scuole Biblioteca di studi umanistici Biblioteca di tecnologie dell'informazione |
Cinquecento
* Pietro Aretino
* Ludovico Ariosto
* Niccolò Machiavelli
* Michelangelo Buonarroti
* Torquato Tasso
* Giovanni Della Casa
* Benvenuto Cellini
* Antonio Pigafetta
* Francesco Guicciardini
* Pietro Bembo
* Matteo Bandello
* Gaspara Stampa
* Francesco Berni
* Giordano Bruno
* Anton Francesco Grazzini, detto Il Lasca
Seicento
* Torquato Accetto
* Claudio Achillini
* Galileo Galilei
* Alessandro Tassoni
* Tommaso Campanella
* Traiano Boccalini
* Giovan Battista Marino
* Battista Guarini
settecento
* Vittorio Alfieri
* Alessandro Verri
* Pietro Verri
* Giambattista Vico
* Giambattista Felice Zappi
* Giuseppe Baretti
* Pietro Metastasio
* Daniello Bartoli
* Cesare Beccaria
* Carlo Goldoni
* Gasparo Gozzi
* Ludovico Antonio Muratori
* Giuseppe Parini
* Giacomo Casanova
* Melchiorre Cesarotti
* Paolo Rolli
* Ferdinando Galiani
# Testi teatrali (Wikisource)

| Biblioteca di Wikiversità · Fonti librarie Biblioteca del Dipartimento di Scuole Sezione Scuola secondaria superiore | Biblioteca di beni e attività culturali Biblioteca di economia Biblioteca di giurisprudenza Biblioteca di lingue Biblioteca di medicina Biblioteca di scienze agrarie e tessili | Biblioteca di scienze MFN Biblioteca di scienze meccaniche e aerospaziali Biblioteca di scienze sociali Biblioteca del Dipartimento scuole Biblioteca di studi umanistici Biblioteca di tecnologie dell'informazione |

## Wikisource

* Itwikisource:Adelchi
* Itwikisource:Agamennone (Alfieri)
* Itwikisource:Al pianoforte
* Itwikisource:Amleto (Rusconi)
* Itwikisource:Andria
* Itwikisource:Antigone (Alfieri)
* Itwikisource:Antigone (Sofocle)
* Itwikisource:Aridosia
* Itwikisource:Artaserse
* Itwikisource:Bruto Primo
* Itwikisource:Bruto Secondo
* Itwikisource:Chi lascia la via vecchia per la nuova, sa quel che lascia, e non sa quel che trova
* Itwikisource:Clizia
* Itwikisource:Dodici monologhi
* Itwikisource:Don Giovanni
* Itwikisource:Edipo Coloneo
* Itwikisource:Edipo re
* Itwikisource:Erodiade
* Itwikisource:Farse e moralità
* Itwikisource:Filippo
* Itwikisource:Filippo (1783)
* Itwikisource:Gli ucelli
* Itwikisource:I cattivi pastori
* Itwikisource:I cavalieri
* Itwikisource:I monologhi di Pierrot
* Itwikisource:I Persiani
* Itwikisource:I pettegolezzi delle donne
* Itwikisource:Il Conte di Carmagnola
* Itwikisource:Il Conte Rosso
* Itwikisource:Il filo (Giacosa)
* Itwikisource:Il marito amante della moglie
* Itwikisource:Il Pluto
* Itwikisource:Il servitore di due padroni
* Itwikisource:Il sogno di Scipione
* Itwikisource:Il teatro comico
* Itwikisource:L'Acarne
* Itwikisource:La bohème
* Itwikisource:La bottega del caffè
* Itwikisource:La Catrina
* Itwikisource:La Cortigiana (1525)
* Itwikisource:La donna di garbo
* Itwikisource:La figlia di Iorio
* Itwikisource:La gente di spirito
* Itwikisource:La Lisistrata
* Itwikisource:La locandiera
* Itwikisource:La mandragola
* Itwikisource:La pace
* Itwikisource:La tempesta (Shakespeare-Angeli)
* Itwikisource:La tempesta (Shakespeare-Maffei)
* Itwikisource:La traviata
* Itwikisource:Le avventure della villeggiatura
* Itwikisource:Le cereali
* Itwikisource:Le congreganti
* Itwikisource:Le convulsioni
* Itwikisource:Le nebule
* Itwikisource:Le nozze di Figaro
* Itwikisource:Le rane
* Itwikisource:Le smanie per la villeggiatura
* Itwikisource:Le vespe
* Itwikisource:Le Villi
* Itwikisource:Le Villi (prima versione)
* Itwikisource:Lo schiavetto
* Itwikisource:Macbeth
* Itwikisource:Malìa
* Itwikisource:Medea
* Itwikisource:Medio Evo (Costanzo)
* Itwikisource:Mirra
* Itwikisource:Nicarete ovvero La festa degli Alòi
* Itwikisource:Opere varie (Manzoni)
* Itwikisource:Oreste (Alfieri)
* Itwikisource:Otello (Boito)
* Itwikisource:Saul
* Itwikisource:Tieste
* Itwikisource:Tommaso Moro
* Itwikisource:Una partita a scacchi
* Itwikisource:Verginia
* Itwikisource:Vicramorvasi
# Testi ufficiali in lingua ladina

La Provincia di Bolzano provvede alla traduzione delle proprie leggi provinciali nell'idioma della Val Badia e in quello della Val Gardena, pubblicandoli sulla Gazzetta. In genere i provvedimenti legislativi sono pubblicati solo in uno dei due idiomi.
Gli statuti comunali di alcuni comuni della Val Badia sono disponibili, oltre che in italiano e tedesco, anche in lingua ladina (varietà badiotto).
Costituiscono un esempio precipuo di un uso di tale lingua nella sua forma scritta e non solo come raccolta di una ricca tradizione orale come per il ciclo Il regno dei Fanes
Val Gardena
* s:Lege Provinziela dl 13 de dezëmber 1991, nr. 33 - Urdinamënt di mëinacrëp y di mëinaschi
* s:Lege Provinziela dl 15 de mei 2000, nr. 9 -- Pruvedimënc per la defendura di tieres
* s:Lege Provinziela dl 20 de fauré 2002, nr. 3 - Disciplina di ufizies de viac y turism
* s:Lege provinziala di 21 de mà 2002, nr. 7 Desposiziuns por promöie le superamënt o l’eliminaziun di impedimënć architetonics
* s:Lege Provinziela de 30 setëmber 2005, Nr. 7 Normes tla materia dla nuzeda d’eghes publiches y de mplanc eletrics
* s:Lege Provinziala di 18 de novëmber dl 2005, n. 11 Scomenciadia Popolara y referendum
* s:Lege provinziela di 19 de setëmber dl 2008, n. 7 - Regulamentazion dla feries sun l luech da paur
* s:Lege Provinziala dl 8 de forà dl 2010, n. 4 Istituzion dl Consëi di Comuns
* s:Lege provinziela dl 18 de mei 2006, nr. 3 - Ntervënc tla materia dla dependënzes
* s:Lege Provinziala di 8 de mà dl 2013, n. 5 - Desposiziuns sön la lîta dl Consëi dla Provinzia autonoma de Balsan por l'ann 2013 y sön la composiziun y formaziun dla Junta provinziala
Val Badia
* s:Lege provinziala di 21 de mà 2002, nr. 7 Desposiziuns por promöie le superamënt o l’eliminaziun di impedimënć architetonics
* s:Lege Proviziela dl 18 de merz 2002, n. 61 Normes sun la comunicazions y mesures tl ciamp dla radiodifujion 2002
* s:Lege Provinziala: dl 7 messè dl 2010, n. 9 - Energia regenerabla
* s:Lege Provinziala di 19 de jenà dl 2012, n. 2 - Promoziun dla banda leria tl raiun provinzial
# Testi per Letteratura italiana III prima parte

| Biblioteca di Wikiversità · Fonti librarie Biblioteca del Dipartimento di Scuole Sezione Scuola secondaria superiore | Biblioteca di beni e attività culturali Biblioteca di economia Biblioteca di giurisprudenza Biblioteca di lingue Biblioteca di medicina Biblioteca di scienze agrarie e tessili | Biblioteca di scienze MFN Biblioteca di scienze meccaniche e aerospaziali Biblioteca di scienze sociali Biblioteca del Dipartimento scuole Biblioteca di studi umanistici Biblioteca di tecnologie dell'informazione |

## Luigi Capuana

* Spera di sole
* Le arance d'oro
* Ranocchino
* Senza-orecchie
* Il lupo mannaro
* Cecina
* L'albero che parla
* I tre anelli
* La vecchina
* La fontana della bellezza
* Il cavallo di bronzo
* L'uovo nero
* La figlia del re
* Serpentina
* Il soldo bucato
* Testa-di-rospo
* Topolino
* s:Malìa
* s:Il raccontafiabe
** Piuma d'oro
** Grillino
** La mammadraga
** Re tuono
** Fata fiore
** Trottolina
** Mastro acconcia-e-guasta
** La figlia dell'orco
** Bambolina
** Il barbiere
** Il gattino di gesso
** Il mugnaio
** L'ago
** La padellina
** L'asino del gessaio
* I due vecchietti
* s:Il Marchese di Roccaverdina
* s:Un vampiro
** Un vampiro
** Fatale influsso
* s:Chi vuol fiabe, chi vuole?
** La figlia del giardiniere
** Il tesoro nascosto
** Cingallegra
** Comare Formica
** Il principe Pettirosso
** Radichetta
** Le bisacce del lupinaio
** Saltacavalla
** Le nozze di Primpellino
** Il nido dei draghi
** Carbonella
** Pane e Cacio
* s:Si conta e si racconta...
* Re Cianca
* Tartarughino
* Il buco nell'acqua
* Lo zoccoletto
* Pendolino
* L'uccellino che non canta
* I due portenti
* La pianta della parola
* La vecchina
* Pappafichi
* Re Prudenzio
* Milda
* s:Le ultime fiabe
Articoli e criticaììì
* s:Malìa - Giudizi della Stampa, Tipografia di Giacomo Pastore, Catania 1893.
Lettere
* s:Lettera di Luigi Capuana a Mario Rapisardi (28 settembre 1903), per chiedergli un prestito di denaro
* s:Lettera di Luigi Capuana a Mario Rapisardi (29 settembre 1903), per ringraziarlo

## Carducci

* s:Juvenilia
* s:Levia Gravia
* s:A Satana
* s:Giambi ed epodi
* s:Intermezzo
* Della «Canzone di Legnano»
* s:Rime nuove
* s:Odi barbare
* s:Rime e ritmi
* Appendice
** s:A Giulio Perticari

## Collodi

* s:I racconti delle fate
* s:Le avventure di Pinocchio
* s:I ragazzi grandi

## Corazzini

* Poesie

## Domenico Cuoco

* s:Saggio storico sulla rivoluzione napoletana del 1799
# Layout elements in HTML
## Obiettivi di apprendimento

* Know about the style attribute and how to use it within HTML elements
* Know already realize that there are some limits using the style attribute
* be able to create websites that follow a certain style guide

## Trascrizione

Having explained layout elements in HTML, the advice is: Keep Layout flexible and separate it from document structure. We will tell why in our next lesson.

## Discussioni

* Ethernet
** Communication over a shared Medium
** Ethernet header
** Minimum package length vs maximum cable length
** Collision detection
** Summary, further reading, homework
* Internet Protocol
** Motivation for IP
** Classful IPv4 networks
** IP forwarding algorithm
** IP header
** Summary, further reading, homework
* Transmission Control Protocol
** End to end principle and connection oriented communication
** Three way handshake
** Port numbers
** Sliding window and flow control
** Summary, further reading, homework
* Domain Name System
** Tree structure
** Terminology
** Zones
** Review some facts about DNS
** Delegating DNS queries
** DNS address resolution
** Summary, further reading, homework
* Internet vs World Wide Web
** Summary of the internet architecture
** Motivation and requirements for the World Wide Web
** Design principles of the web
** Uniform Resource Identifier
** Summary, further reading, homework
* Hypertext Transfer Protocol
** Making HTTP requests
** A simple web client
** A simple web server
** HTTP header
** Content negotiation
** Summary, further reading, homework
* Web content
** Problem setting for web content formats
** Working with XML
** HTML for web document structures
** Layout elements in HTML
** Motivating separation of content and layout
** Cascading Style Sheets
** Media content
** Metadata
** Summary, further reading, homework
* Dynamic Web Content
** Basics of server side web programming
** Forms and HTTP post request
** Handling a post request in a Java Servlet
** Client side JavaScript
** Ajax and the XMLHttpRequest class
** Summary, further reading, homework
# Le particelle men e de in greco

Gli antichi testi greci erano scritti di seguito, senza distinzione fra lettere maiuscole e minuscole, senza spiriti e accenti e senza segni di interpunzione. Per dare intonazione al periodo e per contrapporre, legare e sottolineare le varie parti di un periodo esistevano delle particelle che avevano le funzioni che hanno i segni di interpunzione nei testi moderni.
Nella lingua attica le particelle più frequenti sono μέν …δέ, che molto spesso sono in correlazione: in tal caso il μέν in genere non si traduce e il δέ si può rendere con “e”, “ma”, “invece” (in base al contesto della frase in cui si trova).
In greco l'articolo determinativo presenta alcuni usi particolari che non hanno corrispondenza in italiano e che, per questo motivo, è bene analizzare subito con molta attenzione:
* funzione di richiamo: l'articolo si trova all'inizio di frase seguito dalla particella δε per riprendere un soggetto precedente nominato; in italiano si rende con un pronome personale (egli, essa, esso) o dimostrativo (questo, questa, ciò, quello, quella):
* η δε ανταμειβαται ed essa risponde
* funzione di rilievo: l'articolo accompagna un nome proprio per dargli maggior risalto:
οι φοιτηται του Πυθαγορου i seguaci DI pitagora (του
sottolinea che si sta parlando del famoso Pitagora e non di un filosofo omonimo)0
* funzione sostantivante: come in italiano l'articolo accompagna aggettivi, infiniti, participi e avverbi conferendo loro valore sostantivo:
** το καλον (agg.) il bello
** οι αγαηοι (agg.) i buoni
** το διδασκειν (inf.) l'insegnante, l'insegnamento
** οι παροντεσ (part.) coloro che sono presenti, i presenti
** οι νυν (avv.) quelli di ora, i contemporanei
** οι τοτε (avv.) quelli di allora, gli antichi
* funzione oppositiva: se l'articolo non si accompagna a un sostantivo ed è seguita dalle particelle correlative μεν e δε, recupera il suo originario valore di pronome, per sottolineare il rapporto di opposizione esistente tra due cose, individui o gruppi:
** ο μεν ... ο δε l'uno.. l'altro..; uno.. un altro..; questo.. quello..; chi.. chi..
** οι μεν ... οι δε gli uni.. gli altri..; alcuni.. altri..; questi.. quelli..; chi.. chi..;
** το μεν ... το μεν una cosa.. un'altra..; da una parte.. dall'alta..; in parte.. in parte.. in parte..; ora.. ora..; in un punto.. in un altro punto..;
** τα μεν ... τα δε alcune cose.. altre cose..; da una parte.. dall'altra parte..; in parte.. in parte..;
# Altre risorse sulla risoluzione di equazioni non lineari

| Biblioteca di Wikiversità · Fonti librarie Biblioteca del Dipartimento di Scienze matematiche, fisiche e naturali | Biblioteca di beni e attività culturali Biblioteca di economia Biblioteca di giurisprudenza Biblioteca di lingue Biblioteca di medicina Biblioteca di scienze agrarie e tessili | Biblioteca di scienze MFN Biblioteca di scienze meccaniche e aerospaziali Biblioteca di scienze sociali Biblioteca del Dipartimento scuole Biblioteca di studi umanistici Biblioteca di tecnologie dell'informazione |
Analisi numerica > Altre risorse sulla risoluzione di equazioni non lineari
* Indice delle lezioni di:
** Analisi numerica
* Torna al corso:
** Matematica

#### Metodo di bisezione

* Metodo di bisezione, pagina wikipedia.
* Bisection method da mathworld wolfram.
* Bisection Method da Holistic Numerical Methods Institute: Appunti, Esempi Risolti, Quiz, PPT, codici: Mathcad, Maple, Matlab, Mathematica.
* Bisection method codice Java, by Behzad Torkian.
* Module for the Bisection Method by John H. Mathews, appunti online.
* The Bisection Method and Locating Roots, appunti (pdf).
* Codice MATLAB/Octave,

#### Metodo di Newton

* Metodo di Newton,
* Exercises and quiz

#### Metodi di punto fisso

* Fixed Point Iteration
# Amadio Calligari

Francesco Amadio (Amedeo / Amadeo) Calligari o Callegari, comunemente noto come Greco è nato il 10 gennaio 1857 al Larcioné a Vigo. I genitori erano Cristiano e Giuliana Wais. Di professione era segretario comunale nella sua città natale, e ha lavorato con passione come storico locale. Calligari è stato uno dei principali informatori di vicende della Val di Fassa.
# Ambito di validità della legge penale
## Ambito di validità della legge penale
### Introduzione

L'ambito di validità della legge penale può essere determinato in due diverse prospettive: la validità della legge penale nel tempo e la validità della legge penale nello spazio.

### La validità della legge penale nel tempo

Sul piano della validità temporale e, in particolare, della successione delle leggi penali, si alternano, in dottrina generale, due concezioni opposte: il principio di irretroattività e il principio di retroattività.
Secondo il principio di irretroattività la legge penale può essere applicata solo ai fatti successivi alla sua entrata in vigore. Complementare ad esso è il principio di non ultrattività per il quale la legge penale non può essere applicata a fatti successivi alla sua estinzione. L'applicazione congiunta di questi due principi permette di risalire al superiore principio di attualità (tempus regit actum) per il quale la legge penale è valida solo ed esclusivamente nel periodo in cui è in vigore.
Se il principio di irretroattività così inteso è completamento logico del principio di riserva di legge e del principio di tassatività, tutti volti a garantire la libertà dell'individuo contro gli arbitri del legislatore, esso si presta ad essere strumentalizzato dalla cosiddetta delinquenza di Stato, che potrebbe utilizzarlo per assicurare l'impunità di certi fatti.
Il contrapposto principio di retroattività si fonda sull'esigenza di una più efficace difesa sociale di una più sostanziale giustizia, per cui non sarebbe giusto lasciare impuniti gli autori di fatti antisociali che abbiano dato causa alla nuova legge penale. È evidente come anche questo principio sia strumentalizzabile a fini di terrorismo e vendetta politica. Non a caso una simile concezione del diritto penale era stata accolta dal totalitarismo staliniano e da quello nazista. Da ricordare è anche il fatto che furono retroattive le leggi fasciste per la difesa dello Stato.
Il principio di Irretroattività, da annoverarsi tra le colonne portanti del Diritto Penale Italiano, è incluso nell'art.2 c.p., il quale disciplina l'istituto delle successioni di leggi penali nel tempo, al comma 1:
"Nessuno può essere punito se non in forza di una legge che sia entrata in vigore prima del fatto commesso"
... e al comma 3
"Se la legge del tempo in cui fu commesso il reato e le posteriori sono diverse, si applica quella le cui disposizioni sono più favorevoli al reo, salvo che sia stata pronunciata sentenza irrevocabile"
Dalla lettura di questi due commi si può evincere che
# Amando Alfreider

Amando ( Amandus) Alfreider è nato il 6 febbraio 1898 a Rina. I suoi genitori erano Sepl e Terejia Pescosta. Ultimo di 13 figli, ha frequentato il liceo a Neustift, è stato durante i suoi studi presso lo Standschützen e, infine, ad Innsbruck.
Passato al seminario di Bressanone ed è stato ordinato sacerdote nel 1923. Cappellano in Valle di Casies, nel 1925-1927 a La Pli, nel 1927-1929 a La Val , quindi a Gais, nel 1933-1936 a S. Martino in Badia. Nel 1936, è stato beneficiario ad Ornela, dove il 9 maggio 1941 è morto per un ictus.
# Altri criteri di integrabilità secondo Riemann

Analisi matematica > Altri criteri di integrabilità secondo Riemann
* Indice delle lezioni di:
** Analisi matematica
* Torna al corso:
** Matematica

#### Teorema (integrabilità delle funzioni continue in un intervallo chiuso)

Sia $f$ una funzione continua in $[a,b]$ a valori reali. Allora $f\in {\mathcal {R}}_{[a,b]}$.

##### Dimostrazione

$f$ è continua in $[a,b]$ per ipotesi, dunque $|f(x)-f(x')|<\varepsilon ,\ \forall \varepsilon ,\delta >0,\forall x,x'\in [a,b],\ |x-x'|<\delta$.
Sia poi $\sigma =\{x_{0},\dots ,x_{n}\}$ una scomposizione con parametro di finezza $|\sigma |<\delta$. Si ha
$S(f,\sigma )-s(f,\sigma )=\sum _{i=1}^{n}(\sup _{I_{i}}f-\inf _{I_{i}}f)(x_{i+1}-x_{i})$
Per il Teorema di Weierstrass, per ogni $i\in \{1,2,\dots ,n\}$ esistono degli $x_{i}',x_{i}''$ tali che $f(x_{i}')=\sup _{I_{i}}f$ e $f(x_{i}'')=\inf _{I_{i}}$.
Si ha inoltre che $|x_{i}'-x_{i}''|\leq {\rm {mis}}I_{i}\leq |\sigma |\leq \delta ,\ \forall i\in \{1,2,\dots ,n\}$ e per la continuità, abbiamo $f(x_{i}')-f(x_{i}'')<\varepsilon$ e infine
$S(f,\sigma )-s(f,\sigma )<\sum _{i=1}^{n}\varepsilon \cdot {\rm {mis}}I_{i}=\varepsilon \sum _{i=1}^{n}{\rm {mis}}I_{i}=\varepsilon (b-a)$
E abbiamo già finito, perché per il Teorema di Riemann concludiamo che $f\in {\mathcal {R}}_{[a,b]}$.
$\Box$

#### Proposizione

Sia $f:[a,b]\to \mathbb {R}$ una funzione limitata e sia $c\in ]a,b[$. Allora
$f\in {\mathcal {R}}_{[a,b]}\Longleftrightarrow f\in {\mathcal {R}}_{[a,c]}\wedge f\in {\mathcal {R}}_{[c,b]}$
# Alvije Piccolruaz

Alvije (Alvijo) Piccolruaz (Rubatscher) è nato il 11 agosto 1826 a Sogherdëna sopra Pedraces. Nel 1843 è diventato un cappuccino con la nome religioso Padre Simmaco e nel 1850 è stato ordinato sacerdote. Era un predicatore presso il monastero di Egna e a Ried im Oberinntal.