WorldWideScience

Sample records for calculus mathematics

  1. Mathematics for physics with calculus

    CERN Document Server

    Das, Biman

    2005-01-01

    Designed for students who plan to take or who are presently taking calculus-based physics courses. This book will develop necessary mathematical skills and help students gain the competence to use precalculus, calculus, vector algebra, vector calculus, and the statistical analysis of experimental data. Students taking intermediate physics, engineering, and other science courses will also find the book useful-and will be able to use the book as a mathematical resource for these intermediate level courses. The book emphasizes primarily the use of mathematical techniques and mathematical concepts in Physics and does not go into their rigorous developments.

  2. Mathematics for engineers III vector calculus

    CERN Document Server

    Baumann, Gerd

    2011-01-01

    This book is part of a four-volume textbook on Engineering Mathematics for undergraduates. Volume III treats vector calculus and differential equations of higher order. The text uses Mathematica as a tool to discuss and to solve examples from mathematics. The basic use of this language is demonstrated by examples.

  3. Mathematical Features of the Calculus

    Science.gov (United States)

    Sauerheber, Richard D.

    2010-01-01

    The fundamental theorems of the calculus describe the relationships between derivatives and integrals of functions. The value of any function at a particular location is the definite derivative of its integral and the definite integral of its derivative. Thus, any value is the magnitude of the slope of the tangent of its integral at that position,…

  4. Constructivized Calculus in College Mathematics

    Science.gov (United States)

    Lawrence, Barbara Ann

    2012-01-01

    The purpose of this study is to present some of the classical concepts, definitions, and theorems of calculus from the constructivists' point of view in the spirit of the philosophies of L.E.J. Brouwer and Errett Bishop. This presentation will compare the classical statements to the constructivized statements. The method focuses on giving…

  5. Utilizing Microsoft Mathematics in Teaching and Learning Calculus

    Science.gov (United States)

    Oktaviyanthi, Rina; Supriani, Yani

    2015-01-01

    The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students' achievement and the effects of the use of Microsoft…

  6. UTILIZING MICROSOFT MATHEMATICS IN TEACHING AND LEARNING CALCULUS

    OpenAIRE

    Rina Oktaviyanthi; Yani Supriani

    2015-01-01

    The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students’ achievement and the effects of the use of Microsoft Mathematics on students’ attitudes in relation to such experience. Two classes of the students from the first year student in Universitas Serang Raya wer...

  7. Calculus

    CERN Document Server

    Spivak, Michael

    2006-01-01

    Spivak's celebrated textbook is widely held as one of the finest introductions to mathematical analysis. His aim is to present calculus as the first real encounter with mathematics: it is the place to learn how logical reasoning combined with fundamental concepts can be developed into a rigorous mathematical theory rather than a bunch of tools and techniques learned by rote. Since analysis is a subject students traditionally find difficult to grasp, Spivak provides leisurely explanations, a profusion of examples, a wide range of exercises and plenty of illustrations in an easy-going approach that enlightens difficult concepts and rewards effort. Calculus will continue to be regarded as a modern classic, ideal for honours students and mathematics majors, who seek an alternative to doorstop textbooks on calculus, and the more formidable introductions to real analysis.

  8. Effects of Clicker Use on Calculus Students' Mathematics Anxiety

    Science.gov (United States)

    Batchelor, John

    2015-01-01

    This paper reports the results of a survey study of clicker use and mathematics anxiety among students enrolled in an undergraduate calculus course during the Fall 2013 semester. Students in two large lecture sections of calculus completed surveys at the beginning and end of the course. One class used clickers, whereas the other class was taught…

  9. UTILIZING MICROSOFT MATHEMATICS IN TEACHING AND LEARNING CALCULUS

    Directory of Open Access Journals (Sweden)

    Rina Oktaviyanthi

    2015-01-01

    Full Text Available The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students’ achievement and the effects of the use of Microsoft Mathematics on students’ attitudes in relation to such experience. Two classes of the students from the first year student in Universitas Serang Raya were participated in the study. This study found that students who taught by using Microsoft Mathematics had higher achievement and has a positive effect on students’ confidence of mathematics.Keywords: Calculus, Educational Technology, Mathematics Education, Microsoft Mathematics, Technology Application DOI: dx.doi.org/10.22342/jme.61.63

  10. From Calculus to Wavelets: A New Mathematical Technique Wavelet ...

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 2; Issue 4. From Calculus to Wavelets: A New Mathematical Technique Wavelet Analysis Physical Properties. Gerald B Folland. General Article Volume 2 Issue 4 April 1997 pp 25-37 ...

  11. Utilizing Microsoft Mathematics In Teaching And Learning Calculus

    Directory of Open Access Journals (Sweden)

    Rina Oktaviyanthi

    2015-10-01

    Full Text Available The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students’ achievement and the effects of the use of Microsoft Mathematics on students’ attitudes in relation to such experience. Two classes of the students from the first year student in Universitas Serang Raya were participated in the study. This study found that students who taught by using Microsoft Mathematics had higher achievement and has a positive effect on students’ confidence of mathematics.

  12. Non-Mathematics Students' Reasoning in Calculus Tasks

    Science.gov (United States)

    Jukic Matic, Ljerka

    2015-01-01

    This paper investigates the reasoning of first year non-mathematics students in non-routine calculus tasks. The students in this study were accustomed to imitative reasoning from their primary and secondary education. In order to move from imitative reasoning toward more creative reasoning, non-routine tasks were implemented as an explicit part of…

  13. Calculus

    CERN Document Server

    Jones, Patrick

    2014-01-01

    Practice makes perfect-and helps deepen your understanding of calculus 1001 Calculus Practice Problems For Dummies takes you beyond the instruction and guidance offered in Calculus For Dummies, giving you 1001 opportunities to practice solving problems from the major topics in your calculus course. Plus, an online component provides you with a collection of calculus problems presented in multiple-choice format to further help you test your skills as you go. Gives you a chance to practice and reinforce the skills you learn in your calculus courseHelps you refine your understanding of calculusP

  14. Mathematical misconception in calculus 1: Identification and gender difference

    Science.gov (United States)

    Nassir, Asyura Abd; Abdullah, Nur Hidayah Masni; Ahmad, Salimah; Tarmuji, Nor Habibah; Idris, Aminatul Solehah

    2017-08-01

    A few years of experience of teaching mathematics make us notice that the same types of mistakes are done repeatedly by students. This paper presents an insight into categories of mistakes, how male and female students differ in terms of mistakes that are commonly done and the ability of the students to identify the mistakes. Sample of mistakes were taken from Calculus 1 final exam answer scripts, then it was listed and analyzed. Data analysis revealed that students' misconceptions fall into four categories. The first category is misunderstanding the meaning of brackets, followed by misconception of basic mathematics rules, misconception in notation and misconception in properties of trigonometry. A mistake identification test which consists of ten false mathematical statements was designed based on the mistake done by the previous batch of students that covered topics algebra, trigonometry, index, limit, differentiation and integration. Then, the test was given to students who enrolled in Calculus I course. Respondents of this study were randomly selected among two hundreds engineering students. Data obtained were analyzed using basic descriptive analysis and Chi Square test to capture gender differences in the mistake done for each category. Findings indicate that thirty five percent of the students have the ability to identify the mistakes and make a proper correction for at most two statements. Thirty one percent of the students are able to identify the mistakes but unable to make proper correction. Twenty five percent of the students failed to identify the mistakes in six out of ten false statements. Female students' misconception is more likely in basic mathematics rules compared to male. The findings of this study could serve as baseline information to be stressed in improving teaching and learning mathematics.

  15. An Excel-Aided Method for Teaching Calculus-Based Business Mathematics

    Science.gov (United States)

    Liang, Jiajuan; Martin, Linda

    2008-01-01

    Calculus-based business mathematics is a required quantitative course for undergraduate business students in most AACSB accredited schools or colleges of business. Many business students, however, have relatively weak mathematical background or even display math-phobia when presented with calculus problems. Because of the popularity of Excel, its…

  16. Calculus

    CERN Document Server

    Larson, Ron

    2014-01-01

    The Larson CALCULUS program has a long history of innovation in the calculus market. It has been widely praised by a generation of students and professors for its solid and effective pedagogy that addresses the needs of a broad range of teaching and learning styles and environments. Each title is just one component in a comprehensive calculus course program that carefully integrates and coordinates print, media, and technology products for successful teaching and learning.

  17. Calculus

    CERN Document Server

    Grossman, Stanley I

    1981-01-01

    Calculus, Second Edition discusses the techniques and theorems of calculus. This edition introduces the sine and cosine functions, distributes ?-? material over several chapters, and includes a detailed account of analytic geometry and vector analysis.This book also discusses the equation of a straight line, trigonometric limit, derivative of a power function, mean value theorem, and fundamental theorems of calculus. The exponential and logarithmic functions, inverse trigonometric functions, linear and quadratic denominators, and centroid of a plane region are likewise elaborated. Other topics

  18. Calculus

    CERN Document Server

    Grossman, Stanley I

    1984-01-01

    Calculus, Third Edition emphasizes the techniques and theorems of calculus, including many applied examples and exercises in both drill and applied-type problems.This book discusses shifting the graphs of functions, derivative as a rate of change, derivative of a power function, and theory of maxima and minima. The area between two curves, differential equations of exponential growth and decay, inverse hyperbolic functions, and integration of rational functions are also elaborated. This text likewise covers the fluid pressure, ellipse and translation of axes, graphing in polar coordinates, pro

  19. A MATLAB-Aided Method for Teaching Calculus-Based Business Mathematics

    Science.gov (United States)

    Liang, Jiajuan; Pan, William S. Y.

    2009-01-01

    MATLAB is a powerful package for numerical computation. MATLAB contains a rich pool of mathematical functions and provides flexible plotting functions for illustrating mathematical solutions. The course of calculus-based business mathematics consists of two major topics: 1) derivative and its applications in business; and 2) integration and its…

  20. Assessing Preservice Teachers' Mathematics Cognitive Failures as Related to Mathematics Anxiety and Performance in Undergraduate Calculus

    Science.gov (United States)

    Awofala, Adeneye O. A.; Odogwu, Helen N.

    2017-01-01

    The study investigated mathematics cognitive failures as related to mathematics anxiety, gender and performance in calculus among 450 preservice teachers from four public universities in the South West geo-political zone of Nigeria using the quantitative research method within the blueprint of the descriptive survey design. Data collected were…

  1. Discovering the Art of Mathematics: Using String Art to Investigate Calculus

    Science.gov (United States)

    von Renesse, Christine; Ecke, Volker

    2016-01-01

    One goal of our Discovering the Art of Mathematics project is to empower students in the liberal arts to become confident creators of art and imaginative creators of mathematics. In this paper, we describe our experience with using string art to guide liberal arts students in exploring ideas of calculus. We provide excerpts from our inquiry-based…

  2. Bringing Reality into Calculus Classrooms: Mathematizing a Real-life Problem Simulated in a Virtual Environment

    Directory of Open Access Journals (Sweden)

    Olga V. Shipulina

    2013-01-01

    Full Text Available The study explores how students, who had completed the AP calculus course, mathematized the optimal navigation real-life problem simulated in the Second Life Virtual Environment. The particular research interest was to investigate whether/how students’ empirical activity in VE influences the way of their mathematizing.

  3. Individualized Math Problems in Calculus and Statistics. Oregon Vo-Tech Mathematics Problem Sets.

    Science.gov (United States)

    Cosler, Norma, Ed.

    This is one of eighteen sets of individualized mathematics problems developed by the Oregon Vo-Tech Math Project. Each of these problem packages is organized around a mathematical topic and contains problems related to diverse vocations. Solutions are provided for all problems. Problems in which calculus and statistics are applied to forestry,…

  4. Calculus

    CERN Document Server

    Zandy, Bernard V

    2003-01-01

    We take great notes-and make learning a snap When it comes to pinpointing the stuff you really need to know, nobody does it better than CliffsNotes. This fast, effective tutorial helps you master core Calculus concepts-from functions, limits, and derivatives to differentials, integration, and definite integrals- and get the best possible grade. At CliffsNotes, we're dedicated to helping you do your best, no matter how challenging the subject. Our authors are veteran teachers and talented writers who know how to cut to the chase- and zero in on the essential information you need to succeed.

  5. Calculus light

    CERN Document Server

    Friedman, Menahem

    2011-01-01

    Another Calculus book? As long as students find calculus scary, the failure rate in mathematics is higher than in all other subjects, and as long as most people mistakenly believe that only geniuses can learn and understand mathematics, there will always be room for a new book of Calculus. We call it Calculus Light. This book is designed for a one semester course in ""light"" calculus -- mostly single variable, meant to be used by undergraduate students without a wide mathematical background and who do not major in mathematics but study subjects such as engineering, biology or management infor

  6. The Vector Calculus Gap: Mathematics (Does Not Equal) Physics.

    Science.gov (United States)

    Dray, Tevian; Manogue, Corinne A.

    1999-01-01

    Discusses some of the differences between the ways mathematicians and physicists view vector calculus and the gap between the way this material is traditionally taught by mathematicians and the way physicists use it. Suggests some ways to narrow the gap. (Author/ASK)

  7. Calculus Based On Contextual Learning Model To Cultivate Students Activity Interest And Mathematical Connection Ability

    Directory of Open Access Journals (Sweden)

    Nana Sepriyanti

    2017-10-01

    Full Text Available The preliminary study on Calculus classes in Department of Mathematics of Tarbiyah Faculty of IAIN Imam Bonjol Padang reveals that the instructional process and materials that the lecturer used not yet facilitated the students to construct their own learning in calculus. The effectiveness of learning calculus is still low and the learning process is still conventional. So that it needs for the development of calculus-based contextual learning model. The purposes of this research were to develop a model of calculus based contextual learning CBCL that is valid practical and effective. But in this article it just discussed about the effectiveness of this model. A Design research was conducted to develop a model of calculus instruction through contextual based adapted from the model suggested by Plomp 18. The design research phases involved preliminary research prototyping phase and assessment phase. The research data were qualitative and quantitative. Qualitative data were collected through observation and questionnaires and quantitative data were obtained through testing and observation activities of students. The result of prototype phase showed that the Syntax calculus-based contextual learning model consists of five phases namely 1 Phase 1. Delivering objective Giving Motivation and Apperception 2 Phase 2. Organize the students into groups and Delivering learning how to learn 3 Phase 3. Guided group work 4 Phase 4. Guiding and Class Discussion 5 Phase 5. Reflection and Evaluation. The improvement of the model of CBCL at the effectivity test show that the all four aspects of assessment obtain the effectivity percentage value with effective category that is the result of students activity observation of the model of CBCL is 705 with effective category students learning interest questionnaire of the model of CBCL is 765 with effective category the IWS score is 7439 with effective category. The students mathematical connection ability taught by

  8. A Comparison of Mathematics Teachers' and Professors' Views on Secondary Preparation for Tertiary Calculus

    Science.gov (United States)

    Wade, Carol; Sonnert, Gerhard; Sadler, Philip M.; Hazari, Zahra; Watson, Charity

    2016-01-01

    This article compares the views of teachers and professors about the transition from secondary mathematics to tertiary calculus. Quantitative analysis revealed five categories where teachers and professors differed significantly in the relative frequency of addressing them. Using the rite of passage theory, the separation and incorporation phases…

  9. To Math or Not to Math: The Algebra-Calculus Pipeline and Postsecondary Mathematics Remediation

    Science.gov (United States)

    Showalter, Daniel A.

    2017-01-01

    This article reports on a study designed to estimate the effect of high school coursetaking in the algebra-calculus pipeline on the likelihood of placing out of postsecondary remedial mathematics. A nonparametric variant of propensity score analysis was used on a nationally representative data set to remove selection bias and test for an effect…

  10. Instructional Experiences That Align with Conceptual Understanding in the Transition from High School Mathematics to College Calculus

    Science.gov (United States)

    Wade, Carol H.; Sonnert, Gerhard; Sadler, Philip M.; Hazari, Zahra

    2017-01-01

    Using data from the first National study on high school preparation for college calculus success, the Factors Influencing College Success in Mathematics (FICSMath) project, this article connects student high school instructional experiences to college calculus performance. The findings reported here reveal that students were better prepared for…

  11. The impact of instructor pedagogy on college calculus students' attitude toward mathematics

    Science.gov (United States)

    Sonnert, Gerhard; Sadler, Philip M.; Sadler, Samuel M.; Bressoud, David M.

    2015-04-01

    College calculus teaches students important mathematical concepts and skills. The course also has a substantial impact on students' attitude toward mathematics, affecting their career aspirations and desires to take more mathematics. This national US study of 3103 students at 123 colleges and universities tracks changes in students' attitudes toward mathematics during a 'mainstream' calculus course while controlling for student backgrounds. The attitude measure combines students' self-ratings of their mathematics confidence, interest in, and enjoyment of mathematics. Three major kinds of instructor pedagogy, identified through the factor analysis of 61 student-reported variables, are investigated for impact on student attitude as follows: (1) instructors who employ generally accepted 'good teaching' practices (e.g. clarity in presentation and answering questions, useful homework, fair exams, help outside of class) are found to have the most positive impact, particularly with students who began with a weaker initial attitude. (2) Use of educational 'technology' (e.g. graphing calculators, for demonstrations, in homework), on average, is found to have no impact on attitudes, except when used by graduate student instructors, which negatively affects students' attitudes towards mathematics. (3) 'Ambitious teaching' (e.g. group work, word problems, 'flipped' reading, student explanations of thinking) has a small negative impact on student attitudes, while being a relatively more constructive influence only on students who already enjoyed a positive attitude toward mathematics and in classrooms with a large number of students. This study provides support for efforts to improve calculus teaching through the training of faculty and graduate students to use traditional 'good teaching' practices through professional development workshops and courses. As currently implemented, technology and ambitious pedagogical practices, while no doubt effective in certain classrooms, do

  12. Mathematics for everyman from simple numbers to the calculus

    CERN Document Server

    Colerus, Egmont

    2003-01-01

    Many people suffer from an inferiority complex where mathematics is concerned, regarding figures and equations with a fear based on bewilderment and inexperience. This book dispels some of the subject's alarming aspects, starting at the very beginning and assuming no mathematical education.Written in a witty and engaging style, the text contains an illustrative example for every point, as well as absorbing glimpses into mathematical history and philosophy. Topics include the system of tens and other number systems; symbols and commands; first steps in algebra and algebraic notation; common fr

  13. Calculus Problem Solving Behavior of Mathematic Education Students

    Science.gov (United States)

    Rizal, M.; Mansyur, J.

    2017-04-01

    The purpose of this study is to obtain a description of the problem-solving behaviour of mathematics education students. The attainment of the purpose consisted of several stages: (1) to gain the subject from the mathematic education of first semester students, each of them who has a high, medium, and low competence of mathematic case. (2) To give two mathematical problems with different characteristics. The first problem (M1), the statement does not lead to a resolution. The second problem (M2), a statement leads to problem-solving. (3) To explore the behaviour of problem-solving based on the step of Polya (Rizal, 2011) by way of thinking aloud and in-depth interviews. The obtained data are analysed as suggested by Miles and Huberman (1994) but at first, time triangulation is done or data’s credibility by providing equivalent problem contexts and at different times. The results show that the behavioral problem solvers (mathematic education students) who are capable of high mathematic competency (ST). In understanding M1, ST is more likely to pay attention to an image first, read the texts piecemeal and repeatedly, then as a whole and more focus to the sentences that contain equations, numbers or symbols. As a result, not all information can be received well. When understanding the M2, ST can link the information from a problem that is stored in the working memory to the information on the long-term memory. ST makes planning to the solution of M1 and M2 by using a formula based on similar experiences which have been ever received before. Another case when implementing the troubleshooting plans, ST complete the M1 according to the plan, but not all can be resolved correctly. In contrast to the implementation of the solving plan of M2, ST can solve the problem according to plan quickly and correctly. According to the solving result of M1 and M2, ST conducts by reading the job based on an algorithm and reasonability. Furthermore, when SS and SR understand the

  14. Science modelling in pre-calculus: how to make mathematics problems contextually meaningful

    Science.gov (United States)

    Sokolowski, Andrzej; Yalvac, Bugrahan; Loving, Cathleen

    2011-04-01

    'Use of mathematical representations to model and interpret physical phenomena and solve problems is one of the major teaching objectives in high school math curriculum' (National Council of Teachers of Mathematics (NCTM), Principles and Standards for School Mathematics, NCTM, Reston, VA, 2000). Commonly used pre-calculus textbooks provide a wide range of application problems. However, these problems focus students' attention on evaluating or solving pre-arranged formulas for given values. The role of scientific content is reduced to provide a background for these problems instead of being sources of data gathering for inducing mathematical tools. Students are neither required to construct mathematical models based on the contexts nor are they asked to validate or discuss the limitations of applied formulas. Using these contexts, the instructor may think that he/she is teaching problem solving, where in reality he/she is teaching algorithms of the mathematical operations (G. Kulm (ed.), New directions for mathematics assessment, in Assessing Higher Order Thinking in Mathematics, Erlbaum, Hillsdale, NJ, 1994, pp. 221-240). Without a thorough representation of the physical phenomena and the mathematical modelling processes undertaken, problem solving unintentionally appears as simple algorithmic operations. In this article, we deconstruct the representations of mathematics problems from selected pre-calculus textbooks and explicate their limitations. We argue that the structure and content of those problems limits students' coherent understanding of mathematical modelling, and this could result in weak student problem-solving skills. Simultaneously, we explore the ways to enhance representations of those mathematical problems, which we have characterized as lacking a meaningful physical context and limiting coherent student understanding. In light of our discussion, we recommend an alternative to strengthen the process of teaching mathematical modelling - utilization

  15. THE EFFECTIVENESS OF GUIDED DISCOVERY LEARNING TO TEACH INTEGRAL CALCULUS FOR THE MATHEMATICS STUDENTS OF MATHEMATICS EDUCATION WIDYA DHARMA UNIVERSITY

    Directory of Open Access Journals (Sweden)

    Yuliana Yuliana

    2017-01-01

    Full Text Available The objectives of this research are (1 to develop Guided Discovery Learning in integral calculus subject; (2 to identify the effectiveness of Guided Discovery Learning in improving the students’ understanding toward integral calculus subject. This research was quasy experimental research with the students of even semester in Mathematics Education Widya Dharma University as the sample. Cluster Random sampling was conducted to determine control group that was taught using Conventional model and experimental group that was taught using Guided Discovery Learning model. The instruments of this research included pre-test, post-test, and student’s response questionnaire. The data of post-test was analyzed using T-test. The result was H0 was rejected for the level of significance The result of this data analysis found out that Guide Discovery Learning was more effective than Conventional Model. It was supported by the result questionnaire. The result of questionnaire that  more than 75% questionnaire items got 67.65% positive response. It means Guided Discovery Learning can increase students’ interest in joining integral calculus class.

  16. The conceptual basis of mathematics in cardiology: (II). Calculus and differential equations.

    Science.gov (United States)

    Bates, Jason H T; Sobel, Burton E

    2003-04-01

    This is the second in a series of four articles developed for the readers of Coronary Artery Disease. Without language ideas cannot be articulated. What may not be so immediately obvious is that they cannot be formulated either. One of the essential languages of cardiology is mathematics. Unfortunately, medical education does not emphasize, and in fact, often neglects empowering physicians to think mathematically. Reference to statistics, conditional probability, multicompartmental modeling, algebra, calculus and transforms is common but often without provision of genuine conceptual understanding. At the University of Vermont College of Medicine, Professor Bates developed a course designed to address these deficiencies. The course covered mathematical principles pertinent to clinical cardiovascular and pulmonary medicine and research. It focused on fundamental concepts to facilitate formulation and grasp of ideas. This series of four articles was developed to make the material available for a wider audience. The articles will be published sequentially in Coronary Artery Disease. Beginning with fundamental axioms and basic algebraic manipulations they address algebra, function and graph theory, real and complex numbers, calculus and differential equations, mathematical modeling, linear system theory and integral transforms and statistical theory. The principles and concepts they address provide the foundation needed for in-depth study of any of these topics. Perhaps of even more importance, they should empower cardiologists and cardiovascular researchers to utilize the language of mathematics in assessing the phenomena of immediate pertinence to diagnosis, pathophysiology and therapeutics. The presentations are interposed with queries (by Coronary Artery Disease abbreviated as CAD) simulating the nature of interactions that occurred during the course itself. Each article concludes with one or more examples illustrating application of the concepts covered to

  17. Calculus using proximities: a mathematical approach in which students can actually prove theorems

    Directory of Open Access Journals (Sweden)

    O’Donovan Richard

    2017-02-01

    Full Text Available Teaching and learning calculus are notoriously difficult and the didactic solutions may involve resorting to intuitive but vague definitions or informal gestures offered as proofs. The teaching literature is rife with examples of metaphors, adverb manipulations and descriptions of what happens “just before” the limit. It is then difficult to leave the domain of the mental image, thus losing the training in rigour. The author (with Karel Hrbacek and Olivier Lessmann has endeavoured a radically different approach with the objective of training students to prove theorems while preserving both intuition and mathematical rigour. Hence we change the mathematical setting rather than the didactic setting. The result (which is a by-product of nonstandard analysis has been used in several high schools in Geneva – Switzerland – for over ten years.

  18. DEVELOPING GUIDED DISCOVERY LEARNING MATERIALS USING MATHEMATICS MOBILE LEARNING APPLICATION AS AN ALTERNATIVE MEDIA FOR THE STUDENTS CALCULUS II

    Directory of Open Access Journals (Sweden)

    Sunismi .

    2015-12-01

    Full Text Available Abstract: The development research aims to develop guided-discovery learning materials of Calculus II by implementing Mathematics Mobile Learning (MML. The products to develop are MML media of Calculus II using guided discovery model for students and a guide book for lecturers. The study employed used 4-D development model consisting of define, design, develop, and disseminate. The draft of the learning materials was validated by experts and tried-out to a group of students. The data were analyzed qualitatively and quantitatively by using a descriptive technique and t-test. The findings of the research were appropriate to be used ad teaching media for the students. The students responded positively that the MML media of Calculus II using the guided-discovery model was interestingly structured, easily operated through handphones (all JAVA, android, and blackberry-based handphones to be used as their learning guide anytime. The result of the field testing showed that the guided-discovery learning materials of Calculus II using the Mathematics Mobile Learning (MML application was effective to adopt in learning Calculus II. Keywords: learning materials, guided-discovery, mathematics mobile learning (MML, calculus II PENGEMBANGAN BAHAN AJAR MODEL GUIDED DISCOVERY DENGAN APLIKASI MATHEMATICS MOBILE LEARNING SEBAGAI ALTERNATIF MEDIA PEMBELAJARAN MAHASISWA MATAKULIAH KALKULUS II Abstrak: Penelitian pengembangan ini bertujuan untuk mengembangkan bahan ajar matakuliah Kalkulus II model guided discovery dengan aplikasi Mathematics Mobile Learning (MML. Produk yang dikembangkan berupa media MML Kalkulus II dengan model guided discovery untuk mahasiswa dan buku panduan dosen. Model pengembangan menggunakan 4-D yang meliputi tahap define, design, develop, dan dissemination. Draf bahan ajar divalidasi oleh pakar dan diujicobakan kepada sejumlah mahasiswa. Data dianalisis secara kualitatif dan kuantitatif dengan teknik deskriptif dan uji t. Temuan penelitian

  19. Advanced calculus

    CERN Document Server

    Nickerson, HK; Steenrod, NE

    2011-01-01

    ""This book is a radical departure from all previous concepts of advanced calculus,"" declared the Bulletin of the American Mathematics Society, ""and the nature of this departure merits serious study of the book by everyone interested in undergraduate education in mathematics."" Classroom-tested in a Princeton University honors course, it offers students a unified introduction to advanced calculus. Starting with an abstract treatment of vector spaces and linear transforms, the authors introduce a single basic derivative in an invariant form. All other derivatives - gradient, divergent, curl,

  20. On the refinement calculus

    CERN Document Server

    Vickers, Trevor

    1992-01-01

    On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

  1. A preliminary study of achievement, attitudes toward success in mathematics, and mathematics anxiety with technology-based instruction in brief calculus.

    Science.gov (United States)

    Alkhateeb, Haitham M

    2002-02-01

    This study was designed to compare achievement, attitudes toward success in mathematics, and mathematics anxiety of college students taught brief calculus using a graphic calculator, with the achievement and attitudes and anxiety of students taught using the computer algebra system Maple, using a technology based text book. 50 men and 50 women, students in three classes at a large public university in the southwestern United States, participated. Students' achievement in brief calculus was measured by performance on a teacher-made achievement test given at the end of the study. Analysis of variance showed no significant difference in achievement between the groups. To measure change in attitudes and anxiety, responses to paper-and-pencil inventories indicated significant differences in favor of students using the computer.

  2. Critical Analysis of the Mathematical Formalism of Theoretical Physics. II. Foundations of Vector Calculus

    Science.gov (United States)

    Kalanov, Temur Z.

    2014-03-01

    A critical analysis of the foundations of standard vector calculus is proposed. The methodological basis of the analysis is the unity of formal logic and of rational dialectics. It is proved that the vector calculus is incorrect theory because: (a) it is not based on a correct methodological basis - the unity of formal logic and of rational dialectics; (b) it does not contain the correct definitions of ``movement,'' ``direction'' and ``vector'' (c) it does not take into consideration the dimensions of physical quantities (i.e., number names, denominate numbers, concrete numbers), characterizing the concept of ''physical vector,'' and, therefore, it has no natural-scientific meaning; (d) operations on ``physical vectors'' and the vector calculus propositions relating to the ''physical vectors'' are contrary to formal logic.

  3. Mathematical Models Arising in the Fractal Forest Gap via Local Fractional Calculus

    Directory of Open Access Journals (Sweden)

    Chun-Ying Long

    2014-01-01

    Full Text Available The forest new gap models via local fractional calculus are investigated. The JABOWA and FORSKA models are extended to deal with the growth of individual trees defined on Cantor sets. The local fractional growth equations with local fractional derivative and difference are discussed. Our results are first attempted to show the key roles for the nondifferentiable growth of individual trees.

  4. Women 1.5 Times More Likely to Leave STEM Pipeline after Calculus Compared to Men: Lack of Mathematical Confidence a Potential Culprit.

    Science.gov (United States)

    Ellis, Jessica; Fosdick, Bailey K; Rasmussen, Chris

    2016-01-01

    The substantial gender gap in the science, technology, engineering, and mathematics (STEM) workforce can be traced back to the underrepresentation of women at various milestones in the career pathway. Calculus is a necessary step in this pathway and has been shown to often dissuade people from pursuing STEM fields. We examine the characteristics of students who begin college interested in STEM and either persist or switch out of the calculus sequence after taking Calculus I, and hence either continue to pursue a STEM major or are dissuaded from STEM disciplines. The data come from a unique, national survey focused on mainstream college calculus. Our analyses show that, while controlling for academic preparedness, career intentions, and instruction, the odds of a woman being dissuaded from continuing in calculus is 1.5 times greater than that for a man. Furthermore, women report they do not understand the course material well enough to continue significantly more often than men. When comparing women and men with above-average mathematical abilities and preparedness, we find women start and end the term with significantly lower mathematical confidence than men. This suggests a lack of mathematical confidence, rather than a lack of mathematically ability, may be responsible for the high departure rate of women. While it would be ideal to increase interest and participation of women in STEM at all stages of their careers, our findings indicate that if women persisted in STEM at the same rate as men starting in Calculus I, the number of women entering the STEM workforce would increase by 75%.

  5. Women 1.5 Times More Likely to Leave STEM Pipeline after Calculus Compared to Men: Lack of Mathematical Confidence a Potential Culprit

    Science.gov (United States)

    Ellis, Jessica; Fosdick, Bailey K.; Rasmussen, Chris

    2016-01-01

    The substantial gender gap in the science, technology, engineering, and mathematics (STEM) workforce can be traced back to the underrepresentation of women at various milestones in the career pathway. Calculus is a necessary step in this pathway and has been shown to often dissuade people from pursuing STEM fields. We examine the characteristics of students who begin college interested in STEM and either persist or switch out of the calculus sequence after taking Calculus I, and hence either continue to pursue a STEM major or are dissuaded from STEM disciplines. The data come from a unique, national survey focused on mainstream college calculus. Our analyses show that, while controlling for academic preparedness, career intentions, and instruction, the odds of a woman being dissuaded from continuing in calculus is 1.5 times greater than that for a man. Furthermore, women report they do not understand the course material well enough to continue significantly more often than men. When comparing women and men with above-average mathematical abilities and preparedness, we find women start and end the term with significantly lower mathematical confidence than men. This suggests a lack of mathematical confidence, rather than a lack of mathematically ability, may be responsible for the high departure rate of women. While it would be ideal to increase interest and participation of women in STEM at all stages of their careers, our findings indicate that if women persisted in STEM at the same rate as men starting in Calculus I, the number of women entering the STEM workforce would increase by 75%. PMID:27410262

  6. Women 1.5 Times More Likely to Leave STEM Pipeline after Calculus Compared to Men: Lack of Mathematical Confidence a Potential Culprit.

    Directory of Open Access Journals (Sweden)

    Jessica Ellis

    Full Text Available The substantial gender gap in the science, technology, engineering, and mathematics (STEM workforce can be traced back to the underrepresentation of women at various milestones in the career pathway. Calculus is a necessary step in this pathway and has been shown to often dissuade people from pursuing STEM fields. We examine the characteristics of students who begin college interested in STEM and either persist or switch out of the calculus sequence after taking Calculus I, and hence either continue to pursue a STEM major or are dissuaded from STEM disciplines. The data come from a unique, national survey focused on mainstream college calculus. Our analyses show that, while controlling for academic preparedness, career intentions, and instruction, the odds of a woman being dissuaded from continuing in calculus is 1.5 times greater than that for a man. Furthermore, women report they do not understand the course material well enough to continue significantly more often than men. When comparing women and men with above-average mathematical abilities and preparedness, we find women start and end the term with significantly lower mathematical confidence than men. This suggests a lack of mathematical confidence, rather than a lack of mathematically ability, may be responsible for the high departure rate of women. While it would be ideal to increase interest and participation of women in STEM at all stages of their careers, our findings indicate that if women persisted in STEM at the same rate as men starting in Calculus I, the number of women entering the STEM workforce would increase by 75%.

  7. Advanced calculus

    CERN Document Server

    Fitzpatrick, Patrick M

    2009-01-01

    Advanced Calculus is intended as a text for courses that furnish the backbone of the student's undergraduate education in mathematical analysis. The goal is to rigorously present the fundamental concepts within the context of illuminating examples and stimulating exercises. This book is self-contained and starts with the creation of basic tools using the completeness axiom. The continuity, differentiability, integrability, and power series representation properties of functions of a single variable are established. The next few chapters describe the topological and metric properties of Euclide

  8. Advanced calculus a transition to analysis

    CERN Document Server

    Dence, Thomas P

    2010-01-01

    Designed for a one-semester advanced calculus course, Advanced Calculus explores the theory of calculus and highlights the connections between calculus and real analysis -- providing a mathematically sophisticated introduction to functional analytical concepts. The text is interesting to read and includes many illustrative worked-out examples and instructive exercises, and precise historical notes to aid in further exploration of calculus. Ancillary list: * Companion website, Ebook- http://www.elsevierdirect.com/product.jsp?isbn=9780123749550 * Student Solutions Manual- To come * Instructor

  9. ITEM ANALYSIS FOR FINAL EXAM QUESTIONS OF ENGINEERING MATHEMATICS COURSE (VECTOR CALCULUS IN UKM

    Directory of Open Access Journals (Sweden)

    NURYAZMIN AHMAT ZAINUR

    2016-11-01

    Full Text Available Evaluation of course outcome is one of the important elements in assessing students’ performance in higher institutions. Most of the courses depend on examination result as a medium to evaluate the level of students’ performances. In this study, the final exam questions of Vector Calculus course KKKQ1123 is being used to assess the difficulty index and discrimination index. 80 students from Department of Mechanical and Materials (JKMB were involved in this study. This study found that the range of difficulty index is between 0.2 and 0.8, where the question that was categorized as difficult is question number 6 whereas for easy questions is question number 3. Meanwhile the range obtained for discrimination index was in the acceptable range, that is, between 0.2 and 0.6 which indicates that the exam questions are good. With this study, it is hope that it will guide the lecturers in constructing and crafting a good and reliable exam questions consistent with the level of student's ability.

  10. A modern theory of random variation with applications in stochastic calculus, financial mathematics, and Feynman integration

    CERN Document Server

    Muldowney, Patrick

    2012-01-01

    A Modern Theory of Random Variation is a new and radical re-formulation of the mathematical underpinnings of subjects as diverse as investment, communication engineering, and quantum mechanics. Setting aside the classical theory of probability measure spaces, the book utilizes a mathematically rigorous version of the theory of random variation that bases itself exclusively on finitely additive probability distribution functions. In place of twentieth century Lebesgue integration and measure theory, the author uses the simpler concept of Riemann sums, and the non-absolute Riemann-type integration of Henstock. Readers are supplied with an accessible approach to standard elements of probability theory such as the central limmit theorem and Brownian motion as well as remarkable, new results on Feynman diagrams and stochastic integrals. Throughout the book, detailed numerical demonstrations accompany the discussions of abstract mathematical theory, from the simplest elements of the subject to the most complex. I...

  11. Perceived Utility of Typesetting Homework in Post-Calculus Mathematics Courses

    Science.gov (United States)

    Quinlan, James; Tennenhouse, Craig

    2016-01-01

    Too often our students submit incomplete homework that is disorganized, unclear, and nonlinear. Typesetting with LATEX, although time consuming for those new to the software, strengthens communication by forcing organization and proper notation required by the precise, formal language of mathematics. In this manuscript we report on a study of 42…

  12. POSSIBLE CALCULATOR ADDICTION IN STUDENTS WHILE PERFORMING SIMPLE CALCULUS OPERATIONS IN SOLVING MATHEMATICS PROBLEMS

    Directory of Open Access Journals (Sweden)

    Sead Rešić

    2017-09-01

    Full Text Available Contemporary learning processes in schools and universities could not be imagined without the use of computers and calculators. Naturally, all is good if they are used in order to acquire new knowledge or solve problems from expert subjects in technical schools, which demand large quantity of simple mathematical operations. However, what if frequent use of calculators, either pocket or those installed on every home and school computer, becomes an addiction in students who begin using them while calculating simple mathematical operations, such as multiplying or adding and detracting one-digit numbers or numbers smaller than 20, when they should know this by heart? We arrived at this hypothesis during knowledge tests for students after regular demonstrations and elaborations of Mathematics subject matter. In order to confirm or deny this hypothesis, generic/developmental method, that is, survey was used as one of research techniques (Selimović, 2013., p. 104. The survey was conducted in March during academic 2016/2017 and the sample consisted of 59 students in 2nd grade of Grammar School Tešanj.

  13. Calculus problems

    CERN Document Server

    Baronti, Marco; van der Putten, Robertus; Venturi, Irene

    2016-01-01

    This book, intended as a practical working guide for students in Engineering, Mathematics, Physics, or any other field where rigorous calculus is needed, includes 450 exercises. Each chapter starts with a summary of the main definitions and results, which is followed by a selection of solved exercises accompanied by brief, illustrative comments. A selection of problems with indicated solutions rounds out each chapter. A final chapter explores problems that are not designed with a single issue in mind but instead call for the combination of a variety of techniques, rounding out the book’s coverage. Though the book’s primary focus is on functions of one real variable, basic ordinary differential equations (separation of variables, linear first order and constant coefficients ODEs) are also discussed. The material is taken from actual written tests that have been delivered at the Engineering School of the University of Genoa. Literally thousands of students have worked on these problems, ensuring their real-...

  14. Polynomial Calculus: Rethinking the Role of Calculus in High Schools

    Science.gov (United States)

    Grant, Melva R.; Crombie, William; Enderson, Mary; Cobb, Nell

    2016-01-01

    Access to advanced study in mathematics, in general, and to calculus, in particular, depends in part on the conceptual architecture of these knowledge domains. In this paper, we outline an alternative conceptual architecture for elementary calculus. Our general strategy is to separate basic concepts from the particular advanced techniques used in…

  15. Infinitesimal calculus

    CERN Document Server

    Henle, James M

    2003-01-01

    Introducing calculus at the basic level, this text covers hyperreal numbers and hyperreal line, continuous functions, integral and differential calculus, fundamental theorem, infinite sequences and series, infinite polynomials, more. 1979 edition.

  16. Development of mathematical thinking of integral calculus students their relationship with educational planning

    Directory of Open Access Journals (Sweden)

    Mawency Vergel Ortega

    2016-01-01

    Full Text Available Visualization plays an important role to understand the phenomena that underlie the learning and teaching of mathematics, however, it is not a matter for immediate and easy verification, on the other hand, it is a matter of information processing that describes complexity. This article explores the role that plays the visualization associated with the geometric shapes on the way in which some textbooks that are most widely used in the South-West of Colombia, are in charge of introducing the teaching of fractions during the first levels of basic education. It was observed in the analyzed textbooks an imbalance between the number of activities that promote visually powerful roles and those which power is controlled or non-existent.

  17. Investigating the Fundamental Theorem of Calculus

    Science.gov (United States)

    Johnson, Heather L.

    2010-01-01

    The fundamental theorem of calculus, in its simplified complexity, connects differential and integral calculus. The power of the theorem comes not merely from recognizing it as a mathematical fact but from using it as a systematic tool. As a high school calculus teacher, the author developed and taught lessons on this fundamental theorem that were…

  18. The Impact of Taking a College Pre-Calculus Course on Students' College Calculus Performance

    Science.gov (United States)

    Sonnert, Gerhard; Sadler, Philip M.

    2014-01-01

    Poor performance on placement exams keeps many US students who pursue a STEM (science, technology, engineering, mathematics) career from enrolling directly in college calculus. Instead, they must take a pre-calculus course that aims to better prepare them for later calculus coursework. In the USA, enrollment in pre-calculus courses in two- and…

  19. The Mathematical Courses of Pedro Padilla and Étienne Bézout: Teaching Calculus in Eighteenth-Century Spain and France

    Science.gov (United States)

    Blanco, Mónica

    2013-04-01

    The aim of this paper is to provide a cross-national comparative analysis of the introduction of calculus in Spanish and French military educational institutions through the works of Pedro Padilla y Arcos (1724-1807?) and Étienne Bézout (1730-1783), respectively. Both authors developed their educational work in the context of military schools and academies. Padilla's Curso Militar de Mathematicas (1753-1756) was the first work published in Spain which introduced the teaching of calculus in formal education. Bézout's Cours de Mathématiques (1764-1769) was the first work on calculus explicitly addressed to French military students and can be considered a representative of the canonical knowledge on eighteenth-century mathematics, both in France and abroad. Eighteenth-century Spain has traditionally been regarded as a country in the periphery whose scientific culture and education were pervaded by French science and education. This centre-periphery framework is often represented by a static model of one-way transmission from the centre to the periphery. A crossnational comparative analysis can help revisit this monolithic centre-periphery framework. A recent historiographical stream places the emphasis on appropriation, hence moving away from the idea of passive reception. In my paper I focus on the reading and writing of educational books, as practices which contribute actively to the development and circulation of knowledge. To assist the analysis, I explore the differences in communication practices in each case, in contents and approaches, and in particular, I give special attention to their inspiration in mathematical streams other than the French standpoint.

  20. Calculus refresher

    CERN Document Server

    Klaf, A A

    1956-01-01

    This book is unique in English as a refresher for engineers, technicians, and students who either wish to brush up their calculus or find parts of calculus unclear. It is not an ordinary textbook. It is, instead, an examination of the most important aspects of integral and differential calculus in terms of the 756 questions most likely to occur to the technical reader. It provides a very easily followed presentation and may also be used as either an introductory or supplementary textbook. The first part of this book covers simple differential calculus, with constants, variables, functions, inc

  1. A structural equation modeling of executive functions, IQ and mathematical skills in primary students: Differential effects on number production, mental calculus and arithmetical problems.

    Science.gov (United States)

    Arán Filippetti, Vanessa; Richaud, María Cristina

    2017-10-01

    Though the relationship between executive functions (EFs) and mathematical skills has been well documented, little is known about how both EFs and IQ differentially support diverse math domains in primary students. Inconsistency of results may be due to the statistical techniques employed, specifically, if the analysis is conducted with observed variables, i.e., regression analysis, or at the latent level, i.e., structural equation modeling (SEM). The current study explores the contribution of both EFs and IQ in mathematics through an SEM approach. A total of 118 8- to 12-year-olds were administered measures of EFs, crystallized (Gc) and fluid (Gf) intelligence, and math abilities (i.e., number production, mental calculus and arithmetical problem-solving). Confirmatory factor analysis (CFA) offered support for the three-factor solution of EFs: (1) working memory (WM), (2) shifting, and (3) inhibition. Regarding the relationship among EFs, IQ and math abilities, the results of the SEM analysis showed that (i) WM and age predict number production and mental calculus, and (ii) shifting and sex predict arithmetical problem-solving. In all of the SEM models, EFs partially or totally mediated the relationship between IQ, age and math achievement. These results suggest that EFs differentially supports math abilities in primary-school children and is a more significant predictor of math achievement than IQ level.

  2. The Effect of Graphing Calculators on Student Achievement in College Algebra and Pre-Calculus Mathematics Courses

    Science.gov (United States)

    Hatem, Neil

    2010-01-01

    This study investigates the relationship between the use of graphing calculators employed as Type II technology and student achievement, as determined by assessing students' problem solving skills associated with the concept of function, at the college algebra and pre-calculus level. In addition, this study explores the integration of graphing…

  3. Exploring Students' Mathematical Performance, Metacognitive Experiences and Skills in Relation to Fundamental Theorem of Calculus

    Science.gov (United States)

    Radmehr, Farzad; Drake, Michael

    2017-01-01

    Several studies have explored students' understanding of the relationships between definite integrals and areas under curve(s). So far, however, there has been less attention to students' understanding of the Fundamental Theorem of Calculus (FTC). In addition, students' metacognitive experiences and skills whilst solving FTC questions have not…

  4. Profile of Metacognition of Mathematics Pre-Service Teachers in Understanding the Concept of Integral Calculus with Regard Gender Differences

    Science.gov (United States)

    Misu, L.; Budayasa, I. K.; Lukito, A.

    2018-01-01

    This research is to describe metacognition profile of female and male mathematics’ pre-service teachers in understanding the concept of integral calculus. The subjects of this study are one female and 1 male mathematics’ pre-service teachers who have studied integral calculus. This research type is an explorative study with the qualitative approach. The main data collection of this research was obtained by using Interview technique. In addition, there are supporting data which is the result of the written work of research subjects (SP) in understanding the question of integral calculus. The results of this study are as follows: There is a difference in metacognition profiles between male and female mathematics’ pre-service teachers in the understanding concept of integral calculus in the interpreting category, especially the definite integral concept. While in the category of exemplifying, there is no difference in metacognition profile between male and female mathematics’ pre-service teachers either the definite integral concept and the indefinite integral concept.

  5. The calculus primer

    CERN Document Server

    Schaaf, William L

    2011-01-01

    Comprehensive but concise, this introduction to differential and integral calculus covers all the topics usually included in a first course. The straightforward development places less emphasis on mathematical rigor, and the informal manner of presentation sets students at ease. Many carefully worked-out examples illuminate the text, in addition to numerous diagrams, problems, and answers.Bearing the needs of beginners constantly in mind, the treatment covers all the basic concepts of calculus: functions, derivatives, differentiation of algebraic and transcendental functions, partial different

  6. Tuplix calculus

    NARCIS (Netherlands)

    Bergstra, J.A.; Ponse, A.; van der Zwaag, M.B.

    2008-01-01

    We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC for entries and tests, which are combined using conjunctive

  7. Noncommutative operational calculus

    Directory of Open Access Journals (Sweden)

    Henry E. Heatherly

    1999-12-01

    Full Text Available Oliver Heaviside's operational calculus was placed on a rigorous mathematical basis by Jan Mikusinski, who constructed an algebraic setting for the operational methods. In this paper, we generalize Mikusi'{n}ski's methods to solve linear ordinary differential equations in which the unknown is a matrix- or linear operator-valued function. Because these functions can be zero-divisors and do not necessarily commute, Mikusi'{n}ski's one-dimensional calculus cannot be used. The noncommuative operational calculus developed here,however, is used to solve a wide class of such equations. In addition, we provide new proofs of existence and uniqueness theorems for certain matrix- and operator valued Volterra integral and integro-differential equations. Several examples are given which demonstrate these new methods.

  8. Topology, calculus and approximation

    CERN Document Server

    Komornik, Vilmos

    2017-01-01

    Presenting basic results of topology, calculus of several variables, and approximation theory which are rarely treated in a single volume, this textbook includes several beautiful, but almost forgotten, classical theorems of Descartes, Erdős, Fejér, Stieltjes, and Turán. The exposition style of Topology, Calculus and Approximation follows the Hungarian mathematical tradition of Paul Erdős and others. In the first part, the classical results of Alexandroff, Cantor, Hausdorff, Helly, Peano, Radon, Tietze and Urysohn illustrate the theories of metric, topological and normed spaces. Following this, the general framework of normed spaces and Carathéodory's definition of the derivative are shown to simplify the statement and proof of various theorems in calculus and ordinary differential equations. The third and final part is devoted to interpolation, orthogonal polynomials, numerical integration, asymptotic expansions and the numerical solution of algebraic and differential equations. Students of both pure an...

  9. The Relationship between Directional Heading of an Automobile and Steering Wheel Deflection. Applications of Calculus to Engineering. Modules and Monographs in Undergraduate Mathematics and Its Applications Project. UMAP Unit 506.

    Science.gov (United States)

    Prussing, John E.

    This document looks at specific applications of calculus to engineering. It is noted that for an automobile traveling at constant speed, the mathematical relationship between the directional heading and the angular deflection of the steering wheel can be calculated with respect to time. An analysis is presented which derives the relationship from…

  10. The calculus a genetic approach

    CERN Document Server

    Toeplitz, Otto

    2007-01-01

    When first published posthumously in 1963, this book presented a radically different approach to the teaching of calculus.  In sharp contrast to the methods of his time, Otto Toeplitz did not teach calculus as a static system of techniques and facts to be memorized. Instead, he drew on his knowledge of the history of mathematics and presented calculus as an organic evolution of ideas beginning with the discoveries of Greek scholars, such as Archimedes, Pythagoras, and Euclid, and developing through the centuries in the work of Kepler, Galileo, Fermat, Newton, and Leibniz. Through this unique a

  11. Reading the World with Calculus

    Science.gov (United States)

    Verzosa, Debbie

    2015-01-01

    It is now increasingly recognized that mathematics is not a neutral value-free subject. Rather, mathematics can challenge students' taken-for-granted realities and promote action. This article describes two issues, namely deforestation and income inequality. These were specifically chosen because they can be related to a range of calculus concepts…

  12. Neutrosophic Precalculus and Neutrosophic Calculus

    OpenAIRE

    Florentin Smarandache

    2015-01-01

    Neutrosophic Analysis is a generalization of Set Analysis, which in its turn is a generalization of Interval Analysis. Neutrosophic Precalculus is referred to indeterminate staticity, while Neutrosophic Calculus is the mathematics of indeterminate change. The Neutrosophic Precalculus and Neutrosophic Calculus can be developed in many ways, depending on the types of indeterminacy one has and on the methods used to deal with such indeterminacy. In this book, the author presents a few examples o...

  13. Continuation calculus

    Directory of Open Access Journals (Sweden)

    Bram Geron

    2013-09-01

    Full Text Available Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation. We introduce continuation calculus, or CC, a deterministic model of computation that is evaluated using only head reduction, and argue that it is suitable for modeling programs with control. It is demonstrated how to define programs, specify them, and prove them correct. This is shown in detail by presenting in CC a list multiplication program that prematurely returns when it encounters a zero. The correctness proof includes termination of the program. In continuation calculus we can model both call-by-name and call-by-value. In addition, call-by-name functions can be applied to call-by-value results, and conversely.

  14. Using Short Video Lectures to Enhance Mathematics Learning--Experiences on Differential and Integral Calculus Course for Engineering Students

    Science.gov (United States)

    Kinnari-Korpela, Hanna

    2015-01-01

    Mathematics' skills and knowledge lay the basis for engineering studies. However, the resources targeted to mathematics' teaching are in many cases very limited. During the past years in our university the reduction of mathematics' contact hours has been significant while at the same time the study groups have grown. However, the mathematical…

  15. Fractional calculus in bioengineering.

    Science.gov (United States)

    Magin, Richard L

    2004-01-01

    Fractional calculus (integral and differential operations of noninteger order) is not often used to model biological systems. Although the basic mathematical ideas were developed long ago by the mathematicians Leibniz (1695), Liouville (1834), Riemann (1892), and others and brought to the attention of the engineering world by Oliver Heaviside in the 1890s, it was not until 1974 that the first book on the topic was published by Oldham and Spanier. Recent monographs and symposia proceedings have highlighted the application of fractional calculus in physics, continuum mechanics, signal processing, and electromagnetics, but with few examples of applications in bioengineering. This is surprising because the methods of fractional calculus, when defined as a Laplace or Fourier convolution product, are suitable for solving many problems in biomedical research. For example, early studies by Cole (1933) and Hodgkin (1946) of the electrical properties of nerve cell membranes and the propagation of electrical signals are well characterized by differential equations of fractional order. The solution involves a generalization of the exponential function to the Mittag-Leffler function, which provides a better fit to the observed cell membrane data. A parallel application of fractional derivatives to viscoelastic materials establishes, in a natural way, hereditary integrals and the power law (Nutting/Scott Blair) stress-strain relationship for modeling biomaterials. In this review, I will introduce the idea of fractional operations by following the original approach of Heaviside, demonstrate the basic operations of fractional calculus on well-behaved functions (step, ramp, pulse, sinusoid) of engineering interest, and give specific examples from electrochemistry, physics, bioengineering, and biophysics. The fractional derivative accurately describes natural phenomena that occur in such common engineering problems as heat transfer, electrode/electrolyte behavior, and sub

  16. Calculus for Cats.

    Science.gov (United States)

    Amdahl, Kenn; Loats, Jim

    This book, written for students of calculus, is designed to augment the explanations of concepts covered in a calculus class. It consists of an overview of calculus divided into basic ideas and vocabulary, the process of differential calculus, and integral calculus. The book is intended as a resource to explain the concepts of calculus in everyday…

  17. Lacroix and the calculus

    CERN Document Server

    Domingues, João Caramalho

    2008-01-01

    Silvestre François Lacroix (Paris, 1765 - ibid., 1843) was a most influential mathematical book author. His most famous work is the three-volume Traité du calcul différentiel et du calcul intégral (1797-1800; 2nd ed. 1810-1819) – an encyclopedic appraisal of 18th-century calculus which remained the standard reference on the subject through much of the 19th century, in spite of Cauchy's reform of the subject in the 1820's. Lacroix and the Calculus is the first major study of Lacroix’s large Traité. It uses the unique and massive bibliography given by Lacroix to explore late 18th-century calculus, and the way it is reflected in Lacroix’s account. Several particular aspects are addressed in detail, including: the foundations of differential calculus, analytic and differential geometry, conceptions of the integral, and types of solutions of differential equations (singular/complete/general integrals, geometrical interpretations, and generality of arbitrary functions). Lacroix’s large Traité... was a...

  18. Applications of fractional calculus in physics

    CERN Document Server

    2000-01-01

    Fractional calculus is a collection of relatively little-known mathematical results concerning generalizations of differentiation and integration to noninteger orders. While these results have been accumulated over centuries in various branches of mathematics, they have until recently found little appreciation or application in physics and other mathematically oriented sciences. This situation is beginning to change, and there are now a growing number of research areas in physics which employ fractional calculus.This volume provides an introduction to fractional calculus for physicists, and co

  19. Programming Language Concepts - The Lambda Calculus Approach

    NARCIS (Netherlands)

    Fokkinga, M.M.; Asveld, P.R.J.; Nijholt, Antinus

    1987-01-01

    The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathematics, but mainly used to study the concepts of algorithm and effective computability. Recently, the Lambda Calculus and related systems acquire attention from Computer Science for another reason too:

  20. Educating about Sustainability while Enhancing Calculus

    Science.gov (United States)

    Pfaff, Thomas J.

    2011-01-01

    We give an overview of why it is important to include sustainability in mathematics classes and provide specific examples of how to do this for a calculus class. We illustrate that when students use "Excel" to fit curves to real data, fundamentally important questions about sustainability become calculus questions about those curves. (Contains 5…

  1. An Introductory Calculus-Based Mechanics Investigation

    Science.gov (United States)

    Allen, Bradley

    2017-01-01

    One challenge for the introductory physics teacher is incorporating calculus techniques into the laboratory setting. It can be difficult to strike a balance between presenting an experimental task for which calculus is essential and making the mathematics accessible to learners who may be apprehensive about applying it. One-dimensional kinematics…

  2. CLEP calculus

    CERN Document Server

    Hill, Gregory

    2013-01-01

    Earn College Credit with REA's Test Prep for CLEP* Calculus Everything you need to pass the exam and get the college credit you deserve.Our test prep for CLEP* Calculus and the free online tools that come with it, will allow you to create a personalized CLEP* study plan that can be customized to fit you: your schedule, your learning style, and your current level of knowledge.Here's how it works:Diagnostic exam at the REA Study Center focuses your studyOur online diagnostic exam pinpoints your strengths and shows you exactly where you need to focus your study. Armed with this information, you

  3. Improving Calculus II and III through the Redistribution of Topics

    Science.gov (United States)

    George, C. Yousuf; Koetz, Matt; Lewis, Heather A.

    2016-01-01

    Three years ago our mathematics department rearranged the topics in second and third semester calculus, moving multivariable calculus to the second semester and series to the third semester. This paper describes the new arrangement of topics, and how it could be adapted to calculus curricula at different schools. It also explains the benefits we…

  4. A Transition Course from Advanced Placement to College Calculus

    Science.gov (United States)

    Lucas, Timothy A.; Spivey, Joseph

    2011-01-01

    In the Spring of 2007, a group of highly motivated mathematics graduate students conducted a review of Duke's Calculus curriculum. They focused on two main problems. The first problem is the result of a very positive trend: a growing number of students are earning AP credit for Calculus I in high school. However, this results in Calculus II…

  5. An approach to teach calculus/mathematical analysis (for engineering students) using computers and active learning – its conception, development of materials and evaluation

    Science.gov (United States)

    Martins, Sandra Isabel Cardoso Gaspar

    This thesis reports a new approach to the teaching of Mathematical Analysis 1/ Calculus (AM1) to students of engineering, applying results of research on the use of computers and active learning with the aim of enhancing understanding. The main goal of the new approach is to reduce the known problem of failure and superficial understanding in introductory college mathematics in Portugal (and other countries). This researcher created the approach named ActivMathComp where: - Students are active and collaborate with colleagues during classes; - Computer is embedded as a communication, interaction and computational tool; - Students use interactive digital learning documents; - Students explore concepts in order to develop a deep understanding of them; - Students contact with mathematical applications; - Students have frequent short quizzes with immediate feedback on a Learning Management System; - The teacher/student relationship is grounded on trust, on mutual understanding and on students' involvement on their own learning. The interactive digital documents were created assuming principles such as the zone of proximal development and multiple representations. Towards its comparison with the traditional approach, the ActivMathComp was implemented in a group of 16 AM1 students at the Civil Engineering Undergraduate Program of the Instituto Superior de Engenharia de Lisboa. The participants freely chose to enrol in the group and were required to bring their own laptop to classes. Took place a quasi-experiment where all the other seven classes following AM1 were taken as a comparison group. The participating students got significantly higher grades than the other students and had a higher success rate. Data gathered from questionnaires and tests were screened to identify possible bias. The participating students evaluated ActivMathComp as highly positive in nearly all aspects.

  6. Calculus and analysis in Euclidean space

    CERN Document Server

    Shurman, Jerry

    2016-01-01

    The graceful role of analysis in underpinning calculus is often lost to their separation in the curriculum. This book entwines the two subjects, providing a conceptual approach to multivariable calculus closely supported by the structure and reasoning of analysis. The setting is Euclidean space, with the material on differentiation culminating in the inverse and implicit function theorems, and the material on integration culminating in the general fundamental theorem of integral calculus. More in-depth than most calculus books but less technical than a typical analysis introduction, Calculus and Analysis in Euclidean Space offers a rich blend of content to students outside the traditional mathematics major, while also providing transitional preparation for those who will continue on in the subject. The writing in this book aims to convey the intent of ideas early in discussion. The narrative proceeds through figures, formulas, and text, guiding the reader to do mathematics resourcefully by marshaling the skil...

  7. The Britannica Guide to Analysis and Calculus

    CERN Document Server

    2011-01-01

    The dynamism of the natural world means that it is constantly changing, sometimes rapidly, sometimes gradually. By mathematically interpreting the continuous change that characterizes so many natural processes, analysis and calculus have become indispensable to bridging the divide between mathematics and the sciences. This comprehensive volume examines the key concepts of calculus, providing students with a robust understanding of integration and differentiation. Biographies of important figures will leave readers with an increased appreciation for the sometimes competing theories that informe

  8. Investigating a Link between Pre-Calculus Students' Uses of Graphing Calculators and Their Understanding of Mathematical Symbols

    Science.gov (United States)

    Kenney, Rachael H.

    2014-01-01

    This study examined ways in which students make use of a graphing calculator and how use relates to comfort and understanding with mathematical symbols. Analysis involved examining students' words and actions in problem solving to identify evidence of algebraic insight. Findings suggest that some symbols and symbolic structures had strong…

  9. Stochastic calculus with infinitesimals

    CERN Document Server

    Herzberg, Frederik

    2013-01-01

    Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry. It also has numerous applications in the natural and social sciences (for instance in financial mathematics or theoretical quantum mechanics) and therefore appears in physics and economics curricula as well. However, existing approaches to stochastic analysis either presuppose various concepts from measure theory and functional analysis or lack full mathematical rigour. This short book proposes to solve the dilemma: By adopting E. Nelson's "radically elementary" theory of continuous-time stochastic processes, it is based on a demonstrably consistent use of infinitesimals and thus permits a radically simplified, yet perfectly rigorous approach to stochastic calculus and its fascinating applications, some of which (notably the Black-Scholes theory of option pricing and the Feynman path integral) are also discussed in the book.

  10. Elementary calculus an infinitesimal approach

    CERN Document Server

    Keisler, H Jerome

    2012-01-01

    This first-year calculus book is centered around the use of infinitesimals, an approach largely neglected until recently for reasons of mathematical rigor. It exposes students to the intuition that originally led to the calculus, simplifying their grasp of the central concepts of derivatives and integrals. The author also teaches the traditional approach, giving students the benefits of both methods.Chapters 1 through 4 employ infinitesimals to quickly develop the basic concepts of derivatives, continuity, and integrals. Chapter 5 introduces the traditional limit concept, using approximation p

  11. Visual Thinking and Gender Differences in High School Calculus

    Science.gov (United States)

    Haciomeroglu, Erhan Selcuk; Chicken, Eric

    2012-01-01

    This study sought to examine calculus students' mathematical performances and preferences for visual or analytic thinking regarding derivative and antiderivative tasks presented graphically. It extends previous studies by investigating factors mediating calculus students' mathematical performances and their preferred modes of thinking. Data were…

  12. Matrix calculus

    CERN Document Server

    Bodewig, E

    1959-01-01

    Matrix Calculus, Second Revised and Enlarged Edition focuses on systematic calculation with the building blocks of a matrix and rows and columns, shunning the use of individual elements. The publication first offers information on vectors, matrices, further applications, measures of the magnitude of a matrix, and forms. The text then examines eigenvalues and exact solutions, including the characteristic equation, eigenrows, extremum properties of the eigenvalues, bounds for the eigenvalues, elementary divisors, and bounds for the determinant. The text ponders on approximate solutions, as well

  13. Advanced calculus

    CERN Document Server

    Friedman, Avner

    2007-01-01

    This rigorous two-part treatment advances from functions of one variable to those of several variables. Intended for students who have already completed a one-year course in elementary calculus, it defers the introduction of functions of several variables for as long as possible, and adds clarity and simplicity by avoiding a mixture of heuristic and rigorous arguments.The first part explores functions of one variable, including numbers and sequences, continuous functions, differentiable functions, integration, and sequences and series of functions. The second part examines functions of several

  14. Calculus diaries

    CERN Document Server

    Ouellette,, Jennifer

    2011-01-01

    Jennifer Ouellette never took maths in the sixth form, mostly because she – like most of us – assumed she wouldn't need it much in real life. But then the English graduate, now an award-winning science-writer, had a change of heart and decided to revisit the equations and formulas that had haunted her youth. The Calculus Diaries is the fun and fascinating account of a year spent confronting her numbers-phobia head on. With wit and verve, Ouellette explains how she discovered that maths could apply to everything from petrol mileages to dieting, rollercoaster rides to winning in Las Vegas.

  15. Understanding Calculus beyond Computations: A Descriptive Study of the Parallel Meanings and Expectations of Teachers and Users of Calculus

    Science.gov (United States)

    Ferguson, Leann J.

    2012-01-01

    Calculus is an important tool for building mathematical models of the world around us and is thus used in a variety of disciplines, such as physics and engineering. These disciplines rely on calculus courses to provide the mathematical foundation needed for success in their courses. Unfortunately, due to the basal conceptions of what it means to…

  16. Stochastic calculus and applications

    CERN Document Server

    Cohen, Samuel N

    2015-01-01

    Completely revised and greatly expanded, the new edition of this text takes readers who have been exposed to only basic courses in analysis through the modern general theory of random processes and stochastic integrals as used by systems theorists, electronic engineers and, more recently, those working in quantitative and mathematical finance. Building upon the original release of this title, this text will be of great interest to research mathematicians and graduate students working in those fields, as well as quants in the finance industry. New features of this edition include: End of chapter exercises; New chapters on basic measure theory and Backward SDEs; Reworked proofs, examples and explanatory material; Increased focus on motivating the mathematics; Extensive topical index. "Such a self-contained and complete exposition of stochastic calculus and applications fills an existing gap in the literature. The book can be recommended for first-year graduate studies. It will be useful for all who intend to wo...

  17. Calculator calculus

    CERN Document Server

    McCarty, George

    1982-01-01

    How THIS BOOK DIFFERS This book is about the calculus. What distinguishes it, however, from other books is that it uses the pocket calculator to illustrate the theory. A computation that requires hours of labor when done by hand with tables is quite inappropriate as an example or exercise in a beginning calculus course. But that same computation can become a delicate illustration of the theory when the student does it in seconds on his calculator. t Furthermore, the student's own personal involvement and easy accomplishment give hi~ reassurance and en­ couragement. The machine is like a microscope, and its magnification is a hundred millionfold. We shall be interested in limits, and no stage of numerical approximation proves anything about the limit. However, the derivative of fex) = 67.SgX, for instance, acquires real meaning when a student first appreciates its values as numbers, as limits of 10 100 1000 t A quick example is 1.1 , 1.01 , 1.001 , •••• Another example is t = 0.1, 0.01, in the functio...

  18. Renal calculus

    CERN Document Server

    Pyrah, Leslie N

    1979-01-01

    Stone in the urinary tract has fascinated the medical profession from the earliest times and has played an important part in the development of surgery. The earliest major planned operations were for the removal of vesical calculus; renal and ureteric calculi provided the first stimulus for the radiological investigation of the viscera, and the biochemical investigation of the causes of calculus formation has been the training ground for surgeons interested in metabolic disorders. It is therefore no surprise that stone has been the subject of a number of monographs by eminent urologists, but the rapid development of knowledge has made it possible for each one of these authors to produce something new. There is still a technical challenge to the surgeon in the removal of renal calculi, and on this topic we are always glad to have the advice of a master craftsman; but inevitably much of the interest centres on the elucidation of the causes of stone formation and its prevention. Professor Pyrah has had a long an...

  19. Propositional Calculus in Coq

    OpenAIRE

    van Doorn, Floris

    2015-01-01

    I formalize important theorems about classical propositional logic in the proof assistant Coq. The main theorems I prove are (1) the soundness and completeness of natural deduction calculus, (2) the equivalence between natural deduction calculus, Hilbert systems and sequent calculus and (3) cut elimination for sequent calculus.

  20. Improving student learning in calculus through applications

    Science.gov (United States)

    Young, C. Y.; Georgiopoulos, M.; Hagen, S. C.; Geiger, C. L.; Dagley-Falls, M. A.; Islas, A. L.; Ramsey, P. J.; Lancey, P. M.; Straney, R. A.; Forde, D. S.; Bradbury, E. E.

    2011-07-01

    Nationally only 40% of the incoming freshmen Science, Technology, Engineering and Mathematics (STEM) majors are successful in earning a STEM degree. The University of Central Florida (UCF) EXCEL programme is a National Science Foundation funded STEM Talent Expansion Programme whose goal is to increase the number of UCF STEM graduates. One of the key requirements for STEM majors is a strong foundation in Calculus. To improve student learning in calculus, the EXCEL programme developed two special courses at the freshman level called Applications of Calculus I (Apps I) and Applications of Calculus II (Apps II). Apps I and II are one-credit classes that are co-requisites for Calculus I and II. These classes are teams taught by science and engineering professors whose goal is to demonstrate to students where the calculus topics they are learning appear in upper level science and engineering classes as well as how faculty use calculus in their STEM research programmes. This article outlines the process used in producing the educational materials for the Apps I and II courses, and it also discusses the assessment results pertaining to this specific EXCEL activity. Pre- and post-tests conducted with experimental and control groups indicate significant improvement in student learning in Calculus II as a direct result of the application courses.

  1. Discrete calculus methods for counting

    CERN Document Server

    Mariconda, Carlo

    2016-01-01

    This book provides an introduction to combinatorics, finite calculus, formal series, recurrences, and approximations of sums. Readers will find not only coverage of the basic elements of the subjects but also deep insights into a range of less common topics rarely considered within a single book, such as counting with occupancy constraints, a clear distinction between algebraic and analytical properties of formal power series, an introduction to discrete dynamical systems with a thorough description of Sarkovskii’s theorem, symbolic calculus, and a complete description of the Euler-Maclaurin formulas and their applications. Although several books touch on one or more of these aspects, precious few cover all of them. The authors, both pure mathematicians, have attempted to develop methods that will allow the student to formulate a given problem in a precise mathematical framework. The aim is to equip readers with a sound strategy for classifying and solving problems by pursuing a mathematically rigorous yet ...

  2. Reductionism and the Universal Calculus

    CERN Document Server

    Sarma, Gopal P

    2016-01-01

    In the seminal essay, "On the unreasonable effectiveness of mathematics in the physical sciences," physicist Eugene Wigner poses a fundamental philosophical question concerning the relationship between a physical system and our capacity to model its behavior with the symbolic language of mathematics. In this essay, I examine an ambitious 16th and 17th-century intellectual agenda from the perspective of Wigner's question, namely, what historian Paolo Rossi calls "the quest to create a universal language." While many elite thinkers pursued related ideas, the most inspiring and forceful was Gottfried Leibniz's effort to create a "universal calculus," a pictorial language which would transparently represent the entirety of human knowledge, as well as an associated symbolic calculus with which to model the behavior of physical systems and derive new truths. I suggest that a deeper understanding of why the efforts of Leibniz and others failed could shed light on Wigner's original question. I argue that the notion o...

  3. College Readiness: The Evaluation of Students Participating in the Historically Black College and University Program in Pre-Calculus and the Calculus Sequence

    Science.gov (United States)

    Hall, Angela Renee

    2011-01-01

    This investigative research focuses on the level of readiness of Science, Technology, Engineering, and Mathematics (STEM) students entering Historically Black Colleges and Universities (HBCU) in the college Calculus sequence. Calculus is a fundamental course for STEM courses. The level of readiness of the students for Calculus can very well play a…

  4. Space complexity in polynomial calculus

    Czech Academy of Sciences Publication Activity Database

    Filmus, Y.; Lauria, M.; Nordström, J.; Ron-Zewi, N.; Thapen, Neil

    2015-01-01

    Roč. 44, č. 4 (2015), s. 1119-1153 ISSN 0097-5397 R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061 Institutional support: RVO:67985840 Keywords : proof complexity * polynomial calculus * lower bounds Subject RIV: BA - General Mathematics Impact factor: 0.841, year: 2015 http://epubs.siam.org/doi/10.1137/120895950

  5. Journal of applied mathematics

    National Research Council Canada - National Science Library

    2001-01-01

    .... Subject areas include (but are not limited to) approximation theory, computing, control and systems, differential equations and dynamical systems, financial mathematics, fluid mechanics and solid mechanics, fractional calculus...

  6. Algebraic difficulties as an obstacle for high school calculus

    OpenAIRE

    Kraemer, Karl

    2011-01-01

    The mistakes in algebraic manipulations often hinder students’ performance on calculus tasks. This observation is supported by the literature review, revealing that students, who are all supposedly strong in mathematics, are experiencing significant difficulties in their university level calculus course. Several researchers suggest that the biggest hurdle in first year calculus is the significant lack of proficiency with high school algebra. However, most studies do not itemize what such prof...

  7. Intuitionistic fuzzy calculus

    CERN Document Server

    Lei, Qian

    2017-01-01

    This book offers a comprehensive and systematic review of the latest research findings in the area of intuitionistic fuzzy calculus. After introducing the intuitionistic fuzzy numbers’ operational laws and their geometrical and algebraic properties, the book defines the concept of intuitionistic fuzzy functions and presents the research on the derivative, differential, indefinite integral and definite integral of intuitionistic fuzzy functions. It also discusses some of the methods that have been successfully used to deal with continuous intuitionistic fuzzy information or data, which are different from the previous aggregation operators focusing on discrete information or data. Mainly intended for engineers and researchers in the fields of fuzzy mathematics, operations research, information science and management science, this book is also a valuable textbook for postgraduate and advanced undergraduate students alike.

  8. Bridging the Vector Calculus Gap

    Science.gov (United States)

    Dray, Tevian; Manogue, Corinne

    2003-05-01

    As with Britain and America, mathematicians and physicists are separated from each other by a common language. In a nutshell, mathematics is about functions, but physics is about things. For the last several years, we have led an NSF-supported effort to "bridge the vector calculus gap" between mathematics and physics. The unifying theme we have discovered is to emphasize geometric reasoning, not (just) algebraic computation. In this talk, we will illustrate the language differences between mathematicians and physicists, and how we are trying reconcile them in the classroom. For further information about the project go to: http://www.physics.orst.edu/bridge

  9. Calculus of one variable

    CERN Document Server

    Grossman, Stanley I

    1986-01-01

    Calculus of One Variable, Second Edition presents the essential topics in the study of the techniques and theorems of calculus.The book provides a comprehensive introduction to calculus. It contains examples, exercises, the history and development of calculus, and various applications. Some of the topics discussed in the text include the concept of limits, one-variable theory, the derivatives of all six trigonometric functions, exponential and logarithmic functions, and infinite series.This textbook is intended for use by college students.

  10. Projects for calculus the language of change

    CERN Document Server

    Stroyan, Keith D

    1999-01-01

    Projects for Calculus is designed to add depth and meaning to any calculus course. The fifty-two projects presented in this text offer the opportunity to expand the use and understanding of mathematics. The wide range of topics will appeal to both instructors and students. Shorter, less demanding projects can be managed by the independent learner, while more involved, in-depth projects may be used for group learning. Each task draws on special mathematical topics and applications from subjects including medicine, engineering, economics, ecology, physics, and biology.Subjects including:* Medicine* Engineering* Economics* Ecology* Physics* Biology

  11. Multivariable dynamic calculus on time scales

    CERN Document Server

    Bohner, Martin

    2016-01-01

    This book offers the reader an overview of recent developments of multivariable dynamic calculus on time scales, taking readers beyond the traditional calculus texts. Covering topics from parameter-dependent integrals to partial differentiation on time scales, the book’s nine pedagogically oriented chapters provide a pathway to this active area of research that will appeal to students and researchers in mathematics and the physical sciences. The authors present a clear and well-organized treatment of the concept behind the mathematics and solution techniques, including many practical examples and exercises.

  12. Transitioning from Introductory Calculus to Formal Limit Conceptions

    Science.gov (United States)

    Nagle, Courtney

    2013-01-01

    The limit concept is a fundamental mathematical notion both for its practical applications and its importance as a prerequisite for later calculus topics. Past research suggests that limit conceptualizations promoted in introductory calculus are far removed from the formal epsilon-delta definition of limit. In this article, I provide an overview…

  13. Coordinating Multiple Representations in a Reform Calculus Textbook

    Science.gov (United States)

    Chang, Briana L.; Cromley, Jennifer G.; Tran, Nhi

    2016-01-01

    Coordination of multiple representations (CMR) is widely recognized as a critical skill in mathematics and is frequently demanded in reform calculus textbooks. However, little is known about the prevalence of coordination tasks in such textbooks. We coded 707 instances of CMR in a widely used reform calculus textbook and analyzed the distributions…

  14. Calculus Instructors' and Students' Discourses on the Derivative

    Science.gov (United States)

    Park, Jungeun

    2011-01-01

    Recently, there has been an increasing interest in collegiate mathematics education, especially teaching and learning calculus (e.g., Oehrtman, Carlson, & Thompson, 2008; Speer, Smith, & Horvath, 2010). Of many calculus concepts, the derivative is known as a difficult concept for students to understand because it involves various concepts…

  15. Use of Technology to Develop Student Intuition in Multivariable Calculus

    Science.gov (United States)

    Kaur, Manmohan

    2006-01-01

    In order to get undergraduates interested in mathematics, it is essential to involve them in its "discovery". In this paper, we will explain how technology and the knowledge of lower dimensional calculus can be used to help them develop intuition leading to their discovering the first derivative rule in multivariable calculus. (Contains 7 figures.)

  16. Brownian motion, martingales, and stochastic calculus

    CERN Document Server

    Le Gall, Jean-François

    2016-01-01

    This book offers a rigorous and self-contained presentation of stochastic integration and stochastic calculus within the general framework of continuous semimartingales. The main tools of stochastic calculus, including Itô’s formula, the optional stopping theorem and Girsanov’s theorem, are treated in detail alongside many illustrative examples. The book also contains an introduction to Markov processes, with applications to solutions of stochastic differential equations and to connections between Brownian motion and partial differential equations. The theory of local times of semimartingales is discussed in the last chapter. Since its invention by Itô, stochastic calculus has proven to be one of the most important techniques of modern probability theory, and has been used in the most recent theoretical advances as well as in applications to other fields such as mathematical finance. Brownian Motion, Martingales, and Stochastic Calculus provides a strong theoretical background to the reader interested i...

  17. Introductory analysis a deeper view of calculus

    CERN Document Server

    Bagby, Richard J

    2000-01-01

    Introductory Analysis addresses the needs of students taking a course in analysis after completing a semester or two of calculus, and offers an alternative to texts that assume that math majors are their only audience. By using a conversational style that does not compromise mathematical precision, the author explains the material in terms that help the reader gain a firmer grasp of calculus concepts.* Written in an engaging, conversational tone and readable style while softening the rigor and theory* Takes a realistic approach to the necessary and accessible level of abstraction for the secondary education students* A thorough concentration of basic topics of calculus* Features a student-friendly introduction to delta-epsilon arguments * Includes a limited use of abstract generalizations for easy use* Covers natural logarithms and exponential functions* Provides the computational techniques often encountered in basic calculus

  18. A study of ∇-discrete fractional calculus operator on the radial ...

    African Journals Online (AJOL)

    The fractional calculus includes concepts of integrals and derivatives of any complex or real order. The fractional calculus is as old as the usual calculus. Recently, many scientists have been studying on this eld to provide the development and applicability to various areas of mathematics, physics, engineering and other ...

  19. Malliavin Calculus With Applications to Stochastic Partial Differential Equations

    CERN Document Server

    Sanz-Solé, Marta

    2005-01-01

    Developed in the 1970s to study the existence and smoothness of density for the probability laws of random vectors, Malliavin calculus--a stochastic calculus of variation on the Wiener space--has proven fruitful in many problems in probability theory, particularly in probabilistic numerical methods in financial mathematics.This book presents applications of Malliavin calculus to the analysis of probability laws of solutions to stochastic partial differential equations driven by Gaussian noises that are white in time and coloured in space. The first five chapters introduce the calculus itself

  20. Fundamentals of calculus

    CERN Document Server

    Morris, Carla C

    2015-01-01

    Fundamentals of Calculus encourages students to use power, quotient, and product rules for solutions as well as stresses the importance of modeling skills.  In addition to core integral and differential calculus coverage, the book features finite calculus, which lends itself to modeling and spreadsheets.  Specifically, finite calculus is applied to marginal economic analysis, finance, growth, and decay.  Includes: Linear Equations and FunctionsThe DerivativeUsing the Derivative Exponential and Logarithmic Functions Techniques of DifferentiationIntegral CalculusIntegration TechniquesFunctions

  1. Calculus II For Dummies

    CERN Document Server

    Zegarelli, Mark

    2012-01-01

    An easy-to-understand primer on advanced calculus topics Calculus II is a prerequisite for many popular college majors, including pre-med, engineering, and physics. Calculus II For Dummies offers expert instruction, advice, and tips to help second semester calculus students get a handle on the subject and ace their exams. It covers intermediate calculus topics in plain English, featuring in-depth coverage of integration, including substitution, integration techniques and when to use them, approximate integration, and improper integrals. This hands-on guide also covers sequences and series, wit

  2. Deducing the form factors for shear used in the calculus of the displacements based on strain energy methods. Mathematical approach for currently used shapes

    Science.gov (United States)

    Constantinescu, E.; Oanta, E.; Panait, C.

    2017-08-01

    The paper presents an initial study concerning the form factors for shear, for a rectangular and for a circular cross section, being used an analytical method and a numerical study. The numerical study considers a division of the cross section in small areas and uses the power of the definitions in order to compute the according integrals. The accurate values of the form factors are increasing the accuracy of the displacements computed by the use of the strain energy methods. The knowledge resulted from this study will be used for several directions of development: calculus of the form factors for a ring-type cross section of variable ratio of the inner and outer diameters, calculus of the geometrical characteristics of an inclined circular segment and, using a Bool algebra that operates with geometrical shapes, for an inclined circular ring segment. These shapes may be used to analytically define the geometrical model of a complex composite section, i.e. a ship hull cross section. The according calculus relations are also useful for the development of customized design commands in CAD commercial applications. The paper is a result of the long run development of original computer based instruments in engineering of the authors.

  3. Introduction to Integral Calculus Systematic Studies with Engineering Applications for Beginners

    CERN Document Server

    Rohde, Ulrich L; Poddar, Ajay K; Ghosh, A K

    2011-01-01

    An accessible introduction to the fundamentals of calculus needed to solve current problems in engineering and the physical sciences I ntegration is an important function of calculus, and Introduction to Integral Calculus combines fundamental concepts with scientific problems to develop intuition and skills for solving mathematical problems related to engineering and the physical sciences. The authors provide a solid introduction to integral calculus and feature applications of integration, solutions of differential equations, and evaluation methods. With logical organization coupled with cle

  4. Mathematics for the nonmathematician

    CERN Document Server

    Kline, Morris

    1967-01-01

    Erudite and entertaining overview follows development of mathematics from ancient Greeks to present. Topics include logic and mathematics, the fundamental concept, differential calculus, probability theory, much more. Exercises and problems.

  5. Partial differential equations and calculus of variations

    CERN Document Server

    Leis, Rolf

    1988-01-01

    This volume contains 18 invited papers by members and guests of the former Sonderforschungsbereich in Bonn (SFB 72) who, over the years, collaborated on the research group "Solution of PDE's and Calculus of Variations". The emphasis is on existence and regularity results, on special equations of mathematical physics and on scattering theory.

  6. Are Homeschoolers Prepared for College Calculus?

    Science.gov (United States)

    Wilkens, Christian P.; Wade, Carol H.; Sonnert, Gerhard; Sadler, Philip M.

    2015-01-01

    Homeschooling in the United States has grown considerably over the past several decades. This article presents findings from the Factors Influencing College Success in Mathematics (FICSMath) survey, a national study of 10,492 students enrolled in tertiary calculus, including 190 students who reported homeschooling for a majority of their high…

  7. The State of Proof in Finnish and Swedish Mathematics Textbooks--Capturing Differences in Approaches to Upper-Secondary Integral Calculus

    Science.gov (United States)

    Bergwall, Andreas; Hemmi, Kirsti

    2017-01-01

    Students' difficulties with proof, scholars' calls for proof to be a consistent part of K-12 mathematics, and the extensive use of textbooks in mathematics classrooms motivate investigations on how proof-related items are addressed in mathematics textbooks. We contribute to textbook research by focusing on opportunities to learn proof-related…

  8. Noncausal stochastic calculus

    CERN Document Server

    Ogawa, Shigeyoshi

    2017-01-01

    This book presents an elementary introduction to the theory of noncausal stochastic calculus that arises as a natural alternative to the standard theory of stochastic calculus founded in 1944 by Professor Kiyoshi Itô. As is generally known, Itô Calculus is essentially based on the "hypothesis of causality", asking random functions to be adapted to a natural filtration generated by Brownian motion or more generally by square integrable martingale. The intention in this book is to establish a stochastic calculus that is free from this "hypothesis of causality". To be more precise, a noncausal theory of stochastic calculus is developed in this book, based on the noncausal integral introduced by the author in 1979. After studying basic properties of the noncausal stochastic integral, various concrete problems of noncausal nature are considered, mostly concerning stochastic functional equations such as SDE, SIE, SPDE, and others, to show not only the necessity of such theory of noncausal stochastic calculus but ...

  9. Filtered stochastic calculus

    OpenAIRE

    Lenczewski, Romuald

    2001-01-01

    By introducing a color filtration to the multiplicity space, we extend the quantum Ito calculus on multiple symmetric Fock space to the framework of filtered adapted biprocesses. In this new notion of adaptedness,``classical'' time filtration makes the integrands similar to adapted processes, whereas ``quantum'' color filtration produces their deviations from adaptedness. An important feature of this calculus, which we call filtered stochastic calculus, is that it provides an explicit interpo...

  10. A course in advanced calculus

    CERN Document Server

    Borden, Robert S

    1997-01-01

    This remarkable undergraduate-level text offers a study in calculus that simultaneously unifies the concepts of integration in Euclidean space while at the same time giving students an overview of other areas intimately related to mathematical analysis. The author achieves this ambitious undertaking by shifting easily from one related subject to another. Thus, discussions of topology, linear algebra, and inequalities yield to examinations of innerproduct spaces, Fourier series, and the secret of Pythagoras. Beginning with a look at sets and structures, the text advances to such topics as lim

  11. An introductory calculus-based mechanics investigation

    Science.gov (United States)

    Allen, Bradley

    2017-11-01

    One challenge for the introductory physics teacher is incorporating calculus techniques into the laboratory setting. It can be difficult to strike a balance between presenting an experimental task for which calculus is essential and making the mathematics accessible to learners who may be apprehensive about applying it. One-dimensional kinematics is a common way to do so and has been discussed in this publication. This article outlines a two-dimensional kinematics experiment that is straightforward for students to perform, but for which the ideas of differentiation and maximizing are necessary to justify the results theoretically. It also leads to a satisfying result that ties into a derivation which students may recognize.

  12. Electronic Algebra and Calculus Tutor

    Directory of Open Access Journals (Sweden)

    Larissa Fradkin

    2012-06-01

    Full Text Available Modern undergraduates join science and engineering courses with poorer mathematical background than most contemporaries of the current faculty had when they were freshers. The problem is very acute in the United Kingdom but more and more countries adopt less resource intensive models of teaching and the problem spreads. University tutors and lecturers spend more and more time covering the basics. However, most of them still rely on traditional methods of delivery which presuppose that learners have a good memory and considerable time to practice, so that they can memorize disjointed facts and discover for themselves various connections between the underlying concepts. These suppositions are particularly unrealistic when dealing with a large number of undergraduates who are ordinary learners with limited mathematics background. The first author has developed a teaching system that allows such adult learners achieve relatively deep learning of mathematics – and remarkably quickly – through a teacher-guided (often called Socratic dialog, which aims at the frequent reinforcement of basic mathematical abstractions through Eulerian sequencing. These ideas have been applied to create a prototype of a Cognitive Mathematics Tutoring System aimed at teaching basic mathematics to University freshers., an electronic Personal Algebra and Calculus Tutor (e- PACT.

  13. Initialized Fractional Calculus

    Science.gov (United States)

    Lorenzo, Carl F.; Hartley, Tom T.

    2000-01-01

    This paper demonstrates the need for a nonconstant initialization for the fractional calculus and establishes a basic definition set for the initialized fractional differintegral. This definition set allows the formalization of an initialized fractional calculus. Two basis calculi are considered; the Riemann-Liouville and the Grunwald fractional calculi. Two forms of initialization, terminal and side are developed.

  14. Teaching the Calculus

    Science.gov (United States)

    Sauerheber, Richard D.

    2012-01-01

    Methods of teaching the Calculus are presented in honour of Sir Isaac Newton, by discussing an extension of his original proofs and discoveries. The methods, requested by Newton to be used that reflect the historical sequence of the discovered Fundamental Theorems, allow first-time students to grasp quickly the basics of the Calculus from its…

  15. Essential calculus with applications

    CERN Document Server

    Silverman, Richard A

    1989-01-01

    Rigorous but accessible text introduces undergraduate-level students to necessary background math, then clear coverage of differential calculus, differentiation as a tool, integral calculus, integration as a tool, and functions of several variables. Numerous problems and a supplementary section of ""Hints and Answers."" 1977 edition.

  16. Semiclassical dynamics and magnetic Weyl calculus

    Energy Technology Data Exchange (ETDEWEB)

    Lein, Maximilian Stefan

    2011-01-19

    Weyl quantization and related semiclassical techniques can be used to study conduction properties of crystalline solids subjected to slowly-varying, external electromagnetic fields. The case where the external magnetic field is constant, is not covered by existing theory as proofs involving usual Weyl calculus break down. This is the regime of the so-called quantum Hall effect where quantization of transverse conductance is observed. To rigorously derive semiclassical equations of motion, one needs to systematically develop a magnetic Weyl calculus which contains a semiclassical parameter. Mathematically, the operators involved in the analysis are magnetic pseudodifferential operators, a topic which by itself is of interest for the mathematics and mathematical physics community alike. Hence, we will devote two additional chapters to further understanding of properties of those operators. (orig.)

  17. White noise calculus and Fock space

    CERN Document Server

    Obata, Nobuaki

    1994-01-01

    White Noise Calculus is a distribution theory on Gaussian space, proposed by T. Hida in 1975. This approach enables us to use pointwise defined creation and annihilation operators as well as the well-established theory of nuclear space.This self-contained monograph presents, for the first time, a systematic introduction to operator theory on fock space by means of white noise calculus. The goal is a comprehensive account of general expansion theory of Fock space operators and its applications. In particular,first order differential operators, Laplacians, rotation group, Fourier transform and their interrelations are discussed in detail w.r.t. harmonic analysis on Gaussian space. The mathematical formalism used here is based on distribution theory and functional analysis , prior knowledge of white noise calculus is not required.

  18. A MATLAB companion for multivariable calculus

    CERN Document Server

    Cooper, Jeffery

    2001-01-01

    Offering a concise collection of MatLab programs and exercises to accompany a third semester course in multivariable calculus, A MatLab Companion for Multivariable Calculus introduces simple numerical procedures such as numerical differentiation, numerical integration and Newton''s method in several variables, thereby allowing students to tackle realistic problems. The many examples show students how to use MatLab effectively and easily in many contexts. Numerous exercises in mathematics and applications areas are presented, graded from routine to more demanding projects requiring some programming. Matlab M-files are provided on the Harcourt/Academic Press web site at http://www.harcourt-ap.com/matlab.html.* Computer-oriented material that complements the essential topics in multivariable calculus* Main ideas presented with examples of computations and graphics displays using MATLAB * Numerous examples of short code in the text, which can be modified for use with the exercises* MATLAB files are used to implem...

  19. Discrete fractional calculus

    CERN Document Server

    Goodrich, Christopher

    2015-01-01

    This text provides the first comprehensive treatment of the discrete fractional calculus. Experienced researchers will find the text useful as a reference for discrete fractional calculus and topics of current interest. Students who are interested in learning about discrete fractional calculus will find this text to provide a useful starting point. Several exercises are offered at the end of each chapter and select answers have been provided at the end of the book. The presentation of the content is designed to give ample flexibility for potential use in a myriad of courses and for independent study. The novel approach taken by the authors includes a simultaneous treatment of the fractional- and integer-order difference calculus (on a variety of time scales, including both the usual forward and backwards difference operators). The reader will acquire a solid foundation in the classical topics of the discrete calculus while being introduced to exciting recent developments, bringing them to the frontiers of the...

  20. What Does It Mean for a Student to Understand the First-Year Calculus? Perspectives of 24 Experts

    Science.gov (United States)

    Sofronas, Kimberly S.; DeFranco, Thomas C.; Vinsonhaler, Charles; Gorgievski, Nicholas; Schroeder, Larissa; Hamelin, Chris

    2011-01-01

    This article presents the views of 24 nationally recognized authorities in the field of mathematics, and in particular the calculus, on student understanding of the first-year calculus. A framework emerged that includes four overarching end goals for understanding of the first-year calculus: (a) mastery of the fundamental concepts and-or skills of…

  1. Intitialization, Conceptualization, and Application in the Generalized Fractional Calculus

    Science.gov (United States)

    Lorenzo, Carl F.; Hartley, Tom T.

    1998-01-01

    This paper provides a formalized basis for initialization in the fractional calculus. The intent is to make the fractional calculus readily accessible to engineering and the sciences. A modified set of definitions for the fractional calculus is provided which formally include the effects of initialization. Conceptualizations of fractional derivatives and integrals are shown. Physical examples of the basic elements from electronics are presented along with examples from dynamics, material science, viscoelasticity, filtering, instrumentation, and electrochemistry to indicate the broad application of the theory and to demonstrate the use of the mathematics. The fundamental criteria for a generalized calculus established by Ross (1974) are shown to hold for the generalized fractional calculus under appropriate conditions. A new generalized form for the Laplace transform of the generalized differintegral is derived. The concept of a variable structure (order) differintegral is presented along with initial efforts toward meaningful definitions.

  2. Initialization, conceptualization, and application in the generalized (fractional) calculus.

    Science.gov (United States)

    Lorenzo, Carl F; Hartley, Tom T

    2007-01-01

    This paper provides a formalized basis for initialization in the fractional calculus. The intent is to make the fractional calculus readily accessible to engineering and the sciences. A modified set of definitions for the fractional calculus is provided which formally include the effects of initialization. Conceptualizations of fractional derivatives and integrals are shown. Physical examples of the basic elements from electronics are presented along with examples from dynamics, material science, viscoelasticity, filtering, instrumentation, and electrochemistry to indicate the broad application of the theory and to demonstrate the use of the mathematics. The fundamental criteria for a generalized calculus established by Ross (1974) are shown to hold for the generalized fractional calculus under appropriate conditions. A new generalized form for the Laplace transform of the generalized differintegral is derived. The concept of a variable structure (order) differintegral is presented along with initial efforts toward meaningful definitions.

  3. Improving Student Success in Calculus I Using a Co-Requisite Calculus I Lab

    Science.gov (United States)

    Vestal, Sharon Schaffer; Brandenburger, Thomas; Furth, Alfred

    2015-01-01

    This paper describes how one university mathematics department was able to improve student success in Calculus I by requiring a co-requisite lab for certain groups of students. The groups of students required to take the co-requisite lab were identified by analyzing student data, including Math ACT scores, ACT Compass Trigonometry scores, and…

  4. Calculus for dummies

    CERN Document Server

    Ryan, Mark

    2014-01-01

    Slay the calculus monster with this user-friendly guide Calculus For Dummies, 2nd Edition makes calculus manageable-even if you're one of the many students who sweat at the thought of it. By breaking down differentiation and integration into digestible concepts, this guide helps you build a stronger foundation with a solid understanding of the big ideas at work. This user-friendly math book leads you step-by-step through each concept, operation, and solution, explaining the ""how"" and ""why"" in plain English instead of math-speak. Through relevant instruction and practical examples, you'll s

  5. The stochastic quality calculus

    DEFF Research Database (Denmark)

    Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis

    2014-01-01

    We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated...... with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics...

  6. A Logical Process Calculus

    Science.gov (United States)

    Cleaveland, Rance; Luettgen, Gerald; Bushnell, Dennis M. (Technical Monitor)

    2002-01-01

    This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.

  7. Mathematics for the New Millennium

    Science.gov (United States)

    Gordon, Sheldon P.

    2004-01-01

    Courses below calculus need to be refocused to emphasise conceptual understanding and realistic applications via mathematical modelling rather than an overarching focus on developing algebraic skills that may be needed for calculus. Without understanding the concepts, students will not be able to transfer the mathematics to new situations or to…

  8. Discounted Duration Calculus

    DEFF Research Database (Denmark)

    Ody, Heinrich; Fränzle, Martin; Hansen, Michael Reichhardt

    2016-01-01

    To formally reason about the temporal quality of systems discounting was introduced to CTL and LTL. However, these logic are discrete and they cannot express duration properties. In this work we introduce discounting for a variant of Duration Calculus. We prove decidability of model checking...... for a useful fragment of discounted Duration Calculus formulas on timed automata under mild assumptions. Further, we provide an extensive example to show the usefulness of the fragment....

  9. Encoding the Factorisation Calculus

    Directory of Open Access Journals (Sweden)

    Reuben N. S. Rowe

    2015-08-01

    Full Text Available Jay and Given-Wilson have recently introduced the Factorisation (or SF- calculus as a minimal fundamental model of intensional computation. It is a combinatory calculus containing a special combinator, F, which is able to examine the internal structure of its first argument. The calculus is significant in that as well as being combinatorially complete it also exhibits the property of structural completeness, i.e. it is able to represent any function on terms definable using pattern matching on arbitrary normal forms. In particular, it admits a term that can decide the structural equality of any two arbitrary normal forms. Since SF-calculus is combinatorially complete, it is clearly at least as powerful as the more familiar and paradigmatic Turing-powerful computational models of Lambda Calculus and Combinatory Logic. Its relationship to these models in the converse direction is less obvious, however. Jay and Given-Wilson have suggested that SF-calculus is strictly more powerful than the aforementioned models, but a detailed study of the connections between these models is yet to be undertaken. This paper begins to bridge that gap by presenting a faithful encoding of the Factorisation Calculus into the Lambda Calculus preserving both reduction and strong normalisation. The existence of such an encoding is a new result. It also suggests that there is, in some sense, an equivalence between the former model and the latter. We discuss to what extent our result constitutes an equivalence by considering it in the context of some previously defined frameworks for comparing computational power and expressiveness.

  10. Computing for calculus

    CERN Document Server

    Christensen, Mark J

    1981-01-01

    Computing for Calculus focuses on BASIC as the computer language used for solving calculus problems.This book discusses the input statement for numeric variables, advanced intrinsic functions, numerical estimation of limits, and linear approximations and tangents. The elementary estimation of areas, numerical and string arrays, line drawing algorithms, and bisection and secant method are also elaborated. This text likewise covers the implicit functions and differentiation, upper and lower rectangular estimates, Simpson's rule and parabolic approximation, and interpolating polynomials. Other to

  11. Flipping Freshman Mathematics

    Science.gov (United States)

    Zack, Laurie; Fuselier, Jenny; Graham-Squire, Adam; Lamb, Ron; O'Hara, Karen

    2015-01-01

    Our study compared a flipped class with a standard lecture class in four introductory courses: finite mathematics, precalculus, business calculus, and calculus 1. The flipped sections watched video lectures outside of class and spent time in class actively working on problems. The traditional sections had lectures in class and did homework outside…

  12. Introduction to the calculus of variations

    CERN Document Server

    Sagan, Hans

    1992-01-01

    Excellent text provides basis for thorough understanding of the problems, methods and techniques of the calculus of variations and prepares readers for the study of modern optimal control theory. Treatment limited to extensive coverage of single integral problems in one and more unknown functions. Carefully chosen variational problems and over 400 exercises. ""Should find wide acceptance as a text and reference.""-American Mathematical Monthly. 1969 edition. Bibliography.

  13. Mathematical methods for physical and analytical chemistry

    CERN Document Server

    Goodson, David Z

    2011-01-01

    Mathematical Methods for Physical and Analytical Chemistry presents mathematical and statistical methods to students of chemistry at the intermediate, post-calculus level. The content includes a review of general calculus; a review of numerical techniques often omitted from calculus courses, such as cubic splines and Newton's method; a detailed treatment of statistical methods for experimental data analysis; complex numbers; extrapolation; linear algebra; and differential equations. With numerous example problems and helpful anecdotes, this text gives chemistry students the mathematical

  14. Multivariable calculus with Matlab with applications to geometry and physics

    CERN Document Server

    Lipsman, Ronald L

    2017-01-01

    This comprehensive treatment of multivariable calculus focuses on the numerous tools that MATLAB® brings to the subject, as it presents introductions to geometry, mathematical physics, and kinematics. Covering simple calculations with MATLAB®, relevant plots, integration, and optimization, the numerous problem sets encourage practice with newly learned skills that cultivate the reader’s understanding of the material. Significant examples illustrate each topic, and fundamental physical applications such as Kepler’s Law, electromagnetism, fluid flow, and energy estimation are brought to prominent position. Perfect for use as a supplement to any standard multivariable calculus text, a “mathematical methods in physics or engineering” class, for independent study, or even as the class text in an “honors” multivariable calculus course, this textbook will appeal to mathematics, engineering, and physical science students. MATLAB® is tightly integrated into every portion of this book, and its graphical ...

  15. Integral calculus problem solving: an fMRI investigation.

    Science.gov (United States)

    Krueger, Frank; Spampinato, Maria Vittoria; Pardini, Matteo; Pajevic, Sinisa; Wood, Jacqueline N; Weiss, George H; Landgraf, Steffen; Grafman, Jordan

    2008-07-16

    Only a subset of adults acquires specific advanced mathematical skills, such as integral calculus. The representation of more sophisticated mathematical concepts probably evolved from basic number systems; however its neuroanatomical basis is still unknown. Using fMRI, we investigated the neural basis of integral calculus while healthy participants were engaged in an integration verification task. Solving integrals activated a left-lateralized cortical network including the horizontal intraparietal sulcus, posterior superior parietal lobe, posterior cingulate gyrus, and dorsolateral prefrontal cortex. Our results indicate that solving of more abstract and sophisticated mathematical facts, such as calculus integrals, elicits a pattern of brain activation similar to the cortical network engaged in basic numeric comparison, quantity manipulation, and arithmetic problem solving.

  16. Fractional-calculus diffusion equation.

    Science.gov (United States)

    Ajlouni, Abdul-Wali Ms; Al-Rabai'ah, Hussam A

    2010-05-21

    Sequel to the work on the quantization of nonconservative systems using fractional calculus and quantization of a system with Brownian motion, which aims to consider the dissipation effects in quantum-mechanical description of microscale systems. The canonical quantization of a system represented classically by one-dimensional Fick's law, and the diffusion equation is carried out according to the Dirac method. A suitable Lagrangian, and Hamiltonian, describing the diffusive system, are constructed and the Hamiltonian is transformed to Schrodinger's equation which is solved. An application regarding implementation of the developed mathematical method to the analysis of diffusion, osmosis, which is a biological application of the diffusion process, is carried out. Schrödinger's equation is solved. The plot of the probability function represents clearly the dissipative and drift forces and hence the osmosis, which agrees totally with the macro-scale view, or the classical-version osmosis.

  17. Fractional-calculus diffusion equation

    Science.gov (United States)

    2010-01-01

    Background Sequel to the work on the quantization of nonconservative systems using fractional calculus and quantization of a system with Brownian motion, which aims to consider the dissipation effects in quantum-mechanical description of microscale systems. Results The canonical quantization of a system represented classically by one-dimensional Fick's law, and the diffusion equation is carried out according to the Dirac method. A suitable Lagrangian, and Hamiltonian, describing the diffusive system, are constructed and the Hamiltonian is transformed to Schrodinger's equation which is solved. An application regarding implementation of the developed mathematical method to the analysis of diffusion, osmosis, which is a biological application of the diffusion process, is carried out. Schrödinger's equation is solved. Conclusions The plot of the probability function represents clearly the dissipative and drift forces and hence the osmosis, which agrees totally with the macro-scale view, or the classical-version osmosis. PMID:20492677

  18. Fractional calculus in bioengineering, part 3.

    Science.gov (United States)

    Magin, Richard L

    2004-01-01

    Fractional calculus (integral and differential operations of noninteger order) is not often used to model biological systems. Although the basic mathematical ideas were developed long ago by the mathematicians Leibniz (1695), Liouville (1834), Riemann (1892), and others and brought to the attention of the engineering world by Oliver Heaviside in the 1890s, it was not until 1974 that the first book on the topic was published by Oldham and Spanier. Recent monographs and symposia proceedings have highlighted the application of fractional calculus in physics, continuum mechanics, signal processing, and electromagnetics, but with few examples of applications in bioengineering. This is surprising because the methods of fractional calculus, when defined as a Laplace or Fourier convolution product, are suitable for solving many problems in biomedical research. For example, early studies by Cole (1933) and Hodgkin (1946) of the electrical properties of nerve cell membranes and the propagation of electrical signals are well characterized by differential equations of fractional order. The solution involves a generalization of the exponential function to the Mittag-Leffler function, which provides a better fit to the observed cell membrane data. A parallel application of fractional derivatives to viscoelastic materials establishes, in a natural way, hereditary integrals and the power law (Nutting/Scott Blair) stress-strain relationship for modeling biomaterials. In this review, I will introduce the idea of fractional operations by following the original approach of Heaviside, demonstrate the basic operations of fractional calculus on well-behaved functions (step, ramp, pulse, sinusoid) of engineering interest, and give specific examples from electrochemistry, physics, bioengineering, and biophysics. The fractional derivative accurately describes natural phenomena that occur in such common engineering problems as heat transfer, electrode/electrolyte behavior, and sub

  19. Fundamentals of scientific mathematics

    CERN Document Server

    Owen, George E

    2003-01-01

    Offering undergraduates a solid mathematical background (and functioning equally well for independent study), this rewarding, beautifully illustrated text covers geometry and matrices, vector algebra, analytic geometry, functions, and differential and integral calculus. 1961 edition.

  20. Using Student-Made Games to Learn Mathematics

    Science.gov (United States)

    Gallegos, Irene; Flores, Alfinio

    2010-01-01

    First-year university students design and play their own games, including board, computer, and other kinds of games, to learn mathematical concepts and practice procedures for their pre-calculus and calculus courses. (Contains 2 tables and 8 figures.)

  1. Putting Differentials Back into Calculus

    Science.gov (United States)

    Dray, Tevian; Manogue, Corrine A.

    2010-01-01

    We argue that the use of differentials in introductory calculus courses is useful and provides a unifying theme, leading to a coherent view of the calculus. Along the way, we meet several interpretations of differentials, some better than others.

  2. Analysis of Errors and Misconceptions in the Learning of Calculus by Undergraduate Students

    Science.gov (United States)

    Muzangwa, Jonatan; Chifamba, Peter

    2012-01-01

    This paper is going to analyse errors and misconceptions in an undergraduate course in Calculus. The study will be based on a group of 10 BEd. Mathematics students at Great Zimbabwe University. Data is gathered through use of two exercises on Calculus 1&2.The analysis of the results from the tests showed that a majority of the errors were due…

  3. The AP Calculus Exam Reading Experience: Implications for Teacher Classroom Practice and Student Comprehension

    Science.gov (United States)

    Corcoran, Mimi

    2017-01-01

    This dissertation explores the views and experiences of high school calculus teachers and college mathematics professors on the professional development which occurs at the annual national AP Calculus exam grading. This professional development experience comes in several forms: the exam briefing sessions, the actual reading of the exams, the…

  4. Differentiated Instruction in a Calculus Curriculum for College Students in Taiwan

    Science.gov (United States)

    Chen, Jing-Hua; Chen, Yi-Chou

    2018-01-01

    Objectives: To explore differentiated instruction within a calculus curriculum. For college students to learn concentration, motivation and the impact of academic achievement; explore the attitudes and ideas of students on differentiated instruction within a calculus curriculum; build up the diversity of mathematics education within varied…

  5. The Association of Precollege Use of Calculators with Student Performance in College Calculus

    Science.gov (United States)

    Mao, Yi; White, Tyreke; Sadler, Philip M.; Sonnert, Gerhard

    2017-01-01

    This study investigates how the use of calculators during high school mathematics courses is associated with student performance in introductory college calculus courses in the USA. Data were drawn from a nationally representative sample of 7087 students enrolled in college calculus at 134 colleges and universities. They included information about…

  6. Fractional and multivariable calculus model building and optimization problems

    CERN Document Server

    Mathai, A M

    2017-01-01

    This textbook presents a rigorous approach to multivariable calculus in the context of model building and optimization problems. This comprehensive overview is based on lectures given at five SERC Schools from 2008 to 2012 and covers a broad range of topics that will enable readers to understand and create deterministic and nondeterministic models. Researchers, advanced undergraduate, and graduate students in mathematics, statistics, physics, engineering, and biological sciences will find this book to be a valuable resource for finding appropriate models to describe real-life situations. The first chapter begins with an introduction to fractional calculus moving on to discuss fractional integrals, fractional derivatives, fractional differential equations and their solutions. Multivariable calculus is covered in the second chapter and introduces the fundamentals of multivariable calculus (multivariable functions, limits and continuity, differentiability, directional derivatives and expansions of multivariable ...

  7. Schaum's outline of calculus

    CERN Document Server

    Ayres, Frank

    1999-01-01

    Students can gain a thorough understanding of differential and integral calculus with this powerful study tool. They'll also find the related analytic geometry much easier. The clear review of algebra and geometry in this edition will make calculus easier for students who wish to strengthen their knowledge in these areas. Updated to meet the emphasis in current courses, this new edition of a popular guide­­--more than 104,000 copies were bought of the prior edition--­­includes problems and examples using graphing calculators.

  8. A Giant Urethral Calculus.

    Science.gov (United States)

    Sigdel, G; Agarwal, A; Keshaw, B W

    2014-01-01

    Urethral calculi are rare forms of urolithiasis. Majority of the calculi are migratory from urinary bladder or upper urinary tract. Primary urethral calculi usually occur in presence of urethral stricture or diverticulum. In this article we report a case of a giant posterior urethral calculus measuring 7x3x2 cm in a 47 years old male. Patient presented with acute retention of urine which was preceded by burning micturition and dribbling of urine for one week. The calculus was pushed in to the bladder through the cystoscope and was removed by suprapubic cystolithotomy.

  9. The dagger lambda calculus

    Directory of Open Access Journals (Sweden)

    Philip Atzemoglou

    2014-12-01

    Full Text Available We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear negation of "trivialised" De Morgan duality. Reduction is realised through explicit substitution, based on a symmetric notion of binding of global scope, with rules acting on the entire typing judgement instead of on a specific subterm. Proofs of subject reduction, confluence, strong normalisation and consistency are provided, and the language is shown to be an internal language for dagger compact categories.

  10. A calculus for quality

    DEFF Research Database (Denmark)

    Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto

    2013-01-01

    A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan...... for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the systems. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication...

  11. Mathematics a minimal introduction

    CERN Document Server

    Buium, Alexandru

    2013-01-01

    Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index

  12. Mathematical tapas

    CERN Document Server

    Hiriart-Urruty, Jean-Baptiste

    2017-01-01

    This textbook presents a collection of interesting and sometimes original exercises for motivated students in mathematics. Written in the same spirit as Volume 1, this second volume of Mathematical Tapas includes carefully selected problems at the intersection between undergraduate and graduate level. Hints, answers and (sometimes) comments are presented alongside the 222 “tapas” as well as 8 conjectures or open problems. Topics covered include metric, normed, Banach, inner-product and Hilbert spaces; differential calculus; integration; matrices; convexity; and optimization or variational problems. Suitable for advanced undergraduate and graduate students in mathematics, this book aims to sharpen the reader’s mathematical problem solving abilities.

  13. Colloquium: Fractional calculus view of complexity: A tutorial

    Science.gov (United States)

    West, Bruce J.

    2014-10-01

    The fractional calculus has been part of the mathematics and science literature for 310 years. However, it is only in the past decade or so that it has drawn the attention of mainstream science as a way to describe the dynamics of complex phenomena with long-term memory, spatial heterogeneity, along with nonstationary and nonergodic statistics. The most recent application encompasses complex networks, which require new ways of thinking about the world. Part of the new cognition is provided by the fractional calculus description of temporal and topological complexity. Consequently, this Colloquium is not so much a tutorial on the mathematics of the fractional calculus as it is an exploration of how complex phenomena in the physical, social, and life sciences that have eluded traditional mathematical modeling become less mysterious when certain historical assumptions such as differentiability are discarded and the ordinary calculus is replaced with the fractional calculus. Exemplars considered include the fractional differential equations describing the dynamics of viscoelastic materials, turbulence, foraging, and phase transitions in complex social networks.

  14. Backpropagation and ordered derivatives in the time scales calculus.

    Science.gov (United States)

    Seiffertt, John; Wunsch, Donald C

    2010-08-01

    Backpropagation is the most widely used neural network learning technique. It is based on the mathematical notion of an ordered derivative. In this paper, we present a formulation of ordered derivatives and the backpropagation training algorithm using the important emerging area of mathematics known as the time scales calculus. This calculus, with its potential for application to a wide variety of inter-disciplinary problems, is becoming a key area of mathematics. It is capable of unifying continuous and discrete analysis within one coherent theoretical framework. Using this calculus, we present here a generalization of backpropagation which is appropriate for cases beyond the specifically continuous or discrete. We develop a new multivariate chain rule of this calculus, define ordered derivatives on time scales, prove a key theorem about them, and derive the backpropagation weight update equations for a feedforward multilayer neural network architecture. By drawing together the time scales calculus and the area of neural network learning, we present the first connection of two major fields of research.

  15. Probabilistic Mu-Calculus

    DEFF Research Database (Denmark)

    Larsen, Kim Guldstrand; Mardare, Radu Iulian; Xue, Bingtian

    2016-01-01

    We introduce a version of the probabilistic µ-calculus (PMC) built on top of a probabilistic modal logic that allows encoding n-ary inequational conditions on transition probabilities. PMC extends previously studied calculi and we prove that, despite its expressiveness, it enjoys a series of good...... is innovative in many aspects combining various techniques from topology and model theory....

  16. Calculus Courses' Assessment Data

    Science.gov (United States)

    Pauna, Matti

    2017-01-01

    In this paper we describe computer-aided assessment methods used in online Calculus courses and the data they produce. The online learning environment collects a lot of time-stamped data about every action a student makes. Assessment data can be harnessed into use as a feedback, predictor, and recommendation facility for students and instructors.…

  17. Malliavin calculus in finance

    OpenAIRE

    Kohatsu, Arturo; Miquel, Montero

    2003-01-01

    This article is an introduction to Malliavin Calculus for practitioners. We treat one specific application to the calculation of greeks in Finance. We consider also the kernel density method to compute greeks and an extension of the Vega index called the local vega index.

  18. Fractional calculus in bioengineering, part 2.

    Science.gov (United States)

    Magin, Richard L

    2004-01-01

    Fractional calculus (integral and differential operations of noninteger order) is not often used to model biological systems. Although the basic mathematical ideas were developed long ago by the mathematicians Leibniz (1695), Liouville (1834), Riemann (1892), and others and brought to the attention of the engineering world by Oliver Heaviside in the 1890s, it was not until 1974 that the first book on the topic was published by Oldham and Spanier. Recent monographs and symposia proceedings have highlighted the application of fractional calculus in physics, continuum mechanics, signal processing, and electromagnetics, but with few examples of applications in bioengineering. This is surprising because the methods of fractional calculus, when defined as a Laplace or Fourier convolution product, are suitable for solving many problems in biomedical research. For example, early studies by Cole (1933) and Hodgkin (1946) of the electrical properties of nerve cell membranes and the propagation of electrical signals are well characterized by differential equations of fractional order. The solution involves a generalization of the exponential function to the Mittag-Leffler function, which provides a better fit to the observed cell membrane data. A parallel application of fractional derivatives to viscoelastic materials establishes, in a natural way, hereditary integrals and the power law (Nutting/Scott Blair) stress-strain relationship for modeling biomaterials. In this review, I will introduce the idea of fractional operations by following the original approach of Heaviside, demonstrate the basic operations of fractional calculus on well-behaved functions (step, ramp, pulse, sinusoid) of engineering interest, and give specific examples from electrochemistry, physics, bioengineering, and biophysics. The fractional derivative accurately describes natural phenomena that occur in such common engineering problems as heat transfer, electrode/electrolyte behavior, and sub

  19. Mathematical modeling using Microsoft Excel

    OpenAIRE

    Emmons, Nelson L

    1997-01-01

    Approved for public release; distribution is unlimited The entry into higher mathematics begins with calculus. Rarely, however, does the calculus student recognize the full power and applications for the mathematical concepts and tools that are taught. Frank R. Giordano, Maurice D. Weir, and William P. Fox produced A First Course in Mathematical Modeling a unique text designed to address this shortcoming and teach the student how to identify, formulate, and interpret the real world in math...

  20. Generalized calculus with applications to matter and forces

    CERN Document Server

    Campos, L M B C

    2014-01-01

    Combining mathematical theory, physical principles, and engineering problems, Generalized Calculus with Applications to Matter and Forces examines generalized functions, including the Heaviside unit jump and the Dirac unit impulse and its derivatives of all orders, in one and several dimensions. The text introduces the two main approaches to generalized functions: (1) as a nonuniform limit of a family of ordinary functions, and (2) as a functional over a set of test functions from which properties are inherited. The second approach is developed more extensively to encompass multidimensional generalized functions whose arguments are ordinary functions of several variables. As part of a series of books for engineers and scientists exploring advanced mathematics, Generalized Calculus with Applications to Matter and Forces presents generalized functions from an applied point of view, tackling problem classes such as: •Gauss and Stokes’ theorems in the differential geometry, tensor calculus, and theory of ...

  1. Making Implicit Multivariable Calculus Representations Explicit: A Clinical Study

    Science.gov (United States)

    McGee, Daniel; Moore-Russo, Deborah; Martinez-Planell, Rafael

    2015-01-01

    Reviewing numerous textbooks, we found that in both differential and integral calculus textbooks the authors commonly assume that: (i) students can generalize associations between representations in two dimensions to associations between representations of the same mathematical concept in three dimensions on their own; and (ii) explicit…

  2. Calculus of multivariate functions: it's application in business | Awen ...

    African Journals Online (AJOL)

    Calculus of multivariate functions is a mathematical concept that has to do with two sets of variables, the dependent variables and the independent variables. Multivariate functions can be applied to situations in business organizations like a manufacturer‟s profit (which is a dependent variable) depending on sales, ...

  3. On Flipping First-Semester Calculus: A Case Study

    Science.gov (United States)

    Petrillo, Joseph

    2016-01-01

    High failure rates in calculus have plagued students, teachers, and administrators for decades, while science, technology, engineering, and mathematics programmes continue to suffer from low enrollments and high attrition. In an effort to affect this reality, some educators are "flipping" (or inverting) their classrooms. By flipping, we…

  4. Contrasting Cases of Calculus Students' Understanding of Derivative Graphs

    Science.gov (United States)

    Haciomeroglu, Erhan Selcuk; Aspinwall, Leslie; Presmeg, Norma C.

    2010-01-01

    This study adds momentum to the ongoing discussion clarifying the merits of visualization and analysis in mathematical thinking. Our goal was to gain understanding of three calculus students' mental processes and images used to create meaning for derivative graphs. We contrast the thinking processes of these three students as they attempted to…

  5. Geometric calculus according to the Ausdehnungslehre of H. Grassmann

    CERN Document Server

    Peano, Giuseppe

    2000-01-01

    Calcolo Geometrico, G. Peano's first publication in mathematical logic, is a model of expository writing, with a significant impact on 20th century mathematics. Kannenberg's lucid and crisp translation, Geometric Calculus, will appeal to historians of mathematics, researchers, graduate students, and general readers interested in the foundations of mathematics and the development of a formal logical language. In Chapter IX, with the innocent-sounding title "Transformations of a linear system," one finds the crown jewel of the book: Peano's axiom system for a vector space, the first-ever presentation of a set of such axioms. The very wording of the axioms (which Peano calls "definitions") has a remarkably modern ring, almost like a modern introduction to linear algebra. Peano also presents the basic calculus of set operation, introducing the notation for 'intersection,' 'union,' and 'element of,' many years before it was accepted. Despite its uniqueness, Calcolo Geometrico has been strangely neglected by histor...

  6. Mathematics

    CERN Document Server

    Eringen, A Cemal

    2013-01-01

    Continuum Physics: Volume 1 - Mathematics is a collection of papers that discusses certain selected mathematical methods used in the study of continuum physics. Papers in this collection deal with developments in mathematics in continuum physics and its applications such as, group theory functional analysis, theory of invariants, and stochastic processes. Part I explains tensor analysis, including the geometry of subspaces and the geometry of Finsler. Part II discusses group theory, which also covers lattices, morphisms, and crystallographic groups. Part III reviews the theory of invariants th

  7. Mathematical logic foundations for information science

    CERN Document Server

    Li, Wei

    2010-01-01

    This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results.

  8. Duration Calculus: Logical Foundations

    DEFF Research Database (Denmark)

    Hansen, Michael Reichhardt; Chaochen, Zhou

    1997-01-01

    The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...... case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.......The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...

  9. Calculus I essentials

    CERN Document Server

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Calculus I covers functions, limits, basic derivatives, and integrals.

  10. The Malliavin calculus

    CERN Document Server

    Bell, Denis R

    2006-01-01

    This introduction to Malliavin's stochastic calculus of variations is suitable for graduate students and professional mathematicians. Author Denis R. Bell particularly emphasizes the problem that motivated the subject's development, with detailed accounts of the different forms of the theory developed by Stroock and Bismut, discussions of the relationship between these two approaches, and descriptions of a variety of applications.The first chapter covers enough technical background to make the subsequent material accessible to readers without specialized knowledge of stochastic analysis. Succe

  11. Pre-calculus essentials

    CERN Document Server

    Woodward, Ernest

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Pre-Calculus reviews sets, numbers, operations and properties, coordinate geometry, fundamental algebraic topics, solving equations and inequalities, functions, trigonometry, exponents

  12. Boolean integral calculus

    Science.gov (United States)

    Tucker, Jerry H.; Tapia, Moiez A.; Bennett, A. Wayne

    1988-01-01

    The concept of Boolean integration is developed, and different Boolean integral operators are introduced. Given the changes in a desired function in terms of the changes in its arguments, the ways of 'integrating' (i.e. realizing) such a function, if it exists, are presented. The necessary and sufficient conditions for integrating, in different senses, the expression specifying the changes are obtained. Boolean calculus has applications in the design of logic circuits and in fault analysis.

  13. Calculus III essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Calculus III includes vector analysis, real valued functions, partial differentiation, multiple integrations, vector fields, and infinite series.

  14. Calculus with vectors

    CERN Document Server

    Treiman, Jay S

    2014-01-01

    Calculus with Vectors grew out of a strong need for a beginning calculus textbook for undergraduates who intend to pursue careers in STEM. fields. The approach introduces vector-valued functions from the start, emphasizing the connections between one-variable and multi-variable calculus. The text includes early vectors and early transcendentals and includes a rigorous but informal approach to vectors. Examples and focused applications are well presented along with an abundance of motivating exercises. All three-dimensional graphs have rotatable versions included as extra source materials and may be freely downloaded and manipulated with Maple Player; a free Maple Player App is available for the iPad on iTunes. The approaches taken to topics such as the derivation of the derivatives of sine and cosine, the approach to limits, and the use of "tables" of integration have been modified from the standards seen in other textbooks in order to maximize the ease with which students may comprehend the material. Additio...

  15. Introduction to the operational calculus

    CERN Document Server

    Berg, Lothar

    2013-01-01

    Introduction to the Operational Calculus is a translation of ""Einfuhrung in die Operatorenrechnung, Second Edition."" This book deals with Heaviside's interpretation, on the Laplace integral, and on Jan Mikusinki's fundamental work ""Operational Calculus."" Throughout the book, basic algebraic concepts appear as aids to understanding some relevant points of the subject. An important field for research in analysis is asymptotic properties. This text also discusses examples to show the potentialities in applying operational calculus that run beyond ordinary differential equations with constant

  16. The development and nature of problem-solving among first-semester calculus students

    Science.gov (United States)

    Dawkins, Paul Christian; Mendoza Epperson, James A.

    2014-08-01

    This study investigates interactions between calculus learning and problem-solving in the context of two first-semester undergraduate calculus courses in the USA. We assessed students' problem-solving abilities in a common US calculus course design that included traditional lecture and assessment with problem-solving-oriented labs. We investigate this blended instruction as a local representative of the US calculus reform movements that helped foster it. These reform movements tended to emphasize problem-solving as well as multiple mathematical registers and quantitative modelling. Our statistical analysis reveals the influence of the blended traditional/reform calculus instruction on students' ability to solve calculus-related, non-routine problems through repeated measures over the semester. The calculus instruction in this study significantly improved students' performance on non-routine problems, though performance improved more regarding strategies and accuracy than it did for drawing conclusions and providing justifications. We identified problem-solving behaviours that characterized top performance or attrition in the course. Top-performing students displayed greater algebraic proficiency, calculus skills, and more general heuristics than their peers, but overused algebraic techniques even when they proved cumbersome or inappropriate. Students who subsequently withdrew from calculus often lacked algebraic fluency and understanding of the graphical register. The majority of participants, when given a choice, relied upon less sophisticated trial-and-error approaches in the numerical register and rarely used the graphical register, contrary to the goals of US calculus reform. We provide explanations for these patterns in students' problem-solving performance in view of both their preparation for university calculus and the courses' assessment structure, which preferentially rewarded algebraic reasoning. While instruction improved students' problem

  17. Early Vector Calculus: A Path through Multivariable Calculus

    Science.gov (United States)

    Robertson, Robert L.

    2013-01-01

    The divergence theorem, Stokes' theorem, and Green's theorem appear near the end of calculus texts. These are important results, but many instructors struggle to reach them. We describe a pathway through a standard calculus text that allows instructors to emphasize these theorems. (Contains 2 figures.)

  18. Logic in elementary mathematics

    CERN Document Server

    Exner, Robert M

    2011-01-01

    This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and

  19. Calculus in physics classes at UFRGS: an exploratory study

    Directory of Open Access Journals (Sweden)

    Maria Cecilia Pereira Santarosa

    2011-11-01

    Full Text Available This study is part f a larger one whose general objective is to investigate and to develop a new strategy for teaching Differential and Integral Calculus I, specifically for physics majors, through a possible integration with the teaching of General and Experimental Physics I. With the specific objective of identifying physics problem-situations that may help in making sense of the mathematical concepts used in Calculus I, and languages and notations that might be used in the teaching of Calculus to favor physics learning, it was investigates, through an ethnographic study, the may mathematics is transposed to classes of General and Experimental Physics I, in classes of physics courses at the Federal University of Rio Grande do Sul (UFRGS. Some findings of this study confirmed those reported in the literature regarding the teaching and learning process in introductory college physics courses. These findings will subsidize the preparation of potentially meaningful instructional materials that will be used in a second stage of the research designed to investigate the learning of declarative and procedural knowledge in basic college physics under an approach that integrates problem-situation in physics and calculus mathematical concepts.

  20. Mathematics

    CERN Document Server

    Stein, Sherman K

    2010-01-01

    Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety of fields. Readers with little mathematical background are exposed to a broad range of subjects chosen from number theory, topology, set theory, geometry, algebra, and analysis. Starting with a survey of questions on weight, the text discusses the primes, the fundamental theorem of arithmetic, rationals and irrationals, tiling, tiling and electricity, probability, infinite sets, and many other topi

  1. From Calculus to Wavelets: ANew Mathematical Technique

    Indian Academy of Sciences (India)

    Usually the first type of series expansion that one. G B Folland is with the. University of Washington ... Another very useful type of series is the trigonomet- ric series or Fourier series. These series come in several ..... more distant galaxies, whose details show up at different length scales.) There is considerable evidence that ...

  2. Mathematics and the physical world

    CERN Document Server

    Kline, Morris

    1981-01-01

    Stimulating account of development of mathematics from arithmetic, algebra, geometry and trigonometry, to calculus, differential equations, and non-Euclidean geometries. Also describes how math is used in optics, astronomy, and other phenomena.

  3. Teaching Mathematics to Civil Engineers

    Science.gov (United States)

    Sharp, J. J.; Moore, E.

    1977-01-01

    This paper outlines a technique for teaching a rigorous course in calculus and differential equations which stresses applicability of the mathematics to problems in civil engineering. The method involves integration of subject matter and team teaching. (SD)

  4. Methods of applied mathematics

    CERN Document Server

    Hildebrand, Francis B

    1992-01-01

    This invaluable book offers engineers and physicists working knowledge of a number of mathematical facts and techniques not commonly treated in courses in advanced calculus, but nevertheless extremely useful when applied to typical problems in many different fields. It deals principally with linear algebraic equations, quadratic and Hermitian forms, operations with vectors and matrices, the calculus of variations, and the formulations and theory of linear integral equations. Annotated problems and exercises accompany each chapter.

  5. Calculus Free Optimisation

    Science.gov (United States)

    Hansraj, Sudan

    2010-01-01

    I argue for the inclusion of topics in high school mathematics curricula that are traditionally reserved for high achieving students preparing for mathematical contests. These include the arithmetic mean--geometric mean inequality which has many practical applications in mathematical modelling. The problem of extremalising functions of more than…

  6. Applications of infinitary lambda calculus

    NARCIS (Netherlands)

    Barendregt, H.; Klop, J.W.

    2009-01-01

    We present an introduction to infinitary lambda calculus, highlighting its main properties. Subsequently we give three applications of infinitary lambda calculus. The first addresses the non-definability of Surjective Pairing, which was shown by the first author not to be definable in lambda

  7. The Calculus of a Vase

    Science.gov (United States)

    Scherger, Nicole

    2012-01-01

    Of the most universal applications in integral calculus are those involved with finding volumes of solids of revolution. These profound problems are typically taught with traditional approaches of the disk and shell methods, after which most calculus curriculums will additionally cover arc length and surfaces of revolution. Even in these visibly…

  8. Calculus in the Middle School?

    Science.gov (United States)

    Barger, Rita H.; McCoy, Ann C.

    2010-01-01

    This article presents an example of how middle school teachers can lay a foundation for calculus. Although many middle school activities connect directly to calculus concepts, the authors have decided to look in depth at only one: the concept of change. They will show how teachers can lead their students to see and appreciate the calculus…

  9. Provability Calculus of Constructions

    DEFF Research Database (Denmark)

    Nyblad, Kasten

    This thesis presents a type system, Provability Calculus of Constructions (PCoC) that can be used for the formalization of logic. In a theorem prover based on the system, the user can extend the prover with new inference rules in a logically consistent manner. This is done by representing PCo......C as values and data types within PCoC. The new feature of PCoC is that results of the representation of PCoC can be lifted to PCoC itself. The lifting is fully formalized in PCoC, and the logic therefore supports reflection....

  10. Advanced calculus problem solver

    CERN Document Server

    REA, Editors of

    2012-01-01

    Each Problem Solver is an insightful and essential study and solution guide chock-full of clear, concise problem-solving gems. All your questions can be found in one convenient source from one of the most trusted names in reference solution guides. More useful, more practical, and more informative, these study aids are the best review books and textbook companions available. Nothing remotely as comprehensive or as helpful exists in their subject anywhere. Perfect for undergraduate and graduate studies.Here in this highly useful reference is the finest overview of advanced calculus currently av

  11. Calculus super review

    CERN Document Server

    2012-01-01

    Get all you need to know with Super Reviews! Each Super Review is packed with in-depth, student-friendly topic reviews that fully explain everything about the subject. The Calculus I Super Review includes a review of functions, limits, basic derivatives, the definite integral, combinations, and permutations. Take the Super Review quizzes to see how much you've learned - and where you need more study. Makes an excellent study aid and textbook companion. Great for self-study!DETAILS- From cover to cover, each in-depth topic review is easy-to-follow and easy-to-grasp - Perfect when preparing for

  12. Calculus problems and solutions

    CERN Document Server

    Ginzburg, Abraham

    2011-01-01

    Ideal for self-instruction as well as for classroom use, this text helps students improve their understanding and problem-solving skills in analysis, analytic geometry, and higher algebra. More than 1,200 problems appear in the text, with concise explanations of the basic notions and theorems to be used in their solution. Many are followed by complete answers; solutions for the others appear at the end of the book. Topics include sequences, functions of a single variable, limit of a function, differential calculus for functions of a single variable, fundamental theorems and applications of dif

  13. Stochastic calculus an introduction through theory and exercises

    CERN Document Server

    Baldi, Paolo

    2017-01-01

    This book provides a comprehensive introduction to the theory of stochastic calculus and some of its applications. It is the only textbook on the subject to include more than two hundred exercises with complete solutions. After explaining the basic elements of probability, the author introduces more advanced topics such as Brownian motion, martingales and Markov processes. The core of the book covers stochastic calculus, including stochastic differential equations, the relationship to partial differential equations, numerical methods and simulation, as well as applications of stochastic processes to finance. The final chapter provides detailed solutions to all exercises, in some cases presenting various solution techniques together with a discussion of advantages and drawbacks of the methods used. Stochastic Calculus will be particularly useful to advanced undergraduate and graduate students wishing to acquire a solid understanding of the subject through the theory and exercises. Including full mathematical ...

  14. The early period of the calculus of variations

    CERN Document Server

    Freguglia, Paolo

    2016-01-01

    This monograph explores the early development of the calculus of variations in continental Europe during the Eighteenth Century by illustrating the mathematics of its founders. Closely following the original papers and correspondences of Euler, Lagrange, the Bernoullis, and others, the reader is immersed in the challenge of theory building. We see what the founders were doing, the difficulties they faced, the mistakes they made, and their triumphs. The authors guide the reader through these works with instructive commentaries and complements to the original proofs, as well as offering a modern perspective where useful. The authors begin in 1697 with Johann Bernoulli’s work on the brachystochrone problem and the events leading up to it, marking the dawn of the calculus of variations. From there, they cover key advances in the theory up to the development of Lagrange’s δ-calculus, including: • The isoperimetrical problems • Shortest lines and geodesics • Euler’s Methodus Inveniendi and the two Addi...

  15. Improving Student Success in Calculus: A Comparison of Four College Calculus Classes

    Science.gov (United States)

    Bagley, Spencer Franklin

    The quality of education in science, technology, engineering, and mathematics (STEM) fields is an issue of particular educational and economic importance, and Calculus I is a linchpin course in STEM major tracks. A national study is currently being conducted examining the characteristics of successful programs in college calculus (CSPCC, 2012). In work related to the CSPCC program, this study examines the effects on student outcomes of four different teaching strategies used at a single institution. The four classes were a traditional lecture, a lecture with discussion, a lecture incorporating both discussion and technology, and an inverted model. This dissertation was guided by three questions: (1) What impact do these four instructional approaches have on students' persistence, beliefs about mathematics, and conceptual and procedural achievement in calculus? (2) How do students at the local institution compare to students in the national database? And (3) How do the similarities and differences in opportunities for learning presented in the four classes contribute to the similarities and differences in student outcomes? Quantitative analysis of surveys and exams revealed few statistically significant differences in outcomes, and students in the inverted classroom often had poorer outcomes than those in other classes. Students in the technology-enhanced class scored higher on conceptual items on the final exam than those in other classes. Comparing to the national database, local students had similar switching rates but less expert-like attitudes and beliefs about mathematics than the national average. Qualitative analysis of focus group interviews, classroom observations, and student course evaluations showed that several implementation issues, some the result of pragmatic constraints, others the result of design choice, weakened affordances provided by innovative features and shrunk the differences between classes. There were substantial differences between the

  16. On flipping first-semester calculus: a case study

    Science.gov (United States)

    Petrillo, Joseph

    2016-05-01

    High failure rates in calculus have plagued students, teachers, and administrators for decades, while science, technology, engineering, and mathematics programmes continue to suffer from low enrollments and high attrition. In an effort to affect this reality, some educators are 'flipping' (or inverting) their classrooms. By flipping, we mean administering course content outside of the classroom and replacing the traditional in-class lectures with discussion, practice, group work, and other elements of active learning. This paper presents the major results from a three-year study of a flipped, first-semester calculus course at a small, comprehensive, American university with a well-known engineering programme. The data we have collected help quantify the positive and substantial effects of our flipped calculus course on failure rates, scores on the common final exam, student opinion of calculus, teacher impact on measurable outcomes, and success in second-semester calculus. While flipping may not be suitable for every teacher, every student, and in every situation, this report provides some evidence that it may be a viable option for those seeking an alternative to the traditional lecture model.

  17. Leveraging Prior Calculus Study with Embedded Review

    Science.gov (United States)

    Nikolov, Margaret C.; Withers, Wm. Douglas

    2016-01-01

    We propose a new course structure to address the needs of college students with previous calculus study but no course validations as an alternative to repeating the first year of calculus. Students are introduced directly to topics from Calculus III unpreceded by a formal review of topics from Calculus I or II, but with additional syllabus time…

  18. A generalized nonlocal vector calculus

    Science.gov (United States)

    Alali, Bacim; Liu, Kuo; Gunzburger, Max

    2015-10-01

    A nonlocal vector calculus was introduced in Du et al. (Math Model Meth Appl Sci 23:493-540, 2013) that has proved useful for the analysis of the peridynamics model of nonlocal mechanics and nonlocal diffusion models. A formulation is developed that provides a more general setting for the nonlocal vector calculus that is independent of particular nonlocal models. It is shown that general nonlocal calculus operators are integral operators with specific integral kernels. General nonlocal calculus properties are developed, including nonlocal integration by parts formula and Green's identities. The nonlocal vector calculus introduced in Du et al. (Math Model Meth Appl Sci 23:493-540, 2013) is shown to be recoverable from the general formulation as a special example. This special nonlocal vector calculus is used to reformulate the peridynamics equation of motion in terms of the nonlocal gradient operator and its adjoint. A new example of nonlocal vector calculus operators is introduced, which shows the potential use of the general formulation for general nonlocal models.

  19. Calculus of variations

    CERN Document Server

    Weinstock, Robert

    1975-01-01

    Basic introduction covering isoperimetric problems, theory of elasticity, quantum mechanics, electrostatics, geometrical optics, particle dynamics, more. Exercises throughout. "A very useful book." - J. L. Synge, American Mathematical Monthly.

  20. DISCRETE MATHEMATICS/NUMBER THEORY

    OpenAIRE

    Mrs. Manju Devi*

    2017-01-01

    Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have the property of varying "smoothly", the objects studied in discrete mathematics such as integers, graphs, and statements do not vary smoothly in this way, but have distinct, separated values. Discrete mathematics therefore excludes topics in "continuous mathematics" such as calculus and analysis. Discrete objects can often be enumerated by ...

  1. Formalization of the Integral Calculus in the PVS Theorem Prover

    Directory of Open Access Journals (Sweden)

    Ricky Wayne Butler

    2009-04-01

    Full Text Available The PVS Theorem prover is a widely used formal verification tool used for the analysis of safetycritical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht’s classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

  2. Formalization of the Integral Calculus in the PVS Theorem Prover

    Science.gov (United States)

    Butler, Ricky W.

    2004-01-01

    The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

  3. 6th Conference on Non-integer Order Calculus and Its Applications

    CERN Document Server

    Łukaniszyn, Marian; Stanisławski, Rafał

    2015-01-01

    This volume presents selected aspects of non-integer, or fractional order systems, whose analysis, synthesis and applications have increasingly become a real challenge for various research communities, ranging from science to engineering. The spectrum of applications of the fractional order calculus has incredibly expanded, in fact it would be hard to find a science/engineering-related subject area where the fractional calculus had not been incorporated. The content of the fractional calculus is ranged from pure mathematics to engineering implementations and so is the content of this volume. The volume is subdivided into six parts, reflecting particular aspects of the fractional order calculus. The first part contains a single invited paper on a new formulation of fractional-order descriptor observers for fractional-order descriptor continous LTI systems. The second part provides new elements to the mathematical theory of fractional-order systems. In the third part of this volume, a bunch of new results in ap...

  4. Pre-Calculus For Dummies

    CERN Document Server

    Kuang, Yang

    2012-01-01

    The fun and easy way to learn pre-calculus Getting ready for calculus but still feel a bit confused? Have no fear. Pre-Calculus For Dummies is an un-intimidating, hands-on guide that walks you through all the essential topics, from absolute value and quadratic equations to logarithms and exponential functions to trig identities and matrix operations. With this guide's help you'll quickly and painlessly get a handle on all of the concepts - not just the number crunching - and understand how to perform all pre-calc tasks, from graphing to tackling proofs. You'll also get a new appreciation for

  5. Classroom Integral Calculus: Some Useful Digressions When Teaching Integral Calculus.

    Science.gov (United States)

    Acosta, Daniel J.; Wills, Randall

    2002-01-01

    Outlines ideas and exercises for two topics that accompany the standard treatment of integral calculus. Emphasizes intuition to help facilitate student comprehension of the definite integral as a limit of Riemann Sums. (Author/MM)

  6. Rate of Change: AP Calculus Students' Understandings and Misconceptions after Completing Different Curricular Paths

    Science.gov (United States)

    Teuscher, Dawn; Reys, Robert E.

    2012-01-01

    This study examined Advanced Placement Calculus students' mathematical understanding of rate of change, after studying four years of college preparatory (integrated or single-subject) mathematics. Students completed the Precalculus Concept Assessment (PCA) and two open-ended tasks with questions about rates of change. After adjusting for prior…

  7. What Do Croatian Pre-Service Teachers Remember from Their Calculus Course?

    Science.gov (United States)

    Jukic, Ljerka; Brückler, Franka Miriam

    2014-01-01

    This paper reports a study on retention of core concepts in differential and integral calculus by examining the knowledge of two pre-service mathematics students. The study is conducted using a mixed method approach and the obtained data were analyzed using theory of three worlds of mathematics. The results showed that having good understanding of…

  8. Enhancing Student Writing and Computer Programming with LATEX and MATLAB in Multivariable Calculus

    Science.gov (United States)

    Sullivan, Eric; Melvin, Timothy

    2016-01-01

    Written communication and computer programming are foundational components of an undergraduate degree in the mathematical sciences. All lower-division mathematics courses at our institution are paired with computer-based writing, coding, and problem-solving activities. In multivariable calculus we utilize MATLAB and LATEX to have students explore…

  9. A Study in the Use of Maniplatives to Teach Topics in Differential and Integral Calculus

    OpenAIRE

    Rivero, Maria de Lourdes

    2016-01-01

    The use of mathematics manipulatives for the elementary grades is well-studied, but little research exists on their value for teaching calculus students. This project studied the role of physical manipulatives on student learning in two high school calculus classes. It explored the effect of two lessons taught with manipulatives, and compared two lessons on the same topic, one taught in the traditional way and the other incorporating the use of manipulatives. In evaluating the teaching method...

  10. Differential calculus and its applications

    CERN Document Server

    Field, Michael J

    2013-01-01

    Based on undergraduate courses in advanced calculus, the treatment covers a wide range of topics, from soft functional analysis and finite-dimensional linear algebra to differential equations on submanifolds of Euclidean space. 1976 edition.

  11. Cartooning in Algebra and Calculus

    Science.gov (United States)

    Moseley, L. Jeneva

    2014-01-01

    This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.

  12. A Formal Calculus for Categories

    DEFF Research Database (Denmark)

    Cáccamo, Mario José

    This dissertation studies the logic underlying category theory. In particular we present a formal calculus for reasoning about universal properties. The aim is to systematise judgements about functoriality and naturality central to categorical reasoning. The calculus is based on a language which...... extends the typed lambda calculus with new binders to represent universal constructions. The types of the languages are interpreted as locally small categories and the expressions represent functors. The logic supports a syntactic treatment of universality and duality. Contravariance requires a definition...... of universality generous enough to deal with functors of mixed variance. Ends generalise limits to cover these kinds of functors and moreover provide the basis for a very convenient algebraic manipulation of expressions. The equational theory of the lambda calculus is extended with new rules for the definitions...

  13. Synthesizing controllers from duration calculus

    DEFF Research Database (Denmark)

    Fränzle, Martin

    1996-01-01

    Duration Calculus is a logic for reasoning about requirements for real-time systems at a high level of abstraction from operational detail, which qualifies it as an interesting starting point for embedded controller design. Such a design activity is generally thought to aim at a control device...... the physical behaviours of which satisfy the requirements formula, i.e. the refinement relation between requirements and implementations is taken to be trajectory inclusion. Due to the abstractness of the vocabulary of Duration Calculus, trajectory inclusion between control requirements and controller designs...... for embedded controller design and exploit this fact for developing an automatic procedure for controller synthesis from specifications formalized in Duration Calculus. As far as we know, this is the first positive result concerning feasibility of automatic synthesis from dense-time Duration Calculus....

  14. Testicular calculus: A rare case.

    Science.gov (United States)

    Sen, Volkan; Bozkurt, Ozan; Demır, Omer; Tuna, Burcin; Yorukoglu, Kutsal; Esen, Adil

    2015-01-01

    Testicular calculus is an extremely rare case with unknown etiology and pathogenesis. To our knowledge, here we report the third case of testicular calculus. A 31-year-old man was admitted to our clinic with painful solid mass in left testis. After diagnostic work-up for a possible testicular tumour, he underwent inguinal orchiectomy and histopathologic examination showed a testicular calculus. Case hypothesis: Solid testicular lesions in young adults generally correspond to testicular cancer. Differential diagnosis should be done carefully. Future implications: In young adults with painful and solid testicular mass with hyperechogenic appearance on scrotal ultrasonography, testicular calculus must be kept in mind in differential diagnosis. Further reports on this topic may let us do more clear recommendations about the etiology and treatment of this rare disease.

  15. Catwalk: First-Semester Calculus.

    Science.gov (United States)

    Speiser, Bob; Walter, Chuck

    1994-01-01

    Describes the use of time-lapse photographs of a running cat as a model to investigate the concepts of function and derivative in a college calculus course. Discusses student difficulties and implications for teachers. (MKR)

  16. Primeiro Ano num Curso de Matemática: a definição de função e a dualidade local/global em conceitos de Cálculo First-year in an Undergraduate Mathematics Program: the function definition and the local/global duality of Calculus concepts

    Directory of Open Access Journals (Sweden)

    Antonio Olimpio Junior

    2008-08-01

    Full Text Available Com base numa pesquisa sobre compreensões de conceitos de Cálculo Diferencial, conduzida com alunos ingressantes em um curso de Matemática de uma universidade pública brasileira, o artigo destaca a dualidade local/global como uma das dinâmicas essenciais a serem exercitadas e exploradas no tratamento de conceitos como o de derivabilidade, no contexto do primeiro ano de um curso de Matemática. Além disso, sugere que a exploração de uma particular definição de função “ mais adequada às demandas educacionais em tal contexto “ poderia contribuir para descristalizar e ampliar percepções construídas ao longo Ensino Médio, estimulando a fluidez na dinâmica supra-referida. Palavras-chave: Compreensão. Cálculo. Derivabilidade. Função. Dualidade Local/Global.Drawing on research on understandings of differential calculus concepts conducted with first-year undergraduate mathematics majors enrolled in a Brazilian public university, the article highlights the local/global duality as one of the essential dynamics to be exercised and explored when dealing with concepts like differentiability in a context of a first-year undergraduate mathematics program. Moreover, it suggests that the exploration of a particular definition of function “ more suitable for the educational demands in such a context “ could contribute to decrystallize and broaden perceptions formed during high school, stimulating fluidity in the aforementioned dynamics. Keywords: Understanding. Calculus. Differentiability. Function. Local/Global Duality.

  17. Research in collegiate mathematics education IV

    CERN Document Server

    Dubinsky, Ed; Kaput, Jim

    2001-01-01

    This fourth volume of Research in Collegiate Mathematics Education (RCME IV) reflects the themes of student learning and calculus. Included are overviews of calculus reform in France and in the U.S. and large-scale and small-scale longitudinal comparisons of students enrolled in first-year reform courses and in traditional courses. The work continues with detailed studies relating students' understanding of calculus and associated topics. Direct focus is then placed on instruction and student comprehension of courses other than calculus, namely abstract algebra and number theory. The volume co

  18. Tensor calculus for engineers and physicists

    CERN Document Server

    de Souza Sánchez Filho, Emil

    2016-01-01

    This textbook provides a rigorous approach to tensor manifolds in several aspects relevant for Engineers and Physicists working in industry or academia. With a thorough, comprehensive, and unified presentation, this book offers insights into several topics of tensor analysis, which covers all aspects of N dimensional spaces. The main purpose of this book is to give a self-contained yet simple, correct and comprehensive mathematical explanation of tensor calculus for undergraduate and graduate students and for professionals. In addition to many worked problems, this book features a selection of examples, solved step by step. Although no emphasis is placed on special and particular problems of Engineering or Physics, the text covers the fundamentals of these fields of science. The book makes a brief introduction into the basic concept of the tensorial formalism so as to allow the reader to make a quick and easy review of the essential topics that enable having the grounds for the subsequent themes, without need...

  19. Functional analysis and the Feynman operator calculus

    CERN Document Server

    Gill, Tepper L

    2016-01-01

    This book provides the mathematical foundations for Feynman's operator calculus and for the Feynman path integral formulation of quantum mechanics as a natural extension of analysis and functional analysis to the infinite-dimensional setting. In one application, the results are used to prove the last two remaining conjectures of Freeman Dyson for quantum electrodynamics. In another application, the results are used to unify methods and weaken domain requirements for non-autonomous evolution equations. Other applications include a general theory of Lebesgue measure on Banach spaces with a Schauder basis and a new approach to the structure theory of operators on uniformly convex Banach spaces. This book is intended for advanced graduate students and researchers.

  20. Real quaternionic calculus handbook

    CERN Document Server

    Morais, João Pedro; Sprößig, Wolfgang

    2014-01-01

    Real quaternion analysis is a multi-faceted subject. Created to describe phenomena in special relativity, electrodynamics, spin etc., it has developed into a body of material that interacts with many branches of mathematics, such as complex analysis, harmonic analysis, differential geometry, and differential equations. It is also a ubiquitous factor in the description and elucidation of problems in mathematical physics. In the meantime real quaternion analysis has become a well established branch in mathematics and has been greatly successful in many different directions. This book is based on concrete examples and exercises rather than general theorems, thus making it suitable for an introductory one- or two-semester undergraduate course on some of the major aspects of real quaternion analysis in exercises. Alternatively, it may be used for beginning graduate level courses and as a reference work. With exercises at the end of each chapter and its straightforward writing style the book addresses readers who ...

  1. Calculus for cognitive scientists derivatives, integrals and models

    CERN Document Server

    Peterson, James K

    2016-01-01

    This book provides a self-study program on how mathematics, computer science and science can be usefully and seamlessly intertwined. Learning to use ideas from mathematics and computation is essential for understanding approaches to cognitive and biological science. As such the book covers calculus on one variable and two variables and works through a number of interesting first-order ODE models. It clearly uses MatLab in computational exercises where the models cannot be solved by hand, and also helps readers to understand that approximations cause errors – a fact that must always be kept in mind.

  2. An Intuitive Calculus Book for Engineers Um Livro de Cálculo Intuitivo para Engenheiros

    Directory of Open Access Journals (Sweden)

    Gustavo Alexandre de Miranda

    2010-06-01

    Full Text Available With the purpose of studying the history of calculus teaching and, particularly, the consequences of Calculus Made Easy (1910 in the mathematics education context, this work intends to make an historical analysis to clarify the connections between Silvanus Phillips Thompson (its author and education in the early Twentieth Century, mainly mathematics education. Thompson was concerned about Physics and Radiology,however, at the dawn of the new century, his interests in technical education had also burgeoned. One of his goals was to demystify Calculus, tackling the subject intuitively – Calculus Made Easy. The book did not draw much respect from mathematicians and was acridly criticized. Keywords: Mathematics Education, History of Mathematics Education, Silvanus Phillips Thompson, Calculus Made Easy.Com o intuito de estudar a história do ensino de Cálculo e, mais especificamente, os desdobramentos do livro Calculus Made Easy (1910 no contexto da educação matemática, este trabalho procura fazer uma análise histórica que elucide as relações entre Silvanus Phillips Thompson (autor do livro e a educação do início do século XX, particularmente a educação matemática. Thompson legou muito às áreas da física e da radiologia, porém, com a chegada do novo século, passou a se dedicar intensamente à educação técnica de seus compatriotas ingleses. Um de seus objetivos era desmistificar alguns conceitos do Cálculo, tratando o assunto de maneira intuitiva. Por esse motivo, o livro foi criticado por alguns matemáticos. Palavras-chave: Educação Matemática. História da Educação Matemática. Silvanus Phillips Thompson. Calculus Made Easy.

  3. Calculus and Geometry

    Indian Academy of Sciences (India)

    Sphere–Cylinder Theorem; volume and surface area of the torus; volume and surface area of a slice of a solid sphere. Author Affiliations. Keeri Vardhan Madahar1. Assistant Professor in Mathematics (DES) Panjab University Chandigarh, India. Resonance – Journal of Science Education. Current Issue : Vol. 23, Issue 2.

  4. Mathematical tapas

    CERN Document Server

    Hiriart-Urruty, Jean-Baptiste

    This book contains a collection of exercises (called “tapas”) at undergraduate level, mainly from the fields of real analysis, calculus, matrices, convexity, and optimization. Most of the problems presented here are non-standard and some require broad knowledge of different mathematical subjects in order to be solved. The author provides some hints and (partial) answers and also puts these carefully chosen exercises into context, presents information on their origins, and comments on possible extensions. With stars marking the levels of difficulty, these tapas show or prove something interesting, challenge the reader to solve and learn, and may have surprising results. This first volume of Mathematical Tapas will appeal to mathematicians, motivated undergraduate students from science-based areas, and those generally interested in mathematics.

  5. Essential AOP: The A Calculus

    DEFF Research Database (Denmark)

    De Fraine, Bruno; Ernst, Erik; Südholt, Mario

    2012-01-01

    Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification with a calculus that models essential AOP, both simpler and more general than existing formalizations. In AOP, advice may intercept......-oriented code. Two well-known pointcut categories, call and execution, are commonly considered similar.We formally expose their differences, and resolve the associated soundness problem. Our calculus includes type ranges, an intuitive and concise alternative to explicit type variables that allows advice...... to be polymorphic over intercepted methods. We use calculus parameters to cover type safety for a wide design space of other features. Type soundness is verified in Coq....

  6. Comprehensive mathematics for computer scientists

    CERN Document Server

    Mazzola, Guerino; Weissmann, Jody

    2005-01-01

    This two-volume textbook Comprehensive Mathematics for the Working Computer Scientist is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical.

  7. 8th Conference on Non-integer Order Calculus and Its Applications

    CERN Document Server

    Czornik, Adam; Klamka, Jerzy; Niezabitowski, Michał

    2017-01-01

    This book collects papers from the 8th Conference on Non-Integer Order Calculus and Its Applications that have been held on September 20-21, 2016 in Zakopane, Poland. The preceding two conferences were held in Szczecin, Poland in 2015, and in Opole, Poland, in 2014. This conference provides a platform for academic exchange on the theory and application of fractional calculus between domestic and international universities, research institutes, corporate experts and scholars. The Proceedings of the 8th Conference on Non-Integer Order Calculus and Its Applications 2016 brings together rigorously reviewed contributions from leading international experts. The included papers cover novel various important aspects of mathematical foundations of fractional calculus, modeling and control of fractional systems as well as controllability, detectability, observability and stability problems for this systems.

  8. An AP Calculus Classroom Amusement Park

    Science.gov (United States)

    Ferguson, Sarah

    2016-01-01

    Throughout the school year, AP Calculus teachers strive to teach course content comprehensively and swiftly in an effort to finish all required material before the AP Calculus exam. As early May approaches and the AP Calculus test looms, students and teachers nervously complete lessons, assignments, and assessments to ensure student preparation.…

  9. Mathematics for quantum chemistry

    CERN Document Server

    Anderson, Jay Martin

    2005-01-01

    This concise volume offers undergraduates an introduction to mathematical formalism in problems of molecular structure and motion. The main topics cover the calculus of orthogonal functions, algebra of vector spaces, and Lagrangian and Hamiltonian formulation of classical mechanics and applications to molecular motion. Answers to problems. 1966 edition.

  10. Foundations of mathematical logic

    CERN Document Server

    Curry, Haskell B

    2010-01-01

    Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.

  11. A Calculus for Trust Management

    DEFF Research Database (Denmark)

    Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro

    2004-01-01

    We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its legal behaviour, and with a protocol, which allows interactions between principals and the flow of information from...... principals to policies. We elect to formalise policies using a Datalog-like logic, and to express protocols in the process algebra style. This yields an expressive calculus very suitable for the global computing scenarios, and provides a formalisation of notions such as trust evolution. For ctm we define...

  12. Sequent Calculus and Equational Programming

    Directory of Open Access Journals (Sweden)

    Nicolas Guenot

    2015-07-01

    Full Text Available Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We show here that the equational approach corresponds to the use of a focused presentation of a type theory expressed as a sequent calculus. A typed functional language is presented, based on a sequent calculus, that we relate to the syntax and internal language of Agda. In particular, we discuss the use of patterns and case splittings, as well as rules implementing inductive reasoning and dependent products and sums.

  13. Students attitude towards calculus subject: Bumiputera case-study

    Science.gov (United States)

    Awang, Noorehan; Ilias, Mohd Rijal; Che Hussain, Wan Siti Esah; Mokhtar, Siti Fairus

    2013-04-01

    Mathematics has always become the most dislike subject among other subjects in school. Study showed that attitudes of students in science subjects such as mathematics were closely related to how they solve problems, accessing ideas and making a right decision. According to another study on mathematics achievement of eighth grade students in Malaysia, mathematics grades among bumiputera students was lower when compared to other races such as Chinese and Indians. The poor performance was due to their attitude and pre-conceived ideas towards the subject. Therefore, this study was designed todetermine the criteria and subcriteria that were considered important in measuring students' attitude toward mathematics among the bumiputeras. Factor analysis was carried out to identify the groups among criterion. Instrument used to measure mathematics attitude was Test of Mathematics Related Attitude (TOMRA) which measured student attitudes in four criteria: normality of mathematics, attitudes towards mathematics inquiry, adoption of mathematics attitude and enjoyment of mathematics lessons. The target population of this study was all computer science and quantitative science students who enrolled Calculus subject in UiTM Kedah. Findings shows that there are two criteria that influenced students attitude toward mathematics namely normality of mathematics with eleven subcriteria and enjoyment of mathematics with eight subcriteria. From the analysis it shows that the total percentage of variation explained is 35.071% with 0.837 Cronbach's alpha reliability test. The findings will help the lecturers, parents and society to consider what action should be taken to install interest and positive attitude of bumiputera students towards mathematics and thus improve their achievement.

  14. Advanced mathematics

    CERN Document Server

    Gupta, CB; Kumar, V

    2009-01-01

    About the Book: This book `Advanced Mathematics` is primarily designed for B.Tech., IV Semester (EE and EC branch) students of Rajasthan Technical University. The subject matter is discussed in a lucid manner. The discussion is covered in five units: Unit I: deals with Numerical Analysis, Unit-II: gives different aspects of Numerical Analysis, Unit-III: Special Function, Unit-IV:Statistics and Probability, Calculus of Variation and Transforms are discussed in Unit V. All the theoretical concepts are explained through solved examples. Besides, a large number of unsolved problems on each top

  15. Solving applied mathematical problems with Matlab

    CERN Document Server

    Xue, Dingyu

    2008-01-01

    Computer Mathematics Language-An Overview. Fundamentals of MATLAB Programming. Calculus Problems. MATLAB Computations of Linear Algebra Problems. Integral Transforms and Complex Variable Functions. Solutions to Nonlinear Equations and Optimization Problems. MATLAB Solutions to Differential Equation Problems. Solving Interpolations and Approximations Problems. Solving Probability and Mathematical Statistics Problems. Nontraditional Solution Methods for Mathematical Problems.

  16. Sixth form pure mathematics

    CERN Document Server

    Plumpton, C

    1968-01-01

    Sixth Form Pure Mathematics, Volume 1, Second Edition, is the first of a series of volumes on Pure Mathematics and Theoretical Mechanics for Sixth Form students whose aim is entrance into British and Commonwealth Universities or Technical Colleges. A knowledge of Pure Mathematics up to G.C.E. O-level is assumed and the subject is developed by a concentric treatment in which each new topic is used to illustrate ideas already treated. The major topics of Algebra, Calculus, Coordinate Geometry, and Trigonometry are developed together. This volume covers most of the Pure Mathematics required for t

  17. Handbook of mathematics

    CERN Document Server

    Kuipers, L

    1969-01-01

    International Series of Monographs in Pure and Applied Mathematics, Volume 99: Handbook of Mathematics provides the fundamental mathematical knowledge needed for scientific and technological research. The book starts with the history of mathematics and the number systems. The text then progresses to discussions of linear algebra and analytical geometry including polar theories of conic sections and quadratic surfaces. The book then explains differential and integral calculus, covering topics, such as algebra of limits, the concept of continuity, the theorem of continuous functions (with examp

  18. Time-division multiplexing vs network calculus: A comparison

    DEFF Research Database (Denmark)

    Puffitsch, Wolfgang; Sørensen, Rasmus Bo; Schoeberl, Martin

    2015-01-01

    Networks-on-chip are increasingly common in modern multicore architectures. However, general-purpose networks-on-chip are not always well suited for real-time applications that require bandwidth and latency guarantees. Two approaches to provide real-time guarantees have emerged: time...... that time-division multiplexing leads to better worst-case latencies, while network calculus supports higher bandwidths. Furthermore, time-division multiplexing leads to a simpler hardware implementation, while dynamically scheduled networks-on-chip allow the integration of best-effort traffic in the on-chip......-division multiplexing, where traffic is scheduled according to a precalculated static schedule, and network calculus, a mathematical framework to reason about dynamically scheduled networks. This paper compares the two approaches to provide insight into their relative advantages and disadvantages. The results show...

  19. Fractional Calculus in Hydrologic Modeling: A Numerical Perspective

    Energy Technology Data Exchange (ETDEWEB)

    David A. Benson; Mark M. Meerschaert; Jordan Revielle

    2012-01-01

    Fractional derivatives can be viewed either as a handy extension of classical calculus or, more deeply, as mathematical operators defined by natural phenomena. This follows the view that the diffusion equation is defined as the governing equation of a Brownian motion. In this paper, we emphasize that fractional derivatives come from the governing equations of stable Levy motion, and that fractional integration is the corresponding inverse operator. Fractional integration, and its multi-dimensional extensions derived in this way, are intimately tied to fractional Brownian (and Levy) motions and noises. By following these general principles, we discuss the Eulerian and Lagrangian numerical solutions to fractional partial differential equations, and Eulerian methods for stochastic integrals. These numerical approximations illuminate the essential nature of the fractional calculus.

  20. k-Schur functions and affine Schubert calculus

    CERN Document Server

    Lam, Thomas; Morse, Jennifer; Schilling, Anne; Shimozono, Mark; Zabrocki, Mike

    2014-01-01

    This book gives an introduction to the very active field of combinatorics of affine Schubert calculus, explains the current state of the art, and states the current open problems. Affine Schubert calculus lies at the crossroads of combinatorics, geometry, and representation theory. Its modern development is motivated by two seemingly unrelated directions. One is the introduction of k-Schur functions in the study of Macdonald polynomial positivity, a mostly combinatorial branch of symmetric function theory. The other direction is the study of the Schubert bases of the (co)homology of the affine Grassmannian, an algebro-topological formulation of a problem in enumerative geometry. This is the first introductory text on this subject. It contains many examples in Sage, a free open source general purpose mathematical software system, to entice the reader to investigate the open problems. This book is written for advanced undergraduate and graduate students, as well as researchers, who want to become familiar with ...

  1. Unusual Giant Prostatic Urethral Calculus

    African Journals Online (AJOL)

    2010-06-29

    Jun 29, 2010 ... They are typically asymptomatic and may be associated with benign prostatic hyperplasia, and prostatic cancer.[1] Primary prostatic urethral calculi are usually associated with urethral strictures, posterior urethral valve or diverticula. Acute urinary retention might result secondary to a large urethral calculus.

  2. Calculus Student Understanding of Continuity

    Science.gov (United States)

    Wangle, Jayleen Lillian

    2013-01-01

    Continuity is a central concept in calculus. Yet very few students seem to understand the nature of continuity. The research described was conducted in two stages. Students were asked questions in multiple choice and true/false format regarding function, limit and continuity. These results were used to identify participants as strong, weak or…

  3. Unusual Giant Prostatic Urethral Calculus

    African Journals Online (AJOL)

    2010-06-29

    Jun 29, 2010 ... associated with benign prostatic hyperplasia, and prostatic cancer.[1] Primary prostatic urethral calculi are ... Giant vesico-prostatic urethral calculus is uncommon. Urethral stones rarely form primarily in the urethra, ... Prostatic calculi associated with hypertrophy of the gland. Group III. Prostatic calculi that ...

  4. Advanced calculus of several variables

    CERN Document Server

    Edwards, C H

    1995-01-01

    Modern conceptual treatment of multivariable calculus, emphasizing the interplay of geometry and analysis via linear algebra and the approximation of nonlinear mappings by linear ones. At the same time, ample attention is paid to the classical applications and computational methods. Hundreds of examples, problems and figures. 1973 edition.

  5. Portfolio Analysis for Vector Calculus

    Science.gov (United States)

    Kaplan, Samuel R.

    2015-01-01

    Classic stock portfolio analysis provides an applied context for Lagrange multipliers that undergraduate students appreciate. Although modern methods of portfolio analysis are beyond the scope of vector calculus, classic methods reinforce the utility of this material. This paper discusses how to introduce classic stock portfolio analysis in a…

  6. Multivariable calculus and differential geometry

    CERN Document Server

    Walschap, Gerard

    2015-01-01

    This text is a modern in-depth study of the subject that includes all the material needed from linear algebra. It then goes on to investigate topics in differential geometry, such as manifolds in Euclidean space, curvature, and the generalization of the fundamental theorem of calculus known as Stokes' theorem.

  7. Stochastic Pi-calculus Revisited

    DEFF Research Database (Denmark)

    Cardelli, Luca; Mardare, Radu Iulian

    2013-01-01

    We develop a version of stochastic Pi-calculus with a semantics based on measure theory. We dene the behaviour of a process in a rate environment using measures over the measurable space of processes induced by structural congruence. We extend the stochastic bisimulation to include the concept...

  8. POGIL in the Calculus Classroom

    Science.gov (United States)

    Bénéteau, Catherine; Guadarrama, Zdenka; Guerra, Jill E.; Lenz, Laurie; Lewis, Jennifer E.; Straumanis, Andrei

    2017-01-01

    In this paper, we will describe the experience of the authors in using process-oriented guided inquiry learning (POGIL) in calculus at four institutions across the USA. We will briefly examine how POGIL compares to and fits in with other kinds of inquiry-based learning approaches. In particular, we will first discuss the unique structure of a…

  9. Qutrit Dichromatic Calculus and Its Universality

    Directory of Open Access Journals (Sweden)

    Quanlong Wang

    2014-12-01

    Full Text Available We introduce a dichromatic calculus (RG for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus. As an application of the dichromatic calculus, we depict a quantum algorithm with a single qutrit. Since it is not easy to decompose an arbitrary d by d unitary matrix into Z and X phase gates when d > 2, the proof of the universality of qudit ZX calculus for quantum mechanics is far from trivial. We construct a counterexample to Ranchin's universality proof, and give another proof by Lie theory that the qudit ZX calculus contains all single qudit unitary transformations, which implies that qudit ZX calculus, with qutrit dichromatic calculus as a special case, is universal for quantum mechanics.

  10. Engineering mathematics-II

    CERN Document Server

    Ganesh, A

    2009-01-01

    About the Book: This book Engineering Mathematics-II is designed as a self-contained, comprehensive classroom text for the second semester B.E. Classes of Visveswaraiah Technological University as per the Revised new Syllabus. The topics included are Differential Calculus, Integral Calculus and Vector Integration, Differential Equations and Laplace Transforms. The book is written in a simple way and is accompanied with explanatory figures. All this make the students enjoy the subject while they learn. Inclusion of selected exercises and problems make the book educational in nature. It shou

  11. Continuum mechanics the birthplace of mathematical models

    CERN Document Server

    Allen, Myron B

    2015-01-01

    Continuum mechanics is a standard course in many graduate programs in engineering and applied mathematics as it provides the foundations for the various differential equations and mathematical models that are encountered in fluid mechanics, solid mechanics, and heat transfer.  This book successfully makes the topic more accessible to advanced undergraduate mathematics majors by aligning the mathematical notation and language with related courses in multivariable calculus, linear algebra, and differential equations; making connections with other areas of applied mathematics where parial differe

  12. TIMSS Advanced 2015 and Advanced Placement Calculus & Physics. A Framework Analysis. Research in Review 2016-1

    Science.gov (United States)

    Lazzaro, Christopher; Jones, Lee; Webb, David C.; Grover, Ryan; Di Giacomo, F. Tony; Marino, Katherine Adele

    2016-01-01

    This report will determine to what degree the AP Physics 1 and 2 and AP Calculus AB and BC frameworks are aligned with the Trends in International Mathematics and Science Study (TIMSS) Advanced Physics and Mathematics frameworks. This will enable an exploration of any differences in content coverage and levels of complexity, and will set the stage…

  13. Factors Associated with Success in College Calculus II

    Science.gov (United States)

    Rosasco, Margaret E.

    2013-01-01

    Students are entering college having earned credit for college Calculus 1 based on their scores on the College Board's Advanced Placement (AP) Calculus AB exam. Despite being granted credit for college Calculus 1, it is unclear whether these students are adequately prepared for college Calculus 2. College calculus classes are often taught from a…

  14. Mathematics for the liberal arts

    CERN Document Server

    Bindner, Donald; Hemmeter, Joe

    2014-01-01

    Presents a clear bridge between mathematics and the liberal arts Mathematics for the Liberal Arts provides a comprehensible and precise introduction to modern mathematics intertwined with the history of mathematical discoveries. The book discusses mathematical ideas in the context of the unfolding story of human thought and highlights the application of mathematics in everyday life. Divided into two parts, Mathematics for the Liberal Arts first traces the history of mathematics from the ancient world to the Middle Ages, then moves on to the Renaissance and finishes with the development of modern mathematics. In the second part, the book explores major topics of calculus and number theory, including problem-solving techniques and real-world applications. This book emphasizes learning through doing, presents a practical approach, and features: A detailed explanation of why mathematical principles are true and how the mathematical processes workNumerous figures and diagrams as well as hundreds of worked example...

  15. Mathematical epidemiology

    CERN Document Server

    Driessche, Pauline; Wu, Jianhong

    2008-01-01

    Based on lecture notes of two summer schools with a mixed audience from mathematical sciences, epidemiology and public health, this volume offers a comprehensive introduction to basic ideas and techniques in modeling infectious diseases, for the comparison of strategies to plan for an anticipated epidemic or pandemic, and to deal with a disease outbreak in real time. It covers detailed case studies for diseases including pandemic influenza, West Nile virus, and childhood diseases. Models for other diseases including Severe Acute Respiratory Syndrome, fox rabies, and sexually transmitted infections are included as applications. Its chapters are coherent and complementary independent units. In order to accustom students to look at the current literature and to experience different perspectives, no attempt has been made to achieve united writing style or unified notation. Notes on some mathematical background (calculus, matrix algebra, differential equations, and probability) have been prepared and may be downlo...

  16. Calculus Limits Involving Infinity: The Role of Students' Informal Dynamic Reasoning

    Science.gov (United States)

    Jones, Steven R.

    2015-01-01

    Few studies on calculus limits have centred their focus on student understanding of limits at infinity or infinite limits that involve continuous functions (as opposed to discrete sequences). This study examines student understanding of these types of limits using both pure mathematics and applied-science functions and formulas. Seven calculus…

  17. Cognitive Computer Tools in the Teaching and Learning of Undergraduate Calculus

    Science.gov (United States)

    Borchelt, Nathan

    2007-01-01

    The purpose of this study was to explore the use of a cognitive computer tool by undergraduate calculus students as they worked cooperatively on mathematical tasks. Specific attention was given to levels of cognitive demand in which the students were engaged as they completed in-class labs with the assistance of MathCAD. Participants were assigned…

  18. The Characteristic of the Process of Students' Metacognition in Solving Calculus Problems

    Science.gov (United States)

    Purnomo, Dwi; Nusantara, Toto; Subanji; Rahardjo, Swasono

    2017-01-01

    This article is the result of research aims to describe the patterns and characteristics of the process of metacognition student of mathematics in solving calculus problems. Description was done by looking at changes in "awareness," "evaluation," and "regulation" as components of metacognition. The changes in…

  19. Tensor calculus with open-source software: the SageManifolds project

    CERN Document Server

    Gourgoulhon, Eric; Mancini, Marco

    2014-01-01

    The SageManifolds project aims at extending the mathematics software system Sage towards differential geometry and tensor calculus. As Sage itself, it is free, open-source and is based on the Python programming language. We discuss here some details of the implementation, which relies on Sage's category pattern, and present a concrete example of use.

  20. Timed tuplix calculus and the Wesseling and van den Bergh equation

    NARCIS (Netherlands)

    Bergstra, J.A.; Middelburg, C.A.

    2009-01-01

    We formalize a cumulative interest compliant conservation requirement for pure financial products proposed by Wesseling and van den Bergh to make financial issues relating to these products amenable to mathematical analysis. The formalization is given in a timed extension of tuplix calculus and

  1. Calculus in Elementary School: An Example of ICT-Based Curriculum Transformation

    Science.gov (United States)

    Fluck, Andrew; Ranmuthugala, Dev; Chin, Chris; Penesis, Irene

    2012-01-01

    Integral calculus is generally regarded as a fundamental but advanced aspect of mathematics, and it is not generally studied until students are aged about fifteen or older. Understanding the transformative potential of information and communication technology, this project undertook an investigation in four Australian schools to train students…

  2. Retention of Differential and Integral Calculus: A Case Study of a University Student in Physical Chemistry

    Science.gov (United States)

    Jukic Matic, Ljerka; Dahl, Bettina

    2014-01-01

    This paper reports a study on retention of differential and integral calculus concepts of a second-year student of physical chemistry at a Danish university. The focus was on what knowledge the student retained 14 months after the course and on what effect beliefs about mathematics had on the retention. We argue that if a student can quickly…

  3. Teaching and Learning Calculus in Secondary Schools with the TI-Nspire

    Science.gov (United States)

    Parrot, Mary Ann Serdina; Eu, Leong Kwan

    2014-01-01

    Technology can help develop understanding of abstract mathematical concepts through visualisation and graphic representation. The teaching and learning of calculus can be challenging as it involves abstract and complex ideas. The purpose of this study was to investigate how students and teachers attempt to use TI-Nspire, the latest graphing…

  4. Design Research on Inquiry-Based Multivariable Calculus: Focusing on Students' Argumentation and Instructional Design

    Science.gov (United States)

    Kwon, Oh Nam; Bae, Younggon; Oh, Kuk Hwan

    2015-01-01

    In this study, researchers design and implement an inquiry based multivariable calculus course in a university which aims at enhancing students' argumentation in rich mathematical discussions. This research aims to understand the characteristics of students' argumentation in activities involving proof constructions through mathematical…

  5. Encouraging Example Generation: A Teaching Experiment in First-Semester Calculus

    Science.gov (United States)

    Wagner, Elaine Rumsey; Orme, Susan Marla; Turner, Heidi Jean; Yopp, David

    2017-01-01

    Mathematicians use example generation to test and verify mathematical ideas; however, the processes through which undergraduates learn to productively generate examples are not well understood. We engaged calculus students in a teaching experiment designed to develop skills in productively generating examples to learn novel concepts. This article…

  6. Cause-Effect Analysis: Improvement of a First Year Engineering Students' Calculus Teaching Model

    Science.gov (United States)

    van der Hoff, Quay; Harding, Ansie

    2017-01-01

    This study focuses on the mathematics department at a South African university and in particular on teaching of calculus to first year engineering students. The paper reports on a cause-effect analysis, often used for business improvement. The cause-effect analysis indicates that there are many factors that impact on secondary school teaching of…

  7. Predicting Performance in a First Engineering Calculus Course: Implications for Interventions

    Science.gov (United States)

    Hieb, Jeffrey L.; Lyle, Keith B.; Ralston, Patricia A. S.; Chariker, Julia

    2015-01-01

    At the University of Louisville, a large, urban institution in the south-east United States, undergraduate engineering students take their mathematics courses from the school of engineering. In the fall of their freshman year, engineering students take "Engineering Analysis I," a calculus-based engineering analysis course. After the…

  8. Mathematical Rigor in Introductory Physics

    Science.gov (United States)

    Vandyke, Michael; Bassichis, William

    2011-10-01

    Calculus-based introductory physics courses intended for future engineers and physicists are often designed and taught in the same fashion as those intended for students of other disciplines. A more mathematically rigorous curriculum should be more appropriate and, ultimately, more beneficial for the student in his or her future coursework. This work investigates the effects of mathematical rigor on student understanding of introductory mechanics. Using a series of diagnostic tools in conjunction with individual student course performance, a statistical analysis will be performed to examine student learning of introductory mechanics and its relation to student understanding of the underlying calculus.

  9. Measurable Stochastics for Brane Calculus

    Directory of Open Access Journals (Sweden)

    Giorgio Bacci

    2010-10-01

    Full Text Available We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of the stochastic distribution of possible derivations. To this end, we first introduce a labelled transition system for Brane Calculus, proving its adequacy w.r.t. the usual reduction semantics. Then, brane systems are presented as Markov processes over the measurable space generated by terms up-to syntactic congruence, and where the measures are indexed by the actions of this new LTS. Finally, we provide a SOS presentation of this stochastic semantics, which is compositional and syntax-driven.

  10. Brownian motion and stochastic calculus

    CERN Document Server

    Karatzas, Ioannis

    1998-01-01

    This book is designed as a text for graduate courses in stochastic processes. It is written for readers familiar with measure-theoretic probability and discrete-time processes who wish to explore stochastic processes in continuous time. The vehicle chosen for this exposition is Brownian motion, which is presented as the canonical example of both a martingale and a Markov process with continuous paths. In this context, the theory of stochastic integration and stochastic calculus is developed. The power of this calculus is illustrated by results concerning representations of martingales and change of measure on Wiener space, and these in turn permit a presentation of recent advances in financial economics (option pricing and consumption/investment optimization). This book contains a detailed discussion of weak and strong solutions of stochastic differential equations and a study of local time for semimartingales, with special emphasis on the theory of Brownian local time. The text is complemented by a large num...

  11. Toward lattice fractional vector calculus

    Science.gov (United States)

    Tarasov, Vasily E.

    2014-09-01

    An analog of fractional vector calculus for physical lattice models is suggested. We use an approach based on the models of three-dimensional lattices with long-range inter-particle interactions. The lattice analogs of fractional partial derivatives are represented by kernels of lattice long-range interactions, where the Fourier series transformations of these kernels have a power-law form with respect to wave vector components. In the continuum limit, these lattice partial derivatives give derivatives of non-integer order with respect to coordinates. In the three-dimensional description of the non-local continuum, the fractional differential operators have the form of fractional partial derivatives of the Riesz type. As examples of the applications of the suggested lattice fractional vector calculus, we give lattice models with long-range interactions for the fractional Maxwell equations of non-local continuous media and for the fractional generalization of the Mindlin and Aifantis continuum models of gradient elasticity.

  12. Fundamental theorem of Wiener calculus

    Directory of Open Access Journals (Sweden)

    Chull Park

    1990-01-01

    Full Text Available In this paper we define and develop a theory of differentiation in Wiener space C[0,T]. We then proceed to establish a fundamental theorem of the integral calculus for C[0,T]. First of all, we show that the derivative of the indefinite Wiener integral exists and equals the integrand functional. Secondly, we show that certain functionals defined on C[0,T] are equal to the indefinite integral of their Wiener derivative.

  13. Malliavin Calculus applied to finance

    OpenAIRE

    Montero Torralbo, Miquel; Kohatsu-Higa, Arturo

    2003-01-01

    In this article, we give a brief informal introduction to Malliavin Calculus for newcomers. We apply these ideas to the simulation of Greeks in Finance. First to European-type options where formulas can be computed explicitly and therefore can serve as testing ground. Later, we study the case of Asian options where close formulas are not available, and we also open the view for including more exotic derivatives. The Greeks are computed through Monte Carlo simulation.

  14. Calculus anuria and its remedy.

    Science.gov (United States)

    Amanullah; Khan, Ghayyur; Lal, Shanti; Soomro, Muhammad Iqbal; Jalbani, Malik Hussain

    2010-01-01

    Urinary lithiases have been a major urological problem. The objective was to determine the out come of treatment for patients with calculus anuria. A descriptive study was conducted at Department of Urology Chandka Medical College Hospital, Larkana from March 2007 to April 2009. All patients with a diagnosis of calculus anuria of all ages and either sex were included in the study. Detailed history, physical examination and examination of genitourinary tract was performed. Investigations included complete blood examination, blood urea, serum creatinine, ultrasonography of KUB area, and X-Ray KUB. Among the 66 patients the cause of anuria was bilateral obstruction by the calculi in 46 cases, unilateral obstruction with small/absent/nephrectomised contralateral kidney in 20 cases. In most of the cases, ureteric catheterisation was done to relieve the obstruction. Five deaths were observed, despite emergency urinary diversion and appropriate treatment. Calculus anuria is a urological emergency. Prompt and early intervention can save the life of patient and prevent to develop chronic renal failure.

  15. CIMAC: A Coordinated Introduction to Calculus and Mechanics

    Science.gov (United States)

    Fathe, Laurie; Quinn, Jennifer; McDonald, Michael A.

    1997-04-01

    CIMAC, new course incorporating Mechanics, Precalculus, and Calculus, targets the growing number of motivated but underprepared students who wish to pursue a major in science or mathematics. Team-taught by a Physicist and a Mathematician, CIMAC, a new course incorporating Mechanics, Precalculus, and Calculus, targets the growing number of motivated but underprepared students who wish to pursue a major in science or mathematics. Team-taught by a Physicist and a Mathematician, the class contains specific content while exploiting the substantial commonality of these subjects. CIMAC also addresses variety of non-content areas, including supplementing basic mathematics and communication skills, accommodating various learning styles, and building student confidence. Specific approaches include class formats; gateway exams; group assignments; emphasis on writing and reading; use of computers and graphing calculators for comprehension, data acquisition, analysis, and modeling; student-led help sessions; and use of the Web http://www.oxy.edu/ departments/math/cimac/ This talk highlights the development of the course and teaching insights and innovations which have arisen from it, and addresses benefits and difficulties of coordinating material and team teaching across disciplinary lines. Finally, it presents data on student success and retention.

  16. A primer on exterior differential calculus

    OpenAIRE

    Burton D.A.

    2003-01-01

    A pedagogical application-oriented introduction to the cal­culus of exterior differential forms on differential manifolds is presented. Stokes' theorem, the Lie derivative, linear con­nections and their curvature, torsion and non-metricity are discussed. Numerous examples using differential calculus are given and some detailed comparisons are made with their tradi­tional vector counterparts. In particular, vector calculus on R3 is cast in terms of exterior calculus and the traditional Stokes'...

  17. Time scales: from Nabla calculus to Delta calculus and vice versa via duality

    OpenAIRE

    Caputo, M. Cristina

    2009-01-01

    In this note we show how one can obtain results from the nabla calculus from results on the delta calculus and vice versa via a duality argument. We provide applications of the main results to the calculus of variations on time scales.

  18. Calculus, Biology and Medicine: A Case Study in Quantitative Literacy for Science Students

    Directory of Open Access Journals (Sweden)

    Kim Rheinlander

    2011-01-01

    Full Text Available This paper describes a course designed to enhance the numeracy of biology and pre-medical students. The course introduces students with the background of one semester of calculus to systems of nonlinear ordinary differential equations as they appear in the mathematical biology literature. Evaluation of the course showed increased enjoyment and confidence in doing mathematics, and an increased appreciation of the utility of mathematics to science. Students who complete this course are better able to read the research literature in mathematical biology and carry out research problems of their own.

  19. Using N-grams to identify mathematical topics in MXit lingo

    CSIR Research Space (South Africa)

    Butgereit, LL

    2011-09-01

    Full Text Available according to MXit spelling conventions) can be used to categorize very short mathematical conversations conducted in MXit lingo into broad mathematical groups such as algebra, geometry, trigonometry, and calculus. MXit lingo is an abbreviated form of written...

  20. The calculus gallery masterpieces from Newton to Lebesgue

    CERN Document Server

    Dunham, William

    2008-01-01

    More than three centuries after its creation, calculus remains a dazzling intellectual achievement and the gateway into higher mathematics. This book charts its growth and development by sampling from the work of some of its foremost practitioners, beginning with Isaac Newton and Gottfried Wilhelm Leibniz in the late seventeenth century and continuing to Henri Lebesgue at the dawn of the twentieth--mathematicians whose achievements are comparable to those of Bach in music or Shakespeare in literature. William Dunham lucidly presents the definitions, theorems, and proofs. ""Students of literat

  1. Real-Time Exponential Curve Fits Using Discrete Calculus

    Science.gov (United States)

    Rowe, Geoffrey

    2010-01-01

    An improved solution for curve fitting data to an exponential equation (y = Ae(exp Bt) + C) has been developed. This improvement is in four areas -- speed, stability, determinant processing time, and the removal of limits. The solution presented avoids iterative techniques and their stability errors by using three mathematical ideas: discrete calculus, a special relationship (be tween exponential curves and the Mean Value Theorem for Derivatives), and a simple linear curve fit algorithm. This method can also be applied to fitting data to the general power law equation y = Ax(exp B) + C and the general geometric growth equation y = Ak(exp Bt) + C.

  2. Using an advanced graphing calculator in the teaching and learning of calculus

    Science.gov (United States)

    Leng, Ng Wee

    2011-10-01

    The purpose of this study was to investigate how the use of TI-Nspire™ could enhance the teaching and learning of calculus. A conceptual framework for the use of TI-Nspire™ for learning calculus in a mathematics classroom is proposed that describes the interactions among the students, TI-Nspire™, and the learning tasks, and how they lead to the learning of calculus. A design experiment was conducted in a class of 35 students from a secondary school in Singapore. Use of TI-Nspire™ was integrated into the teaching and learning of calculus concepts in the classroom with the aid of TI-Nspire™ Navigator, a wireless classroom network system that enables instant and active interaction between students and teachers. It was found that the appropriate use of graphical, numerical and algebraic representations of calculus concepts using TI-Nspire™ enabled students to better visualize the concepts and make generalizations about relevant mathematical properties. In addition, the students were able to link multiple representations, especially algebraic and graphical representations, to improve their conceptual understanding and problem-solving skills. Six roles of TI-Nspire™ in classroom mathematical practice were identified from the findings of the experiment; TI-Nspire™ was used as an exploratory tool, graphing tool, confirmatory tool, problem-solving tool, visualization tool and calculation tool. This suggests that TI-Nspire™ is a multi-dimensional tool that supports mathematics learning. Overall, the findings of the study indicate that TI-Nspire™ is an effective tool to develop mathematical concepts and promote learning and problem solving.

  3. Solutions manual to accompany Fundamentals of calculus

    CERN Document Server

    Morris, Carla C

    2015-01-01

    Solutions Manual to Accompany Fundamentals of Calculus the text that encourages students to use power, quotient, and product rules for solutions as well as stresses the importance of modeling skills.  In addition to core integral and differential calculus coverage, the core book features finite calculus, which lends itself to modeling and spreadsheets.  Specifically, finite calculus is applied to marginal economic analysis, finance, growth, and decay.  Includes: Linear Equations and Functions The Derivative Using the Derivative Exponential and Logarithmic

  4. Pre-calculus workbook for dummies

    CERN Document Server

    Kuang, Yang

    2011-01-01

    Get the confidence and math skills you need to get started with calculus Are you preparing for calculus? This hands-on workbook helps you master basic pre-calculus concepts and practice the types of problems you'll encounter in the course. You'll get hundreds of valuable exercises, problem-solving shortcuts, plenty of workspace, and step-by-step solutions to every problem. You'll also memorize the most frequently used equations, see how to avoid common mistakes, understand tricky trig proofs, and much more. Pre-Calculus Workbook For Dummies is the perfect tool for anyone who wa

  5. A Calculus for Context-Awareness

    DEFF Research Database (Denmark)

    Zimmer, Pascal

    2005-01-01

    In order to answer the challenge of pervasive computing, we propose a new process calculus, whose aim is to describe dynamic systems composed of agents able to move and react differently depending on their location. This Context-Aware Calculus features a hierarchical structure similar to mobile...... ambients, and a generic multi-agent synchronization mechanism, inspired from the join-calculus. After general ideas and introduction, we review the full calculus' syntax and semantics, as well as some motivating examples, study its expressiveness, and show how the notion of computation itself can be made...

  6. A Higher-Order Calculus for Categories

    DEFF Research Database (Denmark)

    Cáccamo, Mario José; Winskel, Glynn

    2001-01-01

    A calculus for a fragment of category theory is presented. The types in the language denote categories and the expressions functors. The judgements of the calculus systematise categorical arguments such as: an expression is functorial in its free variables; two expressions are naturally isomorphic...... in their free variables. There are special binders for limits and more general ends. The rules for limits and ends support an algebraic manipulation of universal constructions as opposed to a more traditional diagrammatic approach. Duality within the calculus and applications in proving continuity are discussed...... with examples. The calculus gives a basis for mechanising a theory of categories in a generic theorem prover like Isabelle....

  7. Generalized vector calculus on convex domain

    Science.gov (United States)

    Agrawal, Om P.; Xu, Yufeng

    2015-06-01

    In this paper, we apply recently proposed generalized integral and differential operators to develop generalized vector calculus and generalized variational calculus for problems defined over a convex domain. In particular, we present some generalization of Green's and Gauss divergence theorems involving some new operators, and apply these theorems to generalized variational calculus. For fractional power kernels, the formulation leads to fractional vector calculus and fractional variational calculus for problems defined over a convex domain. In special cases, when certain parameters take integer values, we obtain formulations for integer order problems. Two examples are presented to demonstrate applications of the generalized variational calculus which utilize the generalized vector calculus developed in the paper. The first example leads to a generalized partial differential equation and the second example leads to a generalized eigenvalue problem, both in two dimensional convex domains. We solve the generalized partial differential equation by using polynomial approximation. A special case of the second example is a generalized isoperimetric problem. We find an approximate solution to this problem. Many physical problems containing integer order integrals and derivatives are defined over arbitrary domains. We speculate that future problems containing fractional and generalized integrals and derivatives in fractional mechanics will be defined over arbitrary domains, and therefore, a general variational calculus incorporating a general vector calculus will be needed for these problems. This research is our first attempt in that direction.

  8. A useful demonstration of calculus in a physics high school laboratory

    Science.gov (United States)

    Alvarez, Gustavo; Schulte, Jurgen; Stockton, Geoffrey; Wheeler, David

    2018-01-01

    The real power of calculus is revealed when it is applied to actual physical problems. In this paper, we present a calculus inspired physics experiment suitable for high school and undergraduate programs. A model for the theory of the terminal velocity of a falling body subject to a resistive force is developed and its validity tested in an experiment of a falling magnet in a column of self-induced eddy currents. The presented method combines multiple physics concepts such as 1D kinematics, classical mechanics, electromagnetism and non-trivial mathematics. It offers the opportunity for lateral as well as project-based learning.

  9. Epistemological messages conveyed by three high school and college mathematics textbooks

    OpenAIRE

    Sundström (Raman), Manya

    2004-01-01

    Mathematics textbooks embody a particular set of assumptions about mathematics or the mathematics intended for students at a particular level. Thus, an epistemological analysis of textbooks can provide some context for understanding, for example, the difficulties many students encounter when moving from high-school to collegiate mathematics. In this study, we consider how typical pre-calculus, calculus, and analysis texts treat the topic of continuity. We find that these texts send conflictin...

  10. Dental Calculus Arrest of Dental Caries.

    Science.gov (United States)

    Keyes, Paul H; Rams, Thomas E

    An inverse relationship between dental calculus mineralization and dental caries demineralization on teeth has been noted in some studies. Dental calculus may even form superficial layers over existing dental caries and arrest their progression, but this phenomenon has been only rarely documented and infrequently considered in the field of Cariology. To further assess the occurrence of dental calculus arrest of dental caries, this study evaluated a large number of extracted human teeth for the presence and location of dental caries, dental calculus, and dental plaque biofilms. A total of 1,200 teeth were preserved in 10% buffered formal saline, and viewed while moist by a single experienced examiner using a research stereomicroscope at 15-25× magnification. Representative teeth were sectioned and photographed, and their dental plaque biofilms subjected to gram-stain examination with light microscopy at 100× magnification. Dental calculus was observed on 1,140 (95%) of the extracted human teeth, and no dental carious lesions were found underlying dental calculus-covered surfaces on 1,139 of these teeth. However, dental calculus arrest of dental caries was found on one (0.54%) of 187 evaluated teeth that presented with unrestored proximal enamel caries. On the distal surface of a maxillary premolar tooth, dental calculus mineralization filled the outer surface cavitation of an incipient dental caries lesion. The dental calculus-covered carious lesion extended only slightly into enamel, and exhibited a brown pigmentation characteristic of inactive or arrested dental caries. In contrast, the tooth's mesial surface, without a superficial layer of dental calculus, had a large carious lesion going through enamel and deep into dentin. These observations further document the potential protective effects of dental calculus mineralization against dental caries.

  11. Algorithms, The λ Calculus and Programming

    Indian Academy of Sciences (India)

    IAS Admin

    I develop the intuition behind the ¸ calculus and connect it to computer programming through some basic examples. This fills an often felt gap that teachers and students find between the for- mal structure of the ¸ calculus, and the principles and practice of functional programming. Fortran, Pascal, C and C++ are some of the ...

  12. Imagine Yourself in This Calculus Classroom

    Science.gov (United States)

    Bryan, Luajean

    2007-01-01

    The efforts to attract students to precalculus, trigonometry, and calculus classes became more successful at the author's school when projects-based classes were offered. Data collection from an untethered hot air balloon flight for calculus students was planned to maximize enrollment. The data were analyzed numerically, graphically, and…

  13. Iterated Differential Forms III: Integral Calculus

    OpenAIRE

    Vinogradov, A.M.; Vitagliano, L.

    2006-01-01

    Basic elements of integral calculus over algebras of iterated differential forms, are presented. In particular, defining complexes for modules of integral forms are described and the corresponding berezinians and complexes of integral forms are computed. Various applications and the integral calculus over the algebra $\\Lambda_{\\infty}$ will be discussed in subsequent notes.

  14. RAMAN-SPECTRA OF HUMAN DENTAL CALCULUS

    NARCIS (Netherlands)

    TSUDA, H; ARENDS, J

    1993-01-01

    Raman spectra of human dental calculus have been observed for the first time by use of micro-Raman spectroscopy. The spectral features of calculus were influenced easily by heating caused by laser irradiation. Therefore, the measurements were carried out at relatively low power (5 mW, 1-mu m spot

  15. Calculus and Success in a Business School

    Science.gov (United States)

    Kim, Dong-gook; Garcia, Fernando; Dey, Ishita

    2012-01-01

    Many business schools or colleges require calculus as a prerequisite for certain classes or for continuing to upper division courses. While there are many studies investigating the relationship between performance in calculus and performance in a single course, such as economics, statistics, and finance, there are very few studies investigating…

  16. A Cross-National Study of Calculus

    Science.gov (United States)

    Chai, Jun; Friedler, Louis M.; Wolff, Edward F.; Li, Jun; Rhea, Karen

    2015-01-01

    The results from a cross-national study comparing calculus performance of students at East China Normal University (ECNU) in Shanghai and students at the University of Michigan before and after their first university calculus course are presented. Overall, ECNU significantly outperformed Michigan on both the pre- and post-tests, but the Michigan…

  17. Laparoscopic Cholecystectomy in Chronic Calculus Cholecystitis

    Directory of Open Access Journals (Sweden)

    Prakash Sapkota

    2013-12-01

    Full Text Available Introduction: Laparoscopic cholecystectomy has clearly become the choice over open cholecystectomy in the treatment of hepatobiliary disease since its introduction by Mouret in 1987. This study evaluates a series of patients with chronic calculus cholecystitis who were treated with laparoscopic and open cholecystectomy and assesses the outcomes of both techniques. Objective: To evaluate the efficacy of laparoscopic vs open cholecystectomy in chronic calculus cholecystitis and establish the out-comes of this treatment modality at Lumbini Medical College and Teaching Hospital. Methods: This was a retrospective analysis over a one-year period (January 1, 2012 to December 31, 2012, per-formed by single surgeon at Lumbini Medical College and Teaching Hospital located midwest of Nepal. 166 patients underwent surgical treatment for chronic calculus cholecystitis. Patients included were only chronic calculus cholecystitis proven histopathologocally and the rest were excluded. Data was collected which included patients demographics, medical history, presentation, complications, conversion rates from laparoscopic. cholecystectomy to open cholecystectomy, operative and postoperative time. Results: Patients treated with laparoscopic cholecystectomy for chronic calculus cholecystitis had shorter operating times and length of stay compared to patients treated with open cholecystectomy for chronic calculus cholecystitis. Conversion rates were 3.54% in chronic calculus cholecystitis during the study period. Complications were also lower in patients who underwent laparoscopic cholecystectomy versus open cholecystectomy for cholelithiasis. Conclusions: Laparoscopic cholecystectomy appears to be a reliable, safe, and cost-effective treatment modality for chronic calculus cholecystitis.

  18. Hybrid Logical Analyses of the Ambient Calculus

    DEFF Research Database (Denmark)

    Bolander, Thomas; Hansen, Rene Rydhof

    2010-01-01

    In this paper, hybrid logic is used to formulate three control flow analyses for Mobile Ambients, a process calculus designed for modelling mobility. We show that hybrid logic is very well-suited to express the semantic structure of the ambient calculus and how features of hybrid logic can...

  19. Thematization of the Calculus Graphing Schema

    Science.gov (United States)

    Cooley, Laurel; Baker, Bernadette; Trigueros, Maria

    2003-01-01

    This article is the result of an investigation of students' conceptualizations of calculus graphing techniques after they had completed at least two semesters of calculus. The work and responses of 27 students to a series of questions that solicit information about the graphical implications of the first derivative, second derivative, continuity,…

  20. Anti-calculus and whitening toothpastes

    NARCIS (Netherlands)

    van Loveren, C.; Duckworth, R.M.

    2013-01-01

    In terms of novel formulations, there seems to have been a shift in emphasis from anti-caries/anti-gingivitis to anti-calculus/whitening toothpastes in recent years. The anti-calculus and whitening effects of toothpastes are to some extent based on the same active ingredients: compounds of high

  1. Sandboxing in a Distributed Pi-Calculus

    DEFF Research Database (Denmark)

    Hüttel, Hans; Kühnrich, Morten

    2006-01-01

    This paper presents an extension of the Dpi-calculus due to Hennessy and Riely with constructs for signing and authenticating code and for sandboxing. A sort system, built on Milner's sort systems for the polyadic pi-calculus, is presented and proven sound with respect to an error predicate which...

  2. Technical calculus with analytic geometry

    CERN Document Server

    Gersting, Judith L

    2010-01-01

    This well-thought-out text, filled with many special features, is designed for a two-semester course in calculus for technology students with a background in college algebra and trigonometry. The author has taken special care to make the book appealing to students by providing motivating examples, facilitating an intuitive understanding of the underlying concepts involved, and by providing much opportunity to gain proficiency in techniques and skills.Initial chapters cover functions and graphs, straight lines and conic sections, new coordinate systems, the derivative, using the derivative, in

  3. Matlab differential and integral calculus

    CERN Document Server

    Lopez, Cesar

    2014-01-01

    MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Differential and Integral Calculus introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. In addition to givi

  4. Modern calculus and analytic geometry

    CERN Document Server

    Silverman, Richard A

    2012-01-01

    A self-contained text for an introductory course, this volume places strong emphasis on physical applications. Key elements of differential equations and linear algebra are introduced early and are consistently referenced, all theorems are proved using elementary methods, and numerous worked-out examples appear throughout. The highly readable text approaches calculus from the student's viewpoint and points out potential stumbling blocks before they develop. A collection of more than 1,600 problems ranges from exercise material to exploration of new points of theory - many of the answers are fo

  5. AP calculus AB/BC

    CERN Document Server

    Schwartz, Stu

    2013-01-01

    All Access for the AP® Calculus AB & BC Exams Book + Web + Mobile Everything you need to prepare for the Advanced Placement® exam, in a study system built around you! There are many different ways to prepare for an Advanced Placement® exam. What's best for you depends on how much time you have to study and how comfortable you are with the subject matter. To score your highest, you need a system that can be customized to fit you: your schedule, your learning style, and your current level of knowledge. This book, and the free online tools that come with it, will help you personalize your AP® Cal

  6. Mathematics Curriculum, the Philosophy of Mathematics and its ...

    African Journals Online (AJOL)

    algebra, cryptography, linear algebra, art, data-analysis, accounting, calculus, computer graphics, trigonometry, and whatever else interests teachers and students are all candidates. If students have a solid foundation in mathematical thinking, they will be prepared for a wide array of high-powered courses designed to.

  7. Mathematical preparedness for tertiary mathematics – a need for ...

    African Journals Online (AJOL)

    Ongoing action research at the University of Pretoria investigates first-year students' preparedness for a study in calculus. In 2005 first-year engineering students completed a mathematics diagnostic survey at the beginning and end of the year. In this article the results of the 2005 survey are compared with the students' final ...

  8. Reasoning about objects using process calculus techniques

    DEFF Research Database (Denmark)

    Kleist, Josva

    This thesis investigates the applicability of techniques known from the world of process calculi to reason about properties of object-oriented programs. The investigation is performed upon a small object-oriented language - The Sigma-calculus of Abadi and Cardelli. The investigation is twofold: We...... investigate translations of Sigma-calculi into process calculi, with the idea that one should be able to show properties of Sigma-calculus program by showing properties about their translation. We present translations of two Sigma-calculi into Pi-calculi. A translation of the untyped functional Sigma-calculus...... turns out to be insufficient. Based on our experiences, we present a translation of a typed imperative Sigma-calculus, which looks promising. We are able to provide simple proofs of the equivalence of different Sigma-calculus objects using this translation. We use a labelled transition system adapted...

  9. Enriching an effect calculus with linear types

    DEFF Research Database (Denmark)

    Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex

    2009-01-01

    We define an ``enriched effect calculus'' by conservatively extending  a type theory for computational effects with primitives from linear logic. By doing so, we obtain a generalisation of linear type theory, intended as a formalism for expressing linear aspects of effects. As a worked example, we...... formulate  linearly-used continuations in the enriched effect calculus. These are captured by a fundamental translation of the enriched effect calculus into itself, which extends existing call-by-value and call-by-name linearly-used CPS translations. We show that our translation is involutive. Full...... completeness results for the various linearly-used CPS translations  follow. Our main results, the conservativity of enriching the effect calculus with linear primitives, and the involution property of the fundamental translation, are proved using a category-theoretic semantics for the enriched effect calculus...

  10. The Myth of Objectivity in Mathematics Assessment.

    Science.gov (United States)

    Romagnano, Lew

    2001-01-01

    Investigates meaningful assessment to give teachers information on students' understanding of mathematical ideas and how their understanding changes over time. Presents examples collected from a teacher-made quiz, the Advanced Placement calculus test, and the SAT-I Mathematics test. Illustrates both the inherent subjectivity of these methods and…

  11. Introduction to mathematical fluid dynamics

    CERN Document Server

    Meyer, Richard E

    2010-01-01

    An introduction to the behavior of liquids and gases, this volume provides excellent coverage of kinematics, momentum principle, Newtonian fluid, rotating fluids, compressibility, and more. It is geared toward advanced undergraduate and graduate students of mathematics and general science, and it requires a background in calculus and vector analysis. 1971 edition.

  12. Elements of queueing theory palm martingale calculus and stochastic recurrences

    CERN Document Server

    Baccelli, François

    2003-01-01

    The Palm theory and the Loynes theory of stationary systems are the two pillars of the modern approach to queuing. This book, presenting the mathematical foundations of the theory of stationary queuing systems, contains a thorough treatment of both of these. This approach helps to clarify the picture, in that it separates the task of obtaining the key system formulas from that of proving convergence to a stationary state and computing its law. The theory is constantly illustrated by classical results and models: Pollaczek-Khintchin and Tacacs formulas, Jackson and Gordon-Newell networks, multiserver queues, blocking queues, loss systems etc., but it also contains recent and significant examples, where the tools developed turn out to be indispensable. Several other mathematical tools which are useful within this approach are also presented, such as the martingale calculus for point processes, or stochastic ordering for stationary recurrences. This thoroughly revised second edition contains substantial addition...

  13. A Calculus of Located Entities

    Directory of Open Access Journals (Sweden)

    Adriana Compagnoni

    2014-03-01

    Full Text Available We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current location of the entity. The motivation for the extension comes from the need to describe the evolution of populations of biochemical species in space, while keeping a sufficiently high level description, so that phenomena like diffusion, collision, and confinement can remain part of the semantics of the calculus. Combined with the random diffusion movement inherited from BioScape, programmable locations allow us to capture the assemblies of configurations of polymers, oligomers, and complexes such as microtubules or actin filaments. Further new aspects of BioScapeL include random translation and scaling. Random translation is instrumental in describing the location of new entities relative to the old ones. For example, when a cell secretes a hydronium ion, the ion should be placed at a given distance from the originating cell, but in a random direction. Additionally, scaling allows us to capture at a high level events such as division and growth; for example, daughter cells after mitosis have half the size of the mother cell.

  14. Using Dynamic Software to Address Common College Calculus Stumbling Blocks

    Science.gov (United States)

    Seneres, Alice W.; Kerrigan, John A.

    2014-01-01

    There are specific topics in college calculus that can be major stumbling blocks for students. Having taught college calculus for four years to over a thousand students, we observed that even the students who have already taken pre-calculus or calculus during their high school careers had common misunderstandings. Students may remember a technique…

  15. Mathematical Modeling of Diverse Phenomena

    Science.gov (United States)

    Howard, J. C.

    1979-01-01

    Tensor calculus is applied to the formulation of mathematical models of diverse phenomena. Aeronautics, fluid dynamics, and cosmology are among the areas of application. The feasibility of combining tensor methods and computer capability to formulate problems is demonstrated. The techniques described are an attempt to simplify the formulation of mathematical models by reducing the modeling process to a series of routine operations, which can be performed either manually or by computer.

  16. Mathematics in everyday life

    CERN Document Server

    Haigh, John

    2016-01-01

    How does mathematics impact everyday events? The purpose of this book is to show a range of examples where mathematics can be seen at work in everyday life. From money (APR, mortgage repayments, personal finance), simple first and second order ODEs, sport and games (tennis, rugby, athletics, darts, tournament design, soccer, snooker), business (stock control, linear programming, check digits, promotion policies, investment), the social sciences (voting methods, Simpson’s Paradox, drug testing, measurements of inequality) to TV game shows and even gambling (lotteries, roulette, poker, horse racing), the mathematics behind commonplace events is explored. Fully worked examples illustrate the ideas discussed and each chapter ends with a collection of exercises. Everyday Mathematics supports other first year modules by giving students extra practice in working with calculus, linear algebra, geometry, trigonometry and probability. Secondary/high school level mathematics is all that is required for students to und...

  17. A bridge to advanced mathematics

    CERN Document Server

    Sentilles, Dennis

    2011-01-01

    This helpful workbook-style ""bridge"" book introduces students to the foundations of advanced mathematics, spanning the gap between a practically oriented calculus sequence and subsequent courses in algebra and analysis with a more theoretical slant. Part 1 focuses on logic and number systems, providing the most basic tools, examples, and motivation for the manner, method, and concerns of higher mathematics. Part 2 covers sets, relations, functions, infinite sets, and mathematical proofs and reasoning. Author Dennis Sentilles also discusses the history and development of mathematics as well a

  18. Motivation and Study Habits of College Calculus Students: Does Studying Calculus in High School Make a Difference?

    Science.gov (United States)

    Gibson, Megan

    2013-01-01

    Due in part to the growing popularity of the Advanced Placement program, an increasingly large percentage of entering college students are enrolling in calculus courses having already taken calculus in high school. Many students do not score high enough on the AP calculus examination to place out of Calculus I, and many do not take the…

  19. Pre-calculus workbook for dummies

    CERN Document Server

    Gilman, Michelle Rose; Neal, Karina

    2009-01-01

    Get the confidence and the math skills you need to get started with calculus! Are you preparing for calculus? This easy-to-follow, hands-on workbook helps you master basic pre-calculus concepts and practice the types of problems you'll encounter in your cour sework. You get valuable exercises, problem-solving shortcuts, plenty of workspace, and step-by-step solutions to every problem. You'll also memorize the most frequently used equations, see how to avoid common mistakes, understand tricky trig proofs, and much more. 100s of Problems! Detailed, fully worked-out solutions to problem

  20. AP calculus AB & BC crash course

    CERN Document Server

    Rosebush, J

    2012-01-01

    AP Calculus AB & BC Crash Course - Gets You a Higher Advanced Placement Score in Less Time Crash Course is perfect for the time-crunched student, the last-minute studier, or anyone who wants a refresher on the subject. AP Calculus AB & BC Crash Course gives you: Targeted, Focused Review - Study Only What You Need to Know Crash Course is based on an in-depth analysis of the AP Calculus AB & BC course description outline and actual AP test questions. It covers only the information tested on the exams, so you can make the most of your valuable study time. Written by experienced math teachers, our

  1. Calculus a complete introduction : teach yourself

    CERN Document Server

    Neill, Hugh

    2013-01-01

    Calculus: A Complete Introduction is the most comprehensive yet easy-to-use introduction to using calculus. Written by a leading expert, this book will help you if you are studying for an important exam or essay, or if you simply want to improve your knowledge. The book covers all areas of calculus, including functions, gradients, rates of change, differentiation, exponential and logarithmic functions and integration. Everything you will need to know is here in one book. Each chapter includes not only an explanation of the knowledge and skills you need, but also worked examples and test questions.

  2. On Some Syntactic Properties of the Modalized Heyting Calculus

    OpenAIRE

    Muravitsky, Alexei

    2016-01-01

    We show that the modalized Heyting calculus introduced by Leo Esakia admits a normal axiomatization. Then, we prove that the inference rules $\\square\\alpha/\\alpha$ and $\\square\\alpha\\rightarrow\\alpha/\\alpha$ are admissible in this calculus. Finally, we show that this calculus and intuitionistic propositional calculus are assertorically equipollent, which leads to a variant of limited separation property for the modalized Heyting calculus.

  3. Students attitude towards calculus subject: A case-study using structural equation modeling

    Science.gov (United States)

    Awang, Noorehan; Hamid, Nur Nadiah Abd.

    2015-10-01

    This study was designed to assess the attitude of Bumiputera students towards mathematics. The instrument used to measure the attitude was Test of Mathematics Related Attitude (TOMRA). This test measures students' attitudes in four criteria: normality of mathematics (N), attitudes towards mathematics inquiry (I), adoption of mathematics attitude (A) and enjoyment of mathematics lessons (E). The target population of this study was all computer science and quantitative science students who enrolled in a Calculus subject at UiTM Negeri Sembilan. Confirmatory Factor Analysis was carried out and the inter-relationship among the four criteria was analyzed using Structural Equation Modeling. The students scored high in E, moderately in A and relatively low in N and I.

  4. Mathematical analysis fundamentals

    CERN Document Server

    Bashirov, Agamirza

    2014-01-01

    The author's goal is a rigorous presentation of the fundamentals of analysis, starting from elementary level and moving to the advanced coursework. The curriculum of all mathematics (pure or applied) and physics programs include a compulsory course in mathematical analysis. This book will serve as can serve a main textbook of such (one semester) courses. The book can also serve as additional reading for such courses as real analysis, functional analysis, harmonic analysis etc. For non-math major students requiring math beyond calculus, this is a more friendly approach than many math-centric o

  5. Mathematical foundations of elasticity

    CERN Document Server

    Marsden, Jerrold E

    1994-01-01

    This advanced-level study approaches mathematical foundations of three-dimensional elasticity using modern differential geometry and functional analysis. It is directed to mathematicians, engineers and physicists who wish to see this classical subject in a modern setting with examples of newer mathematical contributions. Prerequisites include a solid background in advanced calculus and the basics of geometry and functional analysis.The first two chapters cover the background geometry ― developed as needed ― and use this discussion to obtain the basic results on kinematics and dynamics of con

  6. Concepts of mathematical modeling

    CERN Document Server

    Meyer, Walter J

    2004-01-01

    Appropriate for undergraduate and graduate students, this text features independent sections that illustrate the most important principles of mathematical modeling, a variety of applications, and classic models. Students with a solid background in calculus and some knowledge of probability and matrix theory will find the material entirely accessible. The range of subjects includes topics from the physical, biological, and social sciences, as well as those of operations research. Discussions cover related mathematical tools and the historical eras from which the applications are drawn. Each sec

  7. The calculus lifesaver all the tools you need to excel at calculus

    CERN Document Server

    Banner, Adrian

    2009-01-01

    For many students, calculus can be the most mystifying and frustrating course they will ever take. The Calculus Lifesaver provides students with the essential tools they need not only to learn calculus, but to excel at it. All of the material in this user-friendly study guide has been proven to get results. The book arose from Adrian Banner's popular calculus review course at Princeton University, which he developed especially for students who are motivated to earn A's but get only average grades on exams. The complete course will be available for free on the Web in a series of

  8. The origins of Cauchy's rigorous calculus

    CERN Document Server

    Grabiner, Judith V

    2005-01-01

    This text examines the reinterpretation of calculus by Augustin-Louis Cauchy and his peers in the 19th century. These intellectuals created a collection of well-defined theorems about limits, continuity, series, derivatives, and integrals. 1981 edition.

  9. Generalized Laplace Transforms and Extended Heaviside Calculus

    Science.gov (United States)

    Deakin, Michael A. B.

    2008-01-01

    An extended Heaviside calculus proposed by Peraire in a recent paper is similar to a generalization of the Laplace transform proposed by the present author. This similarity will be illustrated by analysis of an example supplied by Peraire.

  10. A primer on exterior differential calculus

    Directory of Open Access Journals (Sweden)

    Burton D.A.

    2003-01-01

    Full Text Available A pedagogical application-oriented introduction to the cal­culus of exterior differential forms on differential manifolds is presented. Stokes' theorem, the Lie derivative, linear con­nections and their curvature, torsion and non-metricity are discussed. Numerous examples using differential calculus are given and some detailed comparisons are made with their tradi­tional vector counterparts. In particular, vector calculus on R3 is cast in terms of exterior calculus and the traditional Stokes' and divergence theorems replaced by the more powerful exterior expression of Stokes' theorem. Examples from classical continuum mechanics and spacetime physics are discussed and worked through using the language of exterior forms. The numerous advantages of this calculus, over more traditional ma­chinery, are stressed throughout the article. .

  11. Extending Stochastic Network Calculus to Loss Analysis

    Directory of Open Access Journals (Sweden)

    Chao Luo

    2013-01-01

    Full Text Available Loss is an important parameter of Quality of Service (QoS. Though stochastic network calculus is a very useful tool for performance evaluation of computer networks, existing studies on stochastic service guarantees mainly focused on the delay and backlog. Some efforts have been made to analyse loss by deterministic network calculus, but there are few results to extend stochastic network calculus for loss analysis. In this paper, we introduce a new parameter named loss factor into stochastic network calculus and then derive the loss bound through the existing arrival curve and service curve via this parameter. We then prove that our result is suitable for the networks with multiple input flows. Simulations show the impact of buffer size, arrival traffic, and service on the loss factor.

  12. Model-Checking Discrete Duration Calculus

    DEFF Research Database (Denmark)

    Hansen, Michael Reichhardt

    1994-01-01

    Duration calculus was introduced by Chaochen Zhou et al. (1991) as a logic to specify and reason about requirements for real-time systems. It is an extension of interval temporal logic where one can reason about integrated constraints over time-dependent and Boolean valued states without explicit...... mention of absolute time. Several major case studies have shown that duration calculus provides a high level of abstraction for both expressing and reasoning about specifications. Using timed automata one can express how real-time systems can be constructed at a level of detail which is close to an actual...... implementation. We consider in the paper the correctness of timed automata with respect to duration calculus formulae. For a subset of duration calculus, we show that one can automatically verify whether a timed automaton ℳ is correct with respect to a formula 𝒟, abbreviated ℳ|=𝒟, i.e. one...

  13. Łukasiewicz mu-Calculus

    Directory of Open Access Journals (Sweden)

    Matteo Mio

    2013-08-01

    Full Text Available The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunctions from Łukasiewicz (fuzzy logic. We show that this logic encodes the well-known probabilistic temporal logic PCTL. And we give a model-checking algorithm for computing the rational denotational value of a formula at any state in a finite rational probabilistic nondeterministic transition system.

  14. Borel functional calculus for quaternionic normal operators

    Science.gov (United States)

    Ramesh, G.; Santhosh Kumar, P.

    2017-05-01

    In this article, we give an approach to Borel functional calculus for quaternionic normal operators, which are not necessarily bounded. First, we establish the definition of functional calculus for a subclass of quaternion valued Borel functions, and then we extend the same to the class of quaternion valued Borel functions as well as L∞-functions. We also prove spectral mapping theorem as a consequence.

  15. Application of exterior calculus to waveguides

    OpenAIRE

    Ferraro, Rafael

    2009-01-01

    Exterior calculus is a powerful tool to search for solutions to the electromagnetic field equations, whose strength can be better appreciated when applied to work out non-trivial configurations. Here we show how to exploit this machinery to obtain the electromagnetic TM and TE modes in hollow cylindrical waveguides. The proper use of exterior calculus and Lorentz boosts will straightforwardly lead to such solutions and the respective power transmitted along the waveguide.

  16. A Graph Calculus for Predicate Logic

    Directory of Open Access Journals (Sweden)

    Paulo A. S. Veloso

    2013-03-01

    Full Text Available We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it represents bottom. Our calculus establishes that a graph has empty extension by converting it to a normal form, which is expanded to other graphs until we can recognize conflicting situations (equivalent to a formula and its negation.

  17. Fractional Dynamics Applications of Fractional Calculus to Dynamics of Particles, Fields and Media

    CERN Document Server

    Tarasov, Vasily E

    2010-01-01

    "Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media" presents applications of fractional calculus, integral and differential equations of non-integer orders in describing systems with long-time memory, non-local spatial and fractal properties. Mathematical models of fractal media and distributions, generalized dynamical systems and discrete maps, non-local statistical mechanics and kinetics, dynamics of open quantum systems, the hydrodynamics and electrodynamics of complex media with non-local properties and memory are considered. This book is intended to meet the needs of scientists and graduate students in physics, mechanics and applied mathematics who are interested in electrodynamics, statistical and condensed matter physics, quantum dynamics, complex media theories and kinetics, discrete maps and lattice models, and nonlinear dynamics and chaos. Dr. Vasily E. Tarasov is a Senior Research Associate at Nuclear Physics Institute of Moscow State University and...

  18. Investigation of the cumulative diminution process using the Fibonacci method and fractional calculus

    Science.gov (United States)

    Buyukkilic, F.; Ok Bayrakdar, Z.; Demirhan, D.

    2016-02-01

    In this study, we investigate the cumulative diminution phenomenon for a physical quantity and a diminution process with a constant acquisition quantity in each step in a viscous medium. We analyze the existence of a dynamical mechanism that underlies the success of fractional calculus ​compared with standard mathematics for describing stochastic processes by ​proposing a Fibonacci approach, where we assume that the complex processes evolves cumulatively in fractal space and discrete time. ​Thus, when the differential-integral order α is attained, this indicates the ​involvement of the viscosity of the medium ​in the evolving process. The future value of the diminishing physical quantity is obtained in terms of the Mittag-Leffler function (MLF) and two rheological laws ​are inferred from the asymptotic limits. Thus, we conclude that the differential-integral calculus of fractional mathematics implicitly embodies the cumulative diminution mechanism ​that occurs in a viscous medium.

  19. Endoscopic vs. tactile evaluation of subgingival calculus.

    Science.gov (United States)

    Osborn, Joy B; Lenton, Patricia A; Lunos, Scott A; Blue, Christine M

    2014-08-01

    Endoscopic technology has been developed to facilitate imagery for use during diagnostic and therapeutic phases of periodontal care. The purpose of this study was to compare the level of subgingival calculus detection using a periodontal endoscope with that of conventional tactile explorer in periodontitis subjects. A convenience sample of 26 subjects with moderate periodontitis in at least 2 quadrants was recruited from the University of Minnesota School of Dentistry to undergo quadrant scaling and root planing. One quadrant from each subject was randomized for tactile calculus detection alone and the other quadrant for tactile detection plus the Perioscope ™ (Perioscopy Inc., Oakland, Cali). A calculus index on a 0 to 3 score was performed at baseline and at 2 post-scaling and root planing visits. Sites where calculus was detected at visit 1 were retreated. T-tests were used to determine within-subject differences between Perioscope™ and tactile measures, and changes in measures between visits. Significantly more calculus was detected using the Perioscope™ vs. tactile explorer for all 3 subject visits (pcalculus detection from baseline to visit 1 were statistically significant for both the Perioscope™ and tactile quadrants (pcalculus detection from visit 1 to visit 2 was only significant for the Perioscope™ quadrant (pcalculus at this visit. It was concluded that the addition of a visual component to calculus detection via the Perioscope™ was most helpful in the re-evaluation phase of periodontal therapy. Copyright © 2014 The American Dental Hygienists’ Association.

  20. By Doctrines Fashioned to the Varying Hour or the Calculus of Horrors

    Science.gov (United States)

    Srinivasan, V. K.

    2002-01-01

    A deliberate attempt is made in Business Mathematics oriented text books as well as in some reform calculus oriented text books to interpret the derivative f[prime](a) of a function y = f(x) at the value x = a as the change in the y-value of the function per "unit" of change in the x-value. This note questions the above interpretation and suggests…

  1. Fractional Calculus Model of Electrical Impedance Applied to Human Skin

    Science.gov (United States)

    Vosika, Zoran B.; Lazovic, Goran M.; Misevic, Gradimir N.; Simic-Krstic, Jovana B.

    2013-01-01

    Fractional calculus is a mathematical approach dealing with derivatives and integrals of arbitrary and complex orders. Therefore, it adds a new dimension to understand and describe basic nature and behavior of complex systems in an improved way. Here we use the fractional calculus for modeling electrical properties of biological systems. We derived a new class of generalized models for electrical impedance and applied them to human skin by experimental data fitting. The primary model introduces new generalizations of: 1) Weyl fractional derivative operator, 2) Cole equation, and 3) Constant Phase Element (CPE). These generalizations were described by the novel equation which presented parameter related to remnant memory and corrected four essential parameters We further generalized single generalized element by introducing specific partial sum of Maclaurin series determined by parameters We defined individual primary model elements and their serial combination models by the appropriate equations and electrical schemes. Cole equation is a special case of our generalized class of models for Previous bioimpedance data analyses of living systems using basic Cole and serial Cole models show significant imprecisions. Our new class of models considerably improves the quality of fitting, evaluated by mean square errors, for bioimpedance data obtained from human skin. Our models with new parameters presented in specific partial sum of Maclaurin series also extend representation, understanding and description of complex systems electrical properties in terms of remnant memory effects. PMID:23577065

  2. Mathematical analysis II

    CERN Document Server

    Canuto, Claudio

    2015-01-01

    The purpose of the volume is to provide a support textbook for a second lecture course on Mathematical Analysis. The contents are organised to suit, in particular, students of Engineering, Computer Science and Physics, all areas in which mathematical tools play a crucial role. The basic notions and methods concerning integral and differential calculus for multivariable functions, series of functions and ordinary differential equations are presented in a manner that elicits critical reading and prompts a hands-on approach to concrete applications. The pedagogical layout echoes the one used in the companion text Mathematical Analysis I. The book’s structure has a specifically-designed modular nature, which allows for great flexibility in the preparation of a lecture course on Mathematical Analysis. The style privileges clarity in the exposition and a linear progression through the theory. The material is organised on two levels. The first, reflected in this book, allows students to grasp the essential ideas, ...

  3. The efficacy of selective calculus ablation at 400 nm: comparison to conventional calculus removal methods

    Science.gov (United States)

    Schoenly, Joshua E.; Seka, Wolf; Romanos, Georgios; Rechmann, Peter

    A desired outcome of scaling and root planing is the complete removal of calculus and infected root tissue and preservation of healthy cementum for rapid healing of periodontal tissues. Conventional periodontal treatments for calculus removal, such as hand instrument scaling and ultrasonic scaling, often deeply scrape the surface of the underlying hard tissue and may leave behind a smear layer. Pulsed lasers emitting at violet wavelengths (specifically, 380 to 400 nm) are a potential alternative treatment since they can selectively ablate dental calculus without ablating pristine hard tissue (i.e., enamel, cementum, and dentin). In this study, light and scanning electron microscopy are used to compare and contrast the efficacy of in vitro calculus removal for several conventional periodontal treatments (hand instruments, ultrasonic scaler, and Er:YAG laser) to calculus removal with a frequency-doubled Ti:sapphire (λ = 400 nm). After calculus removal, enamel and cementum surfaces are investigated for calculus debris and damage to the underlying hard tissue surface. Compared to the smear layer, grooves, and unintentional hard tissue removal typically found using these conventional treatments, calculus removal using the 400-nm laser is complete and selective without any removal of pristine dental hard tissue. Based on these results, selective ablation from the 400-nm laser appears to produce a root surface that would be more suitable for successful healing of periodontal tissues.

  4. Application of unified array calculus to connect 4-D spacetime sensing with string theory and relativity

    Science.gov (United States)

    Rauhala, U. A.

    2013-12-01

    Array algebra of photogrammetry and geodesy unified multi-linear matrix and tensor operators in an expansion of Gaussian adjustment calculus to general matrix inverses and solutions of inverse problems to find all, or some optimal, parametric solutions that satisfy the available observables. By-products in expanding array and tensor calculus to handle redundant observables resulted in general theories of estimation in mathematical statistics and fast transform technology of signal processing. Their applications in gravity modeling and system automation of multi-ray digital image and terrain matching evolved into fast multi-nonlinear differential and integral array calculus. Work since 1980's also uncovered closed-form inverse Taylor and least squares Newton-Raphson-Gauss perturbation solutions of nonlinear systems of equations. Fast nonlinear integral matching of array wavelets enabled an expansion of the bundle adjustment to 4-D stereo imaging and range sensing where real-time stereo sequence and waveform phase matching enabled data-to-info conversion and compression on-board advanced sensors. The resulting unified array calculus of spacetime sensing is applicable in virtually any math and engineering science, including recent work in spacetime physics. The paper focuses on geometric spacetime reconstruction from its image projections inspired by unified relativity and string theories. The collinear imaging equations of active object space shutter of special relativity are expanded to 4-D Lorentz transform. However, regular passive imaging and shutter inside the sensor expands the law of special relativity by a quantum geometric explanation of 4-D photogrammetry. The collinear imaging equations provide common sense explanations to the 10 (and 26) dimensional hyperspace concepts of a purely geometric string theory. The 11-D geometric M-theory is interpreted as a bundle adjustment of spacetime images using 2-D or 5-D membrane observables of image, string and

  5. QUANTILE CALCULUS AND CENSORED REGRESSION.

    Science.gov (United States)

    Huang, Yijian

    2010-06-01

    Quantile regression has been advocated in survival analysis to assess evolving covariate effects. However, challenges arise when the censoring time is not always observed and may be covariate-dependent, particularly in the presence of continuously-distributed covariates. In spite of several recent advances, existing methods either involve algorithmic complications or impose a probability grid. The former leads to difficulties in the implementation and asymptotics, whereas the latter introduces undesirable grid dependence. To resolve these issues, we develop fundamental and general quantile calculus on cumulative probability scale in this article, upon recognizing that probability and time scales do not always have a one-to-one mapping given a survival distribution. These results give rise to a novel estimation procedure for censored quantile regression, based on estimating integral equations. A numerically reliable and efficient Progressive Localized Minimization (PLMIN) algorithm is proposed for the computation. This procedure reduces exactly to the Kaplan-Meier method in the k-sample problem, and to standard uncensored quantile regression in the absence of censoring. Under regularity conditions, the proposed quantile coefficient estimator is uniformly consistent and converges weakly to a Gaussian process. Simulations show good statistical and algorithmic performance. The proposal is illustrated in the application to a clinical study.

  6. Recommendations for the Undergraduate Mathematics Program for Students in the Life Sciences. An Interim Report.

    Science.gov (United States)

    Committee on the Undergraduate Program in Mathematics, Berkeley, CA.

    This report considers the mathematics required by life science students (those with majors in agriculture and renewable resources, all branches of biology, and medicine) who have successfully completed the usual pre-calculus courses. A core is proposed, to include one year of calculus, some linear algebra, and some probability and statistics.…

  7. Applying Mathematics to Physics and Engineering: Symbolic Forms of the Integral

    Science.gov (United States)

    Jones, Steven Robert

    2010-01-01

    A perception exists that physics and engineering students experience difficulty in applying mathematics to physics and engineering coursework. While some curricular projects aim to improve calculus instruction for these students, it is important to specify where calculus curriculum and instructional practice could be enhanced by examining the…

  8. Stokes integral of economic growth. Calculus and the Solow model

    Science.gov (United States)

    Mimkes, Jürgen

    2010-04-01

    Economic growth depends on capital and labor and two-dimensional calculus has been applied to economic theory. This leads to Riemann and Stokes integrals and to the first and second laws of production and growth. The mathematical structure is the same as in thermodynamics, economic properties may be related to physical terms: capital to energy, production to physical work, GDP per capita to temperature, production function to entropy. This is called econophysics. Production, trade and banking may be compared to motors, heat pumps or refrigerators. The Carnot process of the first law creates two levels in each system: cold and hot in physics; buyer and seller, investor and saver, rich and poor in economics. The efficiency rises with the income difference of rich and poor. The results of econophysics are compared to neoclassical theory.

  9. DOE Fundamentals Handbook: Mathematics, Volume 2

    Energy Technology Data Exchange (ETDEWEB)

    1992-06-01

    The Mathematics Fundamentals Handbook was developed to assist nuclear facility operating contractors provide operators, maintenance personnel, and the technical staff with the necessary fundamentals training to ensure a basic understanding of mathematics and its application to facility operation. The handbook includes a review of introductory mathematics and the concepts and functional use of algebra, geometry, trigonometry, and calculus. Word problems, equations, calculations, and practical exercises that require the use of each of the mathematical concepts are also presented. This information will provide personnel with a foundation for understanding and performing basic mathematical calculations that are associated with various DOE nuclear facility operations.

  10. Promoting Active Learning in Calculus and General Physics through Interactive and Media-Enhanced Lectures

    Directory of Open Access Journals (Sweden)

    Guoqing Tang

    2004-02-01

    Full Text Available In this paper we present an approach of incorporating interactive and media-enhanced lectures to promote active learning in Calculus and General Physics courses. The pedagogical practice of using interactive techniques in lectures to require "heads-on" and "hands-on" learning, and involve students more as active participants than passive receivers is a part of academic curricular reform efforts undertaken currently by the mathematics, physics and chemistry departments at North Carolina A&T State University under the NSF funded project "Talent-21: Gateway for Advancing Science and Mathematics Talents."

  11. Anti-calculus and whitening toothpastes.

    Science.gov (United States)

    van Loveren, Cor; Duckworth, Ralph M

    2013-01-01

    In terms of novel formulations, there seems to have been a shift in emphasis from anti-caries/anti-gingivitis to anti-calculus/whitening toothpastes in recent years. The anti-calculus and whitening effects of toothpastes are to some extent based on the same active ingredients: compounds of high affinity for tooth mineral. Due to this affinity, crystal growth may be hindered (anti-calculus) and chromophores be displaced (whitening). Besides these common ingredients, both types of toothpaste may contain agents specifically aimed at each condition. Clinical studies have shown that these active ingredients can be successfully formulated in fluoride toothpastes to give significant reductions in supragingival calculus and stain formation and facilitate their removal. Some of the ingredients are formulated in toothpastes that additionally contain anti-plaque and anti-gingivitis ingredients, making these toothpastes (together with the fluoride) truly multi-functional. The development of these products is not straightforward because of interaction between formulation components and because the active ingredients must maintain their beneficial characteristics during the shelf life of the paste. Neither a therapeutic benefit (in terms of less gingivitis or less caries) nor a societal benefit (in terms of less treatment demand) has been demonstrated as a result of the anti-calculus and whitening effects of toothpastes. Copyright © 2013 S. Karger AG, Basel.

  12. Complexity and the Fractional Calculus

    Science.gov (United States)

    2013-01-01

    and H. A. A. El-Saka, “Equi- librium points, stability and numerical solutions of fractional- order predator-prey and rabies models,” Journal of...Montroll and G. H. Weiss, “Random walks on lattices . II,” Journal of Mathematical Physics, vol. 6, pp. 167–181, 1965. [35] J.-P. Bouchaud and A. Georges

  13. Free Software and Multivariable Calculus

    Science.gov (United States)

    Nord, Gail M.

    2011-01-01

    Calculators and computers make new modes of instruction possible; yet, at the same time they pose hardships for school districts and mathematics educators trying to incorporate technology with limited monetary resources. In the "Standards," a recommended classroom is one in which calculators, computers, courseware, and manipulative materials are…

  14. A Type Calculus for Mathematical Programming Modeling Languages

    Science.gov (United States)

    1990-09-01

    verification, the APPLY-OPERATOR procedure 60 TABLE 4.8 EQUIVALENT EXPRESSIONS Infix Prefix Postfix a a a a+b +ab ab+ a+b-c -+ abc ab+c- a+(b-c) +a-bc... abc -+ a/b/c / abc ab/c/ a*b-c -* abc ab*c- a*(b-c) *a-bc abc -* a+b*c-d +a-*bcd abc *+d- (a+b)*(c-d) *+ab-cd ab+cd-* manipulates canonical types...FUNCTIONS OBJECTIVE: SUM(J,k) {ACTIVITY (PROD COSTQ~k) *PRODU,k) + FAG COSTO ,k) OPEN FAC(J,k)) *+ SUMQ(k) {PLANT) (PLANT-COST(k) * OPENLANT(k)); CONSTRAINTS

  15. Fuzzy relational calculus theory, applications and software

    CERN Document Server

    Peeva, Ketty

    2004-01-01

    This book examines fuzzy relational calculus theory with applications in various engineering subjects. The scope of the text covers unified and exact methods with algorithms for direct and inverse problem resolution in fuzzy relational calculus. Extensive engineering applications of fuzzy relation compositions and fuzzy linear systems (linear, relational and intuitionistic) are discussed. Some examples of such applications include solutions of equivalence, reduction and minimization problems in fuzzy machines, pattern recognition in fuzzy languages, optimization and inference engines in textile and chemical engineering, etc. A comprehensive overview of the authors' original work in fuzzy relational calculus is also provided in each chapter. The attached CD-Rom contains a toolbox with many functions for fuzzy calculations, together with an original algorithm for inverse problem resolution in MATLAB. This book is also suitable for use as a textbook in related courses at advanced undergraduate and graduate level...

  16. Calculus of tensors and differential forms

    CERN Document Server

    Sinha, Rajnikant

    2014-01-01

    Calculus of tensors and differential forms is an introductory-level textbook. Through this book, students will familiarize themselves with tools they need in order to use for further study on general relativity and research, such as affine tensors, tensor calculus on manifolds, relative tensors, Lie derivatives, wedge products, differential forms, and Stokes' theorem. The treatment is concrete and in detail, so that abstract concepts do not deter even physics and engineering students. This self contained book requires undergraduate-level calculus of several variables and linear algebra as prerequisite. Fubini's theorem in real analysis, to be used in Stokes' theorem, has been proved earlier than Stokes' theorem so that students don't have to search elsewhere.

  17. A BRUTUS Logic for a Spi-Calculus Dialect

    NARCIS (Netherlands)

    Gnesi, S.; Latella, D.; Lenzini, Gabriele

    2000-01-01

    In the field of process algebras, the spi-calculus, a modified version of the π-calculus with encryption primitives, is indicated as an expressive specification language for cryptographic protocols. In spi-calculus basic security properties, such as secrecy and integrity can be formalized as

  18. GIANT CALCULUS IN THE MOUTH OF A PARTIALLY EDENTULOUS

    African Journals Online (AJOL)

    prevention. Report:- This describes the oral condition of a partially edentulous woman with a giant calculus in the mouth. It highlights the effect of such an enormous calculus in the oral cavity. Conclusi0n:- Such gross calculus formation could have resulted from oral hygiene neglect, facilitated by the anatomical position of.

  19. TWO-PHASE EJECTOR of CARBON DIOXIDE HEAT PUMP CALCULUS

    Directory of Open Access Journals (Sweden)

    Sit B.M.

    2010-12-01

    Full Text Available It is presented the calculus of the two-phase ejector for carbon dioxide heat pump. The method of calculus is based on the method elaborated by S.M. Kandil, W.E. Lear, S.A. Sherif, and is modified taking into account entrainment ratio as the input for the calculus.

  20. Giant Calculus In The Mouth Of Partially Edentulous Woman, (Case ...

    African Journals Online (AJOL)

    Objective: This case report is to create awareness of the presence of giant calculus in the mouth, the possible causes and its prevention. Report: This describes the oral condition of a partially edentulous woman with a giant calculus in the mouth. It highlights the effect of such an enormous calculus in the oral cavity.

  1. Science 101: How Do We Use Calculus in Science?

    Science.gov (United States)

    Robertson, Bill

    2014-01-01

    How is calculus used in science? That might seem like an odd question to answer in a magazine intended primarily for elementary school teachers. After all, how much calculus gets used in elementary science? Here the author guesses that quite a few readers of this column do not know a whole lot about calculus and have not taken a course in…

  2. Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions

    Directory of Open Access Journals (Sweden)

    Ferruccio Guidi

    2016-01-01

    Full Text Available Landau's "Grundlagen der Analysis" formalized in the language Aut-QE, represents an early milestone in computer-checked mathematics and is the only non-trivial development finalized in the languages of the Automath family. Here we discuss an implemented procedure producing a faithful representation of the Grundlagen in the Calculus of Constructions, verified by the proof assistant Coq 8.4.3. The point at issue is distinguishing lambda-abstractions from pi-abstractions where the original text uses Automath unified binders, taking care of the cases in which a binder corresponds to both abstractions at one time. It is a fact that some binders can be disambiguated only by verifying the Grundlagen in a calculus accepting Aut-QE and the Calculus of Constructions. To this end, we rely on lambda-delta version 3, a system that the author is proposing here for the first time.

  3. Sequent Calculus in the Topos of Trees

    DEFF Research Database (Denmark)

    Clouston, Ranald; Goré, Rajeev

    2015-01-01

    Nakano’s “later” modality, inspired by Gödel-Löb provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment...... that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence...

  4. The lambda sigma calculus and strong normalization

    DEFF Research Database (Denmark)

    Schack-Nielsen, Anders; Schürmann, Carsten

    Explicit substitution calculi can be classified into several dis- tinct categories depending on whether they are confluent, meta-confluent, strong normalization preserving, strongly normalizing, simulating, fully compositional, and/or local. In this paper we present a variant of the λσ-calculus......, which satisfies all seven conditions. In particular, we show how to circumvent Mellies counter-example to strong normalization by a slight restriction of the congruence rules. The calculus is implemented as the core data structure of the Celf logical framework. All meta-theoretic aspects of this work...

  5. A sequent calculus for signed interval logic

    DEFF Research Database (Denmark)

    Rasmussen, Thomas Marthedal

    2001-01-01

    We propose and discuss a complete sequent calculus formulation for Signed Interval Logic (SIL) with the chief purpose of improving proof support for SIL in practice. The main theoretical result is a simple characterization of the limit between decidability and undecidability of quantifier-free SIL....... We present a mechanization of SIL in the generic proof assistant Isabelle and consider techniques for automated reasoning. Many of the results and ideas of this report are also applicable to traditional (non-signed) interval logic and, hence, to Duration Calculus....

  6. Safety versus Security in the Quality Calculus

    DEFF Research Database (Denmark)

    Nielson, Hanne Riis; Nielson, Flemming

    2013-01-01

    Safety and security are both needed for ensuring that cyber-physical systems live up to expectations, but often an intelligent trade-off is called for, because sometimes it is impossible to obtain optimal safety at the same time as optimal security. In the context of the Quality Calculus we develop...... be performed in highly trusted contexts. This is potentially too demanding and the Quality Calculus is therefore extended with a primitive for endorsing data to a higher trust level (accepting violations of the explicit flow) and for temporarily asserting a higher trust in the context (accepting violations...

  7. Probabilistic Analysis of the Quality Calculus

    DEFF Research Database (Denmark)

    Nielson, Hanne Riis; Nielson, Flemming

    2013-01-01

    We consider a fragment of the Quality Calculus, previously introduced for defensive programming of software components such that it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication. This paper develops a probabilistically based trust...... analysis supporting the Quality Calculus. It uses information about the probabilities that expected input will be absent in order to determine the trustworthiness of the data used for controlling the distributed system; the main challenge is to take accord of the stochastic dependency between some...

  8. Hybrid Logical Analyses of the Ambient Calculus

    DEFF Research Database (Denmark)

    Bolander, Thomas; Hansen, René Rydhof

    2007-01-01

    In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated...... in a natural way. We show that hybrid logic is very well suited to express the semantic structure of the ambient calculus and how features of hybrid logic can be exploited to reduce the "administrative overhead" of the analysis specification and thus simplify it. Finally, we use HyLoTab, a fully automated...

  9. Calculus of Variations, Classical and Modern

    CERN Document Server

    Conti, Roberto

    2011-01-01

    A. Blaquiere: Quelques aspects geometriques des processus optimaux.- C. Castaing: Quelques problemes de mesurabilite lies a la theorie des commandes.- L. Cesari: Existence theorems for Lagrange and Pontryagin problems of the calculus of variations and optimal control of more-dimensional extensions in Sobolev space.- H. Halkin: Optimal control as programming in infinite dimensional spaces.- C. Olech: The range of integrals of a certain class vector-valued functions.- E. Rothe: Weak topology and calculus of variations.- E.O. Roxin: Problems about the set of attainability.

  10. Mathematical analysis I

    CERN Document Server

    Zorich, Vladimir A

    2015-01-01

    VLADIMIR A. ZORICH is professor of mathematics at Moscow State University. His areas of specialization are analysis, conformal geometry, quasiconformal mappings, and mathematical aspects of thermodynamics. He solved the problem of global homeomorphism for space quasiconformal mappings. He holds a patent in the technology of mechanical engineering, and he is also known by his book Mathematical Analysis of Problems in the Natural Sciences . This second English edition of a very popular two-volume work presents a thorough first course in analysis, leading from real numbers to such advanced topics as differential forms on manifolds; asymptotic methods; Fourier, Laplace, and Legendre transforms; elliptic functions; and distributions. Especially notable in this course are the clearly expressed orientation toward the natural sciences and the informal exploration of the essence and the roots of the basic concepts and theorems of calculus. Clarity of exposition is matched by a wealth of instructive exercises, problems...

  11. University Students' Reading of Their First-Year Mathematics Textbooks

    Science.gov (United States)

    Shepherd, Mary D.; Selden, Annie; Selden, John

    2012-01-01

    This article reports the observed behaviors and difficulties that 11 precalculus and calculus students exhibited in reading new passages from their mathematics textbooks. To gauge the "effectiveness" of these students' reading, we asked them to attempt straightforward mathematical tasks, based directly on what they had just read. The…

  12. Some Notes About Artificial Intelligence as New Mathematical Tool

    Directory of Open Access Journals (Sweden)

    Angel Garrido

    2010-04-01

    Full Text Available Mathematics is a mere instance of First-Order Predicate Calculus. Therefore it belongs to applied Monotonic Logic. So, we found the limitations of classical logic reasoning and the clear advantages of Fuzzy Logic and many other new interesting tools. We present here some of the more usefulness tools of this new field of Mathematics so-called Artificial Intelligence.

  13. Some Notes About Artificial Intelligence as New Mathematical Tool

    OpenAIRE

    Angel Garrido

    2010-01-01

    Mathematics is a mere instance of First-Order Predicate Calculus. Therefore it belongs to applied Monotonic Logic. So, we found the limitations of classical logic reasoning and the clear advantages of Fuzzy Logic and many other new interesting tools. We present here some of the more usefulness tools of this new field of Mathematics so-called Artificial Intelligence.

  14. Differential geometry and mathematical physics

    CERN Document Server

    Rudolph, Gerd

    Starting from an undergraduate level, this book systematically develops the basics of • Calculus on manifolds, vector bundles, vector fields and differential forms, • Lie groups and Lie group actions, • Linear symplectic algebra and symplectic geometry, • Hamiltonian systems, symmetries and reduction, integrable systems and Hamilton-Jacobi theory. The topics listed under the first item are relevant for virtually all areas of mathematical physics. The second and third items constitute the link between abstract calculus and the theory of Hamiltonian systems. The last item provides an introduction to various aspects of this theory, including Morse families, the Maslov class and caustics. The book guides the reader from elementary differential geometry to advanced topics in the theory of Hamiltonian systems with the aim of making current research literature accessible. The style is that of a mathematical textbook,with full proofs given in the text or as exercises. The material is illustrated by numerous d...

  15. Mathematical Building-Blocks in Engineering Mechanics

    Science.gov (United States)

    Boyajian, David M.

    2007-01-01

    A gamut of mathematical subjects and concepts are taught within a handful of courses formally required of the typical engineering student who so often questions the relevancy of being bound to certain lower-division prerequisites. Basic classes at the undergraduate level, in this context, include: Integral and Differential Calculus, Differential…

  16. The mathematics of games of strategy

    CERN Document Server

    Dresher, Melvin

    1981-01-01

    A noted research mathematician explores decision making in the absence of perfect information. His clear presentation of the mathematical theory of games of strategy encompasses applications to many fields, including economics, military, business, and operations research. No advanced algebra or non-elementary calculus occurs in most of the proofs.

  17. On Mathematical Proving

    Science.gov (United States)

    Stefaneas, Petros; Vandoulakis, Ioannis M.

    2015-12-01

    This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting-point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence in such contexts, in which problem-solving procedures and strategies are studied. We represent proof-events as problem-centered spatio-temporal processes by means of the language of the calculus of events, which captures adequately certain temporal aspects of proof-events (i.e. that they have history and form sequences of proof-events evolving in time). Further, we suggest a "loose" semantics for the proof-events, by means of Kolmogorov's calculus of problems. Finally, we expose the intented interpretations for our logical model from the fields of automated theorem-proving and Web-based collective proving.

  18. Mathematics of Approximation

    CERN Document Server

    de Villiers, Johan

    2012-01-01

    The approximation of a continuous function by either an algebraic polynomial, a trigonometric polynomial, or a spline, is an important issue in application areas like computer-aided geometric design and signal analysis. This book is an introduction to the mathematical analysis of such approximation, and, with the prerequisites of only calculus and linear algebra, the material is targeted at senior undergraduate level, with a treatment that is both rigorous and self-contained. The topics include polynomial interpolation; Bernstein polynomials and the Weierstrass theorem; best approximations in

  19. Foundations of mathematical analysis

    CERN Document Server

    Johnsonbaugh, Richard

    2010-01-01

    This classroom-tested volume offers a definitive look at modern analysis, with views of applications to statistics, numerical analysis, Fourier series, differential equations, mathematical analysis, and functional analysis. Upper-level undergraduate students with a background in calculus will benefit from its teachings, along with beginning graduate students seeking a firm grounding in modern analysis. A self-contained text, it presents the necessary background on the limit concept, and the first seven chapters could constitute a one-semester introduction to limits. Subsequent chapters discuss

  20. Parametric Analysis of a Heavy Metal Sorption Isotherm Based on Fractional Calculus

    Directory of Open Access Journals (Sweden)

    Enrico M. Gomes

    2013-01-01

    Full Text Available Heavy metals are widely recognized as being hazardous to human health and environmentally aggressive. The literature reports different approaches for lead removal, for example, water hyacinths. Heavy metal sorption isotherm modeling represents an important tool towards the study of equilibrium conditions. Fractional calculus represents a novel approach and a growing research field for process modeling, based on derivatives of arbitrary order. Recently, a novel isotherm based on fractional calculus was proposed for lead sorption using water hyacinth (Eichhornia crassipes. This paper reports a general procedure on error analysis and its influence on parameter estimation. It was applied to mathematical models based on fractional differential equations, focusing on a heavy metal novel isotherm sorption model. Parameter variance was calculated by using two different approaches (with the complete Hessian matrix and with a simplified Hessian matrix, and joint parameter confidence regions were generated, being successfully able to show that the fractional nature of the model is statistically valid.

  1. Towards a physics on fractals: Differential vector calculus in three-dimensional continuum with fractal metric

    Science.gov (United States)

    Balankin, Alexander S.; Bory-Reyes, Juan; Shapiro, Michael

    2016-02-01

    One way to deal with physical problems on nowhere differentiable fractals is the mapping of these problems into the corresponding problems for continuum with a proper fractal metric. On this way different definitions of the fractal metric were suggested to account for the essential fractal features. In this work we develop the metric differential vector calculus in a three-dimensional continuum with a non-Euclidean metric. The metric differential forms and Laplacian are introduced, fundamental identities for metric differential operators are established and integral theorems are proved by employing the metric version of the quaternionic analysis for the Moisil-Teodoresco operator, which has been introduced and partially developed in this paper. The relations between the metric and conventional operators are revealed. It should be emphasized that the metric vector calculus developed in this work provides a comprehensive mathematical formalism for the continuum with any suitable definition of fractal metric. This offers a novel tool to study physics on fractals.

  2. Vector description of polarised and unpolarised light in double-complex calculus

    Science.gov (United States)

    Bojanowski, Jerzy

    An entirely new mathematical method of description and analysis of polarised light, based on double-complex numbers, is presented. It is shown that the double-complex number, being a complex sum of two common complex numbers interpreted as mutually perpendicular linear vibrations, represents the resultant light vector. When the component vibrations are simple harmonic wave trains, the double-complex number is the wave's polarisation vector, otherwise the number represents the vector of unpolarised light. Definitions and basic concepts of the double-complex calculus are presented. A comparison between the double-complex and Jones vector calculus is also shown. Transformation formulas derived in the paper describe the changes of polarisation or unpolarisation state of a beam transmitted through various types of linear birefringence polarisers and retarders.

  3. Dogs Don't Need Calculus

    Science.gov (United States)

    Bolt, Mike

    2010-01-01

    Many optimization problems can be solved without resorting to calculus. This article develops a new variational method for optimization that relies on inequalities. The method is illustrated by four examples, the last of which provides a completely algebraic solution to the problem of minimizing the time it takes a dog to retrieve a thrown ball,…

  4. Using MathCAD in General Calculus.

    Science.gov (United States)

    Wieder, Sol

    1991-01-01

    This article utilizes several examples to describe the use of MathCAD, a computer scratchpad for calculations, within a lecture-demonstration method of teaching general calculus. Both hardware requirements and software features are discussed specifically related to the proper design of student worksheets with emphasis on parameter variation. (JJK)

  5. Spinor calculus on 5-dimensional spacetimes

    Energy Technology Data Exchange (ETDEWEB)

    Gomez-Lobo, Alfonso Garcia-Parrado [Centro de Matematica, Universidade do Minho. 4710-057 Braga (Portugal); Martin-Garcia, Jose M, E-mail: alfonso@math.uminho.p, E-mail: jose.martin-garcia@obspm.f [Laboratoire Univers et Theories, Observatoire de Paris, CNRS, University Paris Diderot, 5 place Jules Janssen, 92190 Meudon (France)

    2010-05-01

    We explain how Penrose's spinor calculus of 4-dimensional Lorentzian geometry is implemented in a 5-dimensional Lorentzian manifold. A number of issues, such as the essential spin algebra, the spin covariant derivative and the algebro-differential properties of the curvature spinors are discussed.

  6. Enabling quaternion derivatives: the generalized HR calculus

    Science.gov (United States)

    Xu, Dongpo; Jahanchahi, Cyrus; Took, Clive C.; Mandic, Danilo P.

    2015-01-01

    Quaternion derivatives exist only for a very restricted class of analytic (regular) functions; however, in many applications, functions of interest are real-valued and hence not analytic, a typical case being the standard real mean square error objective function. The recent HR calculus is a step forward and provides a way to calculate derivatives and gradients of both analytic and non-analytic functions of quaternion variables; however, the HR calculus can become cumbersome in complex optimization problems due to the lack of rigorous product and chain rules, a consequence of the non-commutativity of quaternion algebra. To address this issue, we introduce the generalized HR (GHR) derivatives which employ quaternion rotations in a general orthogonal system and provide the left- and right-hand versions of the quaternion derivative of general functions. The GHR calculus also solves the long-standing problems of product and chain rules, mean-value theorem and Taylor's theorem in the quaternion field. At the core of the proposed GHR calculus is quaternion rotation, which makes it possible to extend the principle to other functional calculi in non-commutative settings. Examples in statistical learning theory and adaptive signal processing support the analysis. PMID:26361555

  7. Inverted Pedagogy in Second Semester Calculus

    Science.gov (United States)

    Kennedy, Ellie; Beaudrie, Brian; Ernst, Dana C.; St. Laurent, Roy

    2015-01-01

    This study investigates the effects of applying an inverted classroom model in a second-semester calculus course at a large regional university in the southwest during the Spring of 2013. The sample consisted of four class sections with the same instructor, with a total of 173 students; two class sections were in the experimental group, whereas…

  8. Bladder calculus presenting as excessive masturbation.

    Science.gov (United States)

    De Alwis, A C D; Senaratne, A M R D; De Silva, S M P D; Rodrigo, V S D

    2006-09-01

    Masturbation in childhood is a normal behaviour which most commonly begins at 2 months of age, and peaks at 4 years and in adolescence. However excessive masturbation causes anxiety in parents. We describe a boy with a bladder calculus presenting as excessive masturbation.

  9. Optimal control and the calculus of variations

    CERN Document Server

    Pinch, Enid R

    1993-01-01

    This introduction to optimal control theory is intended for undergraduate mathematicians and for engineers and scientists with some knowledge of classical analysis. It includes sections on classical optimization and the calculus of variations. All the important theorems are carefully proved. There are many worked examples and exercises for the reader to attempt.

  10. Symbolic boundary calculus and feedback operators

    DEFF Research Database (Denmark)

    Pedersen, Michael

    1991-01-01

    The recent developments in microlocal analysis and pseudodifferential boundary calculus are well suited tools in the investigation of a large number of problems occurring in control theory for partial differential equations. We explain some of the basic ideas of a pseudodifferential model...

  11. Classroom Voting Patterns in Differential Calculus

    Science.gov (United States)

    Cline, Kelly; Zullo, Holly; VonEpps, Lahna

    2012-01-01

    We study how different sections voted on the same set of classroom voting questions in differential calculus, finding that voting patterns can be used to identify some of the questions that have the most pedagogic value. We use statistics to identify three types of especially useful questions: 1. To identify good discussion questions, we look for…

  12. Enabling quaternion derivatives: the generalized HR calculus.

    Science.gov (United States)

    Xu, Dongpo; Jahanchahi, Cyrus; Took, Clive C; Mandic, Danilo P

    2015-08-01

    Quaternion derivatives exist only for a very restricted class of analytic (regular) functions; however, in many applications, functions of interest are real-valued and hence not analytic, a typical case being the standard real mean square error objective function. The recent HR calculus is a step forward and provides a way to calculate derivatives and gradients of both analytic and non-analytic functions of quaternion variables; however, the HR calculus can become cumbersome in complex optimization problems due to the lack of rigorous product and chain rules, a consequence of the non-commutativity of quaternion algebra. To address this issue, we introduce the generalized HR (GHR) derivatives which employ quaternion rotations in a general orthogonal system and provide the left- and right-hand versions of the quaternion derivative of general functions. The GHR calculus also solves the long-standing problems of product and chain rules, mean-value theorem and Taylor's theorem in the quaternion field. At the core of the proposed GHR calculus is quaternion rotation, which makes it possible to extend the principle to other functional calculi in non-commutative settings. Examples in statistical learning theory and adaptive signal processing support the analysis.

  13. Boolean integral calculus for digital systems

    Science.gov (United States)

    Tucker, J. H.; Tapia, M. A.; Bennett, A. W.

    1985-01-01

    The concept of Boolean integration is introduced and developed. When the changes in a desired function are specified in terms of changes in its arguments, then ways of 'integrating' (i.e., realizing) the function, if it exists, are presented. Boolean integral calculus has applications in design of logic circuits.

  14. Is Calculus a Failure in Cryptography?

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 21; Issue 3. Is Calculus a Failure in Cryptography? P Vanchinathan. General Article Volume 21 Issue 3 March 2016 pp 239-245. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/021/03/0239-0245. Keywords.

  15. A robust interpretation of duration calculus

    DEFF Research Database (Denmark)

    Franzle, M.; Hansen, Michael Reichhardt

    2005-01-01

    Calculus (DC), our findings are that the robust interpretation of DC is equivalent to a multi-valued interpretation that uses the real numbers as semantic domain and assigns Lipschitz-continuous interpretations to all operators of DC. Furthermore, this continuity permits approximation between discrete...

  16. Differential Calculus in Normed Linear Spaces

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 9; Issue 2. Differential Calculus in Normed Linear Spaces. Harish Seshadri. Book Review Volume 9 Issue 2 February 2004 pp 90-91. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/009/02/0090-0091 ...

  17. Some Factors Effected Student's Calculus Learning Outcome

    Science.gov (United States)

    Rajagukguk, Wamington

    2016-01-01

    The purpose of this study is to determine the factors effected calculus learning outcome of the student. This study was conducted with 176 respondents, which were selected randomly. The data were obtained by questionnaire, and then analyzed by using multiple regressions, and correlation, at level of a = 0.05. The findings showed there is the…

  18. an aid to mastering fundamental calculus concepts

    African Journals Online (AJOL)

    Erna Kinsey

    the classroom, they do not indicate why it happened. The research reported here differs from those quoted above in that it was not a quantitative comparative study conducted with two groups of subjects, but an action research study over an extended period of time with students enrolled for a first course in calculus.

  19. Exploring Flipped Classroom Instruction in Calculus III

    Science.gov (United States)

    Wasserman, Nicholas H.; Quint, Christa; Norris, Scott A.; Carr, Thomas

    2017-01-01

    In an undergraduate Calculus III class, we explore the effect of "flipping" the instructional delivery of content on both student performance and student perceptions. Two instructors collaborated to determine daily lecture notes, assigned the same homework problems, and gave identical exams; however, compared to a more traditional…

  20. Sharks, Minnows, and Wheelbarrows: Calculus Modeling Projects

    Science.gov (United States)

    Smith, Michael D.

    2011-01-01

    The purpose of this article is to present two very active applied modeling projects that were successfully implemented in a first semester calculus course at Hollins University. The first project uses a logistic equation to model the spread of a new disease such as swine flu. The second project is a human take on the popular article "Do Dogs Know…

  1. A Temporal Concurrent Constraint Programming Calculus

    DEFF Research Database (Denmark)

    Palamidessi, Catuscia; Valencia Posso, Frank Darwin

    2001-01-01

    The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and non-deterministic timed behavior. We call this tcc extension the ntcc calculus...

  2. A Stochastic Broadcast Pi-Calculus

    DEFF Research Database (Denmark)

    Song, Lei; Nielson, Flemming; Nielsen, Bo Friis

    2011-01-01

    In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions...

  3. Students' Difficulties with Vector Calculus in Electrodynamics

    Science.gov (United States)

    Bollen, Laurens; van Kampen, Paul; De Cock, Mieke

    2015-01-01

    Understanding Maxwell's equations in differential form is of great importance when studying the electrodynamic phenomena discussed in advanced electromagnetism courses. It is therefore necessary that students master the use of vector calculus in physical situations. In this light we investigated the difficulties second year students at KU Leuven…

  4. Fractional vector calculus for fractional advection dispersion

    Science.gov (United States)

    Meerschaert, Mark M.; Mortensen, Jeff; Wheatcraft, Stephen W.

    2006-07-01

    We develop the basic tools of fractional vector calculus including a fractional derivative version of the gradient, divergence, and curl, and a fractional divergence theorem and Stokes theorem. These basic tools are then applied to provide a physical explanation for the fractional advection-dispersion equation for flow in heterogeneous porous media.

  5. On Online Assignments in a Calculus Class

    Science.gov (United States)

    Jungic, Veselin; Kent, Deborah; Menz, Petra

    2012-01-01

    In this paper, we describe our experience with the creation and utilization of online assignments for several calculus classes at Simon Fraser University (SFU). We present our findings regarding available software by considering the needs and perspectives of the instructors, students, and administrators. We provide a list of questions that guide…

  6. Characteristics of subgingival calculus detection by multiphoton fluorescence microscopy

    Science.gov (United States)

    Tung, Oi-Hong; Lee, Shyh-Yuan; Lai, Yu-Lin; Chen, How-Foo

    2011-06-01

    Subgingival calculus has been recognized as a major cause of periodontitis, which is one of the main chronic infectious diseases of oral cavities and a principal cause of tooth loss in humans. Bacteria deposited in subgingival calculus or plaque cause gingival inflammation, function deterioration, and then periodontitis. However, subgingival calculus within the periodontal pocket is a complicated and potentially delicate structure to be detected with current dental armamentaria, namely dental x-rays and dental probes. Consequently, complete removal of subgingival calculus remains a challenge to periodontal therapies. In this study, the detection of subgingival calculus employing a multiphoton autofluorescence imaging method was characterized in comparison with a one-photon confocal fluorescence imaging technique. Feasibility of such a system was studied based on fluorescence response of gingiva, healthy teeth, and calculus with and without gingiva covered. The multiphoton fluorescence technology perceived the tissue-covered subgingival calculus that cannot be observed by the one-photon confocal fluorescence method.

  7. The history of mathematics a brief course

    CERN Document Server

    Cooke, Roger L

    2012-01-01

    Praise for the Second Edition ""An amazing assemblage of worldwide contributions in mathematics and, in addition to use as a course book, a valuable resource . . . essential."" -CHOICE This Third Edition of The History of Mathematics examines the elementary arithmetic, geometry, and algebra of numerous cultures, tracing their usage from Mesopotamia, Egypt, Greece, India, China, and Japan all the way to Europe during the Medieval and Renaissance periods where calculus was developed. Aimed primarily at undergraduate students studying the history of

  8. Mathematical methods for physicists and engineers

    CERN Document Server

    Collins, Royal Eugene

    2011-01-01

    This practical, highly readable text provides physics and engineering students with the essential mathematical tools for thorough comprehension of their disciplines. Featuring all the necessary topics in applied mathematics in the form of programmed instruction, the text can be understood by advanced undergraduates and beginning graduate students without any assistance from the instructor. Topics include elementary vector calculus, matrix algebra, and linear vector operations; the many and varied methods of solving linear boundary value problems, including the more common special functions o

  9. Research in collegiate mathematics education VI

    CERN Document Server

    Selden, Annie; Harel, Guershon; Hauk, Shandy

    2006-01-01

    The sixth volume of Research in Collegiate Mathematics Education presents state-of-the-art research on understanding, teaching, and learning mathematics at the postsecondary level. The articles advance our understanding of collegiate mathematics education while being readable by a wide audience of mathematicians interested in issues affecting their own students. This is a collection of useful and informative research regarding the ways our students think about and learn mathematics. The volume opens with studies on students' experiences with calculus reform and on the effects of concept-based

  10. A refresher course in mathematics

    CERN Document Server

    Camm, F J

    2003-01-01

    Readers wishing to renew and extend their acquaintance with a variety of branches of mathematics will find this volume a practical companion. Geared toward those who already possess some familiarity with its subjects, the easy-to-follow explanations and straightforward tone make this book highly accessible. The contents are arranged logically and in order of difficulty: fractions, decimals, square and cube root, the metric system, algebra, quadratic and cubic equations, graphs, and the calculus are among the topics. Explanations of mathematical principles are followed by worked examples, and t

  11. The logical foundations of mathematics

    CERN Document Server

    Hatcher, William S

    1981-01-01

    The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory.Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and

  12. Einstein's Theory A Rigorous Introduction for the Mathematically Untrained

    CERN Document Server

    Grøn, Øyvind

    2011-01-01

    This book provides an introduction to the theory of relativity and the mathematics used in its processes. Three elements of the book make it stand apart from previously published books on the theory of relativity. First, the book starts at a lower mathematical level than standard books with tensor calculus of sufficient maturity to make it possible to give detailed calculations of relativistic predictions of practical experiments. Self-contained introductions are given, for example vector calculus, differential calculus and integrations. Second, in-between calculations have been included, making it possible for the non-technical reader to follow step-by-step calculations. Thirdly, the conceptual development is gradual and rigorous in order to provide the inexperienced reader with a philosophically satisfying understanding of the theory.  Einstein's Theory: A Rigorous Introduction for the Mathematically Untrained aims to provide the reader with a sound conceptual understanding of both the special and genera...

  13. Differential calculus in normed linear spaces

    CERN Document Server

    Mukherjea, Kalyan

    2007-01-01

    This book presents Advanced Calculus from a geometric point of view: instead of dealing with partial derivatives of functions of several variables, the derivative of the function is treated as a linear transformation between normed linear spaces. Not only does this lead to a simplified and transparent exposition of "difficult" results like the Inverse and Implicit Function Theorems but also permits, without any extra effort, a discussion of the Differential Calculus of functions defined on infinite dimensional Hilbert or Banach spaces.The prerequisites demanded of the reader are modest: a sound understanding of convergence of sequences and series of real numbers, the continuity and differentiability properties of functions of a real variable and a little Linear Algebra should provide adequate background for understanding the book. The first two chapters cover much of the more advanced background material on Linear Algebra (like dual spaces, multilinear functions and tensor products.) Chapter 3 gives an ab ini...

  14. A Simplified Stabilizer ZX-calculus

    Directory of Open Access Journals (Sweden)

    Miriam Backens

    2017-01-01

    Full Text Available The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics.The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the stabilizer ZX-calculus can be simplified, removing unnecessary equations while keeping only the essential axioms which potentially capture fundamental structures of quantum mechanics. We thus give a significantly smaller set of axioms and prove that meta-rules like 'colour symmetry' and 'upside-down symmetry', which were considered as axioms in previous versions of the language, can in fact be derived. In particular, we show that the additional symbol and one of the rules which had been recently introduced to keep track of scalars (diagrams with no inputs or outputs are not necessary.

  15. Proof-relevant pi-calculus

    Directory of Open Access Journals (Sweden)

    Roly Perera

    2015-07-01

    Full Text Available Formalising the pi-calculus is an illuminating test of the expressiveness of logical frameworks and mechanised metatheory systems, because of the presence of name binding, labelled transitions with name extrusion, bisimulation, and structural congruence. Formalisations have been undertaken in a variety of systems, primarily focusing on well-studied (and challenging properties such as the theory of process bisimulation. We present a formalisation in Agda that instead explores the theory of concurrent transitions, residuation, and causal equivalence of traces, which has not previously been formalised for the pi-calculus. Our formalisation employs de Bruijn indices and dependently-typed syntax, and aligns the "proved transitions" proposed by Boudol and Castellani in the context of CCS with the proof terms naturally present in Agda's representation of the labelled transition relation. Our main contributions are proofs of the "diamond lemma" for residuation of concurrent transitions and a formal definition of equivalence of traces up to permutation of transitions.

  16. Basic mathematics for the biological and social sciences

    CERN Document Server

    Marriott, F H C

    2013-01-01

    Basic Mathematics for the Biological and Social Sciences deals with the applications of basic mathematics in the biological and social sciences. Mathematical concepts that are discussed in this book include graphical methods, differentiation, trigonometrical or circular functions, limits and convergence, integration, vectors, and differential equations. The exponential function and related functions are also considered. This monograph is comprised of 11 chapters and begins with an overview of basic algebra, followed by an introduction to infinitesimal calculus, scalar and vector quantities, co

  17. Quantum stochastic calculus with maximal operator domains

    OpenAIRE

    Lindsay, J. Martin; Attal, Stéphane

    2004-01-01

    Quantum stochastic calculus is extended in a new formulation in which its stochastic integrals achieve their natural and maximal domains. Operator adaptedness, conditional expectations and stochastic integrals are all defined simply in terms of the orthogonal projections of the time filtration of Fock space, together with sections of the adapted gradient operator. Free from exponential vector domains, our stochastic integrals may be satisfactorily composed yielding quantum Itô formulas for op...

  18. Index matrices towards an augmented matrix calculus

    CERN Document Server

    Atanassov, Krassimir T

    2014-01-01

    This book presents the very concept of an index matrix and its related augmented matrix calculus in a comprehensive form. It mostly illustrates the exposition with examples related to the generalized nets and intuitionistic fuzzy sets which are examples of an extremely wide array of possible application areas. The present book contains the basic results of the author over index matrices and some of its open problems with the aim to stimulating more researchers to start working in this area.

  19. An application of Malliavin Calculus to Finance

    OpenAIRE

    Kohatsu-Higa, Arturo; Montero, Miquel

    2001-01-01

    In this article, we give a brief informal introduction to Malliavin Calculus for newcomers. We apply these ideas to the simulation of Greeks in Finance. First to European-type options where formulas can be computed explicitly and therefore can serve as testing ground. Later we study the case of Asian options where close formulas are not available. The Greeks are computed through Monte Carlo simulation.

  20. Mathematical analysis I

    CERN Document Server

    Canuto, Claudio

    2015-01-01

    The purpose of the volume is to provide a support for a first course in Mathematics. The contents are organised to appeal especially to Engineering, Physics and Computer Science students, all areas in which mathematical tools play a crucial role. Basic notions and methods of differential and integral calculus for functions of one real variable are presented in a manner that elicits critical reading and prompts a hands-on approach to concrete applications. The layout has a specifically-designed modular nature, allowing the instructor to make flexible didactical choices when planning an introductory lecture course. The book may in fact be employed at three levels of depth. At the elementary level the student is supposed to grasp the very essential ideas and familiarise with the corresponding key techniques. Proofs to the main results befit the intermediate level, together with several remarks and complementary notes enhancing the treatise. The last, and farthest-reaching, level requires the additional study of ...

  1. Improving University Students' Perception of Mathematics and Mathematics Ability

    Directory of Open Access Journals (Sweden)

    Shelly L. Wismath

    2015-01-01

    Full Text Available Although mathematical and quantitative reasoning skills are an essential part of adult life in our society, many students arrive at post-secondary education without such skills. Taking a standard mathematics course such as calculus may do little to improve those skills. Using a modification of the Tapia & Marsh questionnaire, we surveyed 62 students taking a broad quantitative reasoning course designed to develop quantitative skills, with respect to two broad attitudinal areas: students’ perception of their own ability, confidence and anxiety, and their perception of the value of mathematics in their studies and their lives. Pre- to post-course comparisons were done by both paired t-tests and Wilcoxon signed-rank tests. Our results showed a significant increase in confidence and decrease in anxiety, while perception of the value of mathematics was already high and changed little by the end of the course.

  2. Everyday calculus discovering the hidden math all around us

    CERN Document Server

    Fernandez, Oscar E

    2014-01-01

    Calculus. For some of us, the word conjures up memories of ten-pound textbooks and visions of tedious abstract equations. And yet, in reality, calculus is fun, accessible, and surrounds us everywhere we go. In Everyday Calculus, Oscar Fernandez shows us how to see the math in our coffee, on the highway, and even in the night sky. Fernandez uses our everyday experiences to skillfully reveal the hidden calculus behind a typical day's events. He guides us through how math naturally emerges from simple observations-how hot coffee cools down, for example-and in discussions of over fifty familia

  3. Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus

    DEFF Research Database (Denmark)

    Abouzaid, Faisal; Mullins, John; Mazzara, Manuel

    2012-01-01

    The BP-calculus is a formalism based on the π-calculus and encoded in WS-BPEL. The BP-calculus is intended to specificaly model and verify Service Oriented Applications. One important feature of SOA is the ability to compose services that may dynamically evolve along runtime. Dynamic...... reconfiguration of services increases their availability, but puts accordingly, heavy demands for validation, verification, and evaluation. In this paper we formally model and analyze dynamic reconfigurations and their requirements in BP-calculus and show how reconfigurable components can be modeled using...

  4. A Calculus of Communicating Systems with Label Passing

    DEFF Research Database (Denmark)

    Engberg, Uffe Henrik; Nielsen, Mogens

    Milner's Calculus of Communicating Systems (CCS) is extended with a mechanism for label passing - as an attempt to remedy some of the shortcomings of CCS w.r.t. dynamic change of agent interconnections. In the extended calculus, restriction is viewed formally as a binder, and the calculus allows...... dynamic change of scope (of label) in connection with communication. It is proved that algebraic properties of strong (and observational) equivalence for CCS are preserved by the extension. Examples illustrating the expressive power of the calculus and its methods for reasoning are given....

  5. Renal vein thrombosis mimicking urinary calculus: a dilemma of diagnosis.

    Science.gov (United States)

    Wang, Yimin; Chen, Shanwen; Wang, Wei; Liu, Jianyong; Jin, Baiye

    2015-07-02

    Renal vein thrombosis (RVT) with flank pain, and hematuria, is often mistaken with renal colic originating from ureteric or renal calculus. Especially in young and otherwise healthy patients, clinicians are easily misled by clinical presentation and calcified RVT. A 38-year-old woman presented with flank pain and hematuria suggestive of renal calculus on ultrasound. She underwent extracorporeal shock wave lithotripsy that failed, leading to the recommendation that percutaneous lithotomy was necessary to remove the renal calculus. In preoperative view of the unusual shape of the calculus without hydronephrosis, noncontrast computed tomography was taken and demonstrated left ureteric calculus. However computed tomography angiography revealed, to our surprise, a calcified RVT that was initially thought to be a urinary calculus. This case shows that a calcified RVT might mimic a urinary calculus on conventional ultrasonography and ureteric calculus on noncontrast computed tomography. Subsequent computed tomography angiography disclosed that a calcified RVT caused the imaging findings, thus creating a potentially dangerous clinical pitfall. Hence, it is suggested that the possibility of a RVT needs to be considered in the differential diagnosis whenever one detects an uncommon shape for a urinary calculus.

  6. Pre-calculus 1,001 practice problems for dummies

    CERN Document Server

    Sterling, Mary Jane; Sterling

    2014-01-01

    Prepare for calculus the smart way, with customizable pre-calculus practice 1,001 Pre-Calculus Practice Problems For Dummies offers 1,001 opportunities to gain confidence in your math skills. Much more than a workbook, this study aid provides pre-calculus problems ranked from easy to advanced, with detailed explanations and step-by-step solutions for each one. The companion website gives you free online access to all 1,001 practice problems and solutions, and you can track your progress and ID where you should focus your study time. Accessible on the go by smart phone, tablet, o

  7. Deterministic bound for avionics switched networks according to networking features using network calculus

    Directory of Open Access Journals (Sweden)

    Feng HE

    2017-12-01

    Full Text Available The state of the art avionics system adopts switched networks for airborne communications. A major concern in the design of the networks is the end-to-end guarantee ability. Analytic methods have been developed to compute the worst-case delays according to the detailed configurations of flows and networks within avionics context, such as network calculus and trajectory approach. It still lacks a relevant method to make a rapid performance estimation according to some typically switched networking features, such as networking scale, bandwidth utilization and average flow rate. The goal of this paper is to establish a deterministic upper bound analysis method by using these networking features instead of the complete network configurations. Two deterministic upper bounds are proposed from network calculus perspective: one is for a basic estimation, and another just shows the benefits from grouping strategy. Besides, a mathematic expression for grouping ability is established based on the concept of network connecting degree, which illustrates the possibly minimal grouping benefit. For a fully connected network with 4 switches and 12 end systems, the grouping ability coming from grouping strategy is 15–20%, which just coincides with the statistical data (18–22% from the actual grouping advantage. Compared with the complete network calculus analysis method for individual flows, the effectiveness of the two deterministic upper bounds is no less than 38% even with remarkably varied packet lengths. Finally, the paper illustrates the design process for an industrial Avionics Full DupleX switched Ethernet (AFDX networking case according to the two deterministic upper bounds and shows that a better control for network connecting, when designing a switched network, can improve the worst-case delays dramatically. Keywords: Deterministic bound, Grouping ability, Network calculus, Networking features, Switched networks

  8. Mathematical analysis, approximation theory and their applications

    CERN Document Server

    Gupta, Vijay

    2016-01-01

    Designed for graduate students, researchers, and engineers in mathematics, optimization, and economics, this self-contained volume presents theory, methods, and applications in mathematical analysis and approximation theory. Specific topics include: approximation of functions by linear positive operators with applications to computer aided geometric design, numerical analysis, optimization theory, and solutions of differential equations. Recent and significant developments in approximation theory, special functions and q-calculus along with their applications to mathematics, engineering, and social sciences are discussed and analyzed. Each chapter enriches the understanding of current research problems and theories in pure and applied research.

  9. A short course in discrete mathematics

    CERN Document Server

    Bender, Edward A

    2004-01-01

    What sort of mathematics do I need for computer science? In response to this frequently asked question, a pair of professors at the University of California at San Diego created this text. Its sources are two of the university's most basic courses: Discrete Mathematics, and Mathematics for Algorithm and System Analysis. Intended for use by sophomores in the first of a two-quarter sequence, the text assumes some familiarity with calculus. Topics include Boolean functions and computer arithmetic; logic; number theory and cryptography; sets and functions; equivalence and order; and induction, seq

  10. Success in Introductory Calculus: The Role of High School and Pre-Calculus Preparation

    Science.gov (United States)

    Ayebo, Abraham; Ukkelberg, Sarah; Assuah, Charles

    2017-01-01

    Calculus at the college level has significant potential to serve as a pump for increasing the number of students majoring in STEM fields. It is a foundation course for all STEM majors and, if mastered well, should provide students with a positive and successful first-year experience and gateway into more advanced courses. Studies have shown that a…

  11. Automatic Binding Time Analysis for a Typed Lambda-Calculus

    DEFF Research Database (Denmark)

    Nielson, Hanne Riis; Nielson, Flemming

    1988-01-01

    A binding time analysis imposes a distinction between the computations to be performed early (e.g. at compile-time) and those to be performed late (e.g. at run-time). For the lambda-calculus this distinction is formalized by a two-level lambda-calculus. The authors present an algorithm for static...

  12. A Calculus of Circular Proofs and its Categorical Semantics

    DEFF Research Database (Denmark)

    Santocanale, Luigi

    2002-01-01

    We present a calculus of “circular proofs”: the graph underlying a proof is not a finite tree but instead it is allowed to contain a certain amount of cycles.The main challenge in developing a theory for the calculus is to define the semantics of proofs, since the usual method by induction...

  13. On flipping the classroom in large first year calculus courses

    Science.gov (United States)

    Jungić, Veselin; Kaur, Harpreet; Mulholland, Jamie; Xin, Cindy

    2015-05-01

    Over the course of two years, 2012--2014, we have implemented a 'flipping' the classroom approach in three of our large enrolment first year calculus courses: differential and integral calculus for scientists and engineers. In this article we describe the details of our particular approach and share with the reader some experiences of both instructors and students.

  14. The Enriched Effect Calculus: Syntax and Semantics

    DEFF Research Database (Denmark)

    Møgelberg, Rasmus Ejlers; Simpson, Alex; Egger, Jeff

    2014-01-01

    This article introduces the enriched effect calculus, which extends established type theories for computational effects with primitives from linear logic. The new calculus provides a formalism for expressing linear aspects of computational effects; e.g. the linear usage of imperative features suc...

  15. A Calculus of Circular Proofs and its Categorical Semantics

    DEFF Research Database (Denmark)

    Santocanale, Luigi

    2002-01-01

    We present a calculus of "circular proofs": the graph underlying a proof is not a finite tree but instead it is allowed to contain a certain amount of cycles.The main challenge in developing a theory for the calculus is to define the semantics of proofs, since the usual method by induction...

  16. Calculus: A Computer Oriented Presentation, Part 1 [and] Part 2.

    Science.gov (United States)

    Stenberg, Warren; Walker, Robert J.

    Parts one and two of a one-year computer-oriented calculus course (without analytic geometry) are presented. The ideas of calculus are introduced and motivated through computer (i.e., algorithmic) concepts. An introduction to computing via algorithms and a simple flow chart language allows the book to be self-contained, except that material on…

  17. Calculus Students' Early Concept Images of Tangent Lines

    Science.gov (United States)

    Vincent, Brittany; LaRue, Renee; Sealey, Vicki; Engelke, Nicole

    2015-01-01

    This study explored first-semester calculus students' understanding of tangent lines as well as how students used tangent lines within the context of Newton's method. Task-based interviews were conducted with twelve first-semester calculus students who were asked to verbally describe a tangent line, sketch tangent lines for multiple curves, and…

  18. Partial Fractions in Calculus, Number Theory, and Algebra

    Science.gov (United States)

    Yackel, C. A.; Denny, J. K.

    2007-01-01

    This paper explores the development of the method of partial fraction decomposition from elementary number theory through calculus to its abstraction in modern algebra. This unusual perspective makes the topic accessible and relevant to readers from high school through seasoned calculus instructors.

  19. Giant urinary bladder calculus: Case report | Otieno | East African ...

    African Journals Online (AJOL)

    A vertical calculus weighing more than 100 g is categorised as a giant urinary bladder stone. Giant urinary bladder stones are very rare and very few cases have been reported in English literature and only one case from Africa. This is a case report of a patient with a giant urinary bladder calculus presenting as a rectal ...

  20. Type Inference for Session Types in the Pi-Calculus

    DEFF Research Database (Denmark)

    Graversen, Eva Fajstrup; Harbo, Jacob Buchreitz; Huttel, Hans

    2014-01-01

    In this paper we present a direct algorithm for session type inference for the π-calculus. Type inference for session types has previously been achieved by either imposing limitations and restriction on the π-calculus, or by reducing the type inference problem to that for linear types. Our approach...

  1. An Exploration of Definition and Procedural Fluency in Integral Calculus

    Science.gov (United States)

    Grundmeier, Todd A.; Hansen, Jennifer; Sousa, Emily

    2006-01-01

    A survey was administered to calculus students who had previously been exposed to a course on integral calculus. The purpose of the survey was to explore students' understanding of the definition of a definite integral, their abilities to evaluate definite integrals, and their graphical interpretations of definite integrals. The analysis of…

  2. On Flipping the Classroom in Large First Year Calculus Courses

    Science.gov (United States)

    Jungic, Veselin; Kaur, Harpreet; Mulholland, Jamie; Xin, Cindy

    2015-01-01

    Over the course of two years, 2012-2014, we have implemented a "flipping" the classroom approach in three of our large enrolment first year calculus courses: differential and integral calculus for scientists and engineers. In this article we describe the details of our particular approach and share with the reader some experiences of…

  3. Prostatic fossa calculus | El Abiad | Pan African Medical Journal

    African Journals Online (AJOL)

    As part of the evaluation, a plain radiograph was performed and incidentally showed a radiopaque prostatic calculus (Red arrows). A retrograde urethrocystography, performed after a 10-days course of antibiotics, confirmed the presence of an approximately 35 mm non-obstructive calculus occupying almost the whole ...

  4. Stochastic Model Checking of the Stochastic Quality Calculus

    DEFF Research Database (Denmark)

    Nielson, Flemming; Nielson, Hanne Riis; Zeng, Kebin

    2015-01-01

    The Quality Calculus uses quality binders for input to express strategies for continuing the computation even when the desired input has not been received. The Stochastic Quality Calculus adds generally distributed delays for output actions and real-time constraints on the quality binders for input...

  5. Formalization of the Resolution Calculus for First-Order Logic

    DEFF Research Database (Denmark)

    Schlichtkrull, Anders

    2018-01-01

    I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations and semantic trees. The correspondence...

  6. Secure Data Flow in a Calculus for Context Awareness

    DEFF Research Database (Denmark)

    Bucur, Doina; Nielsen, Mogens

    2008-01-01

    We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computing agents can provide and discover contextual information and are owners of security policies. Simple access control to contextual...

  7. Modelling the Landing of a Plane in a Calculus Lab

    Science.gov (United States)

    Morante, Antonio; Vallejo, Jose A.

    2012-01-01

    We exhibit a simple model of a plane landing that involves only basic concepts of differential calculus, so it is suitable for a first-year calculus lab. We use the computer algebra system Maxima and the interactive geometry software GeoGebra to do the computations and graphics. (Contains 5 figures and 1 note.)

  8. Equality and fixpoints in the calculus of structures

    DEFF Research Database (Denmark)

    Chaudhuri, Kaustuv; Guenot, Nicolas

    2014-01-01

    The standard proof theory for logics with equality and fixpoints suffers from limitations of the sequent calculus, where reasoning is separated from computational tasks such as unification or rewriting. We propose in this paper an extension of the calculus of structures, a deep inference formalism...

  9. Reflections on Our First Calculus Undergraduate Teaching Assistant

    Science.gov (United States)

    Deshler, Jessica M.

    2016-01-01

    This article describes some reflections from the first Calculus I undergraduate teaching assistant in our department as she explored the various ways in which she was able to support both novice and experienced Calculus teachers and the effect of her experience on her academic and career plans.

  10. Decidable Fragments of a Higher Order Calculus with Locations

    DEFF Research Database (Denmark)

    Hüttel, Hans; Godskesen, Jens Christian; Haagensen, Bjørn

    2009-01-01

    Homer is a higher order process calculus with locations. In this paper we study Homer in the setting of the semantic finite control property, which is a finite reachability criterion that implies decidability of barbed bisimilarity. We show that strong and weak barbed bisimilarity are undecidable...... control π-calculus in Homer....

  11. A Technical Approach in Graphical Study of Calculus Using Maple ...

    African Journals Online (AJOL)

    We were recently presented with the challenge of rethinking how to teach Calculus to First year IT students as part of an integrated curriculum. We immediately saw this as an opportunity to motivate calculus concepts by using graphical representations and animations. Animation provides motivation, reinforcement, and ...

  12. Descartes' Calculus of Subnormals: What Might Have Been

    Science.gov (United States)

    Boudreaux, Gregory Mark; Walls, Jess E.

    2013-01-01

    Rene Descartes' method for finding tangents (equivalently, subnormals) depends on geometric and algebraic properties of a family of circles intersecting a given curve. It can be generalized to establish a calculus of subnormals, an alternative to the calculus of Newton and Leibniz. Here we prove subnormal counterparts of the well-known…

  13. An introduction to quantum stochastic calculus

    CERN Document Server

    Parthasarathy, KR

    2012-01-01

    An Introduction to Quantum Stochastic Calculus aims to deepen our understanding of the dynamics of systems subject to the laws of chance both from the classical and the quantum points of view and stimulate further research in their unification. This is probably the first systematic attempt to weave classical probability theory into the quantum framework and provides a wealth of interesting features: The origin of Ito's correction formulae for Brownian motion and the Poisson process can be traced to commutation relations or, equivalently, the uncertainty principle.Quantum stochastic integration

  14. Some Integral Inequalities Using Quantum Calculus Approach

    Directory of Open Access Journals (Sweden)

    Muhammad Uzair Awan

    2017-11-01

    Full Text Available The aim of this paper is to introduce a new class of preinvex functions which is called as generalized beta preinvex functions. We show that this class includes some other new classes of preinvex functions. We derive some new integral inequalities using the approach of quantum calculus. These integral inequalities involve generalized preinvex functions and q-Euler-Beta functions. Our results can be viewed as new quantum estimates for trapezoidal like inequalities. Some new special cases are also discussed which can be deduced from the main results of the paper.

  15. A calculus for attribute-based communication

    DEFF Research Database (Denmark)

    Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele

    2015-01-01

    The notion of attribute-based communication seems promising to model and analyse systems with huge numbers of interacting components that dynamically adjust and combine their behaviour to achieve specific goals. A basic process calculus, named AbC, is introduced that has as primitive construct...... exactly attribute-based communication and its impact on the above mentioned kind of systems is considered. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in a broadcast fashion and communication links among components...

  16. Giant Submandibular Calculus Eroding Oral Cavity Mucosa.

    Science.gov (United States)

    Lim, Eng Haw; Nadarajah, Sanjeevan; Mohamad, Irfan

    2017-09-01

    Sialolithiasis is the formation of calculi or sialoliths in the salivary gland. It is the most common benign condition of the salivary gland. Sialolithiasis can occur in all salivary glands. The submandibular gland is most commonly affected followed by the parotid gland. Calculi commonly measure less than 10 mm. Calculi of more than 15 mm are termed giant salivary gland calculi and are infrequently reported in the literature. Here, we report a case of unusually large submandibular gland calculus of 5 cm in greatest dimension which caused erosion of the oral cavity.

  17. Mathematics from the birth of numbers

    CERN Document Server

    Gullberg, Jan

    1997-01-01

    This extraordinary work takes the reader on a long and fascinating journey--from the dual invention of numbers and language, through the major realms of arithmetic, algebra, geometry, trigonometry, and calculus, to the final destination of differential equations, with excursions into mathematical logic, set theory, topology, fractals, probability, and assorted other mathematical byways. The book is unique among popular books on mathematics in combining an engaging, easy-to-read history of the subject with a comprehensive mathematical survey text. Intended, in the author's words, "for the benefit of those who never studied the subject, those who think they have forgotten what they once learned, or those with a sincere desire for more knowledge," it links mathematics to the humanities, linguistics, the natural sciences, and technology. Contains more than 1000 original technical illustrations, a multitude of reproductions from mathematical classics and other relevant works, and a generous sprinkling of humorous...

  18. Lectures in the history of mathematics

    CERN Document Server

    Bos, Henk J M

    1993-01-01

    "[These lectures] are about themes of the history of mathematics which, for various reasons, are dear to me. The early differential and integral calculus, the work of Christiaan Huygens, and the concept of construction in seventeenth- and eighteenth-century mathematics are the three themes around which much of my research has concentrated and which continue to fascinate me by the insights they offer in the development of that special human activity called mathematics." -from the Introduction This volume contains eleven lectures ranging over a variety of topics in the history of mathematics. The lectures, presented between 1970 and 1987, were delivered in a variety of venues and appeared only in less accessible publications. Those who teach mathematics, as well as mathematics historians, will appreciate this insightful, wide-ranging book.

  19. Calculus detection technologies: where do we stand now?

    Science.gov (United States)

    Archana, V

    2014-01-01

    Epidemiological studies have implicated dental calculus as an ideal substrate for subgingival microbial colonization. Therefore, the main objective of periodontal therapy is to eliminate the microbial biofilm along with the calculus deposits from the root surface by root surface debridement. Over the past years, a large number of clinical and laboratory studies have been conducted to evaluate the efficacy of calculus removal by various methods. None of these conventional methods or devices was effective in completely eliminating all the calculus from the diseased root surfaces. In this context, a number of newer technologies have been developed to identify and selectively remove the dental calculus. Regarding this fact, the present article highlights a critical review of these devices based on published clinical and experimental data.

  20. The use of concept maps as an indicator of significant learning in Calculus

    Directory of Open Access Journals (Sweden)

    Naíma Soltau Ferrão

    2014-03-01

    Full Text Available This paper contains reflections and results of a research that aimed to apply and analyze the use of concept maps in Higher Education as an indicator of significant learning concerning derivative as mathematical object with students that finished Differential and Integral Calculus. This is a qualitative approach, situated in the area of mathematics education, based on Ausubel's Theory of Meaningful Learning and on technique of Novak's Concept Mapping. As data acquisition instruments, use of classroom observations, questionnaire, brainstorming and digital conceptual mapping, made by an undergraduate physics course. To analyze we defined four aspects to be observed in the maps constructed by students: (i validity of propositions formed with concepts, (ii hierarchization, (iii cross-links between the propositions, and (vi the presence of applications. The identification of these elements, taken as reference to analyze the maps, allowed the collection of information about how each student has structured and correlated the set of concepts learned on the derivative of a function along their course. Based on the results, we have identified in the digital conceptual maps effective tools to evaluate the students in terms of meaningful learning about specific contents of Differential and Integral Calculus by the hierarchy of concepts, progressive differentiation and integrative reconciliation as defined in the Theory of Meaningful Learning.

  1. Calculus of variations an introduction to the one-dimensional theory with examples and exercises

    CERN Document Server

    Kielhöfer, Hansjörg

    2018-01-01

    This clear and concise textbook provides a rigorous introduction to the calculus of variations, depending on functions of one variable and their first derivatives. It is based on a translation of a German edition of the book Variationsrechnung (Vieweg+Teubner Verlag, 2010), translated and updated by the author himself.  Topics include: the Euler-Lagrange equation for one-dimensional variational problems, with and without constraints, as well as an introduction to the direct methods. The book targets students who have a solid background in calculus and linear algebra, not necessarily in functional analysis. Some advanced mathematical tools, possibly not familiar to the reader, are given along with proofs in the appendix. Numerous figures, advanced problems and proofs, examples, and exercises with solutions accompany the book, making it suitable for self-study. The book will be particularly useful for beginning graduate students from the physical, engineering, and mathematical sciences with a rigorous th...

  2. CALCULUS FROM THE PAST: MULTIPLE DELAY SYSTEMS ARISING IN CANCER CELL MODELLING

    KAUST Repository

    WAKE, G. C.

    2013-01-01

    Nonlocal calculus is often overlooked in the mathematics curriculum. In this paper we present an interesting new class of nonlocal problems that arise from modelling the growth and division of cells, especially cancer cells, as they progress through the cell cycle. The cellular biomass is assumed to be unstructured in size or position, and its evolution governed by a time-dependent system of ordinary differential equations with multiple time delays. The system is linear and taken to be autonomous. As a result, it is possible to reduce its solution to that of a nonlinear matrix eigenvalue problem. This method is illustrated by considering case studies, including a model of the cell cycle developed recently by Simms, Bean and Koeber. The paper concludes by explaining how asymptotic expressions for the distribution of cells across the compartments can be determined and used to assess the impact of different chemotherapeutic agents. Copyright © 2013 Australian Mathematical Society.

  3. Introduction to stochastic analysis and Malliavin calculus

    CERN Document Server

    Prato, Giuseppe

    2014-01-01

    This volume presents an introductory course on differential stochastic equations and Malliavin calculus. The material of the book has grown out of a series of courses delivered at the Scuola Normale Superiore di Pisa (and also at the Trento and Funchal Universities) and has been refined over several years of teaching experience in the subject. The lectures are addressed to a reader who is familiar with basic notions of measure theory and functional analysis. The first part is devoted to the Gaussian measure in a separable Hilbert space, the Malliavin derivative, the construction of the Brownian motion and Itô's formula. The second part deals with differential stochastic equations and their connection with parabolic problems. The third part provides an introduction to the Malliavin calculus. Several applications are given, notably the Feynman-Kac, Girsanov and Clark-Ocone formulae, the Krylov-Bogoliubov and Von Neumann theorems. In this third edition several small improvements are added and a new section devo...

  4. Sequent Calculus Representations for Quantum Circuits

    Directory of Open Access Journals (Sweden)

    Cameron Beebe

    2016-06-01

    Full Text Available When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary transformations, and measurement probabilities. Traditional quantum logics which focus primarily on the abstract orthomodular lattice theory and structures of Hilbert spaces have not satisfactorily captured some of these elements. We can start from 'scratch' in an attempt to conceptually characterize the types of proof rules which should be in a system that represents elements necessary for quantum algorithms. This present work attempts to do this from the perspective of the quantum circuit model of quantum computation. A sequent calculus based on single quantum circuits is suggested, and its ability to incorporate important conceptual and dynamic aspects of quantum computing is discussed. In particular, preserving the representation of phase helps illustrate the role of interference as a resource in quantum computation. Interference also provides an intuitive basis for a non-monotonic calculus.

  5. A type system for Continuation Calculus

    Directory of Open Access Journals (Sweden)

    Herman Geuvers

    2014-09-01

    Full Text Available Continuation Calculus (CC, introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting, but it has no variable binding and no pattern matching. It is Turing complete and evaluation is deterministic. Notions like "call-by-value" and "call-by-name" computation are available by choosing appropriate function definitions: e.g. there is a call-by-value and a call-by-name addition function. In the present paper we extend CC with types, to be able to define data types in a canonical way, and functions over these data types, defined by iteration. Data type definitions follow the so-called "Scott encoding" of data, as opposed to the more familiar "Church encoding". The iteration scheme comes in two flavors: a call-by-value and a call-by-name iteration scheme. The call-by-value variant is a double negation variant of call-by-name iteration. The double negation translation allows to move between call-by-name and call-by-value.

  6. A Mixed Methods Analysis of Students' Understanding of Slope and Derivative Concepts and Students' Mathematical Dispositions

    Science.gov (United States)

    Patel, Rita Manubhai

    2013-01-01

    This dissertation examined understanding of slope and derivative concepts and mathematical dispositions of first-semester college calculus students, who are recent high school graduates, transitioning to university mathematics. The present investigation extends existing research in the following ways. First, based on this investigation, the…

  7. Mathematical Modelling in Engineering: A Proposal to Introduce Linear Algebra Concepts

    Science.gov (United States)

    Cárcamo Bahamonde, Andrea; Gómez Urgelles, Joan; Fortuny Aymemí, Josep

    2016-01-01

    The modern dynamic world requires that basic science courses for engineering, including linear algebra, emphasise the development of mathematical abilities primarily associated with modelling and interpreting, which are not exclusively calculus abilities. Considering this, an instructional design was created based on mathematical modelling and…

  8. Handbook of mathematical formulas and integrals

    CERN Document Server

    Jeffrey, Alan

    2003-01-01

    The updated Handbook is an essential reference for researchers and students in applied mathematics, engineering, and physics. It provides quick access to important formulas, relations, and methods from algebra, trigonometric and exponential functions, combinatorics, probability, matrix theory, calculus and vector calculus, ordinary and partial differential equations, Fourier series, orthogonal polynomials, and Laplace transforms. Many of the entries are based upon the updated sixth edition of Gradshteyn and Ryzhik''s Table of Integrals, Series, and Products and other important reference works.The Third Edition has new chapters covering solutions of elliptic, parabolic and hyperbolic equations and qualitative properties of the heat and Laplace equation.Key Features: * Comprehensive coverage of frequently used integrals, functions and fundamental mathematical results * Contents selected and organized to suit the needs of students, scientists, and engineers * Contains tables of Laplace and Fourier transfor...

  9. How Students Use Their Knowledge of Calculus in an Engineering Mechanics Course.

    Science.gov (United States)

    Roddick, Cheryl Stitt

    This study investigated students' conceptual and procedural understanding of calculus within the context of an engineering mechanics course. Four traditional calculus students were compared with three students from one of the calculus reform projects, Calculus & Mathematica. Task-based interviews were conducted with each participant throughout…

  10. Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

    Directory of Open Access Journals (Sweden)

    Andréa Loparić

    2010-04-01

    Full Text Available In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus. Algorithms based in our definitions yields decision methods for these calculi.

  11. Teaching Mathematics to a Student Who Is Blind

    Science.gov (United States)

    Spindler, Richard

    2006-01-01

    The experience tutoring a student who is blind in four semesters of university calculus is discussed. The mechanics, instructional strategies employed, and the challenges encountered are examined as they relate to teaching mathematics. It was found there are important similarities and also differences as compared to sighted students in teaching…

  12. Introductory Life Science Mathematics and Quantitative Neuroscience Courses

    Science.gov (United States)

    Duffus, Dwight; Olifer, Andrei

    2010-01-01

    We describe two sets of courses designed to enhance the mathematical, statistical, and computational training of life science undergraduates at Emory College. The first course is an introductory sequence in differential and integral calculus, modeling with differential equations, probability, and inferential statistics. The second is an…

  13. Effectiveness of Teaching Formats on Developmental Mathematics Achievement

    Science.gov (United States)

    Erickson, Kristyanna

    2013-01-01

    The developmental sequence of mathematics courses in most 2-year and 4-year colleges is designed to prepare students to succeed in college-level math courses. That is, students must complete this sequence in order to progress to courses such as statistics, college algebra, precalculus, calculus, and differential equations. Research on the…

  14. Obstacles to Mathematization in Physics: The Case of the Differential

    Science.gov (United States)

    López-Gay, R.; Martinez Sáez, J.; Martinez Torregrosa, J.

    2015-01-01

    The process of the mathematization of physical situations through differential calculus requires an understanding of the justification for and the meaning of the differential in the context of physics. In this work, four different conceptions about the differential in physics are identified and assessed according to their utility for the…

  15. A Handbook of Essential Mathematical Formulae

    CERN Document Server

    Davies, Alan

    2005-01-01

    Intended for students of mathematics as well as of engineering, physical science, economics, business studies, and computer science, this handbook contains vital information and formulas for algebra, geometry, calculus, numerical methods, and statistics. Comprehensive tables of standard derivatives and integrals, together with the tables of Laplace, Fourier, and Z transforms are included. A spiral binding that allows the handbook to lay flat for easy reference enhances the user-friendly design.

  16. Real mathematical analysis

    CERN Document Server

    Pugh, Charles C

    2015-01-01

    Based on an honors course taught by the author at UC Berkeley, this introduction to undergraduate real analysis gives a different emphasis by stressing the importance of pictures and hard problems. Topics include: a natural construction of the real numbers, four-dimensional visualization, basic point-set topology, function spaces, multivariable calculus via differential forms (leading to a simple proof of the Brouwer Fixed Point Theorem), and a pictorial treatment of Lebesgue theory. Over 150 detailed illustrations elucidate abstract concepts and salient points in proofs. The exposition is informal and relaxed, with many helpful asides, examples, some jokes, and occasional comments from mathematicians, such as Littlewood, Dieudonné, and Osserman. This book thus succeeds in being more comprehensive, more comprehensible, and more enjoyable, than standard introductions to analysis. New to the second edition of Real Mathematical Analysis is a presentation of Lebesgue integration done almost entirely using the un...

  17. Mathematical Competences

    DEFF Research Database (Denmark)

    Westphael, Henning; Mogensen, Arne

    2013-01-01

    In this article we present the notion of Mathematical competences as a tool to describe the mathematically gifted students.......In this article we present the notion of Mathematical competences as a tool to describe the mathematically gifted students....

  18. A many-sorted calculus based on resolution and paramodulation

    CERN Document Server

    Walther, Christoph

    1987-01-01

    A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving.This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting all the semantic and implicit argumentation to the syntactic and explicit level of formal first-order reasoning. This text discusses the efficiency of many-sorted reasoning, formal preliminaries for the RP- and ?RP-calculus, and many-sorted term rewrit

  19. Quantum stochastic calculus and representations of Lie superalgebras

    CERN Document Server

    Eyre, Timothy M W

    1998-01-01

    This book describes the representations of Lie superalgebras that are yielded by a graded version of Hudson-Parthasarathy quantum stochastic calculus. Quantum stochastic calculus and grading theory are given concise introductions, extending readership to mathematicians and physicists with a basic knowledge of algebra and infinite-dimensional Hilbert spaces. The develpment of an explicit formula for the chaotic expansion of a polynomial of quantum stochastic integrals is particularly interesting. The book aims to provide a self-contained exposition of what is known about Z_2-graded quantum stochastic calculus and to provide a framework for future research into this new and fertile area.

  20. A calculus of quality for robustness against unreliable communication

    DEFF Research Database (Denmark)

    Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto

    2015-01-01

    A main challenge in the development of distributed systems is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan....... The framework is illustrated on the design of a fragment of a wireless sensor network, and is substantiated by formal proofs of correctness of the analysis, which relate the original reduction semantics of the calculus to a new semantics with explicit substitutions....