Manca, Vincenzo <1949->
Logica matematica
- Prenota
- Copie totali: 2
- In prestito: 0
- Prenotazioni: 0
Abstract: 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.
Titolo e contributi: Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin
Pubblicazione: Torino : Bollati Boringhieri, 2001
Descrizione fisica: 200 p. ; 22 cm
ISBN: 8833956563
Data:2001
Lingua: Italiano (lingua del testo, colonna sonora, ecc.)
Paese: Italia
- Tipo di data: monografia edita in un solo anno
- Data di pubblicazione: 2001
- Target: adulti, generale
- Genere: saggi
Sono presenti 2 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Mariano Comense | 500-549 Scienze naturali, scienze pure 511.3 MAN | MC-56479 | Su scaffale | Disponibile | |
| Como | OO-N-10609 | CO-330815 | Su scaffale | Disponibile |