Logo - springer
Slogan - springer

Mathematics | Logica: Metodo Breve

Logica: Metodo Breve

Collana: UNITEXT

Sotto-collana: La Matematica per il 3+2

Mundici, Daniele

2011, XI, 126 pagg.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$29.95

(net) price for Stati Uniti d'America

ISBN 978-88-470-1884-6

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Brossura
Information

Brossura

You can pay for Springer Books with Advance Payment, Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$39.95

(net) price for Stati Uniti d'America

ISBN 978-88-470-1883-9

free shipping for individuals worldwide

disponibile.


add to marked items

  • Senza richiedere prerequisiti, lo studente perviene alla dimostrazione del teorema di completezza di Goedel per la logica dei predicati con eguaglianza
  • Numerosi esercizi guidano il lettore a una lettura attiva e a una piena comprensione dei concetti logici fondamentali
  • Le nozioni fondamentali sintattiche e semantiche vengono presentate in contesti di complessita' crescente, partendo dalla logica proposizionale delle clausole, fino alla logica dei predicati con eguaglianza
  • Lo studente interessato alla computer science puo' trovare in questo testo una introduzione, elementare ma rigorosa, alla deduzione automatica
  • Gli studenti di filosofia e linguistica troveranno semplici esercizi esemplificativi dei teoremi fondamentali, basati sul linguaggio naturale
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Content Level » Upper undergraduate

Parole chiavi Compattezza e modelli nonstandard - Deduzione Automatica - Logica Matematica - Semantica di Tarski - Teorema di Completezza di Gödel

Argomenti correlati Linguistica - Mathematics - Theoretical Computer Science

Indice dei contenuti 

Popular Content within this publication 

 

Articles

Leggi questo libro su SpringerLink

Servizi per questo libro

New Book Alert

Get alerted on new Springer publications in the subject area of Logica e Fondamenti di Matematica.