Il saggio propone una riedizione della analisi logica tradizionale, basata sulla logica matematica elaborata nel Novecento. L’uso di un opportuno operatore logico permette di esprimere, in modo elementare, formalizzazioni logiche molto più precise di quelle tradizionali. In questo modo, la struttura logica del discorso ordinario emerge in tutta la sua articolazione interna,  fornendo, allo stesso tempo, una naturale introduzione alla logica matematica. Dopo il primo capitolo di analisi logica, seguono capitoli più discorsivi sui principi grammaticali, sul rapporto lessico-grammatica, sulla struttura del lessico, e sulle scelte costitutive dei sistemi linguistici. L’ultimo capitolo, dedicato alla  sintassi, delinea una prospettiva generale, mettendo in luce nozioni logiche e algebriche di sintassi astratta. Un’appendice, dedicata ai formati testuali delle pagine web, mostra la continuità tra la rappresentazione dell’informazione nella comunicazione cibernetica e i temi logico-linguistici trattati nel testo.

Vincenzo Manca ha insegnato nelle università di Pisa, Udine, Limerick e Verona, dove è stato professore ordinario di Informatica dal 2002 al 2019. Si è occupato di Logica matematica, Linguaggi formali, Teoria della calcolabilità, Teoria dell’informazione, Linguistica matematica, Bioinformatica. È autore di oltre 200 pubblicazioni scientifiche (Bioinformatics, Biosystems, BMC Genomics, Computer Mathematics, Entropy, Mathematical Biosciences, Molecular Biosystems, Notre Dame Journal of Formal Logic, Journal of algebraic and logical programming, Journal of Membrane Computing, Scientific Reports, Theoretical Computer Science). Ha pubblicato una decina di libri, tra cui: Logica Matematica (Bollati Boringhieri 2001), Infobiotics (Springer 2013), Un meraviglioso accidente (Mondadori 2018, con Marco Santagata), Linguaggi e Calcoli (Bollati Boringhieri 2019). Ha fondato, all’Università di Verona, il corso di laurea in Bioinformatica, quello magistrale in Medical Bioinformatics e il Museo di Storia dell’Informatica. Ivi presiede il Centro di BioMedicina Computazionale ed è Professore Onorario di Informatica. 

Anno: 2021
Pagine: 198
Formato: 14 x 20 cm
Peso Kg: 0.217
Colore: B/N
Copertina: Morbida
Legatura: Brossura
Lingua: Italiano
ISBN: 9788833654546