Formal logic systems for applications in computer science
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F13%3AA140193D" target="_blank" >RIV/61988987:17310/13:A140193D - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Formální logické systémy pro aplikaci v informatice
Original language description
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.
Czech name
Formální logické systémy pro aplikaci v informatice
Czech description
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.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
O - Projekt operacniho programu
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Sborník rozšířených anotací Balíčků odborných kompetencí 2. díl
ISBN
978-80-7464-354-5
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
59-63
Publisher name
Ostravská univerzita v Ostravě
Place of publication
Ostrava
Event location
Hradec nad Moravicí
Event date
Mar 19, 2013
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—