Problémové úlohy z oblasti teorie vyčíslitelnosti – Petr STÁREK
Petr STÁREK
Bachelor's thesis
Problémové úlohy z oblasti teorie vyčíslitelnosti
Problem-oriented tasks from theory of algorithms
Abstract:
Cílem této práce je navrhnout a vypracovat metodiku řešení úloh pomocí Turingových strojů, RAM strojů a dále řešení problematiky Postova korespondenčního problému podpořenou ukázkami řešení konkrétních problémů. Důraz se klade na názornost řešených úloh a srozumitelnost jejich reprezentace. Úlohy jsou řešeny z různých pohledů a do detailu.Abstract:
The purpose of this thesis is to design and work out the methodic of problem-solving by Turing machines, RAM machines and the solution of the Post correspondence problem supported with examples of particular-problem solutions. The thesis is focused on an illustration and an intelligibility of represented solutions. The problems are solved from different points of view and in details.
Language used: Czech
Date on which the thesis was submitted / produced: 22. 4. 2013
Accessible from:: 22. 4. 2013
Thesis defence
- Supervisor: doc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Citation record
The right form of listing the thesis as a source quoted
STÁREK, Petr. Problémové úlohy z oblasti teorie vyčíslitelnosti. Ostrava, 2013. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 22.4.2013
Contents of on-line thesis archive
Published in Theses:- Soubory jsou od 22. 4. 2013 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceBachelor programme / field:
Information Science / Information Science
Theses on a related topic
-
Problémové úlohy z oblasti teorie vyčíslitelnosti
Zuzana KALUSKOVÁ -
Komponenta výukového serveru TI - Turingovy stroje
Martin Pustka -
Webový simulátor Turingova stroje
Dominik Jochec -
Varianty a modifikace Turingova stroje
Ondřej HLOŽANKA -
Estetika a Waltonovský stroj
Hynek Moliš -
CNC řezací stroj s technologií laserového paprsku
Martin Maršík -
Převod výroby vybrané součástky z konvenčního stroje na CNC stroj
Marcel MAREŠ -
Lapovací stroj pro zpětné klapky v provedení kov/kov
Vojtěch Jesionka