Author: Dino Mandrioli
Publisher: Società Editrice Esculapio
ISBN: 8835394619
Category : Computers
Languages : it
Pages : 254
Book Description
L'eserciziario è stato concepito e realizzato in modo da coprire le esigenze del corso di Informatica Teorica del Politecnico di Milano e parzialmente del corso di II livello di "Analisi e progetto dei sistemi critici". Gli Autori hanno fatto riferimento, per la terminologia e le definizioni fondamentali, al testo "Informatica teorica di Carlo Ghezzi e Dino Mandrioli edito dalla UTET.
Esercizi di Informatica Teorica
Author: Dino Mandrioli
Publisher: Società Editrice Esculapio
ISBN: 8835394619
Category : Computers
Languages : it
Pages : 254
Book Description
L'eserciziario è stato concepito e realizzato in modo da coprire le esigenze del corso di Informatica Teorica del Politecnico di Milano e parzialmente del corso di II livello di "Analisi e progetto dei sistemi critici". Gli Autori hanno fatto riferimento, per la terminologia e le definizioni fondamentali, al testo "Informatica teorica di Carlo Ghezzi e Dino Mandrioli edito dalla UTET.
Publisher: Società Editrice Esculapio
ISBN: 8835394619
Category : Computers
Languages : it
Pages : 254
Book Description
L'eserciziario è stato concepito e realizzato in modo da coprire le esigenze del corso di Informatica Teorica del Politecnico di Milano e parzialmente del corso di II livello di "Analisi e progetto dei sistemi critici". Gli Autori hanno fatto riferimento, per la terminologia e le definizioni fondamentali, al testo "Informatica teorica di Carlo Ghezzi e Dino Mandrioli edito dalla UTET.
Esercizi di informatica teorica
Algoritmi e Principi dell'Informatica: esercizi risolti e commentati
Author: Alessandro Barenghi
Publisher: Società Editrice Esculapio
ISBN:
Category : Computers
Languages : it
Pages : 185
Book Description
Il presente volume è una raccolta di più di 160 esercizi riguardanti argomenti propri dell’informatica teorica e dello studio di algoritmi e strutture dati. In particolare, la raccolta è suddivisa in cinque aree tematiche: modelli formali per la descrizione di linguaggi, pro- blemi relativi alla computabilità di funzioni e decidibilità di insiemi, soluzione di equazioni di ricorrenza, valutazione della complessità algoritmica e sintesi di algoritmi. Gli esercizi sono corredati di soluzioni commentate, volte a descrivere il procedimento risolutivo degli stessi. Le soluzioni presentate sono autocontenute e corredate di riferimenti alle fonti di nozioni utili alla loro comprensione, facendo riferimento a testi largamente adottati nei corsi di informatica teorica e algoritmi e strutture dati.
Publisher: Società Editrice Esculapio
ISBN:
Category : Computers
Languages : it
Pages : 185
Book Description
Il presente volume è una raccolta di più di 160 esercizi riguardanti argomenti propri dell’informatica teorica e dello studio di algoritmi e strutture dati. In particolare, la raccolta è suddivisa in cinque aree tematiche: modelli formali per la descrizione di linguaggi, pro- blemi relativi alla computabilità di funzioni e decidibilità di insiemi, soluzione di equazioni di ricorrenza, valutazione della complessità algoritmica e sintesi di algoritmi. Gli esercizi sono corredati di soluzioni commentate, volte a descrivere il procedimento risolutivo degli stessi. Le soluzioni presentate sono autocontenute e corredate di riferimenti alle fonti di nozioni utili alla loro comprensione, facendo riferimento a testi largamente adottati nei corsi di informatica teorica e algoritmi e strutture dati.
Teoria degli Automi Finiti
Author: Aldo de Luca
Publisher: Springer
ISBN: 9788847054738
Category : Computers
Languages : it
Pages : 323
Book Description
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 parti fondamentali dell’Informatica Teorica. Questo volume fornisce, per la prima volta, nel panorama didattico italiano una trattazione matematicamente rigorosa della teoria degli Automi Finiti e delle macchine sequenziali generalizzate nell’ambito della teoria algebrica dei semigruppi. Il volume, la cui lettura presuppone solamente conoscenze elementari di algebra, si rivolge agli studenti sia dei corsi di laurea magistrale e specialistica che di master e di dottorato in Informatica, in Matematica, ed in Ingegneria. Il libro è anche uno strumento utilissimo per gli studiosi di Informatica e, in particolare, di Informatica Teorica, ai quali fornisce una trattazione completa e rigorosa della teoria algebrica degli Automi. Ogni capitolo ha una sezione di esercizi ed una di note bibliografiche. La risoluzione della maggior parte degli esercizi è riportata alla fine del volume.
Publisher: Springer
ISBN: 9788847054738
Category : Computers
Languages : it
Pages : 323
Book Description
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 parti fondamentali dell’Informatica Teorica. Questo volume fornisce, per la prima volta, nel panorama didattico italiano una trattazione matematicamente rigorosa della teoria degli Automi Finiti e delle macchine sequenziali generalizzate nell’ambito della teoria algebrica dei semigruppi. Il volume, la cui lettura presuppone solamente conoscenze elementari di algebra, si rivolge agli studenti sia dei corsi di laurea magistrale e specialistica che di master e di dottorato in Informatica, in Matematica, ed in Ingegneria. Il libro è anche uno strumento utilissimo per gli studiosi di Informatica e, in particolare, di Informatica Teorica, ai quali fornisce una trattazione completa e rigorosa della teoria algebrica degli Automi. Ogni capitolo ha una sezione di esercizi ed una di note bibliografiche. La risoluzione della maggior parte degli esercizi è riportata alla fine del volume.
Tecnica delle costruzioni. Appunti
Author: Carlo Ghezzi
Publisher:
ISBN: 9788870052411
Category : Computers
Languages : it
Pages : 180
Book Description
Publisher:
ISBN: 9788870052411
Category : Computers
Languages : it
Pages : 180
Book Description
Informatica teorica
Author: Dino Mandrioli
Publisher:
ISBN: 9788825173659
Category : Computers
Languages : it
Pages : 500
Book Description
Publisher:
ISBN: 9788825173659
Category : Computers
Languages : it
Pages : 500
Book Description
Indformatica. Esercizi guidati di teoria e programmazione C
Author: Gianfranco Politano
Publisher:
ISBN: 9788879923347
Category : Computers
Languages : it
Pages : 130
Book Description
Publisher:
ISBN: 9788879923347
Category : Computers
Languages : it
Pages : 130
Book Description
Questioni di informatica teorica
Seminari di informatica teorica
Informatica generale. Manuale di teoria ed esercizi
Author:
Publisher: Hoepli test. Monotematici
ISBN: 9788820382193
Category : Computers
Languages : it
Pages : 170
Book Description
Publisher: Hoepli test. Monotematici
ISBN: 9788820382193
Category : Computers
Languages : it
Pages : 170
Book Description