Enhanced Realizability Interpretation for Program Extraction

This thesis presents Intuitionistic Fixed Point Logic (IFP), a schema for formal systems aimed to work with program extraction from proofs. IFP in its basic form allows proof construction based on natural deduction inference rules, extended by induction and coinduction. The corresponding system RIFP (IFP with realiz-ers) enables transforming logical proofs into programs utilizing the enhanced re-alizability interpretation. The theoretical research is put into practice in PRAWF1, a Haskell-based proof assistant for program extraction

Information Technology in Incentive Management in Student Learning

The main idea of the work is to address issues related to the activation of incentives in students of educational institutions, as an integral part of motivation in pedagogy, which is one of the priorities of higher education, in turn, the correct and timelyapplication of motivational factors allows qualitative analysis, on the activation of cognitive interest in training. The purpose of the article is to study and qualitatively assess the methods and ways to stimulate students while studying in higher education. In solving the set tasks, a qualitative analysis of the known literature on the definition and application of motivation in the educational process. Definitely a stimulating process as a factor of psychological motivation. It is concluded that neither in understanding the essence of the stimulus, its role in the regulation of behavior, nor in understanding the relationship between stimulation and stimulus does not exist

The analysis of section 174 of the Criminal law

Krimināllikumā 174.pants,ir vienīgais pants,kurš noteiktu atbildību par cietsirdīgu vai vardarbīgu attieksmi pret nepilngadīgajām vai mazgadīgajām personām.KL 174.panta piemērošana Latvijā nav izplatīta,un līdz ar to,nav arī vienota panta sastāva skaidrojuma.Analizējot KL 174.pantā ietvertā noziedzīgā nodarījuma sastāvu,var sastapties ar dažādu jēdzienu skaidrojumu,izpratni un to piemērošanu praksē.Darba pamat uzdevums ir veikt KL 174.pantā ietvertā noziedzīgā nodarījuma dispozīcijas analīzi,tas ir,izpētīt katra jēdziena nozīmi un izskaidrot to,nonākot pie konkrētas interpretācijas;novilkt robežas starp tādiem jēdzieniem kā cietsirdība un vardarbība,fiziskas un psihiskas ciešanas;noskaidrot un noteikt to personu loku,kuras tiek uzskatītas par vainīgajām saskaņā ar K 174.pantu;noteikt,kādos gadījumos KL 174.pants var un nevar būt piemērojams kopībā ar citiem KL pantiem.Section 174 of the Criminal Law is the only provision that would impose liability for cruel and violent treatment of juveniles or minors.The application of the Section 174 of the Criminal Law is not common in Latvia,and hence,there is no single explanation of the paragraph composition.Analyzing the substance of criminal offense expound in the Section 174 of the Criminal Law,one may face a variety of definitions,understanding and their application in practice.The main task of the study is to conduct reflected in the Section 174 of the Criminal Law offense disposition analysis,that is,to explore every concept meaning and explain it,arriving at a specific interpretation;to draw the boundaries between the concepts of cruelty and violence,physical and mental suffering,find and identify persons affected by this law,who shall be held guilty under the Section 174;to determine the cases in which the Section 174 of the Criminal Law can and cannot be applied in communion with the other sections

Use of tactics and related problems during the interrogation

Kriminālprocesa likuma 10.nodaļā ir nosaukti izmeklēšanas darbību veidi un to būtība. Viena no šīm izmeklēšanas darbībām ir pratināšana, tās definīcija ir noteikta Kriminālprocesa likuma 145.pantā. Kriminālprocesa likums nesniedz priekšstatu par pratināšanas nozīmīgumu un pratināšanas norises kārtību. Tas ir atrodams kriminālistikas un kriminālprocesa literatūrā un doktrīnā. Pašu pratināšanas kārtību un tās norisi nosaka procesa virzītājs. Lai efektīvi spētu izmantot pratināšanai paredzēto laiku un noskaidrotu no pratināmās personas patiesu informāciju, procesa virzītājam ir jāizmanto taktiskie paņēmieni, ar mērķi padarīt pratināmās personas vēlmi sniegt nepatiesas ziņas par neiespējamu. Taktiskie paņēmieni ir vitāli pratināšanā un tos ir regulāri jāizmanto, lai paaugstinātu pratināšanas efektivitāti. Taktisko paņēmienu izmantošana ir procesuāla rakstura jautājums, tāpēc to pilnvērtīga analīze un uzlabošana ir iespējama tikai piedaloties pratināšanā.Section 10 of the Criminal Procedure Law has named types of investigative activities and their nature. One of these types of investigative action is interroga-tion, the definition of it can be found in Criminal Procedure Law 145.p. Criminal Procedure Law does not explain and idea of the importance of questioning and process of interrogation procedures. It is found in the forensic, criminal literature and doctrines. Interrogation procedures and the conduct of the process is deter-mined by claimant. To be able effectively use the time for cross-examination and find out the correct information from the person, claimant must use special tactics in order to make the person to give false information about impossible. Tactical in-terrogation techniques are vital and are regularly used to increase the effectiveness of interrogation. Tactical techniques is a procedural matter, because the full analy-sis and improvement of it, is possible only through participation in the interrogation

