scholarly journals Dijkstra's interpretation of the approach to solving a problem of program correctness

2010 ◽  
Vol 20 (2) ◽  
pp. 229-236 ◽  
Author(s):  
Branko Markoski ◽  
Petar Hotomski ◽  
Dusan Malbaski ◽  
Danilo Obradovic
Keyword(s):  
Program Analysis ◽  
Practical Importance ◽  
Program Synthesis ◽  
Program Correctness ◽  
Great Practical Importance ◽  
Automatic Program ◽  
Analysis And Synthesis ◽  
The Difference ◽  
Automated Methods

Proving the program correctness and designing the correct programs are two connected theoretical problems, which are of great practical importance. The first is solved within program analysis, and the second one in program synthesis, although intertwining of these two processes is often due to connection between the analysis and synthesis of programs. Nevertheless, having in mind the automated methods of proving correctness and methods of automatic program synthesis, the difference is easy to tell. This paper presents denotative interpretation of programming calculation explaining semantics by formulae ? and ?, in such a way that they can be used for defining state sets for program P.

scholarly journals On the Problem of Preclusive Character of Electoral Terms

2021 ◽  
Vol 7 ◽  
pp. 28-32
Author(s):  
Yurii Kliuchkovskyi
Keyword(s):  
Law Enforcement ◽  
Practical Importance ◽  
National Elections ◽  
Great Practical Importance ◽  
Election Process ◽  
Legal Nature ◽  
The Law ◽  
The Difference ◽  
Election Commission ◽  
Legal Consequences

The article considers one of the aspects of the temporal measure of the election process: the preclusive nature of the terms of electoral procedures (electoral terms).Determining the legal nature of electoral terms is of great practical importance. It is generally accepted that terms are preclusive if they must be strictly adhered to, i.e. these terms cannot be extended or renewed. Any actions that were to be committed during such a period have no legal consequences if they are committed after its expiration. Some election terms are recognized as preclusive by the law. The lack of a normative provision on the possibility of extending or renewing other election terms, together with the awareness that the election process is fast-paced and irreversible as well as the analogy with the terms recognized as preclusive, provides grounds for law enforcement bodies to extend this feature to all election terms. The article considers one of the aspects of the temporal measure of the election process: the preclusivenature of the terms of electoral procedures (electoral terms).Determining the legal nature of electoral terms is of great practical importance. It is generally acceptedthat terms are preclusive if they must be strictly adhered to, i.e. these terms cannot be extended or renewed.Any actions that were to be committed during such a period have no legal consequences if they are committedafter its expiration. Some election terms are recognized as preclusive by the law. The lack of a normativeprovision on the possibility of extending or renewing other election terms, together with the awareness thatthe election process is fast-paced and irreversible as well as the analogy with the terms recognized aspreclusive, provides grounds for law enforcement bodies to extend this feature to all election terms.Judicial practice demonstrates various approaches to understanding the nature of different election terms. Although their preclusive nature is declared, it is not followed in all cases. Therefore, there exists a problem to search for a criterion that would allow to divide the terms of the implementation of certain election procedures by the relevant subjects of the election process into preclusive ones and those being mandatory but extendable. To find such a criterion, we used a comparison of two similar situations related to passive suffrage during the national elections – the nomination of a candidate and deciding regarding his registration.The difference between the conditions of the corresponding procedures is that the candidate being he holder of passive suffrage acts on his own initiative, i.e. at his own discretion submits documents for registration, while the opposite party (election commission), registering the candidate, acts on duty, having imperative power to consider these documents and make decisions on them in accordance with the requirements of the law. This is the reason for the difference in the nature of the terms for the corresponding procedures.Thus, the election terms are preclusive if they are related to the actions taken by the subjects of the election process at their own discretion, including for the exercise of their own rights. At the same time, the terms set for the obligatory actions aimed at ensuring the rights of other entities, although mandatory (violation of which is qualified as being illegal), but they cannot be considered preclusive.  

Overcoming Disorthography of Primary Schoolchildren with General Speech Underdevelopment

2020 ◽  
Vol 81 (3) ◽  
pp. 46-51
Author(s):  
I. V. Prishchepova
Keyword(s):  
Speech Therapy ◽  
Personality Development ◽  
Practical Importance ◽  
Visual Observation ◽  
Russian Language ◽  
Learning Activity ◽  
Image Study ◽  
Primary Schoolchildren ◽  
Oral Speech ◽  
Analysis And Synthesis

