L’articolo è stato aggiunto alla lista dei desideri
IBS.it, l'altro eCommerce
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti
Tutti i formati ed edizioni
Anno edizione: 2005
Anno edizione: 2018
Anno edizione: 2005
Promo attive (0)
Originale ed efficace sintesi di argomenti quali matematica discreta, logica, teoria dei linguaggi formali e degli automi, questo testo si pone l'obiettivo di fornire una solida conoscenza di base su argomenti di matematica e informatica teorica che gli studenti ritroveranno, approfonditi e applicati, nel progredire degli studi.La propedeuticità dei concetti presentati alle materie più propriamente informatiche è il contributo principale di questo testo, in cui la scelta degli argomenti è mirata a fornire basi formali allo studente, con una costante attenzione ai campi di applicazione pratica. Ad esempio, presentando la logica, si dà molta enfasi alla deduzione e alla sua meccanizzazione; da qui la scelta di presentare, in particolare, il metodo dei tableau e la risoluzione, propedeutici, tra l'altro, alla deduzione automatica e al linguaggio di programmazione dichiarativa PROLOG. Il testo è ricco di esempi, accuratamente scelti per il loro valore didattico, ed evidenziati nel testo dentro riquadri. Molti di questi sono tratti dai vari campi d'applicazione dell'informatica e dell'intelligenza artificiale. Per aiutare lo studente ad applicare immediatamente quanto appreso, gli esercizi sono stati distribuiti alla fine di ciascun paragrafo cui fanno riferimento.Originale, infine, anche la scelta di associare a un testo denso di formalismo alcune illustrazioni di M.C. Escher: un ulteriore spunto di riflessione per il lettore, che è così, piacevolmente, portato a riflettere su concetti e simbolismo, simboli e significato, consistenza locale e globale.
L'articolo è stato aggiunto al carrello
L’articolo è stato aggiunto alla lista dei desideri
Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.
Verrai avvisato via email sulle novità di Nome Autore