Zpět na vyhledávání

Bc. Martin POSPÍŠIL

Master's thesis

Časové operátory

Tense operators
Abstract:
V této diplomové práci je shrnuto několik přístupů k zavedení operátorů modelujících časovou škálu nebo časy do klasických i neklasických logik a prezentace reprezentačních vět pro tzv. tense Booleovy algebry a tense MV-algebry. V úvodu je čtenář seznámen se základními pojmy, tense logikou a tense operátory. Následně je popsáno zavedení tense Booleových algeber a představeny reprezentační věty pro …more
Abstract:
In this final thesis there is summarized several approaches to introduction to operators which models time scale or times to classical and nonclassical logic and presentation of representation sentences for tense Boolean algebras and tense MV-algebras. Firstly, in the final thesis there is an introduction to basic concepts, tense logic and tense operators. Subsequently there are described tense Boolean …more
 

Keywords

Časové operátory tense operátory Booleovy algebra Booleovy algebry tense Booleova algebra tense Booleovy algebry časová logika tense logika konstrukce časových operátorů konstrukce tense operátorů reprezentační věta MV-algebra MV-algebry MV-term MV-termy dyadická čísla tense MV-algebra tense MV-algebry svaz svazy základní pojmy faktorizace faktorová algebra direktní součin subdirektní součin
 
Language used: Czech
Date on which the thesis was submitted / produced: 29. 6. 2016

Thesis defence

  • Supervisor: doc. Mgr. Michal Botur, Ph.D.

Citation record

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

POSPÍŠIL, Martin. Časové operátory. Olomouc, 2016. diplomová práce (Mgr.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • 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
https://portal.upol.cz/wps/PA_StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=200596 Reference to the local database file of the institution

PALACKÝ UNIVERSITY OLOMOUC

Faculty of Science

Master programme / field:
Mathematics / Discrete Mathematics

Theses on a related topic

List of theses with an identical keyword.
 
Name
Posted by
Uploaded/Created
Rights
Theses qyn208 qyn208/2
29/6/2016
Folders
Files
thesis Diplomova_prace_-_Bc_Martin_Pospisil.pdf
MARKLOVÁ, E.
30/6/2016

  • 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í.