The article discusses mechanisms of various kinds of disorthography (conditioned by the underdevelopment of morphological, phonemic and graphical bases of orthographic activity) in schoolchildren with general speech underdevelopment. It offers basic methodology and techniques to correct disorthography conditioned by inadequate child acquisition of phonemic, traditional principles of orthography and principles of graphics. A systematic work on the development of psychological and language components of this type of learning activity coupled with oral speech disorder overcoming facilitates successful acquisition of program requirements by such children. The following methods were used: practical (exercises, modelling, construction, schematization, games), visual (observation, image study, image and practical activity results demonstration, stimulus material demonstration), verbal methods (conversation, narration, method of language analysis and synthesis, grammar and orthographic tasks solution). The article covers the results of many years of positive experience in the correction of various types of disorthography of primary schoolchildren with general speech underdevelopment. Formation of grammatical and orthographic activity, the basics of speech and language competences, Russian language academic performance increase are prerequisites of linguistic personality development and child self-development. The practical importance of the research lies in the development and testing of methods of disorthography correction of children with general speech underdevelopment. The given methodology helps to improve their spelling skills and allows to carry out a purposeful and controlled formation of spelling activity. The results can be used in the work of speech therapy centers and educational establishments which carry out inclusive students’ education.

Speech influence in advertising texts

2020 ◽  
Vol 45 (4) ◽  
pp. 106-114
Author(s):  
Y. Kim ◽  
◽  
А. Yermekbayeva ◽  
Keyword(s):  
Practical Importance ◽  
Russian Language ◽  
Main Body ◽  
Structural Elements ◽  
School Teachers ◽  
High Quality ◽  
Great Practical Importance ◽  
Advertising Message ◽  
Potential Consumer ◽  
The Russian Language

This work is devoted to the speech impact of advertising texts, in other words, the language of advertising, the purpose of which is to attract the attention of a potential consumer by making the message as memorable and unusual as possible, lively and catchy, colorful and attractive to a potential listener / buyer. The significance of the work lies in the fact that the author, in the process of analyzing the basic structural elements of the advertising message (slogan and main body), determines the main speech techniques for the influence of advertising texts: expressive means, including metaphors, epithets metonymy, speech turns, paths, various grammatical forms and other forms of influence: nominative, one-part, verb sentences, comparative and superlative adjectives, rhymes, imperative verbs, adverbs, lexical repetition. On specific examples of advertising slogans, evidence is given that the above speech means contribute to increased demand for the advertised product or service. During the study, the author confirms the hypothesis put forward at the beginning of the study: if you skillfully use speech exposure, i.e. to choose words whose harmonious combination lays in the subconscious of a person the information transmitted to him by the manufacturer through high-quality advertising, then such an advertising text can become the key to the success of trade. The work is of great practical importance: the material presented in it can be used by students to improve the culture of speech, improve stylistically differentiated speech, as well as school teachers as methodological material in the Russian language when studying the section «Vocabulary», «Stylistics».

Blood calcium for eczema

1935 ◽  
Vol 31 (6) ◽  
pp. 726-734
Author(s):  
N. N. Yasnitsky ◽  
Ts. D. Elina
Keyword(s):  
Practical Importance ◽  
Experimental Studies ◽  
Controversial Issue ◽  
Scientific Interest ◽  
Blood Calcium ◽  
Great Practical Importance

One of the urgent problems of modern dermatology, which are of deep scientific interest and are of extremely great practical importance, is the complex and controversial issue of the etiology of eczema. However, despite the colossal literature, despite a number of detailed experimental studies, the main and deep contradictions of representatives of the main dermatological schools on the nature of eczema remain unresolved.

METHODICAL BASES OF AN ESTIMATION OF AGRICULTURAL LAND USING EFFICIENCY

2019 ◽  
Vol 4 (3) ◽  
pp. 237-244
Author(s):  
Mikhailo KOBCHENKO
Keyword(s):  
Land Use ◽  
Agricultural Land ◽  
Practical Importance ◽  
Economic Damage ◽  
Dialectical Approach ◽  
Methodical Approach ◽  
Analysis And Synthesis ◽  
Scientific Principles ◽  
Definition Of ◽  
Land Using

Introduction. The purpose of this article is to define methodological grounds of assessment of agricultural land using efficiency. The article is devoted to definition of the indicators system of land using efficiency. Methods of research. The solution of the tasks in the article is carried out with the help of such scientific and special research methods as: analysis and synthesis, systematization and generalization, the dialectical approach. Results. The structural balance between cost of land and production resources has been investigated, which leads to the need of many alternatives for the purpose and use of the respective territories on the basis of the modern system of land using efficiency assessment when determining the benefits of land resources using for agricultural production. Originality. It has been proved that to create and enforce a uniform indicators system of land using efficiency is necessary to determine all the factors that affect land use, to reflect the degree and type of each factor influence using the indicators of efficiency of the land use. Indicators of economic efficiency of land using and the intensity of land use are systemized. Practical importance. The methodical approach of agricultural lands using evaluation in the following areas has been justifed in the article: completeness of land use, rational land use, the level of land use intensity, efficient land use. The methodical approach has been presented to the calculation of potential losses from specific land uses in specific circumstances. It is proposed to assess the land using efficiency on the basis of indicators calculations of environmental and economic damage. Basic scientific principles can be used in the practice of agricultural enterprises. Keywords: management, methodological bases, evaluation, efficiency, and agricultural land use.

