Zobrazeno 1 - 10
of 69
pro vyhledávání: '"Alternative set theory"'
Autor:
Haniková, Zuzana
Publikováno v:
Filosofický časopis, Vol 70, Iss 3, Pp 485-504 (2022)
Vopěnka’s Alternative Set Theory can be viewed both as an evolution and as a revolution: it is based on his previous experience with nonstandard universes, inspired by Skolem’s construction of a nonstandard model of arithmetic, and its inception
Externí odkaz:
https://doaj.org/article/d74acc6bde404c73871e28ec5a5c9f33
Autor:
Vilém Novák
Publikováno v:
Mathematics, Vol 8, Iss 3, p 432 (2020)
In this paper, we will visit Rough Set Theory and the Alternative Set Theory (AST) and elaborate a few selected concepts of them using the means of higher-order fuzzy logic (this is usually called Fuzzy Type Theory). We will show that the basic notio
Externí odkaz:
https://doaj.org/article/936df70ac42042a3abe6e63c36fe472b
Autor:
Romportl, Jan
Discussions about naturalness, artificiality and unnaturalness in this article are motivated by the field of Human Cognitive Enhancement (HCE) because of its potential for altering human personality and identity. This article at first proposes a conc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______8936::00d6ea2dc400f7c94b5b8d93012d662e
http://hdl.handle.net/11025/36687
http://hdl.handle.net/11025/36687
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030256357
PaCT
PaCT
Software porting between high-performance computer systems with different architectures requires a major code revision due to the architectural limitation of available programming languages. To solve the problem, we have proposed an architecture-inde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f7291330cf4c7285d681d3cdb81cba8
https://doi.org/10.1007/978-3-030-25636-4_3
https://doi.org/10.1007/978-3-030-25636-4_3
Software porting between high-performance computer systems with different architectures requires a considerable code revision due to the architectural limitation of existing programming languages. To solve the problem, we proposed architecture-indepe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2c97ccbf817bb5bf50133282ae5d2ce
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.