|
|
Relace a jejich využití
Čulíková, Markéta ; Novotná, Jarmila (vedoucí práce) ; Zamboj, Michal (oponent)
Bakalářská práce se zabývá relacemi a jejich využitím. První kapitola shrnuje úvodní teoretické poznatky nutné k porozumění tématu relace: prvek, množina, uspořádané dvojice a kartézský součin. U všech těchto pojmů zavádí důležité definice a shrnuje související znalosti. Druhá nimi. Zahrnuje různé způsoby grafického znázornění relací a jejich výhody a nevýhody. Zavádí pojem relace v množině a vysvětluje vlastnosti této relace a z nich plynoucí speciální typy relací. Definuje také pojmy zobrazení a funkce. Třetí kapitola poukazuje na relace v lidském životě - vztazích a ve hrách, ve školním učivu a v logických hádankách. U těchto relací jsou určeny jejich vlastnosti. Znalost relací a jejich vlastností je zde využita k usnadnění řešení logických úloh a hlubšímu porozumění problémů. Práce nabízí také dvě sady úloh. První obsahuje základní úlohy z tématu množiny, uspořádané dvojice, kartézský součin a relace, druhá se zabývá zjišťováním vlastností relací Bakalářská práce je souhrnem znalostí o relacích.
|
|
|
Prostředí Rodokmen v matematice na 1. st. ZŠ
Bartošová, Zuzana ; Jirotková, Darina (vedoucí práce) ; Hejný, Milan (oponent)
Prostředí Rodokmen je jedním z mnoha matematických prostředí uvedených v učebnicích nakladatelství FRAUS, jež vychází z koncepce RVP pro ZV. Toto prostředí je nástrojem pro budování matematických schémat v oblasti pojmů a vztahů mezi nimi a pro rozvoj logiky. V teoretické části diplomové práci začleňuji prostředí Rodokmen do koncepce RVP pro ZV, uvádím základní matematickou a genealogickou terminologii, vymezuji relace v množinovém pojetí, klasifikuji příbuzenské svazky a zabývám se metodikou řešení úloh o věku. V praktické části pak formou experimentu zjišťuji, jak žáci rozumí daným pojmům a v jakých souvislostech, jakým způsobem terminologii aplikují na řešení relačních úloh a úloh o věku, kde do hry vstupují navíc matematické operace a práce s čísly.
|
|
|
Binární relace a zobrazení ve výuce matematiky
Muzikářová, Zdena ; Robová, Jarmila (vedoucí práce) ; Hromadová, Jana (oponent)
Diplomová práce představuje sbírku řešených i neřešených úloh na téma binární relace. Žáci si v ní osvojují různá použití binárních relací ve středoškolské ma- tematice a geometrii. Důraz je kladen především na grafické zobrazení binárních relací, které slouží jako užitečný nástroj k řešení rovnic, nerovnic a jejich soustav. Jedná se o pomocný učební materiál určený pro výuku matematického semináře. Součástí práce je též stručný teoretický výklad potřebných pojmů, které jsou doplněny o relevantní definice a ilustrační příklady 1
|
|
|
Reasoning in Description Logics
Malenko, Jaromír ; Kučera, Antonín (vedoucí práce) ; Lukasová, Alena (oponent) ; Křemen, Petr (oponent)
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr Štěpánek, DrSc.; Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Klíčová slova: Deskriptivní logika, dokazovač, kartézský součin, nemonotónní usuzování Abstrakt: Práce se zabývá následujícími problémy při usuzování v deskriptivní logice. 1. Protože deskriptivní logika (DL) je podmnožinou predikátové logiky (PL), ukážeme použití dokazovače v PL pro dokazování v DL. Implementovali jsme dokazovač v DL na- zvaný dl2fol, který na vstupu dostane ontologii (teorie DL s pravidly), přeloží ji do teorie PL a získanou množinu formulí předá dokazovači v PL. Odpověď dokazovače se použije pro sestavení odpovědi na dotaz týkající se zadané ontologie. 2. Rozšíříme dvě známé DL tak, že zavedeme nový operátor jazyka: kartézský součin konceptů a rolí. To umožní vyjádřit vztahy, které nejsou ve slabších DL vyjádřitelné. V DL SROIQ ukážeme, jak mohou být axiomy kartézského součinu modelovány za použití jiných jazykových operátorů. Pro DL EL++ s kartézskými axiomy představíme polyno- miální algoritmus pro testování subsumpce konceptů. Dokážeme,...
|
|
|
Prostředí Rodokmen v matematice na 1. st. ZŠ
Bartošová, Zuzana ; Jirotková, Darina (vedoucí práce) ; Hejný, Milan (oponent)
Prostředí Rodokmen je jedním z mnoha matematických prostředí uvedených v učebnicích nakladatelství FRAUS, jež vychází z koncepce RVP pro ZV. Toto prostředí je nástrojem pro budování matematických schémat v oblasti pojmů a vztahů mezi nimi a pro rozvoj logiky. V teoretické části diplomové práci začleňuji prostředí Rodokmen do koncepce RVP pro ZV, uvádím základní matematickou a genealogickou terminologii, vymezuji relace v množinovém pojetí, klasifikuji příbuzenské svazky a zabývám se metodikou řešení úloh o věku. V praktické části pak formou experimentu zjišťuji, jak žáci rozumí daným pojmům a v jakých souvislostech, jakým způsobem terminologii aplikují na řešení relačních úloh a úloh o věku, kde do hry vstupují navíc matematické operace a práce s čísly.
|
host ::
RSS.