MATERIALE
VARIO PER
Prof.
Giangiacomo Gerla, Università di Salerno
E'
possibile scaricare gli appunti del corso seguente. 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
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).