Introduzione
Volume I Sistemi GNU/Linux
Parte i Uso e amministrazione generale
1 Software e libertà
Verifica: licenze
2 Aritmetica elementare
Verifica: conversioni numeriche
3 Introduzione all'uso
4 Esercizi pratici
Verifica: directory e percorsi
Verifica: privilegi e permessi 1
Verifica: privilegi e permessi 2
Verifica: uso elementare di un sistema Unix
5 Trovare le informazioni necessarie
6 Installazione e avvio di un sistema GNU/Linux
7 Pacchetti di applicazioni per GNU/Linux
8 Kernel Linux
9 Hardware
10 Processi di elaborazione
11 Orologio, pianificazione e calendario
12 Informazioni varie
13 Convenzioni nazionali
14 Terminali a caratteri
15 Utilizzo corretto della tastiera
16 Utenti
17 Shell Unix
18 Script e affini
19 Memoria di massa e file system
20 File e directory
21 Cancellazione, recupero e copie di sicurezza
22 Programmi di servizio vari
23 Ricerca, scansione ed elaborazione di file
24 Perl
25 Introduzione a *roff
26 Formati per la stampa
27 Stampare
28 X
29 Applicazioni comuni per X
30 Immagini, audio e video
31 Simulazione, emulazione e virtualizzazione
Parte ii Comunicazione e sicurezza
32 Nozioni elementari sulle reti
Verifica: concetti elementari sulle reti
Verifica: calcolo degli indirizzi IPv4 disponibili 1
Verifica: calcolo degli indirizzi IPv4 disponibili 2
Verifica: calcolo degli indirizzi IPv4 disponibili 3
33 Risoluzione dei nomi
34 Socket e UCSPI
35 Dalla porta seriale a «Internet mobile»
36 Servizi di rete fondamentali
37 Messaggistica istantanea (instant messaging)
38 FTP
39 Posta elettronica
40 HTTP
41 Introduzione a PHP
42 Filtri, proxy e ridirezione del traffico IP
Verifica: concetti generali su Proxy, NAT/PAT e filtri IP
Verifica: firewall
Verifica sommativa sull'uso elementare delle reti TCP/IP
43 Sicurezza e controllo
44 Riservatezza e certificazione delle comunicazioni
Verifica: concetti generali sulla crittografia e la firma digitale 1
45 Cloud computing: il ritorno all'informatica centralizzata
46 Strumenti «cloud» per la didattica
Indice analitico del volume
Volume II Scrittura e pubblicazione
47 Editoria e stile
ISO 10646: insieme di caratteri universale
48 PostScript: un linguaggio per la composizione finale
49 TeX
50 LaTeX
51 SGML
52 XML
53 LinuxDoc, DocBook e TEI
54 HTML
55 HTML: lezioni pratiche e verifiche
56 Spartiti musicali
57 Codici a barre
58 Usare i programmi di scrittura visuale
59 Lavagna elettronica
60 Linguaggio naturale, tra uomo e macchina
Indice analitico del volume
Volume III Programmazione
Parte iii Dall'hardware al C
61 Logica e circuiti logici
62 Algoritmi e notazioni
63 Linguaggio macchina
64 Microprocessori x86-32
65 Compilazione e formato binario eseguibile
66 Introduzione al linguaggio C
67 Gestione dei flussi di file in C
Esempi di programmazione in C
68 Introduzione alle estensioni POSIX
69 Libreria C, con qualche estensione POSIX
70 Libreria POSIX
Tabelle riepilogative della libreria C e POSIX
71 Gettext
Parte iv COBOL
72 Manuale COBOL
73 Programmare in COBOL
Parte v Basi di dati
74 DBMS e SQL
Definizione di SQL92 in notazione BNF
Definizione di SQL99 in notazione BNF
75 PostgreSQL
76 MySQL
77 SQLite
78 ODBC
79 SQL: lezioni pratiche e verifiche
Parte vi Corso basilare di programmazione
Introduzione
80 Dai sistemi di numerazione all'organizzazione della memoria
Verifica: dai sistemi di numerazione all'organizzazione della memoria 1
Verifica: dai sistemi di numerazione all'organizzazione della memoria 2
Verifica: dai sistemi di numerazione all'organizzazione della memoria 3
Verifica: dai sistemi di numerazione all'organizzazione della memoria 4
81 Nozioni minime sul linguaggio C
Verifica: nozioni minime sul linguaggio C 1
Verifica: nozioni minime sul linguaggio C 2
Verifica: nozioni minime sul linguaggio C 3
Verifica: nozioni minime sul linguaggio C 4
Verifica: nozioni minime sul linguaggio C 5
82 Puntatori, array e stringhe in C
Verifica: puntatori, array e stringhe in C 1
Indice analitico del volume
Volume IV os32
Parte vii Progetto
83 Primi passi verso un sistema per hardware x86-32
84 Studio per un sistema a 32 bit
Parte viii Manuale
85 Gestione
86 Sezione 1: programmi eseguibili o comandi interni di shell
87 Sezione 2: chiamate di sistema
88 Sezione 3: funzioni di libreria
89 Sezione 4: file speciali
90 Sezione 5: formato dei file e convenzioni
91 Sezione 7: varie
92 Sezione 8: comandi per l'amministrazione del sistema
93 Sezione 9: kernel
Parte ix Codice
94 Script e sorgenti del kernel
95 Sorgenti della libreria generale
96 Sorgenti delle applicazioni
Indice analitico del volume
Volume V Didattica in laboratorio
Parte x Matematica
97 Nozioni elementari sui numeri
98 Geg: GTK+ Equation Grapher
99 Gnuplot: utilizzo essenziale
100 Gnuplot: opzioni di funzionamento
101 Mathomatic
102 Introduzione a Maxima
103 Cenni all'uso di Octave
Parte xi Foglio elettronico
104 Corso elementare sul foglio elettronico
105 Interesse, sconto, ratei e risconti
106 Conti correnti
107 Paghe
108 Punto di equilibrio e diagramma di redditività
109 Fatture semplificate
110 Magazzino con il foglio elettronico
Parte xii Applicativo gestionale con il foglio elettronico
111 Utilizzo
112 Esercitazioni con l'applicativo gestionale
Parte xiii Gazie
113 Installazione e manutenzione generale
114 Manuale sintetico delle funzionalità principali di Gazie
115 Tabelle principali della base di dati di Gazie
Gazie non è un giocattolo
Parte xiv Esercitazioni con Gazie
Utilizzo di Google documenti per le esercitazioni con Gazie
Utilizzo di «gzt.informaticalibera.net»
116 Esercitazione con la contabilità generale (coge1)
117 Verifica sulla gestione della contabilità generale (coge2)
118 Verifica guidata sulla chiusura (coge3)
119 Esercitazione con la contabilità di magazzino (mag1)
120 Verifica sulla gestione della contabilità di magazzino (mag2)
121 Esercitazione sulla gestione delle vendite (vend1)
122 Verifica sulla gestione dei documenti della vendita (vend2)
123 Verifica sulla gestione dei documenti della vendita (vend3)
124 Esercitazione sulla gestione degli ordini da clienti (vend4)
125 Verifica sulla gestione degli ordini da clienti (vend5)
126 Esercitazione sulla gestione delle provvigioni (vend6)
127 Esercitazione sulla gestione degli acquisti (acq1)
128 Verifica integrata (int1)
129 Verifica integrata guidata (int2) - prima parte
130 Verifica integrata guidata (int2) - seconda parte
131 Verifica integrata guidata (int2) - terza parte
Parte xv Applicativi gestionali proprietari
132 Esercitazioni con Spiga PC
Indice analitico del volume
Appendice A UNIX di ricerca
Appendice B Licenze del software citato
Appendice C GNU GENERAL PUBLIC LICENSE
Appendice D Licenza Pubblica dell'Unione europea
Appendice E GNU Free Documentation License
Appendice F Creative Commons Legal Code
Indice analitico