Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
Strutture, logica, linguaggi - Luigia Carlucci Aiello,Fiora Pirri - copertina
Strutture, logica, linguaggi - Luigia Carlucci Aiello,Fiora Pirri - copertina
Dati e Statistiche
Wishlist Salvato in 5 liste dei desideri
Strutture, logica, linguaggi
Attualmente non disponibile
23,75 €
-5% 25,00 €
23,75 € 25,00 € -5%
Attualmente non disp.
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
23,75 € Spedizione gratuita
disponibile in 7 settimane Non disponibile
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
23,75 € Spedizione gratuita
disponibile in 7 settimane Non disponibile
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi
Strutture, logica, linguaggi - Luigia Carlucci Aiello,Fiora Pirri - copertina

Dettagli

2005
1 gennaio 2005
Libro universitario
336 p.
9788871922690

La recensione di IBS

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.

Leggi di più Leggi di meno
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

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore