Rete Bibliotecaria della Provincia di Como

Abstract: Il libro è un manuale sintetico per un corso introduttivo di logica matematica. Il sottotitolo Strutture Rappresentazioni Deduzioni vuole mettere in rilievo un principio ispiratore del testo. Le strutture sono entità di riferimento del linguaggio logico; le deduzioni sono gli strumenti con cui si elaborano le formule per calcolarne i rapporti di conseguenza; le rappresentazioni giocano un ruolo fondamentale, spesso dato per scontato o solo accennato nei manuali di logica, che è preliminare all'attività deduttiva. Qui il lettore è guidato con esempi ed esercizi a capire il senso e il funzionamento dei meccanismi di base della logica dei predicati.

Abstract: Hao Wang ha raccolto in questo volume le sue riflessioni su alcuni dei temi al centro del dibattito che riguarda la conoscenza e la logica. Egli considera criticamente il nodo di questo discorso, in particolare il rapporto tra logica e matematica da un lato, e tra logica e filosofia dall'altro, giungendo a conclusioni che divergono in modo notevole da quelle usualmente accettate da posizioni accademiche quali la filosofia analitica o il neopositivismo. Il punto di vista dell'autore si fa strada attraverso una penetrante discussione di concetti matematici generali e attraverso la considerazione di problemi di ampio interesse come il rapporto tra mente e macchine, tra specializzazione e unità della conoscenza, tra scienza e filosofia. Quello che Hao Wang propone è un nuovo metodo di approccio a questi problemi, da lui denominato "fattualismo sostanziale", particolarmente adeguato a sviluppare una posizione filosofica più comprensiva, tale da non banalizzare o distorcere i fatti di vasta portata della conoscenza umana.

Abstract: Il testo, che nasce dalla lunga esperienza didattica degli autori, si rivolge a tutti i corsi di Matematica discreta delle lauree triennali ma si presta bene a essere utilizzato per qualunque corso che si ponga come obiettivo quello di fornire agli studenti conoscenze matematiche di base, abituandoli ad adottare un'impostazione rigorosa nell'approccio ai problemi. I contenuti del libro spaziano dagli argomenti da sempre peculiari della Matematica discreta, a quelli più tipici di Combinatoria, di Algebra, di Algebra Lineare e di Geometria. Il libro termina con un'Appendice contenente cenni di logica proposizionale e predicativa. La trattazione è sempre rigorosa ma non eccessivamente formale ed è accompagnata da esempi, numerosi e particolarmente curati, e da un ricchissimo apparato di esercizi che ammontano a quasi 900, parte dei quali sono completamente svolti.

Abstract: Un testo classico, che presenta la materia con una nuova attenzione alle applicazioni pratiche e agli aspetti matematici, e arricchito da numerose figure esplicative. Questa disciplina, ormai ampiamente riconosciuta come fondamentale per il settore dell'informatica, fornisce strumenti formali indispensabili in svariati ambiti e applicazioni, ed è a sua volta oggetto di una continua attività di ricerca, anche a distanza di mezzo secolo dalla sua nascita. Per questo, la nuova edizione italiana è frutto di una completa revisione della precedente edizione italiana e di un aggiornamento alla terza edizione americana. Per completezza è stata inserita un'appendice dedicata alle grammatiche e alla gerarchla di Chomsky, argomento interessante e utile per fornire un inquadramento più preciso e ampio su queste tematiche.