fbpx
Skip to main content

INFORMATICA TEORICA 07/08

  • COM_EASYSOCIAL_GUEST_NAME
  • Avatar di COM_EASYSOCIAL_GUEST_NAME
  • Visitatori
  • Visitatori
18 Anni 4 Settimane fa #56597 da COM_EASYSOCIAL_GUEST_NAME
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.. :wink:

Si prega Accedi o Crea un account a partecipare alla conversazione.

Di più
18 Anni 3 Settimane fa #56725 da alessandra la valle reale
Grazie mille :)

Si prega Accedi o Crea un account a partecipare alla conversazione.

Di più
18 Anni 2 Settimane fa #57182 da alessandra la valle reale
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
  • Avatar di COM_EASYSOCIAL_GUEST_NAME
  • Visitatori
  • 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.

Si prega Accedi o Crea un account a partecipare alla conversazione.

Di più
18 Anni 2 Settimane fa #57207 da alessandra la valle reale
grazie mille :)

Si prega Accedi o Crea un account a partecipare alla conversazione.

  • COM_EASYSOCIAL_GUEST_NAME
  • Avatar di COM_EASYSOCIAL_GUEST_NAME
  • Visitatori
  • Visitatori
18 Anni 2 Settimane fa #57389 da COM_EASYSOCIAL_GUEST_NAME
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! :) secondo voi terrà in modo quasi umano anche il corso di ALT oltre che il vostro di IT??

Si prega Accedi o Crea un account a partecipare alla conversazione.