Informatica teorica PDF

Lpgcsostenible.es Informatica teorica Image

Leggi il libro Informatica teorica PDF direttamente nel tuo browser online gratuitamente! Registrati su lpgcsostenible.es e trova altri libri di Dino Mandrioli,Paola Spoletini!

AUTORE: Dino Mandrioli,Paola Spoletini

NOME DEL FILE: Informatica teorica.pdf

ISBN: 9788825173659

DATA: 2011

DESCRIZIONE

L'informatica può essere paragonata a una straordinaria pianta, capace di variare il colore dei propri fiori in funzione dell'ambiente in cui cresce, capace di svilupparsi autonomamente su un alto e robusto fusto, ma più spesso di integrarsi con pareti, tralicci e altre piante e arricchirli con la bellezza dei suoi fiori e il sapore dei suoi frutti (ma anche di infilarsi in piccole fessure con il rischio di trasformarle in pericolose crepe). Come e più di ogni altra pianta, però, un simile rigoglioso sviluppo non sarebbe possibile senza sane e profonde radici. Le radici dell'informatica - i suoi principi, la sua teoria - affondano nella storia fino a confondersi con quelle della matematica e della filosofia e si estendono ben al di là di una collezione di definizioni e pur fondamentali proprietà matematiche: in primo luogo devono essere capaci di trovare la propria via in "terreni" tra i più diversi; solo così potranno continuare ad alimentare la parte della pianta visibile in superficie. Questo testo si propone di accompagnare il lettore "sottoterra\
INFORMAZIONE

Informatica teorica - Dino Mandrioli - Carlo Ghezzi ...

grammatica in informatica teorica, termine che designa una struttura formale per un linguaggio L in grado di generare tutte e sole le stringhe del linguaggio.Per questo si parla di grammatica G generativa del linguaggio L o di linguaggio L generato dalla grammatica G, indicandolo con L(G). ...

Informatica teorica - Dino Mandrioli, Paola Spoletini ...

La ricerca dipartimentale in informatica teorica si svolge su una panoplia di argomenti che testimonia della ricchezza e varietà di temi dell'area: ragionamento automatico, computabilità, concorrenza, protocolli crittografici, progetto ed analisi di algoritmi, logica equazionale e riscrittura, logica e verifica, logiche modali e temporali, pattern matching, computazione probabilistica ...

LIBRI CORRELATI