Přejít k obsahu


Příklady z výrokové logiky

Citace: [] DOSTÁLOVÁ, L. Příklady z výrokové logiky. Dub nad Moravou, 2008.
Druh: PŘEDNÁŠKA, POSTER
Jazyk publikace: cze
Anglický název: Exercises for teaching propositional logic
Rok vydání: 2008
Místo konání: Dub nad Moravou
Autoři: Ludmila Dostálová
Abstrakt CZ: Představení databáze příkladů pro výuku výrokové logiky vytvořené v rámci projektu FRVŠ č. 65/2008/F5/d. Jednalo se o představení struktury databáze (kriteria třízení, návrh hierarchie obtížnosti a principy automatického hodnocení) a její naplnění základními druhy úloh z výrokové logiky, tj. rozpoznání správně utvořených formulí, tabulková metoda, transformace na normální formy a konstrukce úplné normální formy.
Abstrakt EN: Presentation of the e-database of exercises for teaching propositional logic. We introduced the structure of the database - sorting criteria, the measure of difficulty and the principals of automatic grading. Then we present the concrete sorts of exercises, which are accomodated within the database, namely to recognize a wff, to construct a truth-table, to transform to normal form and to construct a complete normal form.
Klíčová slova

Zpět

Patička