Original title:
Řešitel příkladů pro předmět Teoretické základy informatiky
Authors:
Šimonová, Adriana Document type: Bachelor's theses
Year:
2014
Language:
cze Abstract:
[cze][eng] Šimonová A., Řešitel příkladů pro předmět Teoretické základy informatiky. Bakalářská práce. Mendelova univerzita v Brně, 2013. Bakalářská práce je zaměřena na předmět Teoretické základy informatiky, konkrétně na výrokovou logiku. V teoretické části práce je popsána teorie výrokové logiky, tak aby čtenáři danou problematiku pochopili. V druhé části práce, je poté popisována práce se samotným řešitelem příkladů.Šimonová A., A researcher of examples for a subject of Theoretical basics of informatics. Mendel Univerity in Brno, 2013. Bachelor thesis is focused on the subject - Theoretical basics of informatics, specifically on propositional calculus. In the theoretical part is described a theory of propositional calculus to be understood this issue by readers. In the second part the bachelor thesis is described by the researcher of examples.
Keywords:
disjunkce; ekvivalence; implikace; konjunkce; negace; pravdivostní tabulka; výrok; výroková logika; řešitel