biblioteche, roma, libri, cd, dvd, prestito, consultazione, autori, editori, scuole, lettura, multicutura, multietnica, internet, wifi, biblioteche roma, biblioteche comune di roma

Logica matematica : strutture, rappresentazioni, deduzioni

Manca, Vincenzo <1949- >

Bollati Boringhieri - 2001

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.
  • Lo trovi in
  • Scheda
  • Commenti
  • Chi ha letto questo ha letto anche...
RMBT1@Valle Aurelia

Biblioteca

  • Valle Aurelia

Documento disponibile

Inventario
26981
Collocazione
Mag 511.3 MAN