Corsi di perfezionamento

Informazioni su corsi di perfezionamento in Italia.

Corso di Perfezionamento in Progettazione Interattiva Sostenibile e Sistemi Multimediali

Si terrà presso la Facoltà di Architettura dell'Università Roma Tre nell'A.A 1997-1998. Il corso ha carattere interdisciplinare ed è rivolto a persone laureate in architettura, ingegneria, scienze sociali, scienze naturali e economiche. Il corso è semestrale e parzialmente a distanza. La quota di iscrizione è di 600.000. Gli interessati potranno far pervenire la domanda di preiscrizione, redatta in carta semplice, diretta al Magnifico Rettore, presso la segreteria del dip. di Progettazione e Scienze dell'Architettura, via della Madonna dei Monti 40 - 00184 Roma entro e non oltre il 31 dicembre 1997.

Il Direttore del corso Prof.Arch. Elena Mortola

Università Roma Tre Dipartimento di Progettazione e Scienze dell'Architettura Via della Madonna dei Monti 40 - 00184 Roma tel. (06) 4819437 - fax.(06) 4818625 E-mail mortola@arch.uniroma3.it http://rmac.arch.uniroma3.it

SOCIETA' ITALIANA DI LOGICA E FILOSOFIA DELLE SCIENZE (SILFS) in collaborazione con:
COMUNE DI CESENA
ASSOCIAZIONE ITALIANA DI LOGICA E SUE APPLICAZIONI

(bando aggiornato)

SCUOLA ESTIVA DI LOGICA
Cesena, 15-19 settembre 1997

Le lezioni si terranno presso il Centro Interuniversitario di Filosofia e Fondamenti della Fisica, in via Aldini 22, dalle ore 9 di lunedì 15 settembre alle ore 13 di venerdì 19 e sono aperte a tutti i soci della SILFS. Le iscrizioni dei soci e le domande di ammissione da parte dei non-soci, corredate da un breve curriculum degli studi, vanno indirizzate al Segretario della SILFS Vincenzo Fano, Istituto di Filosofia, via Saffi 9, 61029 Urbino PS, tel./fax 0722/329645 e-mail rab5974@iperbole.bologna.it, entro il 31 agosto 1997. La Scuola è rivolta principalmente a laureandi, laureati e dottorandi di matematica, filosofia, informatica e fisica, che vogliono integrare le loro conoscenze di logica. La partecipazione alla Scuola non prevede alcuna tassa di iscrizione e la SILFS provvederà inoltre alla copertura parziale o totale delle spese di pernottamento dei partecipanti, secondo forme e modi che verranno comunicati all'atto dell'iscrizione. Durante la mattina (ore 9-13) avranno luogo i seguenti corsi istituzionali:

TEORIA DELLA DIMOSTRAZIONE Vito Michele Abrusci, Università di Roma Tre

1. Calcolo dei sequenti per la logica classica del primo ordine, per la logica intuizionista e per la logica lineare.

2. Deduzione naturale per la logica intuizionista e proof nets per la logica lineare.

3. Teorema dell'eliminazione dei tagli.

4. Semantica delle dimostrazioni (spazi coerenti) per la logica intuizionista e per la logica lineare.

TEORIA DELLE CATEGORIE E LAMBDA CALCOLO Giuseppe Rosolini, Università di Genova

1. Categorie, funtori, categorie cartesiane chiuse. 2. Lambda-calcolo, modelli categoriali. 3. Cenni al lemma di Yoneda, teorema di rappresentazione per categorie cartesiane chiuse. 4. Monadi, categorie monoidali, modelli della logica lineare. 5. Teorema di forma normale.

Nei pomeriggi da lunedì a mercoledì si terranno i seguenti seminari:

15 settembre, ore 14.30-16.30 LA LOGICA DEI SISTEMI APERTI Carlo Cellucci, Università di Roma

16 settembre, ore 14.30-16.30 COME LA DEFINIBILITA' E' DIVENTATO UN ARGOMENTO MATEMATICO (DA RICHARD A GÖDEL) Gabriele Lolli, Università di Torino

17 settembre, ore 14.30-16.30 COMPUTER E TESI DI CHURCH Daniele Mundici, Università di Milano

Il Direttore della Scuola
Vito Michele Abrusci

Il Presidente della SILFS
Gino Tarozzi

VINCENZO FANO
v. Saragozza 191
40135 BOLOGNA
tel./fax 051-6144498