Skip to content

Latest commit

 

History

History
32 lines (25 loc) · 1.71 KB

File metadata and controls

32 lines (25 loc) · 1.71 KB

Pracovné hárky z Logiky pre informatikov

:::div{.d-none}

Pracovné hárky otvárajte v aplikácii Logic Workbook (viď krátky návod). Iba v nej správne fungujú odkazy na hárky v tabuľke. Tento prehľad sa v aplikácii zobrazí automaticky po prihlásení.

:::

:::div{.table.table-w-auto}

Týždeň Cvičenie Domáca úloha
1 tc01: Atomické formuly a štruktúry
2 tc02: Výrokovologické formuly a ohodnotenia du01 (do 1. marca)
3 tc03: Sémantické vlastnosti výrokovologických formúl, výrokovologické vyplývanie, ekvivalencia
4 tc04: Výrokovologické tablá du02 (do 15. marca)
5 tc05: Splnitelnost, falzifikovatelnost a nezavislost v tablach
6 tc06: Korektné pravidlá, tvrdenia o vyplývaní a tablách du03 (do 7. apríla)
7 tc07: Kvantifikátory
8 du04 (do 19. apríla)

:::

Návody a dokumenty