MATERIALE
VARIO PER
Prof.
Giangiacomo Gerla, Università di Salerno
E'
possibile scaricare gli appunti dei seguenti corsi. Tali appunti sono in corso
di compilazione e molto lontani dall'essere nella versione definitiva. Si prega
di segnalare i probabili errori.
Orario
incontro con studenti : Mercoledi, ore
11-13 Orario incontro con dottorandi: Giovedi,
ore 9-11
MATEMATICHE
COMPLEMENTARI II (Appunti di Fondamenti della Matematica)
I seguenti appunti sono stati raccolti e rielaborati nel libro TENTATIVI DI FONDARE LA MATEMATICA acquistabile sul sito Ilmiolibro
Capitolo 1 Capitolo 1.
Capitolo 2. La crisi della geometria
euclidea ed aritmetizzazione.
Capitolo 3. Credere nell’infinito:
la teoria degli insiemi.
Capitolo 4. Metodo assiomatico e
strutturalismo.
Capitolo 5. La logica matematica.
Appendice. Nozioni base e varie.
Tesine
(Le
tesine sono controllate solo parzialmente e sono sotto la responsabilità dello
studente che le ha scritte)
Storia delle Matematiche, di Maria Grazia Mazza.
(Raccolta di indirizzi di pagine web italiane sulla storia della matematica).
Costruzione campo dei numeri iperreali, di Alessandro
Vignes. (Costruzione del campo degli iperreali
tramite le ultrapotenze. Questa tesina è ispirata a lavori del Prof. Riccardo Dossena di cui si suggeriscono altri scritti all' indirizzo
www.unipv.it/webphilos_lab/dossena/).
TEORIA DELLA COMPUTABILITA'
Capitolo 1 Calcolatori: Cenni
storici.
Capitolo 2 Macchine a memoria
finita: gli automi.
Capitolo 3 Macchine a memoria
infinita.
Capitolo 4 Problemi che un
calcolatore non potrà mai risolvere.
Capitolo 5 Calcolo delle idee:
il linguaggio
Capitolo 6
Calcolo delle idee: le dimostrazioni.
Capitolo 7 Macchine che
apprendono e si evolvono.
Capitolo 8 Macchine capaci di
non essere precise.
Letture. C. Zavattini, Gara
matematica, da "I tre libri, Parliamo tanto di me". J.L. Borges, La biblioteca di Babele. A. Turing, Macchine Calcolatrici ed Intelligenza. Th. Hobbes, Leviatano I
cap. V. R. Cartesio, Gli animali sono macchine, dal "Discorso
sul Metodo". S. Butler, Il libro delle
macchine. Luciano Coen e Achille Varzi,
Il circolo della vaghezza.
MATHEMATICA
- Piccolo
ipertesto in .nb (notebook) del linguaggio Mathematica scritto da me (in buona parte da completare).
E'
necessario, dopo avere aperto la cartella zippata, lanciare il notebook INDICE.NB.
- Alcuni esempi di notebooks nel
linguaggio Mathematica.
Automi. Triangoli rettangoli . Triangoli. Derivazione. Labirinto. Campi finiti.
MANUALE DI MATHEMATICA DEL PROF: MARCO BRABANTI
(scaricato dalla rete)
LOGICA
MATEMATICA (per il corso di laurea in Matematica).
Capitolo 2 Strutture
algebriche e relazionali
Capitolo 3 Alcune nozioni
universali
Capitolo 4 Il calcolo
proposizionale
Capitolo 5 Il calcolo dei
predicati
Capitolo 6 Proprietà che si
conservano: omomorfismi ed isomorfismi
Capitolo 7 Proprietà che
si conservano: quozienti, prodotti diretti ed ultraprodotti
Capitolo 8 Generare i teoremi
di teorie semplici: la programmazione logica
Capitolo 9 Generare i teoremi
di una qualunque teoria
Un mio
manualetto di Prolog tramite esempi
Il programma
SWI-prolog
scaricabile gratuitamente
Un
buon manuale per la programmazione logica scritto dal
Prof. Gianni Aguzzi
(si
tenga presente che si pretende solo una minima parte degli argomenti descritti nel
manuale).