204SM - LOGICA 2015, Sezione: Riduzioni di problemi imperniate sulla soddisfacibilita` proposizionale | Moodle@Units

Home Corsi Supporto

Schema della sezione

16 marzo 2016, aula 5C edificio H2bis, h 16:00-18:00
- Seleziona attività Riscrittura di qualsiasi istanza di CNF-SAT come u...
  
  Riscrittura di qualsiasi istanza di CNF-SAT come un problema di 'unificazione' insiemistica
  Riscrittura di qualsiasi istanza del problema della soddisfacibilità proposizionale come un'istanza di 3CNF-SAT
  Riscrittura di qualsiasi istanza del problema 3CNF-SAT come istanza del X problema di Hilbert
  -----
  Elencazione di tutte le dimostrazioni della logica proposizionale
- Seleziona attività Cenni sull'unificazione insiemistica e la riduzione ad essa del problema della soddisfacililita` di enunciati proposizionali in forma normale congiuntiva
  
  Cenni sull'unificazione insiemistica e la riduzione ad essa del problema della soddisfacililita` di enunciati proposizionali in forma normale congiuntiva File PDF