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.