Formální logické systémy pro aplikaci v informatice
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Formální logické systémy pro aplikaci v informatice
Popis výsledku 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.
Název v anglickém jazyce
Formal logic systems for applications in computer science
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
O - Projekt operacniho programu
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Sborník rozšířených anotací Balíčků odborných kompetencí 2. díl
ISBN
978-80-7464-354-5
ISSN
—
e-ISSN
—
Počet stran výsledku
5
Strana od-do
59-63
Název nakladatele
Ostravská univerzita v Ostravě
Místo vydání
Ostrava
Místo konání akce
Hradec nad Moravicí
Datum konání akce
19. 3. 2013
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—