Sodelovalne ucne oblike pri jezikovnem delu pouka slovenscine v osnovni soli

In the Slovenian language syllabus, teachers are recommended to provide a greater share of group work during class. During types of learning such as cooperative learning in smaller groups or pairs, students actively develop communicative competence. The present article presents a survey that attempted to determine whether teachers from the first to the fifth grade execute cooperative learning in language classes. The purpose of the article is to raise teachers’ awareness and encourage them to design and execute cooperative learning more frequently. (DIPF/Orig.

The Morse-Bott inequalities, orientations, and the Thom isomorphism in Morse homology

The Morse-Bott inequalities relate the topology of a closed manifold to the topology of the critical point set of a Morse-Bott function defined on it. The Morse-Bott inequalities are sometimes stated under incorrect orientation assumptions. We show that these assumptions are insufficient with an explicit counterexample and clarify the origin of the mistake

Expressive Logics for Coinductive Predicates

The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic. In this paper we study this type of result in a general context, moving from transition systems to coalgebras and from bisimilarity to coinductive predicates. We formulate when a logic fully characterises a coinductive predicate on coalgebras, by providing suitable notions of adequacy and expressivity, and give sufficient conditions on the semantics. The approach is illustrated with logics characterising similarity, divergence and a behavioural metric on automata

Separation and Renaming in Nominal Sets

Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In particular, the left adjoint relates the separated product of nominal sets to the Cartesian product of nominal renaming sets. Based on these results, we define the new notion of separated nominal automata. We show that these automata can be exponentially smaller than classical nominal automata, if the semantics is closed under substitutions

Знання як фактор конкурентних переваг: перспективи України

Introduction. In recent decades, economic growth of the leading world countries have occurred on the basis of information and knowledge embodied in new products, production technologies and management at all stages of production and marketing. Due to the generation and commercialisation of knowledge competitive advantages of individual companies, institutions and national economies, leaders of economic growth are formed and advanced. Considering the current trends in the changing conditions of economic and political space of Ukraine and abroad, which will only intensify fast and efficient reorientation to new markets is relevant for the domestic producers. The purpose of the study is to investigate the role and place of knowledge as an element of intellectual capital of organisations to ensure their competitiveness in light of trends in the global economy; to assess the current position and to outline the problems and perspectives of fast and efficient innovation growth in Ukraine based on knowledge. Results. The role of knowledge in providing competitive advantages of organisations has been outlined. The place of knowledge relevant to intellectual capital of organisations is specified. It has been determined that knowledge as an element of intellectual capital has a dual nature: it can be regarded both as an intellectual resource and as a possibility to implement existing intellectual capital of organisations. The influence of knowledge in the global economy is investigated. Ukraine’s position in the world rankings, which reflects the level of economic development based on intellectual capital and innovation, as well as the status of its competitiveness, has been studied. From these positions, we have specified strengths and weaknesses of the national economy and outlined the prospects of economic growth based on knowledge as an element of intellectual capital.Окреслено роль знань у забезпеченні конкурентних переваг організацій. Уточнено місце знань в інтелектуальному капіталі організації. Визначено, що знання як елемент інтелектуального капіталу, мають дуалістичну природу: їх можна розглядати як інтелектуальний ресурс, а також як можливість реалізації наявного інтелектуального капіталу організації. Досліджено вплив знань на розвиток світової економіки. Досліджено позиції України у світових рейтингах, які відображають рівень економічного розвитку країн на основі інтелектуального капіталу та інновацій, а також стан їхньої конкурентоспроможності. Визначено сильні та слабкі сторони вітчизняної економіки, а також окреслено проблеми та перспективи її зростання на основі знань як елементу інтелектуального капіталу

Coalgebra Learning via Duality

Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebras. The approach relies on the use of logical formulas as tests, based on a dual adjunction between states and logical theories. This allows us to learn, e.g., labelled transition systems, using Hennessy-Milner logic. Our main contribution is an abstract learning algorithm, together with a proof of correctness and termination

Package betaper

Documentation for the R-package "betaper