Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)

Radek LIPENSKÝ

Bakalářská práce

Software support teaching of the subject Mathematical logic

Anotace:

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.

Abstract:

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.

Klíčová slova

výroková logika, bázové spojky, normální formy formulí, sémantické vyplývání, sémantická ekvivalence, logické funkce

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 15. 6. 2018

Obhajoba závěrečné práce

• Vedoucí: doc. RNDr. Miroslav Kolařík, Ph.D.

UNIVERZITA PALACKÉHO V OLOMOUCI

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Informatika / Aplikovaná informatika