home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  LIBRI > FILOSOFIA > LOGICA

franchella miriam - al risveglio dal sogno

AL RISVEGLIO DAL SOGNO LA PRATICA DELLA DIMOSTRAZIONE AUTOMATICA




Disponibilità: Normalmente disponibile in 5 giorni


PREZZO
17,00 €
NICEPRICE
16,15 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Italiano
Editore:

UNICOPLI

Pubblicazione: 10/2016





Trama

Il XX secolo ha segnato la fine del sogno leibniziano di elaborare un grande sistema assiomatico che permettesse di risolvere ogni disputa, in qualunque ramo del sapere, attraverso un semplice calcolo. Il teorema d'indecidibilità di Church, infatti, ha stabilito che non è possibile progettare un algoritmo che stabilisca, per qualunque formula del linguaggio predicativo del primo ordine con l'identità, se essa sia una verità logica oppure no. A fronte di questo risultato, si è aperta una nuova area di ricerca, quella dell'automated reasoning, che, stimolata anche da esigenze di tipo pratico (quali la verifica di protocolli), lavora per capire ed ampliare quanto si riesce a dimostrare attraverso i calcoli, facendo interagire varie euristiche. La mancanza di testi costituisce un ostacolo alla diffusione delle conoscenze relative a questa area di ricerca, limitandone la potenziale fruttuosità. Il presente volume si propone di colmare tale lacuna per quanto riguarda il dimostratore "Z3", ricco strumento disponibile gratuitamente in rete.










Altre Informazioni

ISBN:

9788840019109

Condizione: Nuovo
Collana: BIBLIOTECA DI CULTURA FILOSOFICA
Formato: Brossura
Pagine Arabe: 185


Dicono di noi