+---------------------------------------------------------------------- Ecco il manifesto di it.scienza.informatica, presentato da: Giorgio Vecchiocattivi Il gruppo ospita discussioni riguardanti la teoria dell'informatica, vista come scienza. Sono quindi ammesse (fra le altre) discussioni sulla teoria dei sistemi operativi e sulle architetture, sui formali- smi, su "strumenti" matematici (es. logica matematica, algebra e sta- tistica) qualora usati per l'analisi di aspetti relativi all'infor- all'informatica. Fra gli altri argomenti trattabili ci sono: calcolabilita`, teoria dei linguaggi e compilatori (semantica, automi ecc.), algoritmi (complessita`, NP-completezza), ingegneria del soft- ware, metodologie informatiche per l'analisi, la modellazione e la progettazione dei sistemi informativi. Sono considerati on-topic messaggi riguardanti prodotti commerciali se e solo se questi posting servono ad analizzare o confrontare, alla luce luce degli altri argomenti del gruppo, le tecnologie utilizzate, o in qualita` di esempi. Sono tassativamente off-topic tutti gli altri altri messaggi riguar- danti prodotti commerciali, e in particolare i threads del tipo " x e` meglio di y " e le flames in genere. Sono altresi` off-topic i messaggi compro/vendo/scambio e le richieste di aiuto su prodotti software e hardware. Poiche` non e` molto conosciuta la differenza tra l'aspetto teorico e scientifico dell'informatica e l'aspetto pratico, la moderazione e` necessaria per limitare il numero di messaggi OT che vengono postati. La filosofia di moderazione che si intende seguire e` quella di bloc- care i messaggi "eccessivamente" OT soprattutto quelli riguardanti argomenti pertinenti a it.aiuto o a it.comp.*; tra gli argomenti "al limite", non si intendono bloccare discussioni e polemiche sul rappor- to teoria/pratica o sui linguaggi di programmazione (ovviamente se non si finisce nel flame puro), o messaggi sul ruolo e le modalita` dello studio dell'informatica. In qualita` di proponente delego al GCN il ruolo di arbitro, che, in caso di problemi o proteste, subentrera` verificando in veste di garante il rispetto del manifesto. +----------------------------------------------------------------------