Меморандумот од Нушател: Добри практики за правда за децата во антитерористички контекст

The Neuchâtel Memorandum on Good Practices for Juvenile Justice in a Counterterrorism Context is part of the activities of justice for children in the context of the fight against terrorism with an emphasis on the prevention, investigation, prosecution, punishment, rehabilitation and reintegration of children in society. The subject of paper is to offer a brief overview of the good practices from the Memorandum divided into five parts: (i) The status of children and their protection under international law and juvenile justice standards; (II) Prevention; (III) Justice for children; (IV) Rehabilitation and reintegration; and (V) Development, monitoring and evaluation of capacities. The main aim of the authors was to to raise awareness regarging issue of involvement of children in terrorist groups and actions. Namely, children's radicalization is often carried out by using fraud, violence, abduction, promising money or other material benefits, or by simply accompanying the parents. The risks of radicalization have increased in many ways as a result of the influence of the Internet and social media, as well. For the purpose of early identification and prevention of radicalization that can lead to terrorist acts, there is a necessity for close cooperation with local authorities and with the civil society that are familiar with local risks, marginalized groups and individuals most vulnerable of being recruited and radicalized. The paper also contains a short owerview regarding international standards and strategic documents in this field as well as institutional support for preventing radicalisam and terrorism in North Macedonia by establishment of the governmental body - National Committee for the Prevention of Violent Extremism and the Fight against Terrorism. Кеy words: Neuchâtel Memorandum, juvenile justice, good practices, terrorism, extremism, radicalism, prevention, rehabilitation, reintegratio

Екологічний туризм як пріоритет сталого розвитку

Having analyzed the main directions of development of ecological tourism in the world, as well as taking into account the main provisions of the concept of "sustainable development", we can conclude that ecotourism is a tourist activity, the purpose of which is to understand the characteristics of unchanged natural and traditional cultural landscapes, while maintaining landscape diversity. Ecotourism should be developed in line with modern world approaches and concepts, the features of which are that this type of tourism not only satisfies the desire to communicate with nature, but also mobilizes the tourism potential to protect nature, socioeconomic development, environmental and educational activities, and helps to create new jobs, attracting local people and raising the general cultural level of society. In the process of ecologization of rural and agritourism, it is necessary to pursue a policy of popularizing and encouraging the rural population to develop tourism in the countryside, which will solve the existing socio-economic and environmental problems within the boundaries of rural areas, modernize the existing infrastructure and improve the landscaping of individual estates and personal plots, and villages in general.Проанализировав основные направления развития экологического туризма в мире, а также принимая во внимание основные положения концепции "устойчивого развития", можно сделать вывод, что экотуризм – это туристическая деятельность, цель которой – понять особенности характеристики неизменных природных и традиционных культурных ландшафтов при сохранении ландшафтного разнообразия. Экотуризм должен развиваться в соответствии с современными мировыми подходами и концепциями, особенностями которых является то, что этот вид туризма не только удовлетворяет желание общаться с природой, но и мобилизует туристический потенциал для защиты природы, социально-экономического развития, экологической и образовательной деятельности и помогает создавать новые рабочие места, привлекая местное население и повышая общий культурный уровень общества

Дієтичні переваги та аналіз «рослинного кошику» серед українських підлітків

