| # | Article | Downloads | |||||
|---|---|---|---|---|---|---|---|
| 2801 | Introduction. The article discusses the peculiarities of studying phraseological units of the Russian language by Kyrgyz students. The methodological and linguodidactic foundations of studying Russian phraseology by Kyrgyz schoolchildren in the context of a Russian literary work are investigated. The purpose of the study is to analyze the phraseological units of a work of art and develop methods and techniques for mastering them in the Kyrgyz audience. Material and methods. The text of the play by A. N. Ostrovsky’s “The Storm”, in which special attention was paid to phraseological units and their functions performed in the context of this literary work. The work was carried out by means of an exploratory and research method, a method of comparison and classification of phraseological units, a method of interpretive and linguocultural analysis. Results and discussion. In this study, on the basis of a literary text, the features of the contextual functions of phraseological units in the speech of characters are revealed. An algorithm for working with phraseological units in the process of reading a literary work is being built. Methods and techniques are determined, thanks to which the work is interpreted, and, as a result, interest in Russian literature and culture of Kyrgyz schoolchildren is formed. The result of our research is a number of techniques that can be applied in practice in the process of reading a Russian literary text and studying phraseological units by Kyrgyz students. Conclusion. Understanding the semantics of words, their functional meaning in the context of a work can ensure the correct reading and successful interpretation of the literary text of Russian literature by Kyrgyz students. In this regard, in the lessons of the Russian language and literature, work with ethnocultural vocabulary (in our case, with phraseological units) should be carefully organized. Keywords: Russian as non-native language; Kyrgyz school; phraseology of the Russian language; context of a work of art | 1958 | |||||
| 2802 | Introduction. As the world’s largest Spanish-speaking country by area, Argentina has always played an important role in the historical, economic and cultural development of the South American continent. Over the centuries, the toponymic corpus of Argentina consists of European (mainly Hispanic) and autochthonous strata. The Hispanic components in the toponymy of this South American state are a kind of cartographic form of the existence of the Spanish language, a semiotic marker of the presence of Spanish culture in this corner of the world. However, at present, there is no possibility to talk about a detailed study of the Argentine geographic nomenclature. The purpose of the article is to attempt a comprehensive linguistic description of the Hispanic toponymy of Argentina. Material and methods. The conclusions are based on the results of the linguopragmatic analysis carried out by traditional means and modern electronic systems: maps of the country, electronic systems GoogleMaps and GeoNames were used as materials and tools. Results and discussion. The author groups place names of Spanish origin, giving multiple examples, explaining their etymology and identifying metonymic chains. Along with the description of Hispanic anthropotoponyms, religious allusions, zoo- and phytotoponyms, emotionally colored topo-units and geographical names containing numerals, a separate place is given to military toponymy, shift names and doublet toponyms. In addition to Hispanic place names, the share of bilingual and indigenous place names in the total number of place names in the region is determined. The heterogeneity of the forms of geographical names here indicates the clash of civilizations, the heterogeneity of linguistic contacts and the richness of the lexical resources of the local toponymic system. It was found that Hispanic toponyms make up the largest percentage in comparison with autochthonous toponyms and bilingual toponyms of the country. As a result of the study, the Hispanic toponymic layer was divided into groups, the most numerous of which are anthropotoponyms. Conclusion. The resulting structured and described research data contribute to the advancement of digital technologies in onomastic research, and also allow the use of the demonstrated results in the framework of courses in language theory, toponymy, theory of language contacts, migrantology, linguistic studies, lexicology, dialectology, theory of normativity, as well as in teaching Spanish. Keywords: Argentina, toponym, toponymy, Hispanic, nomination | 1958 | |||||
| 2803 | The article considers actual matters of sports team control. Taking into account authoritarian, democratic and liberal approaches in athletes' reserves training the most appropriate and effective control style of 10-13 year old sprinters has been determined on the ini¬tial stage. | 1957 | |||||
| 2804 | Stunting is one of the contemporary problems. Carrying out the comprehensive rehabilitation actions with children with stunted growth is essential for recreating their personal and social status. Physical training is one of the most powerful stimulants for the secretion of the growth hormone. Using of the graduated exercises for stunted - growth children during the 1,5 - 2 hours excites the presence of the growth hormone in blood thrice as much | 1957 | |||||
| 2805 | A quantitative estimation of components of biological cycle is given. Identified reserves of phytomasse mortmass and net primary production of mountain fen Gorno-Altai in the Eshtykеl. Revealed the strong influence of permafrost on biological processes mountain fen. Stock vegetable substances either fen Altai close to stocks Tundra bogs. Reserve live phytomass is 4143 g/m2, and net primary production - 1285±142 g/m2 per year. Keywords: mountain fen, net primary production, stocks ofphytomass, mortmass, carbon cycle | 1957 | |||||
| 2806 | In the article the need of formation of professional competence of the teacher for development of universal educational actions of school students is considered. Communication between these categories, possibility of their formation in the course of performance of laboratory works on physics is shown. Keywords: professional competence of the teacher, universal educational actions of school students, competencebased tasks | 1957 | |||||
| 2807 | The article considers the grounds for the development of the ethno-cultural component of regional education. It emphasizes the need for a modern interpretation of ethno-pedagogical experience in various aspects of education as a factor of the development of a polycultural human. The article gives the description of the stages of the development and implementation of the idea of ethno-cultural education in Siberia and defines its most significant results. Keywords: education, modernization, openness, the paradigm of educational systems, and value grounds, ethnocultural component, regional education | 1957 | |||||
| 2808 | The article considers the institutional design of social responsibility mechanism through the relationship between the institution and formal rules, as well as culture, traditions and values. It is ascertained that the institutional design “with the foundation” is the preferred strategy, because it allows using the evolutionary process of human and social development. Keywords: social responsibility, institution, institutional design | 1957 | |||||
| 2809 | Abstract: A family of planes generalizing tangentially degenerated surfaces in the n-dimensional projective space is studied. By use of a class of planes from the family, manifolds of singular points are. | 1956 | |||||
| 2810 | It is established that under pressureless filtering throughthe fiberous polypropilen the purification process is the more effective the less is the initial concentration of pollution this material is prevailing other materials in its mechenical, chemical resistance and sorbtional capasity. The maximal degree of purification is acheived 85.7% for Cu, 88.5% for Fe, 68% for suspension, 86.3% for oil products, 46.3% for Zn, 71.4% for phosphates. | 1956 | |||||
| 2811 | In the article categories of speech and language com¬petence of an individual, types of speech culture of native speakers are compared and analyzed as well as different factors of the categories' formation. The idea of the expedi¬ency of educational linguistic paradigm change, connected with the aim at the leading type formation of the speech cul¬ture of a native speaker of the Russian literary language is suggested. The complex of social-economic and pedagogi¬cal methods of language state politics realization directed to the speech competence level increase of an individual in present-day Russia is analyzed. Keywords: - | 1956 | |||||
| 2812 | This article is devoted to attempts of adaptation of artistic and moral lessons of "the holy Russian literature" (T. Mann) in the works of some foreign writers of the XXth century. The works by K.Chapek, T. Wilder, M. Westmacott (A. Christie) are considered in the context of "Russian version" of the panto-Christian "myth" about fallen person rebirth. | 1956 | |||||
| 2813 | Three conceptual models of the computer scholastic programs are considered. The first is founded on use the information approach and is oriented on building of the CBI programs. Rests are founded on idea of the artificial intelligence. It Is Described main variants and generalized structures of the models. It is shown that forerunner in realization more simply; however, realiza¬tion of the knowledge-based computer scholastic pro¬grams provides the more qualitative process of the edu¬cation. | 1956 | |||||
| 2814 | The article deals with the problem of understanding a lingual sign as a symbol and the special kind of symbols – icons. Such icons as baked beans, pudding, roast beef, fish and chips are taken as examples. | 1956 | |||||
| 2815 | The article is devoted to the consideration of dynamics of semantic meaning of the «soul» concept by the analysis of various anthropology problems in the West European philosophy. Keywords: soul, spirit, knowledge, thinking, speech, the driving beginning | 1956 | |||||
| 2816 | Different translations of Chekhov's narrative «A Dreary Story» into the French language are considered in this work. Translator's choice of a narrative title is in the center of our attention. Difficulties of a translation process which are connected with unbiased language peculiarities, specific character of Chekhov's works, and difficulties of the story itself are analyzed. Keywords: Chekhov, «A Dreary Story», translation into the French language, translator's decision | 1956 | |||||
| 2817 | The article deals with the works by Oleg Bogaev, who represents the “new writing” as a modern way in Ural drama. In his plays there is a specific positive energy of the comic approach, which is opposed to the esthetics of estrangement, that is typical of the “new writing” at the turn of the century. Keywords: comic approach, new drama, theatre of the absurd, theatre of the cruelty, character, conflict, alogism. | 1956 | |||||
| 2818 | The article shows one of the possible ways of dealing with semantic derivation structure of nouns in Selkup as well as lexicographical representation of semantic data. Keywords: Selkup, semantic derivation, polysemy, semantic structure | 1956 | |||||
| 2819 | Under current conditions of Russian multiparty great importance is to study the historical experience of partogenez at the turn of the 19th – 20th centuries and also its understanding by policy makers and practitioners at the time. The article compared the views of liberals considered the problem of the formation and development of political parties in Russia in the revolutionary process. Keywords: the revolutionary process, partogenez, political party, the classification of parties, party struggle | 1956 | |||||
| 2820 | In the article semantic aspects of the concepts of “technician” and “information technology” within modern humanitarian knowledge are revealed. Special attention is paid to the concept of technological determinism. The role of the concept of the technological determinism in understanding of modern processes in the society, science and the technician is revealed. Keywords: scientifi c and technical progress, the technician, information technology, technological determinism | 1956 | |||||
| 2821 | The article deals with the peculiarities of use of precedential names in discourse of ordinary personality. The methods of implementation of these precedential units are defi ned, as well as scope's sources of use of precedential phenomenons in the text body of German language personality are described. Keywords: german folk-spoken discourse, ordinary language personality, precedential names | 1956 | |||||
| 2822 | The article is devoted to the perspectives for the application of speech act theory in the sphere of translation studies. The material of analysis comprises the authentic juridical texts and their Russian translations. The equivalent translation of the juridical texts is based upon the principle which presupposes saving the illocutionary force of the original speech act. The illocutionary force is treated as the legal force of a document, producing the the equivalent target perlocutionary effect both on the primary text recipient and on the secondary text recipient (who is not a native speaker). Keywords: speech act theory, illocutionary force, illocutionary aim, legal force, perlocutionary effect, primary recipient, secondary recipient, speech act sense, interpretive theory of translation, linguistic theory of translation | 1956 | |||||
| 2823 | The article analyzes the semantic complexes connected with the representation of the Vologda region in the novel by L. Ulitskaya “Green tent”. Having studied all mentions of the region in the text the author draws to conclusion that the image of the Vologda region accumulates the traditional understanding of the province as a field of resistance and inertness, preserving underlying national traits and implementing patriarchal-family basis. The Vologda region serves as a place of exile or escape from prospective danger; the personification of family which guarantees safety and transfer the national traits of the character; it is the area of the gradual decay of the countryside world, embodiment of the Russian North in general with its “intact timid nature”. This peripheral area from the chronological point of view is interpreted as the past. Arriving from the center (Moscow) at the Vologda region looks like the descent, decline in not only patriarchal existence, but also in the history of own family. The Vologda region is a wordly projection of the “green tent”, the territory of family peace, realizing your roots and through them returning to yourself. Keywords: postmodernism, chronotope, province, motives, theme, geoethnic panorama, the Vologda region, the Russian North | 1956 | |||||
| 2824 | In the article deals with the problem of development of the value orientations of primary school students. Pedagogical sense of concept "value orientation" implies mastering of surrounding reality, acquisition of vital reference-points. One of terms of development of the value orientations is implementation of cultural-educational projects that supposes an address to the cultural values of society. The article describes descriptions of culturaleducational projects. The author presents basic content, and also results of the pedagogical research conducted in schools of Komi Republic, that was directed to the exposure of dynamics of development of the value orientations of primary school students in the process of implementation of cultural-educational projects. The conclusions made by the author in relation to efficiency of the model of introduction of cultural-educational projects in school practice are confirmed by high research results of the experimental work. Keywords: cultural-educational project, development of value orientations, cultural heritage | 1956 | |||||
| 2825 | The level of modern fundamental sciences and technologies, based on them, not only require an increase in the general level of natural science education, but also should attract talented young people to these areas of activity. These problems are directly related to the problems of activating cognitive interest and cognitive activity in the learning processes. In pedagogy and psychology, considerable scientific and practical materials have been accumulated on the study of cognitive interest and the formation of cognitive activity among children of junior and high school age, by various psychological and pedagogical means, including the introduction of specialized educational subjects. An important role in solving these problems plays extracurricular work with schoolchildren. In the sixties of the last century, the need to involve scientists into the study processes was recognized and therefore developing new ways to organize the teaching process for the schoolchildren. So the combination of physics and mathematics schools appeared (PhMS). Despite more than a half-century history of the physics and mathematics school existence, the PhMS in the context of activating cognitive interest and cognitive activity is considered for the first time. Illustrated by the example of Tomsk State University Physics and Mathematics School, the structure, directions and methods used in this form of extracurricular work are shown. Such forms as a correspondence physics and mathematics school, an evening physics and mathematics school, a summer full-time physics and mathematics school combining rest and training for schoolchildren, as well as a winter physics and mathematics school are considered. Examples of curricular are given, organizational forms of work for different age groups of schoolchildren are described. It is shown how PhMS can be useful for all schoolchildren but at the same time help to identify gifted students. The efficiency of the PhMS was analyzed based on the results of the Unified State Exam. Keywords: cognitive activity, cognitive interest, physics and mathematics school, gifted children, Unified State Exam | 1956 | |||||
| 2826 | . | 1955 | |||||
| 2827 | Sukhotin A.K. .. Tomsk State Pedagogical University Bulletin. 1998. Issue 2 (5). P. 21-28 . | 1955 | |||||
| 2828 | The dialogue is investigated as a special form of organizing co-activity of the teacher and pupils. The author is clearing out a special character of this coactivity which is appearing, forming and developing sences and meanings among the participants. There is a description of the project of organizing the co-activity including besides the dialogue such forms as a lesson-task and lesson-problem. | 1955 | |||||
| 2829 | The subject of this article is the problem of «point of view» in Dostoevskij’s novel «Brother Karamazovs». The term «point of view» is understood according to Uspenskij-Schmid as a component of a text’s structure, which refers either to a narrator, or to different characters in the text and which finds expression on different levels such as time, space, ideology, perception and language. The author of the article suggests advancing the concept of different positions of the narrator’s perspective in the text and considers the problem of point of view in connection with the concept of «a semantic field» (Lotman). The degree of possibility for understanding of an opposition between semantic fields is defined as a degree of authoritarian viewpoint. | 1955 | |||||
| 2830 | A method of analysis of linear noisy microwave circuits with arbitrary topology is proposed based on introduced topological scattering matrix. It allows the solution of two types of problems on the common basis: 1) analysis of networks consisting of multiport components; 2) de¬termination of scattering and noise wave matrices of networks while changing node currents and voltages. The method is implemented in CAD tool for symbolic analysis of microwave circuits, MICROSYMA, using the MapleV environment Examples of solving microwave circuit symbolic analysis problems with computer are presented. | 1955 | |||||
| 2831 | The article presents comparative analysis of semantics of the verbs of movement on the materials of two Germanic languages: English and German in comparison with the Russian and Polish languages. The author also attempts to compose semantic chart for this field. Keywords: lexical typology, verbs of , verbs of, semantic parameter, semantic chart | 1955 | |||||
| 2832 | The article states the caste-class structure of the Khakass-Minusinsk region under the conditions of its reclamation by Russia and Christianization policy of the native ethnic group. The main source of the research was documents of the church population demographic list. The subject is examined on the example of parochial communities. Keywords: Christianity, estates, Khakasses, proselyte, the Russian Orthodox Church, the church and parochial communities | 1955 | |||||
| 2833 | In the article the structure and functions of headings of the various publications in Tomsk periodical press, which took place in the 60-s of the twentieth century, are considered. The research is based on the materials of the newspapers «The Krasnoe Znamya», «The Molodoj Leninec», «The Pravda Ilicha». Keywords: headings, structure of headings, functions of headlines, regulative force of headings | 1955 | |||||
| 2834 | In the article the problem of transition to the model of kindergarten teacher’s personality-cantered interaction with children is touched on. The authors mention reasons of complicating, among them – the lack of psychological readiness of kindergarten teachers. Components of readiness are detected; some possible ways of its forming are suggested. Keywords: personality-cantered interaction of kindergarten teacher with children; barriers in realization of personality- cantered model of interaction; psychological readiness of kindergarten teacher to interact with children. | 1955 | |||||
| 2835 | The questions assess the level of formation of informational competence of college students, identify indicators and evaluation criteria, developed requirements for each level of information competence and test tasks open, analyzed the results of testing of college students. Keywords: core competence, information competence, level of formation of information competence assessment tools of information competence | 1955 | |||||
| 2836 | The given article covers the results of an initiative international pilot project aimed at creating up-to-date teaching materials for training the Central Asian youth to study and work activity on the territory of Russia. The general purpose of the present elaboration is increasing the level of language and culture adaptation of students from the above-mentioned region to communicating with the Russian-speaking population. The article views some peculiarities in language interference of Central Asian students in Russia’s higher learning institutions (by the example of speakers whose native language is Tajik). Some ways of overcoming such interference are justified. Keywords: Russian as a foreign language, language interference, languages of Central Asian peoples, Tajik, language and culture adaptation | 1955 | |||||
| 2837 | The article deals with the present situation, problems and way-outs of educational system of special children in Tomsk region in the variety of its components: special, integrative and inclusive types of education are explored. Special attention is paid to distance learning as an important form of education being realized in different types of educational institutes. Keywords: children with special needs, handicapped children, special education, integrative education, inclusive education, distance learning, Tomsk region | 1955 | |||||
| 2838 | The article deals with one of the key trends in the study process at a technical university – a professional-focused direction in foreign languages teaching methods, the aim of which is to form a foreign language competence in the professional field. The authors consider the significance and multidimensionality of this problem in a technical university educational process, in particular, in training of correspondence students. The authors presume that professional-focused training can significantly enhance the motivation of the students to master a foreign language, since they realize the practical benefit of this knowledge for their future successful professional functioning. The experience of working with correspondence students at a technical university, monitoring their language needs, allows the authors to present a model of professional-focused English language teaching, the key characteristic of which is the creation of the actual teaching and methodological support of the discipline „Foreign Language“. The authors‘ opinion is that the actual content of the discipline will contribute to the realization of the language needs of the students and will help in their future professional activities. The authors generalize their experience of creation of the professional-focused textbooks in the English language which provide learning efficiency; note that texts material is related to the specifics of future professional activities; the semantic and linguistic availability of professional-focused texts is intended to form a system of concepts related to basic professional knowledge, to activate students’ cognitive activity. Keywords: technical university, correspondence learning, foreign language competence, professional-focused training, integration with special disciplines, language needs, methodological model of foreign language professionally-focused teaching, professionally-focus | 1955 | |||||
| 2839 | The article deals with one of the most vexed problems in modern Germanic studies – the problem of the Konjunktiv of indirect speech. The attention is focused on the status of the Konjunktive of indirect speech and the peculiarities of its functioning in the system of the morphological and the syntactic category of speech type of Modern German. | 1954 | |||||
| 2840 | The paper reviews the phenomenon of syncretism and homonymy, suppletivism and heteronymy; explains their varying import in the system of the German language synchronically and diachronically. | 1954 | |||||
| 2841 | In this paper the content of “patience” and “tolerance” notions in the aspect of their national specificity is investigated. For such purpose these notions had been examined on the basis of estimation of connected with them phenomena, which were reflected in semantics of the Russian language units and short folklore texts. Besides this way the attitude to these phenomena in Orthodox ethic tradition had been also taken into account. | 1954 | |||||
| 2842 | This article is about influence of contemporary family’s crisis on the fulfillment her basic functions. Creation of conditions for graduation, upbringing, education and socialization it children are major problem of family. To use possibility of social actives the educational potentiality of family, we should know its general components. The author considers means and structure of notion “educational potentiality of family”, suggests using it diagnostic indexes. | 1954 | |||||
| 2843 | The author of the article marks Oscar Wilde's influence on the Russian literary criticism of the beginning of the 20th century, as well as compares the first «The book of reflections» by I. Annensky and the English author’s articles | 1954 | |||||
| 2844 | The article is devoted to questions of definition of the place and appointment of the concept “re-structuring” in the theory of management. From the point of view of the majority of definitions meeting in literature the concept “re-structuring” is represented by a complicated and complex process with obscurely described elements. It brings uncertainty for understanding all aspects of this concept. Therefore there is a necessity of its classification to the basic attributes. By the most successful representation of classification of the concept “the Economic re-structuring” is the morphological analysis, which allows to consider the basic attributes of the process “of re-structuring” in a complex | 1954 | |||||
| 2845 | The problem of personality egoism is considered. Correlation of egoism with the age of marriage, as well as correlation of marriage partners’ egocentricity with the satisfaction with marriage is traced. Keywords: egoism, egocentricity, satisfaction with marriage, spaces of being, space of marital relations | 1954 | |||||
| 2846 | The article presents analysis of efficiency of escort model in the structure of psychological service of university as a method of projecting of prophylactic education space on psychological criteria. Keywords: psychological escort of educational process, stress, health, adaptation, crisis | 1954 | |||||
| 2847 | The article deals with the implementation of law education in rural schools using information and communication technologies. In order to implement effective, practice-oriented legal training teachers in rural schools should have skills to develop information and methodological support on the subject “Law” Keywords: law education, information and methodological support of the subject “Law” development of digital educational and methodical complex for teachers in rural schools | 1954 | |||||
| 2848 | The article is devoted to the analysis of cultural and genetic circuits of Neolithic and early metal (copper age) of the Upper Ob basin, presented in the national historiography of the second half of the 1970-ies – the beginnings of the 2010-ies. The work, as the second part of the synthesis of historiography research, includes a substantial characteristic of the third and fourth historical stages. The third stage (the second half of the 1970-ies and the first half of the 1980- ies) is linked to the research by V. I. Molodin. The fourth stage of the historiography of the second half of the 1980-ies – the beginning of 2010-ies) is represented by the works by V. I. Molodin, V. A. Zakh, J. F. Kirushin, V. V. Bobrov and N. Y. Kungurova. The genetic linkage of modern concepts with theoretical practices of the 1950-first half of the 1970-ies is considered. The conclusion concerning the existence of lines of scientific continuity, which caused a long coexistence of several mutually exclusive cultural-chronological schemes, is drawn. Keywords: historiography, neolithic, eneolithic, early metal, Upper Priobye | 1954 | |||||
| 2849 | The article deals with topical for up-to-date media communication tertiary texts, named so by the author. These texts are reactions to primary and secondary media texts. According to regulative theory as one of the trends of communicative stylistics of text it analyses the regulative potential of tertiary media texts, including typical and more spread regulative means, regulative structures, means of regulativity and regulative strategies, which determine pragmatics of media communication members; reveales the factors, which influence efficiency of this process. Comments to primary and secondary texts from the site of radio station “Echo of Moscow” to the interview of K. Kosachev in April 2017 are the material of the research. It was determined that there is a dependence of regulative potential of tertiary media texts not only on individual peculiarities of its authors (level of their speech and common culture, specificity of world’s view, psychological and cognitive qualities), but also on such factors as informational area (site, in which the text is placed); subjects of primary media text; informational field of author’s and journalist’s language personalities including their value orientation; genre peculiarity of tertiary media text; media channel of connection owing to which efficient reaction on opinions of other Internet users is realised. It was revealed that value modality of tertiary media texts of comments genre is connected with dominating of emotional and valuation vocabulary including invectives, usage of different means of influence, including tropes, phraseological units, aphorisms. Among the regulative structures means of repetition (with citing of opponent’s statements or a primary text’s author) and a contrast for an opposing your own opinion to others is rather spread. The typical for tertiary media texts means of regulativity are the principles of simultaneity and vectors in the text activity of communicants. According to regulative strategy the most frequent strategy is an explicit strategy of intensifying and convergent type with predominance of the logic of expressing emotions. The results are of great interest for the theory of speech influence, media linguistics, communicative stylistics of text. Keywords: media communication, media text, media discourse, tertiary media text, regulative theory, regulative potential, informational and media language personality | 1954 | |||||
| 2850 | The use of knowledge-based algorithms is one of the most relevant directions. Often these algorithms are referred to as intelligent. It is accepted to distinguish four main classes of such models: logical, productional, frame-based, and network. As we know, the use of any given models is driven by the tasks in hand. From this perspective, logical models have gained momentum. In particular, these models are often used in the creation of expert systems and the automation of proofs of theorems. This article discusses how to implement the validation algorithm for multiple disjuncts. An automatic grammar is used to describe the language of presenting the disjuncts, a resolution method to check their inconsistencies, and a depthfirst search to automate the OL-denial strategy. This algorithm can be used to automatically check provability or indefeasibility of theorems based on many axioms. The step-by-step detalization of this algorithm can be used as an additional tool for teaching the resolution method and searching the state space as well as the basics of the formal languages. The type of going around state space depends on the order of the points in the list OPEN. When searching in the first point’s depth to open it you select the point that is most remote from the intentional one. In this case, you can simplify the implementation of this method by applying a recursive subprogram. Keywords: disjunct, resolution method, OL-denial strategy, finite-state grammar, depthfirst search | 1954 | |||||




