Osnova témat

  • Cvičení M. Vomlelové

    Přístup je omezen následujícím způsobem - není dostupné, pokud není splněna aspoň jedna z podmínek:
    • Patříte k vom10
    • Patříte k vom14
    • Patříte k 22vomPa
    • Patříte k 22vomSt ...
  • Cvičení Jan Hric Po+St

    Materiály:

    Příklady na první cca. 2 cvičení + SAT solver:

    https://ktiml.mff.cuni.cz/%7Ehric/vyuka/prikl_vpl.htm

    Požadavky:

    2/3 bodů z Domácích Úkolů (DU).

    Zápočet za domácí úkoly. Na cvičení a v Moodlu zadám příklad, standardně za 5 bodů. Standardní odevzdání do Moodlu do příštího cvičení, do dalšího cvičení pak opravím a ohodnotím a v Moodlu máte zpětnou vazbu. Můžete odevzdávat dokumenty (.pdf, .txt), s .doc jsou trochu problémy, nebo přefocené obrázky.

    O úkolech se můžete diskutovat a poradit se se spolužáky, ale odevzdané řešení má být Vaše práce.

    Přednáška: ZS 2021/22:

    Stránka přednášky VPL u Petra Gregora: http://ktiml.mff.cuni.cz/~gregor/logika/index.html

    Stránka cvičení (které budeme používat): http://ktiml.mff.cuni.cz/~gregor/logika2019/cviceni.html

    ZOOM (až pro distanční výuku, do konce semestru)

    https://cuni-cz.zoom.us/j/93209229404?pwd=dDdZZ004aDdrSzhOVW9qVnVPOUlnQT09    PO 12:20 VPL, heslo: Tablo

    https://cuni-cz.zoom.us/j/91709016802?pwd=UVUvVE0wbWVEVzFtZTZFb1hBSVFOZz09    St 15:40 VPL, heslo: Tablo 

    Přístup je omezen následujícím způsobem - není dostupné, pokud není splněna aspoň jedna z podmínek:
    • Patříte k patekHric
    • Patříte k 21hricPo
    • Patříte k 21hricSt
  • Nahrávky cvičení 2020/21 Jan Hric, Zoom

    Přístup je omezen následujícím způsobem - není dostupné, pokud není splněna aspoň jedna z podmínek:
    • Patříte k 21hricPo
    • Patříte k 21hricSt
    • Patříte k patekHric