- Messaggi: 291
- Ringraziamenti ricevuti 0
INFORMATICA TEORICA 07/08
- COM_EASYSOCIAL_GUEST_NAME
-
- Visitatori
-
18 Anni 4 Settimane fa #56597
da COM_EASYSOCIAL_GUEST_NAME
In realtà ha dimostrato un'altra cosa, riguardante i least upper bound e le funzioni continue sui cpo (ma non saprei dirvi il nome del teorema..), ha nominato il teorema di Kleene solamente perché lo schema della dimostrazione è lo stesso.. non vorrei che qualcuno si studiasse cose che non sono nel corso.. fossero poche..
Risposta da COM_EASYSOCIAL_GUEST_NAME al topic INFORMATICA TEORICA 07/08
dimostrazione del teorema di kleene
In realtà ha dimostrato un'altra cosa, riguardante i least upper bound e le funzioni continue sui cpo (ma non saprei dirvi il nome del teorema..), ha nominato il teorema di Kleene solamente perché lo schema della dimostrazione è lo stesso.. non vorrei che qualcuno si studiasse cose che non sono nel corso.. fossero poche..
Si prega Accedi o Crea un account a partecipare alla conversazione.
- alessandra la valle reale
-
- Offline
- Elite Member
-
Riduci
Di più
18 Anni 3 Settimane fa #56725
da alessandra la valle reale
Risposta da alessandra la valle reale al topic INFORMATICA TEORICA 07/08
Grazie mille
Si prega Accedi o Crea un account a partecipare alla conversazione.
- alessandra la valle reale
-
- Offline
- Elite Member
-
Riduci
Di più
- Messaggi: 291
- Ringraziamenti ricevuti 0
18 Anni 2 Settimane fa #57182
da alessandra la valle reale
Risposta da alessandra la valle reale al topic INFORMATICA TEORICA 07/08
Qualcuno mi saprebbe gentilmente dire cosa ha fatto ieri (lunedi 12) e oggi?
Si prega Accedi o Crea un account a partecipare alla conversazione.
- COM_EASYSOCIAL_GUEST_NAME
-
- Visitatori
-
18 Anni 2 Settimane fa #57203
da COM_EASYSOCIAL_GUEST_NAME
Risposta da COM_EASYSOCIAL_GUEST_NAME al topic INFORMATICA TEORICA 07/08
lunedì: alcune cose che non saprei classificare (per mia ignoranza) e l'introduzione ad "higher order typed languages".
martedì: dispensa "operational semantics for rec" consegnata lo stesso giorno in aula e proseguimento della discussione su "higher order typed languages".
per l'errata corrige rimando ad arale.
martedì: dispensa "operational semantics for rec" consegnata lo stesso giorno in aula e proseguimento della discussione su "higher order typed languages".
per l'errata corrige rimando ad arale.
Si prega Accedi o Crea un account a partecipare alla conversazione.
- alessandra la valle reale
-
- Offline
- Elite Member
-
Riduci
Di più
- Messaggi: 291
- Ringraziamenti ricevuti 0
18 Anni 2 Settimane fa #57207
da alessandra la valle reale
Risposta da alessandra la valle reale al topic INFORMATICA TEORICA 07/08
grazie mille
Si prega Accedi o Crea un account a partecipare alla conversazione.
- COM_EASYSOCIAL_GUEST_NAME
-
- Visitatori
-
18 Anni 2 Settimane fa #57389
da COM_EASYSOCIAL_GUEST_NAME
salve sono del secondo anno e tra un po mi tocchera conoscere il prof. pettorossi, al corso di ALT al 2°ciclo. ne ho sentito molto parlare e mi avete quasi intimorito!
secondo voi terrà in modo quasi umano anche il corso di ALT oltre che il vostro di IT??
Risposta da COM_EASYSOCIAL_GUEST_NAME al topic INFORMATICA TEORICA 07/08
Ora che il corso è obbligatorio doveva per forza darsi una regolata, e così è stato!
Meno male, non avevo intuito male allora!
salve sono del secondo anno e tra un po mi tocchera conoscere il prof. pettorossi, al corso di ALT al 2°ciclo. ne ho sentito molto parlare e mi avete quasi intimorito!
Si prega Accedi o Crea un account a partecipare alla conversazione.