Bc. Tomáš KONEČNÝ

Diplomová práce

Evoluční deduktivní systémy

Evolutionary deductive systems
Anotace:
Cílem práce je rozvinout evoluční techniky pro automatické dokazování. Podmínkou úspěšného řešení práce je schopnost vstřebat pojmy z matematické logiky a umět s nimi pracovat. Znalost programování v Common LISP není podmínkou, ale je vítána.
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 2. 4. 2012
Zveřejnit od: 2. 4. 2012

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

  • Vedoucí: Doc. RNDr. Vilém Vychodil, Ph.D.

Citační záznam

Citovat tuto práci
Jak správně citovat práci

KONEČNÝ, Tomáš. Evoluční deduktivní systémy . Olomouc, 2012. diplomová práce (Mgr.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta

Plný text práce

Právo: Autor si přeje zpřístupnit práci veřejnosti od 2.4.2012

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou od 2. 4. 2012 dostupné: světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakulta

UNIVERZITA PALACKÉHO V OLOMOUCI

Přírodovědecká fakulta

Magisterský studijní program / obor:
Informatika / Informatika

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 f6q7rc f6q7rc/2
16. 8. 2011
Složky
Soubory
thesis diplomka.pdf
MARKLOVÁ, E.
3. 4. 2012

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