About: Formální logické systémy pro aplikaci v informatice

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Formální logické systémy pro aplikaci v informatice Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. 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. (cs) 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. (en)
Title	Formální logické systémy pro aplikaci v informatice Formální logické systémy pro aplikaci v informatice (cs) Formal logic systems for applications in computer science (en)
skos:prefLabel	Formální logické systémy pro aplikaci v informatice Formální logické systémy pro aplikaci v informatice (cs) Formal logic systems for applications in computer science (en)
skos:notation	RIV/61988987:17310/13:A140193D!RIV14-MSM-17310___
http://linked.open...avai/riv/aktivita	O
http://linked.open...avai/riv/aktivity	O
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Žáček, Martin
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Ostravská univerzita v Ostravě / Přírodovědecká fakulta
http://linked.open...dnocenehoVysledku	75507
http://linked.open...ai/riv/idVysledku	RIV/61988987:17310/13:A140193D
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	logika; modální K-logika; nemonotónnost; monotónnost; default logika; deskripční logika (en)
http://linked.open.../riv/klicoveSlovo	default logika deskripční logika logika modální K-logika monotónnost nemonotónnost
http://linked.open...ontrolniKodProRIV	[EA5CA15D8492]
http://linked.open...v/mistoKonaniAkce	Hradec nad Moravicí
http://linked.open...i/riv/mistoVydani	Ostrava
http://linked.open...i/riv/nazevZdroje	Sborník rozšířených anotací Balíčků odborných kompetencí 2. díl
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Žáček, Martin
http://linked.open...vavai/riv/typAkce	CST - Celostátní
http://linked.open.../riv/zahajeniAkce	2013-03-19 (xsd:date)
number of pages	5 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Ostravská univerzita v Ostravě
https://schema.org/isbn	978-80-7464-354-5
http://localhost/t...ganizacniJednotka	17310

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software