Number of the records: 1  

Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)

  1. Title statementSoftwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky) [rukopis] / Radek Lipenský
    Additional Variant TitlesSoftwarová podpora výuky předmětu Matematická logika
    Personal name Lipenský, Radek, (dissertant)
    Translated titleSoftware support teaching of the subject Mathematical logic
    Issue data2018
    Phys.des.43 : tab. + 1 x CD
    NoteOponent Jiří Zacpal
    Ved. práce Miroslav Kolařík
    Another responsib. Zacpal, Jiří, 1970- (opponent)
    Kolařík, Miroslav (thesis advisor)
    Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor)
    Keywords výroková logika * bázové spojky * normální formy formulí * sémantické vyplývání * sémantická ekvivalence * logické funkce * propositional calculus * base connectives * normal forms of formulas * semantic results * semantic equivalence * truth functions
    Form, Genre bakalářské práce bachelor's theses
    UDC (043)378.22
    CountryČesko
    Languagečeština
    Document kindPUBLIKAČNÍ ČINNOST
    TitleBc.
    Degree programBakalářský
    Degree programInformatika
    Degreee disciplineAplikovaná informatika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    00179303-415369644.pdf24544.2 KB15.06.2018
    PosudekTyp posudku
    00179303-ved-324211929.pdfPosudek vedoucího
    00179303-opon-169527307.pdfPosudek oponenta

    Výsledek mé bakalářské práce, jejíž stěžejní část tvoří přiložená aplikace, je určen především pro podporu výuky předmětu Matematická logika, vyučovanému na Přírodovědecké fakultě Univerzity Palackého v Olomouci. Daná aplikace se nesoustředí na teoretické základy, které je třeba nastudovat z jiných prací, ale poskytuje uživateli možnost si dané znalosti procvičit na příkladech. Nenahrazuje tedy klasické učebnice, ale je jejich doplňkem. Umožňuje uživateli vkládat vlastní formule výrokové logiky nebo tabulky pravdivostních hodnot a tyto dále analyzovat. Dovoluje posoudit sémantické vyplývání a sémantickou ekvivalenci, převést formuli do normálních forem nebo na formule tvořené pouze bázovými spojkami, posoudit splnitelnost formulí a další. Její součástí je i malý test znalostí. Důraz je kladen predevším na funkčnost a srozumitelnost aplikace, a zároveň se také snaží poskytnout uživateli maximální množství informací. Tato aplikace byla vytvořena ve vývojovém prostředí MS Visual Studio 2010 a pro svůj běh vyžaduje .NET Framework 4.7. Odladěna byla na počítači s operačním systémem Windows 7 Professional SP1. Aplikace je ve formě spustitelného souboru a nevyžaduje instalaci.The result of my Bachelor's Thesis, the core of which is the attached application, is intended primarily to support the teaching of Mathematical Logic, taught at the Faculty of Science of the Palacký University in Olomouc. The given application does not focus on the theoretical basics that need to be studied from other works, but provides the user with the ability to practise the given knowledge on examples. It does not replace classical textbooks, but it is their complement. It allows the user to insert custom formulas of propositional calculus or truth table to analyse them. It allows assessing semantic deduction and semantic equivalence, converting formulas to normal forms, or formulas made up of base connectives only, evaluating formula fulfilment, and more. It also includes a small test of knowledge. Emphasis is put on the functionality and clarity of the application, as well as trying to provide the user with the maximum amount of information. This application was created in MS Visual Studio 2010 development environment and requires .NET Framework 4.7 for its execution. It was debugged on a computer running Windows 7 Professional. The application is in the form of an executable program and does not require installation.

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.