In this Chapter we obtain a contradictions in formal set theories under assumption that these theories have omega-models or nonstandard model with standard part. An possible generalization of Lob’s theorem is considered. Main results are: (i) ¬Con(ZF C+∃MZFCst), (ii) ¬Con(N F+∃MNFst), (iii) ¬Con(ZF C2), (iv) let k be an inaccessible cardinal then ¬Con(ZF C+∃κ), (v)…
Read more
The main thrust of the paper is to provide an interesting and useful for students example of using bitwise operations in programming languages C ++ and Java. As an example, we describe an algorithm for receiving a Latin square of arbitrary order. So we will outline some techniques for the use of bitwise operations. The …
Read more
Aims: Classic Petri nets also known as place transition nets provide many interesting and useful features for system modeling. They are however limited by the place types that are used. A novel approach is presented in this work. A matrix vector transition net model is created and is used to model complex system behavior. This…
Read more