Národní úložiště šedé literatury Nalezeno 56 záznamů.  začátekpředchozí27 - 36dalšíkonec  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Logická hra Futoshiki
Benedikti, Tomáš ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato práce se zaobírá problematikou logických her a hlavolamů. Hlavním zaměřením je hra Futoshiki, její historie a pravidla. Detailně se popisují algoritmy použité ve vytvořené aplikaci, od jejich návrhu po implementaci. Poslední částí je tvorba uživatelského rozhraní a testovaní úspěšnosti aplikace.
Logická hra Kakuro
Hodáň, Ján ; Šuška, Boris (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato práce stručně popisuje historii logiky a logických her. Podrobně vysvětluje pravidla a způsoby řešení hry kakuro. Do hloubky bude rozebrána problematika a způsoby implementace této hry. V posledních kapitolách bude vysvětlen způsob, kterým je logická hra implementována a způsoby testování.
Metody návrhu bezpečnostních protokolů
Hranáč, Jakub ; Ryšavý, Ondřej (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato práce popisuje několik metod návrhu bezpečnostních protokolů. Metoda " A Simple Logic for Authentication Protocol Design" je následně implementována včetně vlastního rozšíření o počáteční vlastnictví zpráv a oprávnění zprávy přeposílat.
Algoritmy pro umělou inteligenci
Petrželka, Jan ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá algoritmy používanými v oblasti umělé inteligence, konkrétně se jedná o algoritmy popsané v knize Artificial Inteligence: A Modern Approach autorů Russela a Norviga a jejich implementaci v jazyce Squeak Smalltalk. Je kladen důraz na objektově orientovaný přístup, který vyplývá z podstaty jazyka Smalltalk. Zdrojem jsou kromě popisů algoritmů v pseudokódu přímo v knize také existující implementace v jazycích Lisp, Python a Java. Tato práce se věnuje algoritmům pro práci s inteligentními agenty a prostředími pro simulaci těchto agentů, prohledávání stavového prostoru, hraní her, plánování, logice, pravděpodobnosti a učení.
Vztah klient-server u webových aplikací
Kučera, Petr ; Petřík, Patrik (oponent) ; Šperka, Svatopluk (vedoucí práce)
Tato práce zkoumá možnosti přesunu aplikační logiky ve webových aplikacích ze serverů na klienty s cílem snížit zátěž serverů. Zkoumá činnosti, které mohou být prováděny na straně klientů v oblasti generování HTML kódu ze strukturovaných dat a operací nad daty bez nutnosti komunikace se serverem. Popisuje implementaci JavaScriptového frameworku, který převádí poznatky do praktického využití. Jeho využití demonstruje na jednoduchém informačním systému. Výsledky provedených měření ukazují, že frameworku se cíl podařilo splnit a že touto cestou je možné vytvářet webové aplikace kladoucí důraz na snížení serverové zátěže.
Návrh a realizace učební pomůcky „LOGIK“
Pučegl, Pavel ; Krček, Petr (oponent) ; Marada, Tomáš (vedoucí práce)
Postupné dosluhování a nepříliš velká spokojenost s provedením stávajících panelů pro výuku předmětu „Logické řízení a programovatelné automaty“ vedlo Ústav automatizace a informatiky Vysokého učení technického v Brně k rozhodnutí ke zkonstruování nové učební pomůcky „LOGIK“. Tato pomůcka by měla pomoci při praktickém ověřování znalostí nabytých při výuce předmětu. Studenti by měli mít možnost na této pomůcce realizovat zapojení úloh pomocí kombinačních a sekvenčních logických obvodů. Cílem této práce je návrh a následná realizace této učební pomůcky tak, aby mohla být v budoucnu skutečně použita při výuce.
Inherent Logic and Complexity
Žák, Stanislav
Plný tet: v1208-14 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF
Sbírka problémových úloh z algebry a geometrie
SIGMUNDOVÁ, Alexandra
Hlavním cílem bakalářské práce je vytvořit sbírku řešených příkladů na téma: "problémové úlohy z algebry a geometrie". Sbírka by měla sloužit žákům na druhém stupni základní školy a měla by pomoci při rozvoji logického myšlení pomocí tabulek, grafů nebo obrázků. Příklady jsou rozděleny do tří kapitol, které jsou ještě děleny abecedně do subkapitol.
Sestava programovatelného logického automatu a asynchronního motoru
ČERNÝ, David
Úkolem této bakalářské práce je vytvořit sestavu programovatelného logického automatu se vstupně/výstupními periferiemi. Dále je cílem na této sestavě připravit, naprogramovat a zprovoznit pět úloh, které budou pokrývat základní spektrum úloh pro programovatelný logický automat s využitím digitálních a analogových vstupů a výstupů. Tato sestava bude využitelná pro demonstraci práce s programovatelným logickým automatem při výuce technických předmětů.
Prvky logiky na základní škole
ZEMANOVÁ, Jana
Úvodní část obsahuje zevrubný soupis informací z teorie výrokové logiky, která odpovídá problematice obsažené v příkladech uvedených v práci. Tyto teoretické poznatky jsou vzhledem k potřebám práce rozebírány převážně na úrovni středoškolské matematiky, okrajově zasahují do problematiky vysokoškolské logiky. Praktickou částí je sbírka úloh pro děti na 1. stupni ZŠ a vyhodnocení jejich úspěšnosti při řešení příkladů. Vybrané úlohy jsem dětem zadávala dvakrát. Poprvé na první hodině kroužku, kde děti vyjádřily své názory na možná řešení úloh. Tyto názory nebyly korigovány. Podruhé se děti s příklady setkaly na poslední hodině, poté co absolvovaly všechna přípravná cvičení. Zde již byl vidět pokrok v argumentaci dětí při sdělování výsledků. Teprve na závěr byly děti seznámeny se správnými výsledky. V závěru práce uvádím své zkušenosti a poznatky s problémy z logiky pro děti. Zároveň také několik rad pro učitele a rodiče, jak pracovat a rozvíjet logiku u dětí.

Národní úložiště šedé literatury : Nalezeno 56 záznamů.   začátekpředchozí27 - 36dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.