Section outline

  • General

    Collapse all Expand all
    • Výběr skupiny Group self-selection
      Students must
      Mark as done

      Umožní studentům vybrat skupinu. Až potom se zobrazí obsah sekce konkrétního cvičícího.

    • Opravný zápočtový test Choice

      Opravný test z predikátové logiky plánuji pondělí 13.1. v 11:00 v S8.

      Vyhovuje? Raději středa 9:00?

  • Cvičení M. Vomlelové

  • Cvičení Jan Hric CT+PA

    Požadavky na zápočet:
     

    Dosáhnout 140 bodů z celkem 250 b. (Požadavky jsou synchronizované přes cvičení v rámci přednášky.) Budou 2 zápočtové písemky za 100 b, na výrokovou logiku a predikátovou logiku. Dalších 50 bodů bude za Domácí Úkoly. Jeden (hlavní) z nich za 40b. bude použít SAT solver.

    DU: Na cvičení a v Moodlu zadám příklad. 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), s .txt a .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. Můžete se taky "poradit" s ChatGPT (doporučení: nedělejte to), ale za správnost ručíte vy.

    Materiály:

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

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

    Přednáška: ZS 2024/25: u Jakuba Bulína, učební text

    https://ktiml.mff.cuni.cz/~bulin ... (nebo jinde podle instrukcí přednášejícího)

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

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

    Stránka cvičení (které budeme používat): https://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/...   

  • Archiv JH: výuka 2022

  • Nahrávky cvičení 2020/21 Jan Hric, Zoom