This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n11http://purl.org/net/nknouf/ns/bibtex#
n7http://localhost/temp/predkladatel/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/resource/domain/vavai/subjekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n8https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61988987%3A17310%2F13%3AA140193D%21RIV14-MSM-17310___/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61988987%3A17310%2F13%3AA140193D%21RIV14-MSM-17310___
rdf:type
n13:Vysledek skos:Concept
dcterms:description
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 %22p%22 or %22q%22 represent all phrases like %22Paul is in the Library%22 and %22Guido is in the library.%22 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 %22? p%22. With these building blocks, we can formalize and complex sentences. 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. 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.
dcterms:title
Formální logické systémy pro aplikaci v informatice Formal logic systems for applications in computer science Formální logické systémy pro aplikaci v informatice
skos:prefLabel
Formální logické systémy pro aplikaci v informatice Formal logic systems for applications in computer science Formální logické systémy pro aplikaci v informatice
skos:notation
RIV/61988987:17310/13:A140193D!RIV14-MSM-17310___
n13:predkladatel
n18:orjk%3A17310
n3:aktivita
n9:O
n3:aktivity
O
n3:dodaniDat
n16:2014
n3:domaciTvurceVysledku
n10:2668386
n3:druhVysledku
n5:D
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
75507
n3:idVysledku
RIV/61988987:17310/13:A140193D
n3:jazykVysledku
n21:cze
n3:klicovaSlova
logika; modální K-logika; nemonotónnost; monotónnost; default logika; deskripční logika
n3:klicoveSlovo
n4:mod%C3%A1ln%C3%AD%20K-logika n4:nemonot%C3%B3nnost n4:deskrip%C4%8Dn%C3%AD%20logika n4:default%20logika n4:logika n4:monot%C3%B3nnost
n3:kontrolniKodProRIV
[EA5CA15D8492]
n3:mistoKonaniAkce
Hradec nad Moravicí
n3:mistoVydani
Ostrava
n3:nazevZdroje
Sborník rozšířených anotací Balíčků odborných kompetencí 2. díl
n3:obor
n12:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n16:2013
n3:tvurceVysledku
Žáček, Martin
n3:typAkce
n20:CST
n3:zahajeniAkce
2013-03-19+01:00
s:numberOfPages
5
n11:hasPublisher
Ostravská univerzita v Ostravě
n8:isbn
978-80-7464-354-5
n7:organizacniJednotka
17310