Il cervello, che diventa mente nel momento in cui ha la capacità di organizzare le informazioni, è un ambiente speciale nel quale le informazioni si organizzano in modelli. Questo sistema è molto utile per creare modelli, memorizzarli e riconoscerli. In poche parole, la mente è l'ambiente principale per l'elaborazione delle informazioni; ma cosa possiamo dire circa gli strumenti della percezione delle informazioni? Questo lavoro discute i meccanismi della percezione che sono primari rispetto a... (continua)

Viviamo nell'era dell'informazione, ogni giorno trattiamo migliaia di informazioni, ma se volessimo definire cosa è un'informazione ci troveremmo in difficoltà. Perché? Vogliamo provarci? (continua)

Il concetto di ricorsione è talmente radicato nel nostro modo di pensare che talvolta nemmeno ci accorgiamo che lo stiamo usando per risolvere problemi. Abbiamo acquisito un'abilità che difficilmente sappiamo formulare e riusare in differenti contesti. L'uomo è riuscito ad usare con profitto tale concetto nelle arti figurative, nella musica, nella geometria, nell'algebra, nei giochi. In questo lavoro propongo un approccio per lo studio della ricorsione che, partendo da alcune osservazioni della... (continua)

L'astrazione è un concetto importante in tutte le attività dell'ingegneria: essa è il risultato di un processo, detto appunto di astrazione, secondo il quale assegnato un sistema, complesso quanto si voglia, si possono tenerne nascosti alcuni particolari evidenziando quelli che si ritiene essenziali ai fini della corretta comprensione del sistema stesso. (continua)

In questo lavoro l'autore mostra un modo per risolvere i problemi usando un approccio alternativo a quello razionale, fonte delle principali metodologie in uso per la costruzione del software, mediante metodiche che deviano dai modelli concettuali abituali che governano il pensiero normale. (continua)

La misura del tempo di esecuzione è un'attività importante, perché consente al progettista, avendo a disposizione alcuni algoritmi per la risoluzione di uno stesso problema, la scelta di quello più efficiente. In questo lavoro viene mostrato il metodo che si fonda sulle solide basi teoriche logico matematiche della teoria degli infiniti ed infinitesimi e sull'uso del concetto di induzione matematica. (continua)

Lo sviluppo del software è una attività creativa, ma molto difficile. Come si coniuga l’esigenza dello sviluppo rapido del software con quella dei costi? L’unica via percorribile è quella del riuso, riuso ed ancora riuso. Questo lavoro illustra, in sintesi, le ragioni che hanno portato alla Progettazione Orientata agli Oggetti, mostrandone le linee guida attraverso processi e linguaggi unificati. (continua)

I examine some ancient algorithms with the intent of introducing the concept of algorithm in a more natural way. From those examples, the reader will be able to derive the important characteristics inherited in the area of computer science. (continua)

Le prove induttive sono essenziali perché aiutano a capire cosa un programma fa. E' importante saper condurre la comprensione sistematica di ciò che è già scritto, ma è altrettanto importante comprendere ciò che si scrive. Il procedimento molto semplice del prima asserisco e poi dimostro una proprietà di un programma si fonda sull'esigenza di dover dimostrare l'aderenza di un frammento di codice o di un programma ad una specifica formale o informale che sia. Tale tecnica è detta prova induttiva di un programma. (continua)

ISBN: 0596003234
Autori: S. Garfinkel, G. Spafford, A. Schwartz
Editore: O'Reilly
Lingua: Italiano
Anno: 2003
Pagine: 954
Allegati: Nessuno