Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
Teoria della logica del prim'ordine -  Andrea Iacona, Stefano Cavagnetto - copertina
Teoria della logica del prim'ordine -  Andrea Iacona, Stefano Cavagnetto - copertina
Dati e Statistiche
Wishlist Salvato in 15 liste dei desideri
Teoria della logica del prim'ordine
Disponibilità immediata
11,40 €
-5% 12,00 €
11,40 € 12,00 € -5%
Disp. immediata
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
11,40 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
12,00 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Bortoloso
12,00 € + 6,30 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Libreria Nani
12,00 € + 6,50 € Spedizione
disponibile in 8 giorni lavorativi disponibile in 8 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
11,40 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
12,00 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Bortoloso
12,00 € + 6,30 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Libreria Nani
12,00 € + 6,50 € Spedizione
disponibile in 8 giorni lavorativi disponibile in 8 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi

Tutti i formati ed edizioni

Chiudi
Teoria della logica del prim'ordine -  Andrea Iacona, Stefano Cavagnetto - copertina
Chiudi

Promo attive (0)

Descrizione


Quali sono le proprietà essenziali della logica del prim'ordine? Come funziona la semantica del suo linguaggio? Che rapporto c'è tra la logica del prim'ordine e l'aritmetica, la geometria o la teoria degli insiemi? Il libro risponde a queste domande, presentando in modo accessibile un nucleo essenziale di conoscenze sulla logica del prim'ordine che costituiscono lo sfondo di molte delle questioni filosofiche e matematiche che la riguardano.
Leggi di più Leggi di meno

Dettagli

2010
16 settembre 2010
128 p., Brossura
9788843055142
Chiudi

Indice

Introduzione
1. Nozioni fondamentali
Linguaggio formale/ Sistema formale/Linguaggio oggetto e metalinguaggio/Simboli e nozioni di teoria degli insiemi/Metodi dimostrativi
2. Il linguaggio L
Vocabolario e regole di formazione/Nozioni semantiche di base/ Soddisfacimento/Verità/Conseguenza logica e validità
3. Il sistema S
Assiomi/Derivabilità e dimostrabilità/Coerenza/Teorema di coerenza
4. Alcune proprietà sintattiche di S
Teorema di deduzione/Pseudo Scoto/Doppia negazione/ Contrapposizione/Riduzione all'assurdo
5. S e le sue estensioni
Linguaggi del prim'ordine/Teorie del prim'ordine/Due lemmi che vertono sulla coerenza/Lemma di Lindenbaum
6. Teorie e modelli
Modello di una teoria/Chiusura/Prima parte della dimostrazione/Seconda parte della dimostrazione
7. Correttezza
Corrispondenza tra sintassi e semantica/Teorema di correttezza/Correttezza e insiemi di strutture
8. Completezza
Teorema di completezza/Completezza e insiemi di strutture/Il “significato? dei teoremi di correttezza e di completezza
9. Modelli e cardinalità
Numeri cardinali/ Teorema di Löwenheim-Skolem/Teorema di compattezza
10. Relazioni tra modelli
Isomorfismo/Categoricità/Teoria degli insiemi/Teorie dell'ordinamento/Geometria euclidea elementare
Bibliografia.

Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi