The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The allocation scheme of \(n\) indistinguishable particles into \(N\) different cells is studied. Let the random variable \(\mu_0(n,K,N)\) be the number of empty cells among the first \(K\) cells. Let \(p=\frac{n}{n+N}\). It is proved that \(\frac{\mu_0(n,K,N)-K(1-p)}{\sqrt{ K p(1-p)}}\) converges in distribution to the Gaussian distribution with expectation zero and variance one, when \(n,K, N\to\infty\)...
The hybrid numbers are generalization of complex, hyperbolic and dual numbers. In this paper we consider a special kind of hybrid numbers, namely the Mersenne hybrid numbers and we give some of their properties.
Let \(F\) be a bundle functor on the category of all fibred manifolds and fibred maps. Let \(\Gamma\) be a general connection in a fibred manifold \(\mathrm{pr}:Y\to M\) and \(\nabla\) be a classical linear connection on \(M\). We prove that the well-known general connection \(\mathcal{F}(\Gamma,\nabla)\) in \(FY\to M\) is canonical with respect to fibred maps and with respect to natural transformations...
In this paper, we establish some interval oscillation criteria for impulsive conformable fractional partial delay differential equations with a forced term. The main results will be obtained by employing Riccati technique. Our results extend and improve some results reported in the literature for the classical differential equations without impulses. An example is provided to illustrate the relevance...
The purpose of this article is to generalize the ring of \(q\)-Appell polynomials to the complex case. The formulas for \(q\)-Appell polynomials thus appear again, with similar names, in a purely symmetric way. Since these complex \(q\)-Appell polynomials are also \(q\)-complex analytic functions, we are able to give a first example of the \(q\)-Cauchy-Riemann equations. Similarly, in the spirit of...
In this paper we introduce a one-parameter generalization of the split Jacobsthal quaternions, namely the split r-Jacobsthal quaternions. We give a generating function, Binet formula for these numbers. Moreover, we obtain some identities, among others Catalan, Cassini identities and convolution identity for the split r-Jacobsthal quaternions.
In this manuscript, we study the existence, uniqueness and various kinds of Ulam stability including Ulam-Hyers stability, generalized Ulam-Hyers stability, Ulam-Hyers-Rassias stability, and generalized Ulam-Hyers-Rassias stability of the solution to an implicit nonlinear fractional differential equations corresponding to an implicit integral boundary condition. We develop conditions for the existence...
We present both necessary and sufficient conditions for a convex closed shape such that for every convex function the average integral over the shape does not exceed the average integral over its boundary. It is proved that this inequality holds for n-dimensional parallelotopes, n-dimensional balls, and convex polytopes having the inscribed sphere (tangent to all its facets) with the centre in the...
The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and S4.3. The application of the inference rules is said to be acceptable, if all the formulas in the upper sequents are subformula of the formulas in lower sequent. For some modal logics,...
The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion consequence relation containing r, is dened on the grounds of a natural Galois connection. It is shown that the very closure C is an isomorphism from the...
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INF℩ of...
Our aim is to overview and discuss some of the most popular approaches to the notion of a tolerance relation in algebraic structures with the special emphasis on lattices.
Głównym celem artykułu jest przedstawienie turystyki skupiającej się w kierunku poznania dziedzictwa kulturowego społeczności żydowskiej na terenie Krakowa. W artykule przedstawiono oraz przedyskutowano kilka ważnych kwestii. Rozważaniom poddano znaczenie turystyki kulturowej, odgrywającej coraz większą rolę w sektorze turystycznym miasta. Wskazano także pozostałości kultury żydowskiej na terenie...
Określenie preferencji turystycznych kibiców pomoże lepiej dopasować ofertę miast organizatorskich zawodów sportowych. W niniejszej pracy autor skupia się na kibicach żużlowych. Kibice to osoby, które są bardzo mocno przywiązane do swoich barw narodowych lub klubowych. Sport w życiu kibica może wpływać na jego wybory związane z życiem codziennym lub dotyczące organizacji wyjazdu turystycznego. Celem...
Questing uprawiany jest na świecie od połowy lat 90. XX wieku, na terenie Polski jego przykłady liczone są w setkach, a równocześnie w literaturze z zakresu turystyki pojawia się jako nowa, nowatorska, innowacyjna forma zwiedzania, edukacji regionalnej, wypoczynku, tworzenia produktu turystycznego. W artykule przedstawiono charakterystykę oferty krakowskich szlaków questingowych jako form zwiedzania...
Dziedzictwo kulturowo-historyczne i turystyka kulturowa to ważne czynniki społeczno-ekonomicznego rozwoju obszarów wiejskich Podhala. Region ten posiada atrakcyjne walory antropogeniczne dzięki którym istnieje możliwość uprawiania na Podhalu nie tylko turystyki wypoczynkowej, pieszej górskiej, narciarskiej czy ekoturystyki, ale również turystyki kulturowej będącej formą turystyki poznawczej oraz krajoznawczej...
Celem niniejszego artykułu jest wyszczególnienie i omówienie najważniejszych walorów turystycznych andaluzyjskiej części Hiszpanii z podziałem na najpopularniejsze miasta i ich atrakcje. Wymienione i scharakteryzowane walory w większości zostały uwzględnione na Liście Obiektów Światowego Dziedzictwa Kulturowego UNESCO, jednak pojawiają się też obiekty spoza tej listy. Autorka pragnie przedstawić dane,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.