Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Journal articles (2)
- Category theory (1)
- Coalgebra (1)
- Coalgebraic Logic (1)
- Diamond (1)
-
- Diamond Strategies (1)
- Excel (1)
- Fractional definite integrals；properties；basic theorems；mean value theorem (1)
- Fraetal space；adaptability；scale·invariant；renorm alization groups；mechanical law (1)
- Interactivity (1)
- Mathematics (1)
- Modal Logic (1)
- Presentation by Operations and Equations (1)
- Robin Milner (1)
- Sifted Colimits (1)
- Stone Duality (1)
- Technology (1)
- Trigonometry (1)
- Universal Algebra (1)
- Variety (1)
- WebMathematica (1)
- Publication
- Publication Type
Articles 1 - 6 of 6
Full-Text Articles in Other Mathematics
Dynamic Web Tools For Trigonometry, Steven J. Wilson
Dynamic Web Tools For Trigonometry, Steven J. Wilson
Innovations in Math Technology
In the last 20 years, computer technology having mathematical capability has been developed, improved, and become widely available, but textbook presentations are still largely free of any discussion that might require technology. Technology could be used in mathematical instruction for student drill and practice, for instructor demonstrations that promote conceptual understanding, or for the exploration of mathematical ideas, but software is often designed to be pedagogically generic, leaving its use to the creativity of the instructor. Technological solutions for local machines can be quite extensive, but cost and time constraints then limit availability for student use. The internet has the …
Double Cross Playing Diamonds, Rudolf Kaehr
Double Cross Playing Diamonds, Rudolf Kaehr
Rudolf Kaehr
Understanding interactivity in/between bigraphs and diamonds Grammatologically, the Western notational system is not offering space in itself to place sameness and otherness necessary to realize interaction/ality. Alphabetism is not prepared to challenge the dynamics of interaction directly. The Chinese writing system in its scriptural structuration, is able to place complex differences into itself, necessary for the development and design of formal systems and programming languages of interaction. The challenge of interactionality to Western thinking, modeling and design interactivity has to be confronted with the decline of the scientific power of alpha-numeric notational systems as media of living in a complex …
Short Studies 2008. Adventures In Diamond Strategies Of Change(S), Rudolf Kaehr
Short Studies 2008. Adventures In Diamond Strategies Of Change(S), Rudolf Kaehr
Rudolf Kaehr
Modular Bolognese Paradoxes of postmodern education. A Tale of Fishes, Birds and Diamonds in Second-Order Epistemology Why it is useless to write about the mono-contexturality of alphabetism and digitalism Chez Maxime's Human rights in a polycontextural world Primary Thoughts to a Manifesto for Awareness Fashion Marketing Which Equality? How equal are equal human beings? Generalized Diamonds From monosemic to tectonic complementarity Diamond Disremption Diamond interpretation of the kenomic succession operation Diamond Web2.0? How social is social networking? Web Mobility Web computing between semiotic and kenomic spaces Double Cross Playing Diamonds Understanding interactivity in/between bigraphs and diamonds Morphogrammatics of Change A …
The Adaptability Principle Of Mechanical Law And The Scale-Invariant Principle Of Mechanical Law In Fractal Space, Yang Xiaojun
The Adaptability Principle Of Mechanical Law And The Scale-Invariant Principle Of Mechanical Law In Fractal Space, Yang Xiaojun
Xiao-Jun Yang
The adaptability principle of mechanical law and the scale-invariant principle of mechanical law in fractal space are proved by using parameter-space and scale-space transforms in renormalization groups.From the space-transform angle,the transform of mechanical law from fractal space to European space is the scale-invariant transform while the transform of mechanical law from European space to fractal space is the adaptability transform.Their deductions are that law of conservation of energy and vectorial resultant of force and displacement in fractal space hold the line in form and Carpinteri's dimensional formula of fractal space is also proved. Namely,the spilling dimension of volume in fractal …
Fractional Definite Integral, Yang Xiaojun
Fractional Definite Integral, Yang Xiaojun
Xiao-Jun Yang
Fractional definite integral is that a value of the integral calculus over given interva1．Under the circumstance of fractional dimension，fractional definite integral is important to compute some value in given interva1．It is complied with starting introducing definition，the properties，leads into fractional integral function of definition and the properties，and then induces to basic theorems for fractional integral calculus
Functorial Coalgebraic Logic: The Case Of Many-Sorted Varieties, Alexander Kurz, Daniela Petrişan
Functorial Coalgebraic Logic: The Case Of Many-Sorted Varieties, Alexander Kurz, Daniela Petrişan
Engineering Faculty Articles and Research
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generalized from endofunctors on one-sorted varieties to functors between many-sorted varieties. This yields an equational logic for the presheaf semantics of higher-order abstract syntax. As another application, we show how the move to functors between many-sorted varieties allows to modularly combine syntax and proof systems of different logics. Second, we show how to associate …