OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : stať ve sborníku (D)
Domácí pracoviště * : Katedra informatiky a počítačů (31400)
Název * : Formální logické systémy pro aplikaci v informatice
Citace : Žáček, M. Formální logické systémy pro aplikaci v informatice. In: Sborník rozšířených anotací Balíčků odborných kompetencí 2. díl. Ostrava: Ostravská univerzita v Ostravě, 2013. Ostravská univerzita v Ostravě, 2013. s. 59-63. ISBN 978-80-7464-354-5.
Podnázev :
Rok * : 2013
Obor * : Informatika
Počet stran * : 5
Strana od * : 59
Strana do * : 63
Forma vydání * : Tištená verze
Kód ISBN * : 978-80-7464-354-5
Kód ISSN :
Název sborníku * : Sborník rozšířených anotací Balíčků odborných kompetencí 2. díl
Sborník : Národní
Název nakladatele * : Ostravská univerzita v Ostravě
Místo vydání * : Ostrava
Stát vydání : Sborník vydaný v ČR
Název konference : Zvyšování odborných kompetencí akademických pracovníků Ostravské univerzity v Ostravě a Slezské univerzity v Opavě
Místo konání konference * : Hradec nad Moravicí
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Celostátní akce
Kód UT WoS :
EID :
Klíčová slova anglicky * :
logika, modální K-logika, nemonotónnost, monotónnost, default logika, deskripční logika
Popis v původním jazyce * :
Cílem tohoto článku není vysvětlit všechny úskalí logik, ale pouze přiblížit čtenáři formální logické systémy, které jsou vhodné pro aplikaci v informatice. Současná formální logika je schopna vyjádřit nejrůznější deduktivní soudy. Nejjednodušším systémem formální logiky je propoziční logika, kde vzorce typu ?p? nebo ?q? zastupují celé vety typu ?Pavel je v knihovně? a ?Quido je v knihovně?. Jednoduché vzorce se kombinují do složitějších pomocí symbolů & (and, a), ? (or, nebo), -> (if-then, jestliže-pak). Věty typu jestliže-pak se nazývají větami podmínkovými (kondicionály). Negace se zapisuje jako ??p?. S pomocí těchto stavebních kamenů můžeme formalizovat i složitější věty.
Popis v anglickém jazyce * :
The aim of this article is not to explain all the pitfalls of logic but only to provide the reader a formal logical systems that are appropriate for application in computer science. The current formal logic is able to express different deductive courts. The simplest system of formal logic, propositional logic, where a formula like "p" or "q" represent all phrases like "Paul is in the Library" and "Guido is in the library." Simple formulas are combined into complex symbols using & (and and), ? (or or) -> (if-then, if-then). Sentences such as if-then called the sentences podmínkovými (conditionals). Negation is written as "? p". With these building blocks, we can formalize and complex sentences.
Typ zdroje financování výsledku * : Operační programy
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17310/13:A140193D

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}