Libri di Vincenzo Manca
Bibliografia di Vincenzo Manca: tutti i libri in vendita online Fondamenti della matematica
Il paradiso di Cantor. La costruzione del linguaggio matematico Manca Vincenzo - Nuova Cultura
Il saggio sviluppa una riflessione sulle radici logiche e storiche del linguaggio matematico, delineandone la costruzione dai primi sistemi di numerazione alla moderna teoria degli insiemi e agli insiemi semidecidibili. Lungo le tappe fondamentali di questo percorso, emerge un processo di auto-comprensione della matematica, in cui, svincolando i numeri dall'intuizione geometrica della matematica greca, si approda agli insiemi di Cantor. Questi non rimuovono, ma piuttosto, rifondano l'intuizione spaziale, elevandola su un piano logico in cui l'astrazione matematica diventa generalità e potenza espressiva. La teoria degli insiemi si configura così come "characteristica universalis" delle teorie matematiche elaborate negli ultimi due secoli. Il testo contiene nuove dimostrazioni di risultati classici fondamentali, e può essere letto a vari livelli, stimolando interessi e approfondimenti in molte direzioni.
Logica matematica. Strutture, rappresentazioni, deduzioni Manca Vincenzo - Bollati Boringhieri, 2001 - Nuova Didattica
Il libro è un manuale sintetico per un corso introduttivo di logica matematica. Il sottotitolo "Strutture Rappresentazioni Deduzioni" vuole mettere in rilievo un principio ispiratore del testo. Le strutture sono entità di riferimento del linguaggio logico; le deduzioni sono gli strumenti con cui si elaborano le formule per "calcolarne" i rapporti di conseguenza; le rappresentazioni giocano un ruolo fondamentale, spesso dato per scontato o solo accennato nei manuali di logica, che è preliminare all'attività deduttiva. Qui il lettore è guidato con esempi ed esercizi a capire il senso e il funzionamento dei meccanismi di base della logica dei predicati.
Logica e grammatica. Un rapporto consustanziale Manca Vincenzo - Nuova Cultura, 2021
Il saggio propone una riedizione della analisi logica tradizionale, in cui si usa la logica matematica elaborata nel Novecento. Usando un opportuno operatore logico si riescono a esprimere, in modo elementare, formalizzazioni logiche molto più precise di quelle tradizionali, che individuano la struttura logica profonda del discorso ordinario, fornendo allo stesso tempo, un'introduzione concreta alla logica matematica. Dopo il primo capitolo di analisi logica, seguono capitoli più discorsivi in cui si spiegano i principi grammaticali, il rapporto lessico grammatica, la struttura del lessico, le scelte costitutive dei sistemi linguistici, la nascita degli alfabeti. L'ultimo capitolo, più formale, sulla sintassi, introduce 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.