Recensioni dei lettori
Riepilogo:Il libro è un tentativo di presentare un'ampia panoramica dei fondamenti matematici contemporanei e della loro applicabilità alla matematica e all'informatica. Mentre molti recensori lo trovano perspicace e piacevole nella sua esposizione, altri ne criticano la presentazione confusa, la mancanza di dettagli e la divergenza dagli argomenti promessi.
Vantaggi:Il libro motiva e collega i concetti tra le varie discipline, fornendo un'esposizione piacevole e perspicace. Copre argomenti essenziali della matematica, della filosofia, della logica e dell'informatica teorica, rendendolo adatto a chi ha una buona conoscenza delle materie.
Svantaggi:L'esposizione è confusa, con molte proposizioni presentate senza prove, e alcune prove sono considerate errate. Alcuni recensori ritengono che la scrittura sia stridente e che manchi di una base adeguata e di un'organizzazione chiara, causando deviazioni verso idee tangenziali.
(basato su 4 recensioni dei lettori)
Titolo originale:
Practical Foundations of Mathematics
Contenuto del libro:
Fondamenti pratici della matematica spiega le basi del ragionamento matematico sia nella matematica pura (algebra e topologia in particolare) sia nell'informatica. Oltre alla logica formale, questo volume esamina la relazione tra i linguaggi informatici e le prove matematiche “plain English”.
Il libro introduce il lettore alla matematica discreta, al ragionamento e alla logica categoriale. Offre un nuovo approccio alle algebre di termini, all'induzione e alla ricorsione e dimostra in dettaglio l'equivalenza di tipi e categorie.
Ogni idea viene illustrata con esempi di ampio respiro e seguita criticamente lungo il suo percorso naturale, trascendendo i confini disciplinari attraverso l'algebra universale, la teoria dei tipi, la teoria delle categorie, la teoria degli insiemi, la teoria degli sheaf, la topologia e la programmazione. Studenti e insegnanti di informatica, matematica e filosofia troveranno questo libro leggibile e di valore duraturo come opera di riferimento.
Altre informazioni sul libro:
| ISBN: | 9780521631075 |
| Autore: | |
| Editore: | |
| Rilegatura: | Copertina rigida |
| Anno di pubblicazione: | 1999 |
| Numero di pagine: | 588 |
Acquisto:
Attualmente disponibile, in magazzino.
