Results 51 to 60 of about 227,942 (203)
CoRR, 2022 We introduce the countdown $μ$-calculus, an extension of the modal $μ$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties such as the existence of arbitrarily long sequences of specific actions. The standard correspondence with parity games
Jedrzej Kolodziejski, Bartek Klin
openaire +5 more sources
Understanding the calculus [PDF]
, 1985 A number of significant changes have have occurred recently that give us a golden opportunity to review the teaching of calculus. The most obvious is the arrival of the microcomputer in the mathematics classroom, allowing graphic demonstrations and ...
Tall, David
core
ANALISIS KEMAMPUAN BERPIKIR KRITIS MAHASISWA DALAM MEMECAHKAN MASALAH KALKULUS
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2019 Berpikir kritis merupakan kemampuan yang dapat dipelajari dan dilatihkan agar mampu memecahkan masalah secara efektif. Penelitian ini bertujuan untuk mendeskripsikan kemampuan berpikir kritis mahasiswa dalam memecahkan masalah kalkulus.
Yunis Sulistyorini, Siti Napfiah
doaj +1 more source
Salivary Immunoglobulin A, Caries And Periodontal Disease In Adolescents
International Dental JournalAim or purpose: Immunoglobulin A (IgA) has been suggested to protect against caries and periodontal inflammatory diseases (PID); however, the evidence for adolescents is still contradictory; therefore, we studied associations between IgA, caries and PID ...
Maria Gorbatova +2 more
doaj +1 more source
Education Sciences, 2022 After experiencing years of procedural teaching in K-12 mathematics classrooms, many students arrive at college with ideas about, and approaches towards, mathematics that are not helpful to their learning.
Jo Boaler +4 more
doaj +1 more source
Jurnal Elemen, 2015 The purpose of this research is the renewal of learning methods into calculus courses with modules of computer-assisted learning through maple. The products produced in this study is in the form of teaching materials in the form of calculus course lab ...
Parma Parma, Lalu Saparwadi
doaj +1 more source
Reconciling the event calculus with the situation calculus
The Journal of Logic Programming, 1997 Summary: To compare the situation calculus and event calculus, we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another.
Robert A. Kowalski, Fariba Sadri
openaire +2 more sources
, 1995 We present a graphical calculus, which allows mathematical formulae to be represented and reasoned about using a visual representation. We define how a formula may be represented by a graph, and present a number of laws for transforming graphs, and describe the effects these transformations have on the corresponding formulae.
Curtis, S, Lowe, G
openaire +3 more sources
Modeling SpaceWire networks with network calculus [PDF]
, 2011 The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-board network for future satellites. This network uses a wormhole routing mechanism that can lead to packet blocking in routers and consequently to variable ...
Frances, Fabrice +5 more
core +1 more source
A Calculus for Orchestration of Web Services [PDF]
, 2007 We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services.
Tiezzi, F. +9 more
core +1 more source