Název:
Řešitel příkladů pro předmět Teoretické základy informatiky
Autoři:
Šimonová, Adriana Typ dokumentu: Bakalářské práce
Rok:
2014
Jazyk:
cze
Abstrakt: [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.
Klíčová slova:
disjunkce; ekvivalence; implikace; konjunkce; negace; pravdivostní tabulka; výrok; výroková logika; řešitel