Mondadori Store

Trova Mondadori Store

Benvenuto
Accedi o registrati

lista preferiti

Per utilizzare la funzione prodotti desiderati devi accedere o registrarti

Vai al carrello
 prodotti nel carrello

Totale  articoli

0,00 € IVA Inclusa

Logica matematica. Strutture, rappresentazioni, deduzioni
Logica matematica. Strutture, rappresentazioni, deduzioni

Logica matematica. Strutture, rappresentazioni, deduzioni

by Vincenzo Manca
pubblicato da Bollati Boringhieri

15,36
18,08
-15 %
18,08
Disponibile.
31 punti carta PAYBACK
Aggiungi al carrello
Consegna gratuita con spesa totale superiore a 24€
facebook tweet linkedin google whatsapp
Aggiungi al carrello
Consegna gratuita con spesa totale superiore a 24€
facebook tweet linkedin google whatsapp

Il libro è un manuale sintetico per un corso introduttivo di logica matematica. Il sottotitolo vuole mettere in rilievo un principio ispiratore del testo. Le strutture sono le entità di riferimento del linguaggio logico. Le deduzioni sono gli strumenti con cui si elaborano le formule per calcolare 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. Riuscire a esprimere in formule proprietà e relazioni, su un certo insieme di oggetti, è un lavoro spesso non semplice cui questo libro dedica particolare attenzione. Il lettore è guidato con vari esempi ed esercizi a capire il senso e il funzionamento dei meccanismi di base della logica dei predicati. Inoltre, in termini di rappresentabilità logica, sono analizzati alcuni fenomeni cruciali della logica matematica intimamente connessi col rapporto tra deduzione e calcolo. Esempi di rappresentabilità entro modelli e teorie indicano alcuni importanti sviluppi in cui la logica diventa uno strumento prezioso dell'informatica teorica nella comprensione e nella scoperta di nuovi modelli di calcolo.
In appendice, la traduzione di una recente conferenza di Gregory Chaitin, protagonista in ricerche di confine tra logica e informatica, che in modo informale ma avvincente tratteggia una storia delle idee della logica matematica del XX secolo.

Dettagli

Generi Scienza e Tecnica » Matematica » Fondamenti della matematica (logica, teoria degli insiemi, sistemi numerici...)

Editore Bollati Boringhieri

Collana Nuova didattica

Formato Libro

Pubblicato 01/01/2001

Pagine 200

Lingua Italiano

Isbn o codice id 9788833956565

0 recensioni dei lettori  media voto 0  su  5

Scrivi una recensione per "Logica matematica. Strutture, rappresentazioni, deduzioni"

Logica matematica. Strutture, rappresentazioni, deduzioni
 

Accedi o Registrati  per aggiungere una recensione

usa questo box per dare una valutazione all'articolo: leggi le linee guida
torna su Torna in cima