Introductory Indigenous Studies in Education : Reflection and the Importance of Knowing

Although the demand for pre-service teachers to be better informed about Indigenous issues in Australia has been broadly articulated, it is reasonably new for universities to make Indigenous studies a compulsory area of study, or to define what is meant by 'Indigenous education'. This book was motivated by the growing necessity for an approach to Indigenous education that would include more than just a summarising of Indigenous history and traditional culture. It is useful for anyone with an interest in challenging their ideas about culture, identity and history in Australia.

How difficult are exams? A framework for assessing the complexity of introductory programming exams

Student performance on examinations is influenced by the level of difficulty of the questions. It seems reasonable to propose therefore that assessment of the difficulty of exam questions could be used to gauge the level of skills and knowledge expected at the end of a course. This paper reports the results of a study investigating the difficulty of exam questions using a subjective assessment of difficulty and a purpose-built exam question complexity classification scheme. The scheme, devised for exams in introductory programming courses, assesses the complexity of each question using six measures: external domain references, explicitness, linguistic complexity, conceptual complexity, length of code involved in the question and/or answer, and intellectual complexity (Bloom level). We apply the scheme to 20 introductory programming exam papers from five countries, and find substantial variation across the exams for all measures. Most exams include a mix of questions of low, medium, and high difficulty, although seven of the 20 have no questions of high difficulty. All of the complexity measures correlate with assessment of difficulty, indicating that the difficulty of an exam question relates to each of these more specific measures. We discuss the implications of these findings for the development of measures to assess learning standards in programming courses.

Modeling obligations with event-calculus

Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and point out some shortcomings of Event Calculus (EC) to represent obligations. We proposed an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.

Embedding EfS in teacher education : an introductory guide to using the systems change model

Welcome to this introductory guide on using a systems change model to embed Education for Sustainability (EfS) into teacher education. Pressing sustainability issues such as climate change, biodiversity loss and depletion of non-renewable resources pose new challenges for education. The importance of education in preparing future citizens to engage in sustainable living practices and help create a more sustainable world is widely acknowledged. As a result many universities around the world are beginning to recognize the need to integrate EfS into their teacher education programs. However, evidence indicates that there is little or no core EfS knowledge or pedagogy in pre-service teacher courses available to student teachers in a thorough and systematic fashion. Instead efforts are fragmented and individually or, at best, institutionally-based and lacking a systems approach to change, an approach that is seen as essential to achieving a sustainable society (Henderson & Tilbury, 2004). The result is new teachers are graduating without the necessary knowledge or skills to teach in ways that enable them to prepare their students to cope well with the new and emerging challenges their communities face. This guide has been prepared as part of a teaching and learning research project that applied a systems change approach to embedding the learning and teaching of sustainability into pre-service teacher education. The processes, outcomes and lessons learnt from this project are presented here as a guide for navigating pathways to systemic change in the journey of re-orienting teacher education towards sustainability. The guide also highlights how a systems change approach can be used to successfully enact change within a teacher education system. If you are curious about how to introduce and embed EfS into teacher education – or have tried other models and are looking for a more encompassing, transformative approach – this guide is designed to help you. The material presented in this guide is designed to be flexible and adaptive. However you choose to use the content, our aim is to help you and your students develop new perspectives, promote discussion and to engage with a system-wide approach to change.

Insight into the fractional calculus via a spreadsheet

Many students of calculus are not aware that the calculus they have learned is a special case (integer order) of fractional calculus. Fractional calculus is the study of arbitrary order derivatives and integrals and their applications. The article begins by stating a naive question from a student in a paper by Larson (1974) and establishes, for polynomials and exponential functions, that they can be deformed into their derivative using the μ-th order fractional derivatives for 0<μ<1. Through the power of Excel we illustrate the continuous deformations dynamically through conditional formatting. Some applications are discussed and a connection made to mathematics education.

Understanding the quantitative skill base on introductory statistics : a case study from business statistics

Basic mathematical skills are critical to a student’s ability to successfully undertake an introductory statistics course. Yet in business education this vitally important area of mathematics and statistics education is under-researched. The question therefore arises as to what level of mathematical skill a typical business studies student will possess as they enter the tertiary environment, and whether there are any common deficiencies that we can identify with a view to tackling the problem. This paper will focus on a study designed to measure the level of mathematical ability of first year business students. The results provide timely insight into a growing problem faced by many tertiary educators in this field.

Permissions in Deontic Event-Calculus

Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.

Solution of a System of Generalized Abel Integral Equations Using Fractional Calculus

A method is presented for obtaining useful closed form solution of a system of generalized Abel integral equations by using the ideas of fractional integral operators and their applications. This system appears in solving certain mixed boundary value problems arising in the classical theory of elasticity.

A computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

An interpreter for slips-An applicative language based on LAMBDA-Calculus

An applicative language based on the LAMBDA-Calculus is presented. The language, SLIPS (Small Language for Instruction Purposes), is described using the LAMBDA-Calculus as a metalanguage. A call-by-need mechanism of function invocation eliminates the drawbacks of both call-by-name and call-by-value. The system has been implemented in PASCAL.

Regenerative sustainability for the built environment – from vision to reality: An introductory chapter

Regenerative sustainability is emerging as an alternative discourse around the transition from a ‘mechanistic’ to an ‘ecological’ or living systems worldview. This view helps us to re-conceptualize relationships among humans’ technological, ecological, economic, social and political systems. Through exploration of ‘net positive’ or ‘regenerative’ development lenses and the traditional sustainability literature, the conceptualization and approaches to achieve sustainable development and ecological modernization are expanded to articulate and to explore the evolving sustainability discourse, ‘regenerative sustainability’. This Special Volume of Journal of Cleaner Production (SV) is focused upon various dimensions of regenerative sustainability (e.g. regenerative design, regenerative development, and positive development) applied to the urban built environment at scales, which range from individual buildings, neighborhoods, and urban developments to integrated regional sustainable development. The main focus is on how these approaches and developments are evolving, how they can help us to prevent or adapt to climate change and how these approaches are likely to evolve in the next two to three decades. These approaches are addressed in four themes: (1) reviewing the theoretical development of the discourse of regenerative sustainability, its emerging principles and practices, (2) explaining how it can be measured and monitored, (3) providing encouraging practical pathways and examples of its implementation in multiple cultural and climatic contexts, and (4) mapping obstacles and enablers that must be addressed to help to ensure that more rapid progress is made in implementing the transitions towards an urban built environment that supports genuinely sustainable societies.

Combining unsupervised and invigilated assessment of introductory programming

We compared student performance on large-scale take-home assignments and small-scale invigilated tests that require competency with exactly the same programming concepts. The purpose of the tests, which were carried out soon after the take home assignments were submitted, was to validate the students' assignments as individual work. We found widespread discrepancies between the marks achieved by students between the two types of tasks. Many students were able to achieve a much higher grade on the take-home assignments than the invigilated tests. We conclude that these paired assessments are an effective way to quickly identify students who are still struggling with programming concepts that we might otherwise assume they understand, given their ability to complete similar, yet more complicated, tasks in their own time. We classify these students as not yet being at the neo-Piagetian stage of concrete operational reasoning.