Parascolastica
Tecnologie
Economia
Meccanica
Disegno
Ecologia
- Ecologia e pedologia
  - Scuola secondaria di II grado
  - Secondaria ii
Greco
Contabilitï¿½
- Contabilita' agraria
- Contabilita'
Agende ricambi e calendari
Cartoleria
Giocattoli
Libri
Libri scolastici
- Usato scolastica
Gift Card
Schei e Spriss
ioleggoperché

Home

Cartoleria e Ufficio

Giochi e Divertimento

Testi Scolastici

Home
Libri
Scienze
Matematica
Fondamenti della matematica
Logica matematica
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Riferimento: 9788843029006

Editore: Carocci
Autore: Palladino Dario
Collana: Università
In commercio dal: 26 Febbraio 2004
Pagine: 202 p., Libro in brossura
EAN: 9788843029006

26,50 €

Quantità

Non disponibile

Descrizione

Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di modelli non standard per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.

Contatta il negozio

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

La tua richiesta d'info:

Il tuo nome:

Il tuo indirizzo e-mail:

Numero di telefono:

Libreria
Galleria Corona d’Italia, 41
36061 Bassano del Grappa (VI)
+39.0424521230
+39.0424522558
libreria@labassanese.com
P.IVA 02213720242

Cartoleria
Largo Corona d’Italia, 4/5
36061 Bassano del Grappa (VI)
+39.0424522159
cartoleria@labassanese.com

Condizioni
Privacy
Spedizione e resi

Indicazioni sui tempi di disponibilità dei libri e significato delle classificazioni.
I tempi di consegna riportati su LaBassanese sono stime basate esclusivamente sulla disponibilità, sull’elaborazione normale dell’Ordine e sui tempi di consegna dichiarati dai fornitori e dai vettori, in tempo reale e in automatico. Ogni libro indica nella Scheda Prodotto un tempo standard di disponibilità. Questo è il tempo minimo stimato come necessario per reperire il Prodotto dai fornitori e renderlo disponibile all’invio. In alcuni casi non prevedibili, il tempo effettivo di consegna potrebbe discostarsi dal tempo indicato nella Scheda Prodotto in quanto potrebbe dipendere dal comportamento dei singoli fornitori, non dipendenti da La bassanese.
La bassanese non potrà essere ritenuta responsabile per gli eventuali ritardi. Laddove eccezionalmente sopraggiunga un caso di irreperibilità del Prodotto nell’ambito di evasione dell’Ordine da parte dei fornitori, La bassanese lo comunicherà all’Utente via e–mail. Così come nell’ipotesi di indisponibilità del Prodotto.

Significato delle classificazioni:
1. Disponibilità immediata.
Articolo immediatamente disponibile, spedizione avviata il giorno lavorativo successivo all’invio dell’ordine. La dichiarazione di disponibilità fa riferimento alla singola unità.

2. Disponibile in giorni o settimane (ad es. "3-5-10 giorni", "4-5 settimane").
L’articolo non è disponibile al momento. La disponibilità è espressa in base alle informazioni comunicate dal fornitore in automatico e in tempo reale.
Qualora il prodotto non fosse disponibile oltre il termine indicato, il cliente sarà avvisato via e-mail con indicazione del nuovo termine. Ricordiamo che l’addebito sulla carta di pagamento avviene solo al momento dell’avvio della consegna (vedi art.6.2 delle Condizioni Generali di Vendita).

3. Prenotabile.
L’articolo non è al momento disponibile ed è di difficile reperibilità. Ci impegniamo a cercarlo e ad avvisarla in ogni caso, senza impegno di acquisto.

4. Attualmente non disponibile
L'articolo non è attualmente disponibile e potrebbe tornare disponibile, ma non sappiamo ancora quando. Inserisca la sua mail dalla scheda prodotto, attivando il servizio “avvisami” e sarà contattato quando sarà eventualmente ordinabile.