Matematica

Il testo, adottando un adeguato compromesso fra livello di approfondimento e rigore formale, fornisce una visione omogenea e sintetica delle reti logiche, classificate ulteriormente in reti combinatorie e reti sequenziali, dai fondamenti alla progettazione, includendo anche i modelli teorici di supporto (algebra di Boole, automi). La prima parte tratta le reti combinatorie; la seconda parte riguarda l'analisi e il progetto delle reti sequenziali, mentre nell'ultimo capitolo sono esaminate le reti booleane a soglia. I capitoli sono corredati da esercizi e quesiti e dalle relative soluzioni. Il volume si conclude con tre appendici - sul comportamento asintotico delle funzioni, sulla rappresentazione numerica e sui linguaggi regolari - fondamentali per approfondire la materia. Sul sito www.carocci.it si trovano poi materiali didattici di ausilio per il docente ed esercizi di riepilogo per gli studenti, utili al ripasso e all'autovalutazione del livello di apprendimento.

Il testo costituisce un manuale di introduzione a vari sistemi logici che sono estensioni e/o alternative alla logica classica. La logica classica - detta anche "logica matematica" - infatti si fonda su alcuni presupposti che ne circoscrivono l'ambito di applicazione a una parte limitata del complesso dei ragionamenti umani. L'intento è offrire una panoramica di ampio respiro dei molteplici settori in cui oggi si articolano le ricerche logiche: le logiche modali, deontiche, epistemiche e temporali, le logiche polivalenti, paracoerenti e della rilevanza, la logica intuizionista, e alcune altre recentemente sviluppate nell'ambito dell'Intelligenza Artificiale.

"Da bambino ho pregato la Madonnina di farmi diventare bravo a cantare

Chi l'ha detto che i numeri sono roba da cervelloni? Basta con gesso e lavagna, bando a compiti e interrogazioni: anche questa seconda portata delle "Insalate" imbandisce ogni sorta di curiosità dal mondo dell'aritmetica, della geometria e della logica, rivelandone l'aspetto più giocoso. Ecco dunque tante nuove, prelibatissime specialità, presentate con leggerezza e qualche sfizio letterario in più: stavolta si parla di parole, colori, Oriente, amore, cielo, macchine e... vacanze. Per saziare l'appetito numerico, stuzzicando il piacere della buona lettura.

Come va intesa l'evoluzione della conoscenza numerica? Esistono abilità numeriche geneticamente determinate e presenti sin dal

In questa sua ultima opera, pubblicata postuma, Cohen osserva come i numeri abbiano assunto un ruolo dominante nella scienza,

Questo libro si propone come risposta ideale ai problemi che l'attuale riforma universitaria pone nell'insegnamento della mate

Il volume è rivolto a studenti che affrontano un corso universitario breve di Matematica Generale