Description
La nozione di rappresentazione esprime una categoria generale a cui appartengono numeri, stringhe, alberi, grafi, e più in generale, tutte le strutture simboliche con cui si rappresentano i dati.
I linguaggi, in senso lato, sono formalismi entro cui si rappresentano oggetti, concetti, proprietà e relazioni.
I linguaggi formali, definiti in termini insiemistici, sono quelli entro cui si definiscono i processi di calcolo universali, in grado di esprimere tutti i tipi di calcoli realizzabili.
In questo libro, l’impostazione degli argomenti, la loro presentazione, e le prospettive di analisi dei vari argomenti, sono per molti aspetti frutto di elaborazione originale, maturata nel corso della didattica e della ricerca svolta negli ultimi 15 anni presso l’Università di Verona.
I linguaggi, in senso lato, sono formalismi entro cui si rappresentano oggetti, concetti, proprietà e relazioni.
I linguaggi formali, definiti in termini insiemistici, sono quelli entro cui si definiscono i processi di calcolo universali, in grado di esprimere tutti i tipi di calcoli realizzabili.
In questo libro, l’impostazione degli argomenti, la loro presentazione, e le prospettive di analisi dei vari argomenti, sono per molti aspetti frutto di elaborazione originale, maturata nel corso della didattica e della ricerca svolta negli ultimi 15 anni presso l’Università di Verona.
Notes biographiques
Vincenzo Manca è docente di Computer Science presso il Dipartimento di Informatica dell’Università di Verona. Presidente del CBMC, Center for BioMedical Computing, è autore di Infobiotics. Information in Biotic Systems (2013) e di Un meraviglioso accidente. La nascita della vita (2018, con Marco Santagata). Per Bollati Boringhieri ha pubblicato Logica matematica. Strutture, rappresentazioni, deduzioni (2001) e Linguaggi e calcoli (2019).
