Topics in logic, probability and computation

A.A. 2021/2022
Course offered to students on the PhD programme in
3
Crediti
16
Ore totali
Periodo
Gennaio 2022
Lingua
Inglese
Docente responsabile: Hykel Hosni
Il corso mira a introdurre i principali strumenti e metodi di analisi offerti da diversi sistemi logici. Mira anche a familiarizzare gli studenti con il ragionamento probabilistico e computazionale di livello elementare.
Obbligatorio per i dottorandi iscritti al corso.
Numero massimo di partecipanti: 10
Modalità di valutazione
Giudizio di approvazione
Giudizio di valutazione
superato/non superato
Iscrizioni

Scadenze

Il termine di iscrizione ai corsi è previsto generalmente entro il 25° giorno del mese precedente al mese di avvio, in particolare:

  • per i corsi in avvio a dicembre 2021 fino al 25 novembre 2021
  • per i corsi in avvio a gennaio 2022 fino al 27 dicembre 2021
  • per i corsi in avvio a febbraio 2022 fino al 25 gennaio 2022.

Saranno rese note appena possibile le scadenze di iscrizione ai corsi in avvio nei mesi successivi.

Come iscriversi

  1. Autenticarsi al servizio di iscrizione con le credenziali di Ateneo
  2. Selezionare l’insegnamento scelto e cliccare su Iscrizione e infine su Iscriviti

Trascurare del tutto la voce "Data di appello" che appare durante la procedura di iscrizione.

Assistenza

Per informazioni e richieste di chiarimento scrivere a: phd@unimi.it

Docente/i
Ricevimento:
Mercoledì 10:00-13:00
Vedi "Altre informazioni" sotto.
Ricevimento:
Il ricevimento studenti è sospeso dal 29 luglio al 4 settembre 2021.
Piattaforma Teams previo appuntamento
Ricevimento:
Il prossimo ricevimento avrà luogo Martedì 07 Settembre, ore 14:00-17:00. Gli studenti sono sempre pregati di contattare il docente per email per confermare data e ora.
Teams/Slack