Results 41 to 50 of about 127 (108)
Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method [PDF]
Nuclear Energy and Technology, 2018 The article describes an automated verification method used for application software of control safety systems based on the TPTS-SB equipment. Verification is performed by comparing two mathematical models (oriented graphs): one obtained by processing ...
Mikhail A. Belonosov +2 more
doaj +3 more sources
Pourquoi le Grundgedanke (T. 4.0312) de Wittgenstein est si “Fondamental”?
Principia: An International Journal of Epistemology, 1998 La pensée fondamentale de Wittgenstein affirme que les constantes logiques ne représentent pas, ne fonctionnent pas sémantiquement comme des noms. En apparence triviale, cette pensée, nous le montrerons, à des ramifications étonnantes dans la philosophie
André Leclerc
doaj
Reduction algorithms for solving large systems of logical equations [PDF]
Computer Science Journal of Moldova, 2000 Large systems of logical equations are considered in this paper, each depending on a restricted number of variables. A method of reduction is suggested that reduces the number of roots in separate equations, which in its turn saves time spent for finding
A.Zakrevskij
doaj
Ergo, An Open Access Journal of PhilosophyLogical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency.
Bogdan Dicher, Francesco Paoli
doaj +2 more sources
O spójności (hiper)syntaktycznej i fraktalach
Stylistyka, 2010 The text consists of two parts: the first is longer and concems the much discussed links between the grammar of natural language and logie, the second - the existence o f surprising geometrical objects called fractals.
Anna Pietryga
doaj
Philosophia Scientiæ, 2004 Hintikka makes a distinction between two kinds of games: truthconstituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of ...
Denis Bonnay
doaj +1 more source
The Constant and the Variable in the Aesthetic Image of the Theatrical Direction
الاكاديمي, 2020 The theatre is one of the main pillars of the human aesthetic thinking as it contains logical explanations for the public human life aspects outside time and environment.
Hazim Abdul Majeed Ismail
doaj +1 more source
Концепт: философия, религия, культура, 2019 The target of research is the structuralist and poststructuralist paradigm of describing and explaining cultural constants through binary or ternary semiotic codes. The author’s hypothesis, based on anthropological theories of V. Turner and Cl.
I. P. Davydov
doaj +1 more source
Czy fizyczne teorie efektywne są wiarygodną strategią osiągnięcia teorii finalnej?
Zagadnienia Filozoficzne w Nauce, 2020 The paper presents the methodology of effective theories as a strategy used in the process of development of modern physics to reach a final theory. We present the definition and characteristic features of an effective theory, as well as the answer to ...
Marek Szydłowski, Paweł Tambor
doaj
Fault-tolerant Quantum Error Correction Using a Linear Array of Emitters [PDF]
QuantumWe propose a fault-tolerant quantum error correction architecture consisting of a linear array of emitters and delay lines. In our scheme, a resource state for fault-tolerant quantum computation is generated by letting the emitters interact with a stream
Jintae Kim, Jung Hoon Han, Isaac H. Kim
doaj +1 more source