Il corso di L

(1)

Il corso di L^ATEX

Enrico Gregorio

Dipartimento di Informatica Università di Verona

Edizione 2013

Enrico Gregorio Il corso di LATEX

(2)

Che cosa non è L^ATEX?

Non è un word processor

Non è un programma per produrre presentazioni Non è facile

(3)

(4)

Non è un programma per produrre presentazioni

Non è facile

(5)

(6)

Che cosa è L^ATEX?

È un sistema per la composizione tipografica Può anche produrre presentazioni

È facile

È, in gran parte, gratis

(7)

È un sistema per la composizione tipografica

Può anche produrre presentazioni È facile

(8)

È facile

(9)

È facile

(10)

È facile

È, in gran parte,

gratis

(11)

È facile

(12)

Esempi

λω λC

λ 2 λP 2

λω λPω λ → λP

(13)

Esempi

λω λC

λ 2 λP 2

λω λPω λ → λP

(14)

Esempi

The area of a circle is a mean proportional between any two regular and similar polygons of which one circumscribes it and the other is isoperimetric with it. In addition, the area of the circle is less than that of any circumscribed polygon and greater than that of any isoperimetric polygon. And fur- ther, of these circumscribed polygons, the one that has the greater number of sides has a smaller area than

the one that has a lesser number;

but, on the other hand, the isoperimetric polygon that has

the greater number of sides is the larger.

[Galileo, 1638]

Dal TEXbook di Donald E. Knuth

(15)

Esempi

Πᾶς κύκλος ἴσος ἐστὶ τριγώνῳ ὀρθογωνίῳ, οἶ ἡ μὲν ἐκ τοῦ κέντρου ἴση μιᾷ τῶν περί τέν ὀρθέν, ἡ δὲ περίμετρος τῇ βάσει.

Archimede, La misura del cerchio

Ogni cerchio è equivalente a un triangolo rettangolo nel quale uno dei lati dell’angolo retto è uguale al raggio del cerchio e la base al perimetro.

(16)

Esempi

Πᾶς κύκλος ἴσος ἐστὶ τριγώνῳ ὀρθογωνίῳ, οἶ ἡ μὲν ἐκ τοῦ κέντρου ἴση μιᾷ τῶν περί τέν ὀρθέν, ἡ δὲ περίμετρος τῇ βάσει.

Archimede, La misura del cerchio

Ogni cerchio è equivalente a un triangolo rettangolo nel quale uno dei lati dell’angolo retto è uguale al raggio del cerchio e la base al perimetro.

(17)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

Il tutto è stato prodotto definendo un comando e scrivendo\calcolamcd{26353}{14516} ^Rivedi

(18)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837

14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(19)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679

11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(20)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121

2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(21)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437

1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(22)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247

437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(23)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190

247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(24)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57

190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(25)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19

57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(26)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0

mcd(26353, 14516) = 19

(27)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(28)

Esempi

mcd(26353, 14516) =

26353 = 14516 · 1 + 11837 14516 = 11837 · 1 + 2679 11837 = 2679 · 4 + 1121 2679 = 1121 · 2 + 437 1121 = 437 · 2 + 247 437 = 247 · 1 + 190 247 = 190 · 1 + 57 190 = 57 · 3 + 19 57 = 19 · 3 + 0 mcd(26353, 14516) = 19

(29)

Come si pronuncia?

Il sistema TEX è stato creato da Donald E. Knuth dell’Università Stanford. Il nome deriva dalla radice greca di parole come

τεχνη´

che significa ‘arte’ o ‘tecnica’.

Perciò la pronuncia dovrebbe essere ‘tech’ (dove ‘ch’ è più o meno come nel tedesco ‘Bach’); ma di solito di usa ‘tek’.

Il sistema L^ATEX è stato creato da Leslie Lamport (ai tempi alla DEC). La pronuncia usuale italiana è ‘latek’.

(30)

Come si pronuncia?

τεχνη´

(31)

Come si pronuncia?

τεχνη´

(32)

Come si pronuncia?

τεχνη´

(33)

Dove funziona?

Non dovrebbe stupire che per usare L^ATEX occorra un calcolatore.

Quale?

Non importa, basta che vada!

Il sistema si può compilare su tutte le più diffuse architetture e i più diffusi sistemi operativi.

(34)

Dove funziona?

Quale?

(35)

Dove funziona?

Quale?

(36)

Dove funziona?

Quale?

Non importa,

basta che vada!

(37)

Dove funziona?

Quale?

(38)

Dove funziona?

Quale?

(39)

Dove funziona?

GNU/Linux, FreeBSD, NetBSD

Apple^® Mac OS X™ (e anche 6, 7, 8 e 9) Microsoft^® Windows™

Solaris™, [. . .]

Bastano?

Sono disponibili distribuzioni su CD-ROM e DVD-ROM che si installano in pochi minuti.

(40)

Dove funziona?

Solaris™, [. . .]

Bastano?

(41)

Dove funziona?

Apple^® Mac OS X™ (e anche 6, 7, 8 e 9)

Microsoft^® Windows™ Solaris™, [. . .]

Bastano?

(42)

Dove funziona?

Solaris™, [. . .]

Bastano?

(43)

Dove funziona?

Solaris™

, [. . .]

Bastano?

(44)

Dove funziona?

Solaris™, [. . .]

Bastano?

(45)

Dove funziona?

Solaris™, [. . .]

Bastano?

(46)

Dove funziona?

Solaris™, [. . .]

Bastano?

(47)

Distribuzioni

GNU/Linux: TEX Live

Apple Mac OS X: TEX Live nella versione MacTEX Microsoft Windows: TEX Live o MikTEX

La distribuzione TEX Live è di gran lunga la migliore: http://tug.org/texlive

