Dama -- DAMA: Dimostrazione Assistita per la Matematica e l'Apprendimento

 

Dettagli su Dama
Italiano

Gli Interactive Theorem Provers (ITP) sono strumenti finalizzati alla formalizzazione di teorie matematiche in un linguaggio formale pienamente comprensibile da un computer. Le potenzialita' in termini di catalogazione, gestione ed elaborazione della conoscenza matematica cosi' formalizzata sono ancora largamente inesplorate, con promettenti applicazioni in ambito didattico e di e-learning.
Matita e' un ITP, sviluppato presso l'Universita' di Bologna, che permette la formalizzazione di intere teorie, comprendendo in particolare gli aspetti deduttivi quali le prove formali di teoremi. Matita raccoglie l'eredita' culturale e tecnologica dello sviluppo di ITP in europa e la integra con innovative tecniche di Mathematical Knowledge Management e gestione dell'informazione.
Il Progetto Strategico DAMA (Dimostrazione Assistita per la Matematica e l'Apprendimento) si pone l'obiettivo di valutare e promuovere l'uso di Matita in due ambiti: quello della formalizzazione (con lo studio del Teorema di Convergenza Dominata di Lebesgue); e quello dello sviluppo di strumenti didattici innovativi, reso possibile dalla comprensione della deduzione da parte di un ITP. Quest'ultima attivita' produrra' un prototipo di esercitatore interattivo da utilizzare come supporto didattico in corsi di Analisi I.

Per consultare la raccolta dei messaggi precedentemente inviati alla lista, visita gli Archivi della lista Dama. (L'archivio corrente è disponibile solo agli iscritti della lista.)

Uso di Dama
Per inviare un messaggio a tutti gli iscritti della lista, scrivi all'indirizzo dama@cs.unibo.it.

Puoi iscriverti alla lista, o cambiare la tua iscrizione corrente, nella sezione sottostante.

Iscrizione a Dama

Iscriviti a Dama completando il seguente modulo. Ti verrà inviata una richiesta di conferma via email, per evitare che terzi possano iscriverti senza il tuo permesso. Una volta ricevuta la conferma, la tua richiesta sarà vagliata dal moderatore della lista. La decisione finale ti sarà notificata via email. Questa è anche una lista privata, quindi l'elenco degli iscritti non è disponibile ai non iscritti.

    Il tuo indirizzo email:  
    Il tuo nome (opzionale):  
    Devi inserire una password personale. Questo ti garantirà solo una minima sicurezza, ma impedirà ad altri di fare scherzi con la tua iscrizione. Non usare una password importante visto che ti verrà periodicamente ricordata via email con testo non cifrato.

    Se non vuoi scegliere, lascia in bianco la password ed una verrà automaticamente generata per te e spedita al tuo indirizzo quando avrai confermato l'iscrizione. Puoi chiedere in ogni momento che ti venga rispedita la mail contenente la password, semplicemente premendo un pulsante nel pannello delle tue opzioni personali.
    Scegli una password:  
    Conferma la password:  
    In quale lingua preferisci vedere i tuoi messaggi? Italiano  
    Vuoi ricevere i messaggi della lista raggruppati in un digest giornaliero? No
Iscritti a Dama
(La lista degli iscritti è disponibile solo agli iscritti della lista.)

Inserisci il tuo indirizzo e la password per visitare la lista degli iscritti:

Indirizzo: Password:   

Per cambiare le impostazioni della tua iscrizione (cose come digest e modalità di invio, promemoria della password, cancellazione da Dama) inserisci l'indirizzo email con il quale sei iscritto:

Se lasci in bianco il riquadro, ti sarà chiesto il tuo indirizzo email


Lista Dama gestita da sacerdot at cs.unibo.it
Pannello di controllo di Dama (richiede autorizzazione)
Elenco delle liste disponibili su cs.unibo.it

Delivered by Mailman
version 2.1.15
Python Powered GNU's Not Unix Debian Powered