Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "calculus" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 239
Tytuł:
The rôle of categorical structures in infinitesimal calculus
Autorzy:
Steingartner, W.
Galinec, D.
Powiązania:
https://bibliotekanauki.pl/articles/122664.pdf
Data publikacji:
2013
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
infinitesimal calculus
integral calculus
differential calculus
Opis:
The development of mathematics stands as one of the most important achievements of humanity, and the development of the calculus, differential calculus and integral calculus is one of the most important achievements in mathematics. Differential calculus is about finding the slope of a tangent to the graph of a function, or equivalently, differential calculus is about finding the rate of change of one quantity with respect to another quantity. On the other hand, integration is an important concept in mathematics and, together with its inverse, differentiation, is one of the two main operations in calculus. Integrals and derivatives became the basic tools of calculus, with numerous applications in science and engineering. The category theory is a mathematical approach to the study of algebraic structure that has become an important tool in theoretical computing science, particularly for semantics-based research. The notion of a limit in category theory generalizes various types of universal constructions that occur in diverse areas of mathematics. In our paper we illustrate how to represent some parts of infinitesimal calculus in categorical structures.
Die Theorie von Kategorien ist der Bereich von Mathematik und sie dient vor allem fur das Studium der algebraischen Strukturen. Sie wird aber sehr oft auch in Informatik geltend gemacht. Manche bedeutende mathematische Bereiche kann man mithilfe der Kategorien darstellen und das ermöglicht mit den mathematischen Strukturen viel einfacher zu arbeiten als ohne Anwendung der Kategorien. Der Grund der Infinitesimalrechnung bilden zwei duale Bereiche - Differential- und Integralrechnung. In unserem Beitrag orientieren wir uns auf die Konstruktion des Diagramms von Stammfunktionen zur Funktion Kosinus. Von diesen Funktionen konstruieren wir den kommutativen Kegel und wir finden seinen Grenzwert. In dem zweiten Teil des Artikels zeigen wir den Ausdruck der Derivationen von Funktionen in der Kommakategorie und wir konstruieren den kodomänen Funktor zwischen der Kategorie der Derivationen und der Kategorie der Mengen für differenzierbare Funktionen.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2013, 12, 1; 107-119
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Calculus without the concept of limit
Analiza matematyczna bez pojęcia granicy
Autorzy:
Błaszczyk, Piotr
Major, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/1790995.pdf
Data publikacji:
2017-07-05
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
hyperreals
calculus
Opis:
There are two different approaches to nonstandard analysis: semantic(model-theoretic) and syntactic (axiomatic). Both of these approachesrequire some knowledge of mathematical logic. We present a method basedon an ultrapower construction which does not require any mathematical logicprerequisites. On the one hand, it is a complementary course to a standardcalculus course. On the other hand, since it relies on a different intuitivebackground, it provides an alternative approach. While in standard analysisan intuition of being close is represented by the notion of limit, in nonstandardanalysis it finds its expression in the relation is infinitely close. Asa result, while standard courses focus on the " − technique, we explorean algebra of infinitesimals. In this paper, we offer a proof of the theoremon the equivalency of limits and infinitesimals, showing that calculus can bedeveloped without the concept of limit.
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2014, 6; 19-40
2080-9751
2450-341X
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wybrane zagadnienia z zakresu liniowych ciągłych układów niecałkowitego rzędu
Selected problems of continuous-time linear systems of non-integer order
Autorzy:
Busłowicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/275612.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
rachunek różniczkowo-całkowy
rachunek niecałkowitego rzędu
differential-integral calculus
fractional calculus
Opis:
W pracy dokonano przeglądu wybranych zagadnień z zakresu rachunku niecałkowitego rzędu oraz teorii ciągłych układów liniowych stacjonarnych rzędu niecałkowitego, takich jak metody opisu, synteza regulatorów niecałkowitego rzędu, ich modelowanie oraz realizacja praktyczna, a także badanie stabilności układów regulacji. Rozważania zilustrowano przykładami liczbowymi.
The paper gives the review of the selected problems from calculus of non-integer order and theory of continuous-time linear systems of non-integer order such as description methods, synthesis of non-integer controllers, their modelling and practical realization and also stability checking of the control systems. The considerations are illustrated by examples.
Źródło:
Pomiary Automatyka Robotyka; 2010, 14, 2; 93-114
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of geogebra for teaching mathematics
Autorzy:
Majerek, D
Powiązania:
https://bibliotekanauki.pl/articles/101957.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
dynamic geometry
algebra
calculus
Opis:
This paper shows how GeoGebra can be helpful in teaching mathematics. GeoGebra is an interactive geometry, algebra, statistics and calculus application, intended for learning and teaching mathematics and science from primary school to university level. It can be used for active and problem oriented teaching and fosters mathematical experiments and discoveries both in classroom and at home. In this work we show the sketch of using the above-mentioned software to build, solve and illustrate mathematical problems.
Źródło:
Advances in Science and Technology. Research Journal; 2014, 8, 24; 51-54
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Axiomatization of a Basic Logic of Logical Bilattices
Autorzy:
Takano, Mitio
Powiązania:
https://bibliotekanauki.pl/articles/749918.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
logical bilattice
sequent calculus
Opis:
A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Some Applied First-Order Theories which Can Be Represented by Definitions
Autorzy:
Shalack, Vladimir
Powiązania:
https://bibliotekanauki.pl/articles/749966.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
theory
definition
predicate calculus
Opis:
In the paper we formulate a sufficient criterion in order for the first order theory with finite set of axioms to be represented by definitions in predicate calculus. We prove the corresponding theorem. According to this criterion such theories as the theory of equivalence relation, the theory of partial order and many theories based on the equality relation with finite set of functional and predicate symbols are represented by definitions in the first-order predicate calculus without equality.
Źródło:
Bulletin of the Section of Logic; 2015, 44, 1-2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Derivative of a function at a point and integral by professor Igor Kluvánek
Autorzy:
Gunčaga, J.
Powiązania:
https://bibliotekanauki.pl/articles/121989.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
analiza matematyczna
rachunek różniczkowy
całki
rachunek całkowy
mathematical analysis
calculus
integrals
integral calculus
Opis:
Professor Igor Kluvánek had developed a unique course of calculus (mathematical analysis) to teach students the differential and integral calculus. In the present paper, this concept is briefly outlined. The notion of derivative is introduced via continuity. The definition of integral given in this article applies an idea of Archimedes.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 37-50
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Variational method of finding streamlines in ring cascades for creeping flows
Autorzy:
Tesch, K.
Banaszek, M.
Powiązania:
https://bibliotekanauki.pl/articles/1934035.pdf
Data publikacji:
2011
Wydawca:
Politechnika Gdańska
Tematy:
variational calculus
creeping flow
dissipation
Opis:
This paper presents a new analytical method of finding streamlines for creeping flows in a ring cascade composed of an infinite number of infinitely thin blades. An analytical solution was obtained by minimizing the dissipation functional by means of the variational calculus. The necessary condition for the optimum of the functional yields the Stokes equation after certain additional assumptions are introduced. We considered different variants of fixing of the inlet and outlet of the cascade.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2011, 15, 1; 71-84
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o rachunku cech
Some Remarks about a Calculus of Properties
Autorzy:
Labenz, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/909781.pdf
Data publikacji:
2005-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
calculus of properties
ontological commitment
Opis:
A calculus of properties due to Żabski [1982] is outlined and criticised. Some of its theorems are claimed to fail to account for the relevant onotological intuitions and some to fail to be true. The argument in its favour from co-extensional nonidentical properties is challenged. In conclusion, the need for a calculus of properties in general is doubted.
Źródło:
Filozofia Nauki; 2005, 13, 1; 91-97
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics
Autorzy:
Pynko, Alexej P
Powiązania:
https://bibliotekanauki.pl/articles/749874.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
sequent calculus
Łukasiewicz’s logics
Opis:
The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s n-valued logics [4]. The paper provides an analytical expression of a 2(n−1)-place sequent calculus (in the sense of [10, 9]) with the cut-elimination property and a strong completeness with respect to the logic involved which is most compact among similar calculi in the sense of a complexity of systems of premises of introduction rules. This together with a quite effective procedure of construction of an equality determinant (in the sense of [5]) for the logics involved to be extracted from the constructive proof of Proposition 6.10 of [6] yields an equally effective procedure of construction of both Gentzen-style [2] (i.e., 2-place) and Tait-style [11] (i.e., 1-place) minimal sequent calculi following the method of translations described in Subsection 4.2 of [7].
Źródło:
Bulletin of the Section of Logic; 2015, 44, 3-4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimization of logistic motor transport networks with application of propositional calculus laws
Autorzy:
Czajkowski, Andrzej A.
Frąś, Józef
Schlegel, Mathias
Kanswohl, Norbert
Powiązania:
https://bibliotekanauki.pl/articles/409142.pdf
Data publikacji:
2019
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
logistics
transport
propositional calculus
optimisation
Opis:
Some proposition of mathematical logic application for optimization of logistic nets describing motor transport has been presented in this paper. Some algorithm for optimization steps has been proposed in the article. In presented example has been elaborated some optimization of logistic net for motor transport. The optimized logistics network for motor transport significantly improves reliability and contributes to the economical use of the vehicle.
Źródło:
Research in Logistics & Production; 2019, 9, 2; 65-76
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Set-valued fractional order differential equations in the space of summable functions
Autorzy:
Salem, Hussein
Powiązania:
https://bibliotekanauki.pl/articles/729465.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
fractional calculus
set-valued problem
Opis:
In this paper, we study the existence of integrable solutions for the set-valued differential equation of fractional type
$(D^{αₙ} - ∑_{i=1}^{n-1} a_i D^{α_i})x(t) ∈ F(t,x(φ(t)))$,
a.e. on (0,1), $I^{1 - αₙ} x(0) = c$, αₙ ∈ (0,1),
where F(t,·) is lower semicontinuous from ℝ into ℝ and F(·,·) is measurable. The corresponding single-valued problem will be considered first.
Źródło:
Discussiones Mathematicae, Differential Inclusions, Control and Optimization; 2008, 28, 1; 83-93
1509-9407
Pojawia się w:
Discussiones Mathematicae, Differential Inclusions, Control and Optimization
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimum drag shape bodies moving in inviscid fluid – revisite
Autorzy:
Tesch, K.
Kaczorowska, K.
Powiązania:
https://bibliotekanauki.pl/articles/175420.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
minimum drag
variational calculus
optimisation
Opis:
This paper presents the classic approach to minimum drag shape body problem, moving at hypersonic speeds, leading to famous power law shapes with value of the exponent of 3 4. Twoand three-dimensional cases are considered. Furthermore, an exact pseudo solution is given and its uselessness is discussed. Two new solutions are introduced, namely an approximate solution due to form of the functional and solution by means of optimisation of a Bézier curve. The former transforms the variational problem to the classic problem of function optimisation by assuming certain class of functions, whereas the latter by means of discretised functional.
Źródło:
Transactions of the Institute of Fluid-Flow Machinery; 2017, 135; 73-85
0079-3205
Pojawia się w:
Transactions of the Institute of Fluid-Flow Machinery
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of fractional order theory of thermoelasticity to a 1D problem for a spherical shell
Autorzy:
Raslan, W. E.
Powiązania:
https://bibliotekanauki.pl/articles/949113.pdf
Data publikacji:
2016
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
fractional calculus
spherical shell
thermoelasticity
Opis:
In this work, we apply the fractional order theory of thermoelasticity to a one-dimensional problem of distribution of thermal stresses and temperature in a generalized thermoelastic medium in the form of a spherical shell subjected to sudden change in the temperature of its external boundary. Laplace transform techniques are used to solve the problem. Numerical results are computed and represented graphically for the temperature, displacement and stress distributions.
Źródło:
Journal of Theoretical and Applied Mechanics; 2016, 54, 1; 295-304
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 239

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies