Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

SLIWOWICA

 

NP-completeness of BCI


Prelegent: Paweł Urzyczyn

2021-10-22 12:15

We will see a proof of NP-completness of propositional implicational logic BCI, in which each assumption is used exactly once.