Practical value of skin temperature measurement

1934 ◽  
Vol 30 (10) ◽  
pp. 1049-1050
Author(s):  
I. Johs
Keyword(s):  
Temperature Measurement ◽  
Skin Temperature ◽  
Practical Importance ◽  
Great Practical Importance ◽  
Artery Embolism

Skin temperature depends mainly on the amount of incoming blood and is of great practical importance. In limb artery embolism the skin temperature reveals a large difference on the healthy and diseased limb. In doubtful cases this symptom allows a diagnosis to be made after 1-2 hours and a timely operation to be undertaken.

BOREHOLE‐RADAR EXPLORATION IN A COAL SEAM

Geophysics ◽  
1977 ◽  
Vol 42 (6) ◽  
pp. 1254-1257 ◽  
Author(s):  
John C. Cook
Keyword(s):  
Coal Seam ◽  
Practical Importance ◽  
Low Resolution ◽  
Coal Seams ◽  
Australian Society ◽  
Great Practical Importance ◽  
The Third ◽  
Research Organizations ◽  
Borehole Radar ◽  
Experimental Use

The experimental use of “geologic radar” to explore through coal from mined passages underground has already been reported elsewhere (Cook, 1973, 1974). Low‐resolution borehole radar work in salt, a much more favorable medium, has also been reported (Holzer et al., 1972). The purpose of this paper is to report the first known results of borehole radar tests in coal. The exploration of coal seams via boreholes from the surface is potentially a technique of great practical importance. The borehole experiment was performed in conjunction with a month‐long program of radar tests in Australian collieries and quarries performed under the sponsorship of the third ICOGEO and supported by several Australian mining and research organizations. A report on that program is expected to appear in the Bulletin of the Australian Society of Exploration Geophysicists some time during 1977.

scholarly journals Attitudes Towards Computer In An Information-Intense Environment: A Field Study Of The Insurance Industry

2011 ◽  
Vol 7 (4) ◽  
pp. 123 ◽  
Author(s):  
David L. Turnipseed ◽  
O. Maxie Burns ◽  
Frank J. Hodges
Keyword(s):  
Field Study ◽  
Insurance Industry ◽  
Practical Importance ◽  
Popular Literature ◽  
Automated Systems ◽  
Great Practical Importance ◽  
Chess Game ◽  
Computer Interaction

The topic of human attitudes about computers has been dealt with extensively in both the academic and popular literature, but it remains an issue of importance. The continued relevance was well illustrated by the Soviet chess grandmaster, Karpov, who recently remarked that he was not afraid to lose a chess game to a computer, but that people who worked with such computers could lose their soul to the machines (Hooper, 1990). The beliefs which people hold toward computers will affect their computer interaction and their willingness to adapt to automated systems: therefore the issue is of great practical importance. This paper reports on a replication of an early IBM study with the intent of assessing contemporary attitudes towards computers and the changes in attitudes over the last 25 years.

scholarly journals NEW ASPECTS OF THE ENZYMATIC BREAKDOWN OF CHITIN: A REVIEW

2021 ◽  
Vol 26 ◽  
pp. 5-10
Author(s):  
Urszula Jankiewicz ◽  
◽  
Arletta Kochańska-Jeziorska ◽  
Agnieszka Gałązka
Keyword(s):  
Crystalline Structure ◽  
Enzymatic Degradation ◽  
Soluble Sugars ◽  
Practical Importance ◽  
Oxidative Cleavage ◽  
Lytic Polysaccharide Monooxygenase ◽  
Great Practical Importance ◽  
Polysaccharide Monooxygenase

This review focuses on the enzymatic breakdown of chitin, taking into account the latest scientific reports on the activity of lytic polysaccharide monooxygenase (LPMO). Chitin is a natural, abundant polysaccharide of great practical importance in the environment. However, the insolubility in water and the tightly packed crystalline structure of chitin pose a serious obstacle to enzymatic degradation. This substrate can be converted into soluble sugars by the action of glycosidic hydrolases (GH), also known as chitinases. LPMO could prove to be helpful in enzymatic processes that increase the rate of chitin depolymerisation by improving the availability of substrates for chitinases. The unique action of LPMO is based on the ability to catalyse the oxidative cleavage of glycosidic chains present in complex, resistant crystal networks of chitin, and this cleavage facilitates the subsequent action of glycolytic hydrolases.

Sign in / Sign up

Export Citation Format

Share Document