Rete Bibliotecaria della Provincia di Como

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.