Prolog - Linguaggio e metodologia di programmazione logica

Mario Piazza
Bruno Mondadori

I numeri non esistono - ha scritto un filosofo - il che non vuol dire che non esistano almeno due numeri primi tra 15 e 20." La matematica è allora una finzione? Esistono oggetti sconnessi dallo spazio-tempo, gli oggetti astratti, di cui i numeri sono l'esempio paradigmatico? E cosa rende affidabili le credenze su questi oggetti? Gli oggetti matematici sono sostituibili nel nostro quadro intellettuale del mondo? Il libro si propone di indagare su tali questioni, anche documentando le tensioni irrisolte, i dislivelli tra spazio fisico e mentale.

Isaac M. Jaglom
Zanichelli

Clara Foà, Maria Francovich
Sansoni editore

B. Fames Ley, Samuel G. Lutz, Charles F. Rehberg
McGraw-Hill Book Company

AA.VV.
Bibliopolis

Anna Bernasconi, Paolo Ferragina, Fabrizio Luccio
Pisa University Press

Dagli antichi intrighi diplomatici all'enorme mole di messaggi che si scambiano oggi in forma elettronica, la crittografia ha svolto un ruolo cruciale nella storia divenendo una disciplina critica e complessa. Scopo di questo volume è darne una presentazione che associ il rigore matematico a una ragionevole semplicità di comprensione. Il testo è nato nell'ambito dell'insegnamento universitario ma è destinato anche a coloro che operano nel campo dell'informatica, che potranno apprendervi come funzionano i sistemi crittografici e cosa ci si possa legittimamente attendere da essi. E, perché no, anche ai curiosi di matematica cui la crittografia di oggi è indissolubilmente legata. Poiché è impossibile affrontare gli studi di crittografia senza passare attraverso l'algoritmica e l'algebra, il testo dedica una parte ai concetti di base di queste discipline per poi presentare i cifrari attuali, i loro prevedibili sviluppi, i problemi di riservatezza e protezione dei dati, le comunicazioni su Internet, le applicazioni in campo finanziario; e si conclude con una proiezione sul futuro in relazione al calcolo quantistico. Gli autori sono professori dell'Università di Pisa, e hanno insegnato o insegnano corsi di crittografia presso il Dipartimento di Informatica.

Fabrizio Luccio
Bollati Boringhieri

Emanuel Parzen
John Wiley & Sons

Giorgio Ausiello
Editore Boringhieri

s.a.
Edizioni scientifiche e tecniche Mondadori

Roberto Cellini, Luca Lambertini
Editrice CLUEB

AA.VV.
CittàStudi