Mgr. Iva NAVRÁTILOVÁ

Bachelor's thesis

Program na podporu výuky logiky

Program for support of teaching of logics
Abstract:
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 …more
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 …more
 

Keywords

Výroková logika formule výrokové logiky sémantické vyplývání tabulková metoda převody formule
 
Language used: Czech
Date on which the thesis was submitted / produced: 4. 8. 2014
Accessible from:: 4. 8. 2014

Thesis defence

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

Citation record

Cite this text
The right form of listing the thesis as a source quoted

NAVRÁTILOVÁ, Iva. Program na podporu výuky logiky. Olomouc, 2014. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta

Full text of thesis

Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 4.8.2014

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou od 4. 8. 2014 dostupné: světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakulta
 
Name
Posted by
Uploaded/Created
Rights
Theses x6k89p x6k89p/2
5/8/2014
Folders
Files
thesis BP_Iva_Navratilova.pdf
MARKLOVÁ, E.
6/8/2014

  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.