Libri di Cosimo Laneve

Il primo volume di una nuova collana dedicata alla scrittura di sé. Il libro tenta di leggere la pratica degli insegnanti attraverso la testimonianza che gli stessi offrono mediante alcune forme di scrittura. Si cerca difatti di leggere-interpretare l'esperienza didattica attraverso le scritture "burocratiche", ovvero le relazioni iniziali e finali, le programmazioni, i piani di lavoro che gli insegnanti stilano e, soprattutto, attraverso le scritture del "tempo rubato", ovvero tutta quella serie - ovviamente non-burocratica - di pagine sparse, appunti note, osservazioni. L'autore propone anche un itinerario di accompagnamento, quasi vademecum, anzitutto sul modo per far dire o meglio per far scrivere l'insegnante della propria esperienza professionale funzionalmente a specificare, richiamare, rilevare elementi utili alla conoscenza dell'insegnare.

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.