Logica matematica. Strutture, rappresentazioni, deduzioni

Riferimento: 9788833956565

Editore: Bollati Boringhieri
Autore: Manca Vincenzo
Collana: Nuova didattica
In commercio dal: 09 Febbraio 2001
Pagine: 200 p., Libro
EAN: 9788833956565
18,08 €
IVA inclusa
Quantità
Non disponibile

Descrizione

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.