Free Higher-Order Logic - Notion, Definition and Embedding in HOL

Free logics are a family of logics that are free of any existential assumptions. This family can roughly be divided into positive, negative, neutral and supervaluational free logic whose semantics differ in the way how nondenoting terms are treated. While there has been remarkable work done concerning the definition of free first-order logic, free higher-order logic has not been addressed thoroughly so far. The purpose of this thesis is, firstly, to give a notion and definition of free higher-order logic based on simple type theory and, secondly, to propose faithful shallow semantical embeddings of free higher-order logic into classical higher order logic found on this definition. Such embeddings can then effectively be utilized to enable the application of powerful state-of-the-art higher-order interactive and automated theorem provers for the formalization and verification and also the further development of increasingly important free logical theories

The success factors of small business

Purpose: Small businesses in the economy of any country are of great significance. However, their viability is much lower than large and even medium ones. As is known, only a little number of the established small enterprises will not go bankrupt in a year, and they will succeed and continue developing for the next five years by expanding their activities. Even a smaller number of small enterprises will be able to transform into the medium one. Therefore, it is necessary to investigate the factors that assist to define the success of small businesses’ performance and development. Design/Methodology/Approach: This commentary note studies, identifies and generalizes the success factors of small enterprises described in the works of many successful entrepreneurs both in Russia and abroad. The authors use the toolkit and methods of economic analysis, consider quantitative and qualitative characteristics and features of small business development as well as entrepreneurial abilities that allow to identify key factors for small businesses’ success. Findings: The authors have found that many successful entrepreneurs describing their experience in managing business and identifying main success factors of small businesses have similar opinions in this area. These main aspects have been identified. Practical Implications: The note provides practical recommendations to entrepreneurs establishing their small businesses and trying to develop them successfully. It describes main secrets of business and philosophies of entrepreneur’s actions. Originality/Value: The authors’ position is because business success is achieved by people who have not only the necessary economic knowledge but also those who have the necessary mindset, so called philosophy of success, personal attitude including intuition.peer-reviewe

Methods of computational topology for Solar Activity forecasting (Extended abstract)

Solar activity is a space-time complex of events which produced by the Sun magnetic fields. One of the results of this activity is a huge plasma ejection which called solar flares. The solar flares occurs mainly in the areas with an especially strong magnetic fields called Active Regions (AR). Observation phenomenology indicates that significant change in the magnetic field topology precede the strong flares. We investigated changes in topology by the methods of computational topology. For this purpose the high frequency temporal sequence of AR magnetograms containing flares has been analyzed. Such data are available from the space observatory SDO. We seek distinctive patterns that could be associated with the flares through the tracking evolution of Euler characteristics and Betti numbers. These characteristics of course do not pretend on the comprehensive description of topological complexity but there are simple in construction and intuitive clear. We found that the large variations of the Betti numbers and Euler characteristics are preceded or accompanied by a large flares. These results give us hope that the approach based on computational topology could be useful in the task of monitoring of magnetic field evolution and should be developed in future

Феномен самоефективності сучасного вчителя у світлі теорії синергії

