| Docente: | Prof. Mitsuhiro OKADA (Keio University - Tokyo)
|
||
| Inizio: | 18/03/2014
|
||
| Fine: | 25/03/2014
|
||
| Dove: | Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra)
|
||
|
Descrizione
Il prof. OKADA terrà due lezioni dedicate alla Simple Logic, entro l’insegnamento di Teorie logiche 1: Tipi e Logica Lineare: · Phase semantical decomposition and composition of linear logic, Martedì 18 marzo, dalle ore ore 17 alle ore 18 · Completeness and cut elimination theorems, and the Gödel-Kolmogorof interpretation, Martedì 25 marzo, dale ore 17 alle ore 18. |
|||
Lezioni:
|
18/03/2014 - 17:00
|
Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra)
|
Prof. Mitsuhiro OKADA (Keio University - Tokyo)
|
|
|
Phase semantical decomposition and composition of linear logic
|
|||
|
25/03/2014 - 17:00
|
Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra)
|
Prof. Mitsuhiro OKADA (Keio University - Tokyo)
|
|
|
Completeness and cut elimination theorems, and the Gödel-Kolmogorof interpretation
|
|||