Logica a informatica

Consulta il libro - Logica a informatica

Titolo	Logica a informatica
Autori	Andrea Asperti, Agata Ciabattoni
argomento	Scienza e Tecnica Matematica Logica e teoria degli insiemi
Collana	Ingegneria
Editore	McGraw-Hill Education
Formato	Libro
Pagine	224
Pubblicazione	2021
ISBN	9788838655517
	Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura

aggiungi ai desideri

25,00 € 23,75 € (-5%)

aggiungi ai desideri

Disponibile normalmente in 1/2 giorni

Descrizione

Il titolo di questo libro richiede una spiegazione: non si vuole soltanto sottolineare la destinazione del testo (i corsi di Logica matematica nelle facoltà di Informatica), ma soprattutto metterne in evidenza la particolare impostazione, che lo distingue dai numerosi manuali di logica matematica disponibili sul mercato italiano. Il volume, infatti, affronta l'insegnamento della logica tenendo sempre presenti gli strettissimi rapporti di questa disciplina con l'informatica; pur presentando argomenti tradizionali della logica matematica classica, il testo è arricchito da costanti riferimenti ai principali temi di contatto tra logica e informatica.