Rete Bibliotecaria della Provincia di Como

Abstract: Ogni disciplina scientifica si definisce pienamente nel momento in cui viene delimitata da una teoria in grado di evidenziarne i limiti e le potenzialità. Per l'informatica ciò avvenne negli anni trenta del XX secolo, in un effervescente panorama culturale e scientifico che affrontava i fondamenti della matematica, della fisica e della biologia, ben prima dell'avvento del calcolatore elettronico. Cosa significa «calcolare»? Cos'è un algoritmo? Cosa possiamo e cosa non possiamo calcolare? Ci sono dei limiti? Esiste un calcolatore universale? Cos'è un programma? Il programma che ho comperato funzionerà sempre o potrebbe entrare in loop su certi dati? Cos'è un linguaggio? Come si genera? Come si riconosce? Tra le cose che possiamo calcolare, quanti passi di calcolo dovremo ragionevolmente attendere per avere il risultato? Si può fare di meglio di quell'algoritmo per risolvere quel problema? Tutte queste domande hanno condotto alla teoria della calcolabilità effettiva, alla teoria dei linguaggi formali, e più tardi alla teoria della complessità computazionale, che include uno dei più importanti problemi ancora aperti per la scienza contemporanea. Questo volume illustra come sono state affrontate tali questioni. Nasce dall'esperienza ventennale degli autori nell'insegnamento del corso di Fondamenti dell'informatica, dapprima assieme, presso l'Università di Verona, poi separatamente nelle sedi di Verona e di Udine. Nato come dispensa già nel 1999, il volume è via via maturato negli anni, includendo note storiche, esempi e un gran numero di esercizi, molti dei quali assegnati come prova scritta d'esame.

Abstract: Senza tempo e alla portata di tutti, Code sa spiegare a chiunque come funzionano veramente i computer. Senza essere necessariamente un ingegnere o un programmatore, ti aiuta a vedere i computer nella loro intrinseca bellezza e come il coronamento di una conquista dell'umanità. Charles Petzold ha completamente aggiornato il suo best seller per considerare gli incredibili cambiamenti degli ultimi vent'anni che hanno trasformato il modo in cui si utilizzano, si programmano e si vive il rapporto con i computer. Questa edizione, per prima cosa, definisce i codici numerici e poi accompagna alla scoperta dei concetti base che permettono di costruire un semplice computer. Quindi approfondisce gli aspetti chiave delle tecnologie digitali e mostra come oggi il mondo dei media sia costruito e basato su codici informatici. Corredato da oltre 300 disegni e schemi per spiegare al meglio i concetti chiave, questo testo è una lettura fondamentale per chiunque voglia capire come funziona il mondo delle macchine.

Abstract: MAGMA: chi si nasconde sotto questa sigla inquietante? È ciò che hanno deciso di scoprire Carlotta, Nina, Chiara e Lin, le quattro amiche, diverse ma affiatate, che si sono ritrovate compagne di camera nella scuola svizzera in cui imparano i segreti del coding. Impegnate nel progetto di fine corso, distratte dalle questioni di cuore e dai dispetti del malevolo Alain e di una nuova compagna ben poco simpatica, si ritrovano anche coinvolte in una partita pericolosa. I laboratori della scuola sono all’opera su un grande progetto, un videogioco collaborativo e «green», un’impresa in cui è stato arruolato anche il loro amico Rémi. Ma qualcuno rema contro, ed è disposto a mettere in cattiva luce le ragazze pur di avere campo libero. Per sventarne i piani, serviranno tutte le risorse e l’intelligenza di cui le amiche dispongono, per tacere di aiuti esterni, tra cui una misteriosa donna d’affari cinese. Fino a scoprire che l’alleato decisivo è anche il più imprevedibile. Le eroine del Codice delle ragazze tornano con una nuova avventura nel variopinto mondo del CRAC, il campus estivo più tecnologico e affascinate d’Europa.

Abstract: Il volume presenta gli elementi base dell'informatica, con riferimento sia agli aspetti teorici che a quelli tecnici e applicativi. Si divide in cinque parti: Elementi di teoria, Elementi di programmazione, Elementi di architettura, Elementi di sistemi operativi e del software di base e Elementi di ambienti di IV generazione (editor tradizionali, editors grafici e multimediali, i fogli elettronici, le basi di dati, l'ambiente MATLAB).

Abstract: Luca e Lela, amici per la pelle, hanno due grandi passioni in comune: le canzoni del rapper Kalmo e... il concerto del rapper Kalmo! I biglietti ci sono, la data è fissata ma... lunedì, a sorpresa, arriva il compito di informatica sul coding. Peccato che in classe i due non abbiamo ascoltato una parola, e senza un bel voto, addio concerto! Dunque che fare?! Un robottino e tanta inventiva correranno in loro aiuto.