The article focuses on the importance of reorienting own professional activities of the teacher in the direction of the priority of mechanisms of self-realization, self-development, self-regulation, necessary for his/her professional and personal self-improvement.  The importance of the development of the phenomenon of self-efficacy of the teacher as the basis for the disclosure of his/her own potential, aimed at a spiritual activity and obtaining an effective result in professional activity, as well as an important tool for the modernization of the domestic educational space, is emphasized. The essence of the concepts of "self-efficacy", "pedagogical self-efficacy" is singled out and analyzed.  Thus, it is noted that self-efficacy should be characterized by such features as reflexivity and awareness; effectiveness and focus on success; manageability and sequence; ability to self-assess; mobility, flexibility and predictability, etc. The mechanism of development of self-efficacy of a teacher is considered from positions of the synergetic approach, taking into account the main principles of the synergetic paradigm in education. The attention is focused on the possibilities of synergy for the teaching science in the aspect of consideration of open systems (teacher, teaching staff, the pedagogical system in general), capable of self-organization. It is stated that any teacher in synergy can find the semantic keys for building own trajectory of self-efficacy development management. The teacher should be considered as a productive entity of his/her own professional activities. The essential features of a self-efficient teacher as a synergetic system are described. It is concluded that the most effective teacher in the theory of synergy appears as an active subject of professional activity and agent of changes in the course of the reformation of an educational institution, and expediency of development of the following signs and properties is proved, such as: positive perception of reality; acceptance of oneself, others and the surrounding world in general as they are and what they can be in the future; the ability to set goals, to overcome professional and life difficulties with the installation of self-change; manifestation of existential spontaneity, directness in solving pedagogical problems; confidence in their own professional and spiritual potential as an internal resource of self-development and self-motivation; the ability to really and adequately assess oneself, the vision of both their own positive qualities and disadvantages, etc.В статье актуализируется вопрос о важности переориентации собственной профессиональной деятельности педагога в направлении приоритета механизмов самореализации, саморазвития, саморегуляции, необходимых для его профессионально-личностного самоусовершенствования. Акцентировано на значимости развития феномена самоэффективности учителя как основы раскрытия его собственного потенциала, который нацеливает на духовную активность и получение эффективного результата в профессиональной деятельности, а также как важный инструмент модернизации отечественного образовательного пространства. Выделено и проанализировано сущность понятий «самоэффективность», «педагогическая самоэффективность». Так, установлено, что самоэффективность необходимо характеризовать такими признаками, как: рефлексивность и осознанность; результативность и нацеленность на успех; управляемость и последовательность; способность к самооцениванию; мобильность, гибкость и прогнозируемость. Механизм развития самоэффективности педагога рассмотрено с позиций синергетического подхода, с учетом основных принципов синергетической парадигмы в образовании. Акцентировано внимание на возможностях синергетики для педагогической науки в аспекте рассмотрения открытых систем (педагог, педагогический коллектив, педагогическая система в целом), способных к самоорганизации. Установлено, что педагог в синергетике может отыскать для себя смысловые ключи касаемо построения собственной траектории управления развитием самоэффективности. Необходимо рассматривать учителя как продуктивного субъекта собственной профессиональной деятельности. Охарактеризовано существенные признаки самоэффективного учителя как синергетической системы. Пришли к логическому заключению, что именно самоэффективный педагог в теории синергии, представляет собой активного субъекта профессиональной деятельности и агента изменений в русле реформации школьного образования, а также доказано целесообразность развития у него таких признаков и свойств, как: положительное восприятие действительности; приятие себя, других и окружающий мир в целом какими они есть и какими они могут быть в будущем; умение ставить цель, преодолевать профессиональные и жизненные трудности с установкой на самоизменение; проявление экзистенциональной спонтанности, непосредственности касаемо решения педагогических задач; уверенность в собственном профессиональном и духовном потенциале как внутреннем ресурсе самодвижения и саморазвития; способность реально и адекватно оценивать себя, видение как собственных позитивных качеств так и негативныхУ статті актуалізується питання щодо важливості переорієнтації власної професійної діяльності педагога у напрямі пріоритету механізмів самореалізації, саморозвитку, саморегуляції, необхідних для його професійно-особистісного самовдосконалення. Наголошено на важливості розвитку феномену самоефективності вчителя як основи розкриття його власного потенціалу, що націлює на духовну активність та отримання ефективного результату у професійній діяльності, а також як важливий інструмент модернізації вітчизняного освітнього простору. Виокремлено та проаналізовано сутність понять «самоефективність», «педагогічна самоефективність». Так, зазначено, що самоефективність слід характеризувати такими ознаками, як: рефлексивність та усвідомленість; результативність та націленість на успіх; керованість та послідовність; здатність до самооцінювання; мобільність, гнучкість та прогнозованість тощо. Механізм розвитку самоефективності педагога розглянуто з позицій синергетичного підходу, з урахуванням основних принципів синергетичної парадигми в освіті. Акцентовано увагу на можливостях синергетики для педагогічної науки в аспекті розгляду відкритих систем (педагог, педагогічний колектив, педагогічна система в цілому), здатних до самоорганізації. Встановлено, що будь-який педагог у синергетиці може віднайти для себе смислові ключі щодо побудови власної траєкторії управління розвитком самоефективності. Слід розглядати вчителя як продуктивного суб’єкта власної професійної діяльності. Схарактеризовано сутнісні ознаки самоефективного вчителя як синергетичної системи. Зроблено висновок, що саме самоефективний педагог у теорії синергії постає як активний суб’єкт професійної діяльності та агент змін у руслі реформації загальноосвітнього навчального закладу, та доведено доцільність розвитку у нього таких ознак та властивостей, як: позитивне сприйняття дійсності; прийняття себе, інших та оточуючий світ в цілому якими вони є і якими вони можуть бути у майбутньому; уміння ставити мету, долати професійні та життєві труднощі з установкою на самозміну; прояв екзистенційної спонтанності, безпосередньості щодо розв’язання педагогічних задач; впевненість у власному професійному та духовному потенціалі як внутрішньому ресурсі саморуху та саморозвитку; здатність реально і адекватно оцінювати себе, бачення як власних позитивних якостей, так і недоліків тощ

Multi-vector accounting concept in modern management

The article describes the current status of accounting as a multi-vector accounting, which was initiated by the segmentation of activities. For this purpose, the segmentation in accounting was analyzed on the example of international and Russian experience; expanded management needs in systemic replication of accounting information on various grounds were justified. The need of modern management for multiplying primary information once provided for the accounting as many times as management strategy and tactics requires is argued. It is proved that the pursuit of the alternative objectives concerning various management subjects is appropriately to be provided with the help of accounts and a double entry and not by "manual" sampling of information or by local software settings. In this connection, it is possible to assert a new status of accounting as a multi-vector system accounting, the characteristics of which are proposed by the authors of the article. In order to develop a unified approach to the multi-vector accounting organization and due to the requirement to differentiate its results for external and internal users, it is necessary to typify the multi-vector accounting under the management strategy and tactics. For this purpose, key points of the approaches to the selection of multi-vector accounting methods are highlighted, examples of management subjects as multi-vector accounting objects are given. As a result of the research, the authors proposed the key areas of multi-vector accounting within the framework of accounting and management accounting and substantiated the possibility of expanding the accounting resource on a systematic basis. Each of these accounting vectors assumes its own set of accounting information aggregation and specific ways of calculating the key indicators that facilitate receiving targeted information for modern management strategy and tactics support on a systematic basis. Multivector accounting will allow generating each management entity’s result and assessing each information segment’s potential.peer-reviewe