Section outline

  • Collapse Expand

    General

    Collapse all Expand all

    • Informace k přednášce dr. Bulína najdete zde Přednáška Nail062

    • 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.

  • Collapse Expand

    Cvičení M. Vomlelové

      • Collapse Expand

        Zápočty, Projekty atd.

        • Podmínky pro zápočet:

          K získání zápočtu je třeba získat celkem 140 bodů a z každého testu minimálně 40 bodů. V průběhu semestru budou dva zápočtové testy. První (út 3.11.,pá 13.11. ) bude pokrývat část přednášky "Výroková logika", druhý (5.1./8.1.) část přednášky "Predikátová logika". (Část přednášky "Pokročilé partie" se budou testovat u zkoušky.)
          • Za každý z testů lze získat maximálně 100 bodů.
          • Kromě toho lze získat maximálně 50 bodů aktivitu v hodině, 'teoretické' domácí úkoly a projekt v SAT solveru.
          • Za projekt můžete dostat body pouze, pokud do konce listopadu odevzdáte 'rozumně funkční' řešení s vysvětlením postupu řešení, funkčním příkladem vstupů, spuštění a výstupů včetně jejich interpretace a následně v rámci krátké konzultace prezentujete (termíny pro prezentaci budou v prosinci a lednu).
            •  Volba tématu projektu se otvírá ???(dohodneme na cvičeních, např.14.10. v 7:30).
            • Projekt (link na github) nutné odevzdat do konce listopadu do SIS Průběžné mezivýsledky a někdy (později) na konzultaci předvést.
            • Témata a zákaz AI i cizí pomoci můžete studovat už nyní sat-projekt.pdf
          Na konci semestru bude možnost opravit každý test jednou napsáním opravného testu. Termín by měl být v prvních dvou týdnech zkouškového období.
           
          Zápočty z loňského roku se neuznávají.
        • Konzultace: 
          Úterý 10:40-11:40 v S303.

          Po dohodě i po cvičení v pátek.

        • 1. cvičení Formule, pravdivostní hodnota File
          Students must
          Mark as done
        • Návrhy na SAT solver projekt Database

          Máte nápad na SAT solver projekt, který není v seznamu? Sem s ním. Pořadí eviduje systém, k projektům dodávám 'maximální počet bodů' v případech, kdy mi navržený projekt přijde jednodušší než většina 'v oficiálním seznamu'.

        • Témata pro aplikaci SAT solveru - úterý cvič. Vomlelová Signup sheet
        • Témata pro aplikaci SAT solveru - pátek cvič. Vomlelová Signup sheet
    • Cvičný test File
      Students must
      Mark as done
    • Nástin řešení cvičného testu File
      Available from 27 October 2026
    • Pár častých chyb v predikátové logice File
      Students must
      Mark as done
    • Vzorový test PL File
      Students must
      Mark as done
  • Collapse Expand

    Cvičení J. Bulína

    • Informace k přednášce i cvičení najdete zde:

  • Collapse Expand

    Cvičení Jan Hric ST+PA

    Požadavky na zápočet 2025/26:
     

    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: Dvě sady příkladů na VL a PL, v Moodlu. Standardní odevzdání do Moodlu, pak opravím a ohodnotím a v Moodlu máte zpětnou vazbu. Můžete odevzdávat dokumenty (.pdf), s .txt, .md a .doc jsou trochu problémy (tj. nepoužívejte, převeďte do .pdf), 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 2025/26: 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/...   

  • Collapse Expand

    Archiv JH: výuka 2022

  • Collapse Expand

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

  • Collapse Expand

    Archiv společný