Section: Archiv JH: výuka 2022 | Výroková a predikátová logika | DL 1

DL 1

Section outline

- Select activity Z 1. Cvičení na rozmyšlení
  
  Z 1. Cvičení na rozmyšlení Journal
  
  Students must
  
  Mark as done
- Select activity DÚ1 2022 do CNF, zadan 6./7.10.2022
  
  DÚ1 2022 do CNF, zadan 6./7.10.2022 Assignment
  
  Students must
  
  Mark as done
- Select activity DU2 2022 nand
  
  DU2 2022 nand Assignment
  
  Students must
  
  Mark as done
- Select activity DU4 Patek: semantika struktury
  
  DU4 Patek: semantika struktury Assignment
  
  Students must
  
  Mark as done
- Select activity DU5 Tablo pro PL
  
  DU5 Tablo pro PL Assignment
  
  Students must
  
  Mark as done
- Select activity Náhradní, výroková část
  
  Náhradní, výroková část File PDF
  
  Students must
  
  Mark as done
  
  99.3 KB
- Select activity Náhradní, predikátová část
  
  Náhradní, predikátová část File PDF
  
  Students must
  
  Mark as done
  
  264.0 KB