Michal Šedík

Diplomová práce

Formalizace spojky implikace v klasické a neklasické logice

Formalization of the propositional connective implication in a classical as well as non-classical logic
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 26. 6. 2009

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

  • Obhajoba proběhla 29. 6. 2009
  • Vedoucí: Ivan Chajda
  • Oponent: Petr Emanovský

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou od 26. 6. 2009 dostupné: světu

Univerzita Palackého

Přírodovědecká fakulta

Magisterský studijní program / obor:
Fyzika / matematika - fyzika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.
 
Název
Vložil
Vloženo
Práva
Theses olhvqx olhvqx/2
20. 7. 2009
Složky
Soubory
PDF 9239-545766566.pdf
Nejezchleba, O.
1. 3. 2010

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