Tramontata la fiducia in una spiegazione comportamentistica, un gruppo di filosofi australiani propose negli anni Sessanta una teoria dell'identità tra stati mentali e stati fisici cerebrali. Contro questi materialisti si levarono ben presto le voci dei funzionalisti con la tesi che la mente non è realizzata fisicamente, ma svolge le funzioni del programma di un computer. Il funzionalismo, però, non è riuscito ad affermare una terza via tra riduzionismo e dualismo. La fine degli anni Settanta ha visto poi l'ingresso delle neuroscienze in un dibattito che era stato tipicamente filosofico. La prospettiva adottata in questo volume auspica una limitazione delle pretese della neurofisiologia, senza incorrere nel dualismo.
Tramontata la fiducia in una spiegazione comportamentistica, un gruppo di filosofi australiani propose negli anni Sessanta una teoria dell'identità tra stati mentali e stati fisici cerebrali. Contro questi materialisti si levarono ben presto le voci dei funzionalisti con la tesi che la mente non è realizzata fisicamente, ma svolge le funzioni del programma di un computer. Il funzionalismo, però, non è riuscito ad affermare una terza via tra riduzionismo e dualismo. La fine degli anni Settanta ha visto poi l'ingresso delle neuroscienze in un dibattito che era stato tipicamente filosofico. La prospettiva adottata in questo volume auspica una limitazione delle pretese della neurofisiologia, senza incorrere nel dualismo.
Il testo è suddiviso in tre parti che curano rispettivamente gli aspetti normativi della teoria dell'informazione, lo studio della teoria dei codici di sorgente e dei codici correttori d'errore e la comprensione dei modelli matematici che sono alla base delle moderne tecniche crittografiche per la protezione (attiva e passiva) dei dati mediante cifrari. La trattazione congiunta, in unico libro, di tali argomenti si giustifica in base alla considerazione che tanto la teoria dell'informazione quanto la crittografia devono il loro assetto normativo attuale ai lavori di Claude E. Shannon, che dotò di un modello matematico efficace e stabile sia il processo di trasmissione dell'informazione sia quello relativo alla sua protezione.
Il testo è suddiviso in tre parti che curano rispettivamente gli aspetti normativi della teoria dell'informazione, lo studio della teoria dei codici di sorgente e dei codici correttori d'errore e la comprensione dei modelli matematici che sono alla base delle moderne tecniche crittografiche per la protezione (attiva e passiva) dei dati mediante cifrari. La trattazione congiunta, in unico libro, di tali argomenti si giustifica in base alla considerazione che tanto la teoria dell'informazione quanto la crittografia devono il loro assetto normativo attuale ai lavori di Claude E. Shannon, che dotò di un modello matematico efficace e stabile sia il processo di trasmissione dell'informazione sia quello relativo alla sua protezione.
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.
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.
