Program na podporu výuky logiky

Mgr. Iva NAVRÁTILOVÁ

Bakalářská práce

Program for support of teaching of logics

Anotace:

Cílem této práce bylo prostudovat téma "Výroková logika" a poté vytvořit program na podporu výuky části předmětu Matematická logika. Vstupem je posloupnost symbolů, u které program pozná, zdali je či není formule výrokové logiky. Posloupnost obsahuje nejvýše čtyři různé výrokové symboly. Hlavní důraz byl kladen na co možná nejjednodušší ovládání a názornost, aby byl program určen komukoliv, kdo by se rád seznámil se základními pojmy výrokové logiky. Program obsahuje i výukový text poskytující uživateli informace o těchto základních pojmech.

Abstract:

The aim of this work was study topic "Propositional logic" and then create the programme to support teaching part of the subject Mathematical logic. The entrance is symbols succession, in wich program recognizes if is or is not propositional logic formula. Succession contains maximum four different propositional symbol. The main emphasis was given to the simplest possible control and clarity, that the program is intended to anyone, who would like to meet with basic concepts of propositional logic. Program also includes a tutorial text, which provides information about these basic concepts to the user.

Klíčová slova

Výroková logika, formule výrokové logiky, sémantické vyplývání, tabulková metoda, převody formule

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 4. 8. 2014

Zveřejnit od: 4. 8. 2014

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

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

UNIVERZITA PALACKÉHO V OLOMOUCI

Přírodovědecká fakulta

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