The article considers the essence of system conscious musical singing “Stolbitsa” (“Ladder”) by Bulgarian teacher B. Trychkov and names his followers: Bochev, P. Boyadzhiev, V. Mirchev, K. Stoykov. role didactic method “Ladder” in development abilities students secondary schools is revealed. meaning term “ladder” translation explained. It revealed why Trichkov calls so. shown that they contain ...

Quantum gas systems are ideal analog quantum simulation platforms for tackling some of the most challenging problems in strongly correlated matter. However, they also expose urgent need new theoretical frameworks. Simple models one dimension, well studied with conventional methods, have received considerable recent attention as test cases approaches. Ladder provide logical next step, where esta...

We use exact diagonalization and the modified Lanczos method to study the finite energy and finite momentum spectral weight of the longitudinal and transverse spin excitations of the anisotropic zigzag ladder. We find that the spin excitations form continua of gapless or gapped spinons in the different regions of the phase diagram. The results obtained are consistent with a picture previously p...

Spider diagrams are a recently developed visual logic that make statements about relationships between sets, their members and their cardinalities. By contrast, the study of regular languages is one of the oldest active branches of computer science research. The work in this thesis examines the previously unstudied relationship between spider diagrams and regular languages. In this thesis, the ...

Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided veriication. These eeorts have largely treated timing diagrams as interfaces to established notations for which veriication is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable...

This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class diagram to a structural pattern. We also present a conformance verification method which represents a class diagram as a logic program and a structural pattern as a query. The conformance of the class diagram to the stru...

We extend Knuth's 16 Boolean binary logic operators to fuzzy logic and neutrosophic logic binary operators. Then we generalize them to n-ary fuzzy logic and neutrosophic logic operators using the smarandache codification of the Venn diagram and a defined vector neutrosophic law. In such way, new operators in neutrosophic logic/set/probability are built. Introduction. For the beginning let’s con...

Runlength-limited (RLL) codes are used in magnetic recording. The error patterns that occur with peak detection magnetic recording systems when using a runlength-limited code consist of both symmetric errors and shift errors. We will refer to shift errors and symmetric errors collectively as mixed-type errors. In this correspondence, a method of providing error control for mixed-type errors tha...