Matematica discreta utilizzando un computer offre un nuovo approccio "pratico" all'insegnamento della matematica discreta. Utilizzando un software disponibile gratuitamente su piattaforme Mac, PC e Unix, il linguaggio funzionale Haskell consente agli studenti di sperimentare notazioni e concetti matematici: un approccio pratico che fornisce agli studenti un feedback immediato e consente ai docenti di monitorare facilmente i progressi. Questa seconda edizione del libro di testo di successo contiene materiale aggiuntivo significativo sulle applicazioni dei metodi formali a problemi pratici di programmazione. Ci sono altri esempi di dimostrazioni di induzione su piccoli programmi, nonché un nuovo capitolo che mostra come un approccio matematico può essere utilizzato per motivare gli alberi AVL, un'importante e complessa struttura di dati. Progettato per gli studenti universitari del 1° e 2° anno, il libro è adatto anche per lo studio autonomo. Non è richiesta alcuna conoscenza preliminare della programmazione funzionale; tutto ciò di cui lo studente ha bisogno viene fornito o può essere ritirato facilmente man mano che procede. Le caratteristiche principali includono: • Numerosi esercizi ed esempi • Una pagina Web con strumenti software e ulteriori problemi pratici, soluzioni e spiegazioni, nonché diapositive del corso • Suggerimenti per ulteriori letture Completo di una guida per l'istruttore di accompagnamento, disponibile tramite Web, questo volume è inteso come testo didattico principale per i corsi di Matematica Discreta, ma fornirà anche letture utili per Master di conversione e corsi di Metodi formali. Visita la pagina Web del libro all'indirizzo:
caricamento...