http://tug.org/mactex

(48)

Distribuzioni

GNU/Linux: TEX Live

(49)

Distribuzioni

GNU/Linux: TEX Live

Apple Mac OS X: TEX Live nella versione MacTEX

Microsoft Windows: TEX Live o MikTEX

(50)

Distribuzioni

GNU/Linux: TEX Live

(51)

Distribuzioni

GNU/Linux: TEX Live

La distribuzione TEX Live è di gran lunga la migliore:

http://tug.org/texlive http://tug.org/mactex

(52)

Distribuzioni

GNU/Linux: TEX Live

La distribuzione TEX Live è di gran lunga la migliore:

http://tug.org/texlive http://tug.org/mactex

(53)

Pregi e difetti

Sono compresi nella distribuzione stili per la composizione di articoli o documenti di maggiori dimensioni studiati da professionisti.

La composizione di formule matematiche è uno dei motivi per cui TEX è stato creato.

L’utente deve concentrarsi solo sul contenuto del documento e non sulla sua forma finale.

Si possono generare note a piè di pagina,

riferimenti incrociati, bibliografie e indici in modo automatico.

Migliaia di persone in tutto il mondo usano L^ATEX e sono attivi vari gruppi di discussione; molti utenti sono stati in grado di risolvere problemi particolari e hanno messo a disposizione le soluzioni sotto forma di pacchetti aggiuntivi.

È gratis.

(54)

Pregi e difetti

È gratis.

(55)

Pregi e difetti

È gratis.

(56)

Pregi e difetti

È gratis.

(57)

Pregi e difetti

È gratis.

(58)

Pregi e difetti

È gratis.

(59)

Pregi e difetti

È gratis.

(60)

Pregi e difetti

Non permette di vedere il documento finale mentre lo si scrive.

Richiede di intercalare il testo con comandi di composizione che rispecchiano la struttura logica del testo.

Non è semplice usare tipi di carattere come

‘ComicSans’.

Non è un ambiente integrato con foglio di lavoro, posta elettronica, calendario degli appuntamenti e agenda degli indirizzi.

Il motore TEX sottostante a L^ATEX ha un linguaggio di programmazione Turing-completo.

Non permette di gestire pagine più grandi di 33 metri quadrati.

Non dà denaro alle case di software.

(61)

Pregi e difetti

‘ComicSans’.

(62)

Pregi e difetti

‘ComicSans’.

(63)

Pregi e difetti

‘ComicSans’.

(64)

Pregi e difetti

‘ComicSans’.

(65)

Pregi e difetti

‘ComicSans’.

(66)

Pregi e difetti

‘ComicSans’.

(67)

Pregi e difetti

‘ComicSans’.

(68)

Come funziona L^ATEX?

Facciamo un paragone con il signor Pippo che vuole scrivere un programma nel suo linguaggio preferito, C++.

1 Pippo scrive un documento di testo che chiamerà pippo.cpp.

2 Pippo dà sul terminale il comando

% gcc pippo.cpp.

3 Se la compilazione dà errori, Pippo rivede il programma, lo corregge e ritorna al passo 2.

4 Se la compilazione ha successo, viene prodotto un file eseguibile, a.out.

5 Pippo prova a vedere se il programma fa ciò che desidera.

(69)

% gcc pippo.cpp.

(70)

% gcc pippo.cpp.

(71)

% gcc pippo.cpp.

(72)

% gcc pippo.cpp.

(73)

% gcc pippo.cpp.

(74)

% gcc pippo.cpp.

(75)

Ora Pippo vuole scrivere la documentazione per il suo programma.

1 Pippo scrive un documento di testo che chiamerà pippo.tex.

% pdflatex pippo.tex.

3 Se la compilazione dà errori, Pippo rivede il documento, lo corregge e ritorna al passo 2.

4 Se la compilazione ha successo, viene prodotto un file pippo.pdf.

5 Pippo chiama il visualizzatore con

% xpdf pippo

e controlla che non ci siano errori concettuali.

(76)

% xpdf pippo

(77)

% xpdf pippo

(78)

% xpdf pippo

(79)

% xpdf pippo

(80)

% xpdf pippo

(81)

Il primo documento L^ATEX

\documentclass[a4paper,12pt]{article}

\usepackage[italian]{babel}

\begin{document}

Queste sono le mie prime

parole con questo nuovo sistema.

\end{document}

(82)

\begin{document}

\end{document}

(83)

\begin{document}

\end{document}

(84)

\begin{document}

\end{document}

(85)

\begin{document}

\end{document}

(86)

\begin{document}

\end{document}

(87)

\begin{document}

\end{document}

(88)

Queste sono le mie prime parole con questo nuovo sistema.

1

Avanti

(89)

1

Avanti

(90)

1

Avanti

(91)

Un documento più complesso

% !TEX encoding = UTF-8

\usepackage[T1]{fontenc}

\usepackage[utf8]{inputenc}

\begin{document}

\title{Esistenza di numeri primi}

\author{Euclide}\date{}

\maketitle

Scopo di questa memoria è dimostrare che dato comunque un numero, esiste un numero primo più grande di questo.

Questo risultato ha varie conseguenze importanti soprattutto per i suoi usi nella moderna teoria della crittografia.

\end{document}

(92)

Un documento più complesso

% !TEX encoding = UTF-8

\usepackage[T1]{fontenc}

\usepackage[utf8]{inputenc}

\begin{document}

\title{Esistenza di numeri primi}

\author{Euclide}\date{}

\maketitle

Scopo di questa memoria è dimostrare che dato comunque un numero, esiste un numero primo più grande di questo.

Questo risultato ha varie conseguenze importanti soprattutto per i suoi usi nella moderna teoria della crittografia.

\end{document}