Franco Angeli: Informatica EDP

In questo libro l'autore spiega i criteri per progettare un ipertesto, pensarne i contenuti, le architetture e comprenderne le modalità di fruizione. Pur non trascurando elementi tecnici di base, il volume si orienta soprattutto alla definizione degli obiettivi di un ipertesto o di un sito Internet, alle modalità stilistiche di"confezione" grafica, d'impaginazione, di realizzazione di impianti segnaletici, senza tralasciare informazioni sui risvolti legali, il diritto d'autore e la proprietà letteraria e industriale. Una vasta gamma di esempi, dedicata ai temi più diversi, offre infine una casistica di realizzazioni felici e di errori grossolani di grande utilità.

La semantica formale dei linguaggi di programmazione è di solito omessa nei manuali di riferimento per privilegiare le più semplici spiegazioni intuitive, sebbene sia indispensabile per chiunque voglia verificare proprietà di programmi o comprendere il significato in modo rigoroso. Questo libro intende offrire un'introduzione completa alla descrizione della semantica operazionale dei linguaggi di programmazione secondo la quale un programma è inteso come la modifica che la sua esecuzione apporta ai dati da esso utilizzati. Il testo copre gli aspetti principali di un linguaggio di programmazione ad alto livello come Pascal o C, spiegando chiaramente concetti quali variabile, dichiarazione, comando, procedura e ricorsione.

Fondamentale è diventato oggi parlare di qualità e quantità nel software

L'intelligenza artificiale è una disciplina molto giovane, tuttora circondata da discussioni di carattere filosofico e scientifico, da dispute attorno alla possibilità di attribuire a una macchina capacità di pensiero, alla valutazione dei risultati conseguiti, alle aspettative realistiche e alle disillusioni che hanno seguito le prime promesse. Per capire la natura di questi dibattiti e avere elementi di giudizio in proposito, è necessario conoscere quali sono gli oggetti di studio della disciplina, i problemi affrontati, le metodologie e i prodotti da essa forniti, qual è il suo rapporto con l'informatica.