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

Institution: Mendel University in Brno (web)
Document availability information: Available in the digital repository of Mendel University.
Original record: http://is.mendelu.cz/zp/index.pl?podrobnosti=50355

Permalink: http://www.nusl.cz/ntk/nusl-179525


The record appears in these collections:
Universities and colleges > Public universities > Mendel University in Brno
Academic theses (ETDs) > Bachelor's theses