The aim. The aim of the study was to analyze aspects related to a healthy diet and lifestyle, more specifically to the consumption of plant-based food among Ukrainian preteens and teenagers aged 10 to 17 years. Materials and methods. 231 individuals aged 10 to 17 participated in the study, 85 of them were boys, 146 were girls, all of them were residents of Kharkiv city at the time of participation in the study. The respondents were presented with a questionnaire regarding their attitude to a healthy lifestyle, in particular, rational nutrition. The χ2 test was used to analyze the qualitative data. Results and discussion. In the work, it was found that more than half of the respondents led only a partially healthy lifestyle, 60.3 % and 54.1 % among girls and boys, respectively. Only 11.6 % and 18.8 % of girls and boys followed the diet, although the majority of preteens and teenagers did not skip breakfast (80.8 % of girls and 89.4 % of boys). Unfortunately, the vast majority of subjects (58.9 % of girls and 56.5 % of boys) sometimes indulged in "harmful food". Also, the majority of preteens and teenagers consumed food between principal meals (83.6 % of girls and 72.9 % of boys), which, taking into account current ideas, should be considered an alarming trend. The main motivation for choosing food among preteens and teenagers was their own food tastes and family traditions, while food advertising was taken into account by just over 1 % of preteens and teenagers. Self-assessment of the health state shows that only 2/3 to ¾ of preteens and teenagers had no complaints about their health. No sex differences were observed for all the indicated characteristics. The most popular vegetable product among Ukrainian preteens and teenagers was potato, it was consumed by more than ¾ of preteens and teenagers, its popularity grew with age, which can be considered a negative trend (fast food). The least popular plant-based product among preteens and teenagers was seeds, consumed by only 19.9 % of girls and 8.2 % of boys. It was the only plant-based product, for which a statistically significant difference in consumption was found (2.4 times more common among girls than among boys). With age, the frequency of coffee consumption as an "adult drink" increased among preteens and teenagers, while a "leap" in the prevalence of its consumption can be seen when passing from 14-15 years to 16-17 years. Therefore, most of the results obtained should be considered as concerning ones. Conclusions. The consumption of plant-based food among Ukrainian preteens and teenagers is almost not associated with sex, while the consumption of some types of plant-based food is more closely related to the age of preteens and teenagers, which may indicate the continuation of the process of forming food habits in this ontogenesis period. The practical value of the work lies in potential corrective recommendations from doctors, valeologists, nutritionists, psychologists and other related specialistsМета. Мета дослідження полягала в аналізі аспектів, пов’язаних із раціональним харчуванням та способом життя, більш конкретно з вживанням рослинної їжі серед українських підлітків у віці від 10 до 17 років. Матеріали та методи. У дослідженні взяла участь 231 особа віком від 10 до 17 років, з них 85 – хлопці, 146 – дівчата, всі на момент участі в дослідженні були мешканцями м. Харків. Респондентам було представлено анкету щодо відношення до здорового способу життя, зокрема, раціонального харчування. Для аналізу якісних ознак використовували статистичний критерій χ2. Результати. В ході роботи було виявлено, що респондентів, які вели лише частково здоровий спосіб життя, було більше половини, відповідно серед дівчат та хлопців 60,3 % та 54,1 %. Тільки 11,6 % та 18,8 % дівчат та хлопців дотримувалися режиму харчування, хоча при цьому більшість підлітків не пропускала сніданок (80,8 % дівчат та 89,4 % хлопців). На жаль, переважна більшість осіб (58,9 % дівчат та 56,5 % хлопців) інколи дозволяла собі вживати «шкідливу їжу». Також більшість підлітків вживали їжу між її основними прийомами (83,6 % дівчат та 72,9 % хлопців), що з урахуванням сучасних уявлень слід вважати тривожною тенденцією. Основним мотивом при виборі їжі серед підлітків були власні харчові смаки та традиції сім’ї, в той час як рекламу їжі приймали до уваги трохи більше 1 % підлітків. Самооцінка стану здоров’я свідчить, що лише від 2/3 до ¾ підлітків не мали нарікань щодо самопочуття. За всіма зазначеними ознаками статевих відмінностей не спостерігалося. Найбільш популярним рослинним продуктом серед українських підлітків була картопля, її вживали більше ¾ підлітків, з віком її популярність зростала, що можна вважати негативною тенденцією (фаст-фуд). Найменш популярним рослинним продуктом серед підлітків стало насіння, його вживали лише 19,9 % дівчат та 8,2 % хлопців. Воно було єдиним рослинним продуктом, за яким було виявлено статистично значущу різницю у вживанні (у 2,4 рази частіше серед дівчат, ніж серед хлопців). З віком серед підлітків зростала частота вживання кави, як «напою для дорослих», при цьому «стрибок» у поширенні її вживання можна помітити при переході від 14-15 років до 16-17 років. Таким чином, більшість отриманих результатів слід вважати такими, що викликають стурбованість. Висновки. Вживання рослинної їжі серед українських підлітків майже не асоціюється зі статтю, в той час як більшою мірою має місце зв'язок вживання деяких видів рослинної їжі з віком підлітків, що може свідчити про продовження процесу формування харчових звичок в цьому періоді онтогенезу. Практичне значення роботи полягає в потенційних коригувальних рекомендаціях з боку медиків, валеологів, дієтологів, нутриціологів, психологів та інших суміжних фахівці