[an error occurred while processing this directive]
diff logo Informatica e sistemi alternativi
su questo sito sul Web
    Home   Chi siamo    Contattaci    Scrivi per diff    Proponi un argomento 20/01/17
    Cos'è diff    Come accedere    F.A.Q.    Promuovi    Dicono di diff    Amici di diff    
AmigaOS
Linux
FreeBSD
BeOS
OpenSource
Java
Database
Informatica
Hardware
E-Commerce
Narrativa

Informatica teorica

Niente paura!
Quest'area non è pensata per contenere lunghe e dettagliate dimostrazioni matematiche sulla complessità di un algoritmo o sulla equivalenza tra l'ultimo linguaggio di programmazione e la macchina di Turing, anche se all'occorrenza qualche formula matematica potrebbe anche comparire.

Lo spirito che ci ha invogliati a creare una sezione come questa su diff, è quello di esplorare concetti e basi teoriche di tecnologie attuali o futuribili, nel modo più semplice e chiaro possibile, e soprattutto non accademico!
(per quello esistono già tante pubblicazioni e tomi di inquietanti dimesioni)

Qualche esempio?
Quali modelli stanno alla base dei differenti tipi di linguaggi di programmazione (imperativi, funzionali, Object Oriented, logici)?
Quali sono i concetti più importanti e lo sviluppo storico dei sistemi ad agenti?
Come sta evolvendo (se ancora evolve) la Intelligenza Artificiale?
Cos'è la programmazione generica? E quella genetica (da non confondere con la precedente)?
I curatori dell'area cercheranno anche di far riferimento ai centri di ricerca, in Italia quando possibile ma ahimé soprattutto fuori, dove l'argomento trattato sta ricevendo i maggiori impulsi e innovazioni, o li ha ricevuti in passato.

Inoltre è nostro obiettivo sottolineare (e trattare approfonditamente quando interesserà ai lettori) i collegamenti tra i concetti presentati e le specifiche tecnologie che li "implementano", come per esempio tra i Sistemi ad Agenti e Java o tra la Programmazione Generica e la Standard Template Library di Hewlett-Packard.

Infine, potremmo fare anche qualche puntatina su articoli e notizie di curiosità matematiche e filosofiche legate, per un verso o per l'altro, alla nostra beneamata Computer Science.

 
Articoli sull'Informatica
Workflow
Design by Pattern
Introduzione alla programmazione
Modello entità - relazioni


 


Aree tematiche
Linux Amiga BeOS BSD Open Source Hardware Informatica Java Database Narrativa E-Commerce

Any browser
© 1999,2000,2001,2002 NonSoLoSoft di Ferruccio Zamuner (Italia)- tutti i diritti sono riservati