Matematisk databehandlingsteori
Filter
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, …
Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo. La teoria degli Automi Finiti costituisce una delle …
L''opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti …
Il volume si propone di fornire una prima introduzione alla teoria elementare dei numeri, rivolta agli insegnanti (e ai futuri insegnanti) di matematica. Esso vuole costituire un …
Dalle origini a oggi, i videogiochi hanno dimostrato di aver acquisito una forte identità espressiva, delineando nuove forme di comunicazione e proponendo l’accesso a nuovi tipi di …
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.Nei due …
Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo. La teoria degli Automi Finiti costituisce una delle …
Un''eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilità e alla complessità, il libro è scritto in una forma allo stesso tempo …
Il libro contiene in forma compatta il programma svolto negli insegnamenti introduttivi di Statistica e tratta alcuni argomenti indispensabili per l''attività di ricerca, come le …