Ing. Tomáš Michek

Bachelor's thesis

Program pro výuku a testování základů výrokové a predikátové logiky

A program for education and testing the basics of propositional and predicate logic
Abstract:
Ve své bakalářské práci se zabývám problematikou výrokové a predikátové logiky. První část práce by měla čtenáře seznámit s významem této části matematiky a s jejími základními pojmy. Druhá část práce se věnuje architektuře výukového pro-gramu, který obsahuje kromě samotné teorie také test a který bude sloužit studentům pro domácí opakování znalostí výrokové a predikátové logiky.
Abstract:
In my baccalaureate work deal with problems propositional and predicate logic. First volume of work would had reader acquaint with meaning those parts mathematics and with her basic notions. Alternative volume of work paies architecture tutorial, that contains except himself theory also test and will be of service students for native repetition knowledge dictum and predicate logic.
 

Keywords

výroková logika predikátová logika programovací jazyky výukové programy
 
Language used: Czech
Date on which the thesis was submitted / produced: 15. 5. 2009

Thesis defence

  • Date of defence: 17. 6. 2009
  • Supervisor: Ing. Soňa Neradová, Ph.D.

Citation record

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

Michek, Tomáš. Program pro výuku a testování základů výrokové a predikátové logiky. Pardubice, 2009. bakalářská práce (Bc.). Univerzita Pardubice. Fakulta elektrotechniky a informatiky

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou nedostupné.
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Univerzita Pardubice, Fakulta elektrotechniky a informatiky
https://portal.upce.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=9821 Reference to the local database file of the institution

University of Pardubice

Faculty of Electrical Engineering and Informatics

Bachelor programme / field:
Information Technology / Information Technology

Theses on a related topic

List of theses with an identical keyword.
All theses