Logica. Lezioni di primo livello

Consulta il libro - Logica. Lezioni di primo livello

Titolo	Logica. Lezioni di primo livello
Autore	Vito Michele Abrusci
argomento	Scienza e Tecnica Matematica Logica e teoria degli insiemi
Editore	CEDAM
Formato	Libro
Pagine	320
Pubblicazione	2018
Numero edizione	4
ISBN	9788813366087
	Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura

aggiungi ai desideri

23,00 € 21,85 € (-5%)

aggiungi ai desideri

Disponibile normalmente in 5 giorni

Descrizione

Il volume presenta un corso iniziale di logica che è rivolto agli studenti universitari e a tutti coloro che desiderano leggere un'introduzione alla logica, senza particolari prerequisiti. Questo corso di logica è strutturato in lezioni di primo livello su: i principali temi della logica; le proposizioni, le dimostrazioni, i connettivi, i quantificatori, entro la logica classica; i principali teoremi sulla logica (in primo luogo, il teorema di incompletezza di Gödel); la concezione delle classi e degli insiemi, e le operazioni sugli insiemi, in logica classica; i metodi e i risultati della logica che hanno influenzato la nascita dell'informatica (in particolare, la Macchina di Turing); l'assiomatizzazione e la formalizzazione della logica del primo ordine; alcune fra le principali relazioni della logica con le altre discipline.