About: Executions vs. Constructions     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)

AttributesValues
rdf:type
Description
  • In transparent intensional logic s.c. constructions serves as hyperintensions. Being inspired by notions of single and double execution, executions in a new sense are defined. Then they are compared with constructions - trivialization is thus reinterpreted as an execution of zero executive steps (executing, constructing and producing are three distinguished kinds of generating of an output from certain input), composition, closure and variable are subsumed under the notion of execution of one executive step, double execution corresponds to execution of two executive steps. This another view on constructions may help us to understand them better way.
  • In transparent intensional logic s.c. constructions serves as hyperintensions. Being inspired by notions of single and double execution, executions in a new sense are defined. Then they are compared with constructions - trivialization is thus reinterpreted as an execution of zero executive steps (executing, constructing and producing are three distinguished kinds of generating of an output from certain input), composition, closure and variable are subsumed under the notion of execution of one executive step, double execution corresponds to execution of two executive steps. This another view on constructions may help us to understand them better way. (en)
  • V Transparentní intenzionální logice slouží tzv. konstrukce jako hyperintenze-procedury. Na základě inspirace druhy konstrukcí, jimiž jsou jednoduchá a dvojitá exekuce, definuji exekuce v zcela novém smyslu. Ty poté srovnávám s druhy konstrukcí, přičemž trivializace je reinterpretována jako exekuce nula exekutivních kroků (odlišuji exekuování, konstruování a produkování - jsou to tři různé druhy generování výsledku z určitého vstupu), kompozice, uzávěry i proměnné jsou subsumovány pod exekuce jednoho exekutivního kroku, dvojitá exekuce koresponduje exekuci dvou exekutivních kroků. (cs)
Title
  • Executions vs. Constructions
  • Executions vs. Constructions (en)
  • Exekuce vs. konstrukce (cs)
skos:prefLabel
  • Executions vs. Constructions
  • Executions vs. Constructions (en)
  • Exekuce vs. konstrukce (cs)
skos:notation
  • RIV/00216224:14210/03:00011336!RIV08-GA0-14210___
http://linked.open.../vavai/riv/strany
  • 63-72
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA401/99/0006)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 606622
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14210/03:00011336
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • hyperintensions; constructions; executions; transparent intensional logic (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [7DB6558F79E3]
http://linked.open...v/mistoKonaniAkce
  • Bratislava
http://linked.open...i/riv/mistoVydani
  • Bratislava
http://linked.open...i/riv/nazevZdroje
  • Logica et Methodologica (Anaphora, Logic and Natural Language)
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Raclavský, Jiří
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Univerzita Komenského v Bratislave
https://schema.org/isbn
  • 80-223-1871-X
http://localhost/t...ganizacniJednotka
  • 14210
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software