Topic outline

  • Cvičení M. Vomlelové

    Not available unless any of:
    • You belong to vom10
    • You belong to vom14
    • You belong to 22vomPa
    • You belong to 22vomSt ...
  • Cvičení Jan Hric CT+PA

    Materiály:

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

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

    Požadavky:

    Uspět ve dvou zápočtových testech: na výrokovou logiku a predikátovou logiku, a

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

    DU: 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 (.jpg).

    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 2022/23: u Jakuba Bulína, učební text

    http://ktiml.mff.cuni.cz/~bulin ...

    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, bude v případě potřeby)

    https://cuni-cz.zoom.us/...    CT 9:00 VPL, heslo: ...   PA 12:20 VPL, heslo: ...

    Not available unless any of:
    • You belong to 21hricPo
    • You belong to 22HricCt
    • You belong to 22HricPa
  • Nahrávky cvičení 2020/21 Jan Hric, Zoom

    Not available unless any of:
    • You belong to 21hricPo
    • You belong to 21hricSt
    • You belong to patekHric