Počet záznamů: 1
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
Údaje o názvu Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky) [rukopis] / Radek Lipenský Další variantní názvy Softwarová podpora výuky předmětu Matematická logika Osobní jméno Lipenský, Radek, (autor diplomové práce nebo disertace) Překl.náz Software support teaching of the subject Mathematical logic Vyd.údaje 2018 Fyz.popis 43 : tab. + 1 x CD Poznámka Oponent Jiří Zacpal Ved. práce Miroslav Kolařík Dal.odpovědnost Zacpal, Jiří, 1970- (oponent) Kolařík, Miroslav (vedoucí diplomové práce nebo disertace) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova výroková logika * bázové spojky * normální formy formulí * sémantické vyplývání * sémantická ekvivalence * logické funkce * propositional calculus * base connectives * normal forms of formulas * semantic results * semantic equivalence * truth functions Forma, žánr bakalářské práce bachelor's theses MDT (043)378.22 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Bc. Studijní program Bakalářský Studijní program Informatika Studijní obor Aplikovaná informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00179303-415369644.pdf 24 544.2 KB 15.06.2018 Posudek Typ posudku 00179303-ved-324211929.pdf Posudek vedoucího 00179303-opon-169527307.pdf Posudek oponenta
Výsledek mé bakalářské práce, jejíž stěžejní část tvoří přiložená aplikace, je určen především pro podporu výuky předmětu Matematická logika, vyučovanému na Přírodovědecké fakultě Univerzity Palackého v Olomouci. Daná aplikace se nesoustředí na teoretické základy, které je třeba nastudovat z jiných prací, ale poskytuje uživateli možnost si dané znalosti procvičit na příkladech. Nenahrazuje tedy klasické učebnice, ale je jejich doplňkem. Umožňuje uživateli vkládat vlastní formule výrokové logiky nebo tabulky pravdivostních hodnot a tyto dále analyzovat. Dovoluje posoudit sémantické vyplývání a sémantickou ekvivalenci, převést formuli do normálních forem nebo na formule tvořené pouze bázovými spojkami, posoudit splnitelnost formulí a další. Její součástí je i malý test znalostí. Důraz je kladen predevším na funkčnost a srozumitelnost aplikace, a zároveň se také snaží poskytnout uživateli maximální množství informací. Tato aplikace byla vytvořena ve vývojovém prostředí MS Visual Studio 2010 a pro svůj běh vyžaduje .NET Framework 4.7. Odladěna byla na počítači s operačním systémem Windows 7 Professional SP1. Aplikace je ve formě spustitelného souboru a nevyžaduje instalaci.The result of my Bachelor's Thesis, the core of which is the attached application, is intended primarily to support the teaching of Mathematical Logic, taught at the Faculty of Science of the Palacký University in Olomouc. The given application does not focus on the theoretical basics that need to be studied from other works, but provides the user with the ability to practise the given knowledge on examples. It does not replace classical textbooks, but it is their complement. It allows the user to insert custom formulas of propositional calculus or truth table to analyse them. It allows assessing semantic deduction and semantic equivalence, converting formulas to normal forms, or formulas made up of base connectives only, evaluating formula fulfilment, and more. It also includes a small test of knowledge. Emphasis is put on the functionality and clarity of the application, as well as trying to provide the user with the maximum amount of information. This application was created in MS Visual Studio 2010 development environment and requires .NET Framework 4.7 for its execution. It was debugged on a computer running Windows 7 Professional. The application is in the form of an executable program and does not require installation.
Počet záznamů: 1