n/a

This chapter provides an overview of the alpha paleobiodiversity of Angola based on the available fossil record that is limited to the sedimentary rocks, ranging in age from Precambrian to the present. The geological period with the highest paleobiodiversity in the Angolan fossil record is the Cretaceous, with more than 80{%} of the total known fossil taxa, especially marine molluscs, including ammonites as a majority among them. The vertebrates represent about 15{%} of the known fauna and about one tenth of them are species firstly described based on specimens from Angola.

In 1900, Hilbert gave a lecture at the International Congress of Mathematicians in Paris, for which he prepared 23 problems that mathematicians should solve during the twentieth century. It was found that there was a note on a 24th Problem focusing on the problem of simplicity of proofs. One of the lines of research that was generated from this problem was the identification of proofs. In this article, we present a possible method for exploring the identification of proofs based on the membership problem original from the theory of polynomial rings. To show this, we start by giving a complete worked-out example of a membership problem, that is, the problem of checking if a given polynomial belongs to an ideal generated by finitely many polynomials. This problem can be solved by considering Gröbner bases and the corresponding reductions. Each reduction is a simplification of the polynomial and it corresponds to a rewriting step. In proving that a polynomial is a member of an ideal, a rewriting process is used, and many different such processes can be considered. To better illustrate this, we consider a graph where each rewriting step corresponds to an edge, and thus a path corresponds to a rewriting process. In this paper, we consider the identification of paths, within the context of the membership problem, to propose a criterion of identification of proofs.
This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert’s 24th problem’.

The potential of using different representations is widely recognized, but not much is known about how teachers use them nor about the impact of the technology on such use. The goal of this study is to characterize the teachers’ representational fluency when teaching functions at high school level, discussing, at the same time, the impact in the use of representations resulting from the use of technology. Adopting a qualitative approach, I analyze one teacher’s practice. The results suggest that algebraic and graphical representations are seen as more important, that tabular representation is assumed as irrelevant and that the access to technology impacts the learning, the representations used and how they are used.

This study focusses on the criteria used by pre-service teachers of Mathematics to choose interdisciplinary tasks. The pre-service teachers’ knowledge is assumed as the basis of the actions taken and used as the origin of the choices and approaches observed. The study adopts a qualitative and interpretative methodology and the data were collected using class observation and interviews. The analysis is guided by the Application and Pedagogical Content Knowledge, a model inspired on TPACK (from Mishra and Koehler) and MKT (from Ball and colleagues). The conclusions point to an appreciation of the mathematical part of the tasks and to a devaluation of the remaining components. This suggests difficulty in articulating and integrating different domains of knowledge and points to a fragmented view of the potential of using mathematical applications.

Proof plays a central role in developing, establishing, and communicating mathematical knowledge. Nevertheless it is not such a central element in school mathematics. This article discusses some issues involving mathematical proof in school, intending to characterize the understanding of mathematical proof in school, its function and the meaning and relevance attributed to the notion of simple proof. The main conclusions suggest that the idea of addressing mathematical proof at all levels of school is a recent idea that is not yet fully implemented in schools. It requires an adaptation of the understanding of proof to the age of the students, reducing the level of formality, and allowing the students to experience the different functions of proof and not only the function of verification. Among the different functions of proof, the function of explanation deserves special attention due to the illumination and empowerment that it can bring to the students and their learning. The way this function of proof relates to the notion of simple proof (and the related aesthetic issues) seems relevant enough to make it, in the future, a focus of attention for the teachers who address mathematical proof in the classroom.

The current curricular guidelines for mathematics education in Portugal emphasize the relevance of working with different representations of functions to promote understanding. Given this relevance, we seek understanding about the notion of function held by 37 basic education pre-service teachers in their first year of a master’s course. Data were collected through a task focusing on identifying functions in situations based on different representations. The content analysis technique was then adopted in the search for an understanding of the justifications given by the participants. The results achieved suggest it is easier for the pre-service teachers to identify examples that are not functions than examples that are functions. There is also a tendency for greater accuracy in the identification of examples expressed by tables than by algebraic expressions. The justifications presented show a notion of function as a relation between values of two non-empty sets, but without guaranteeing that this relation is single-valued.

This article focuses the choice and use of examples by two students of the 11th grade to prove or refute a set of statements. The use of representations of sequences and functions is also considered. The study adopts a qualitative approach and data were collected by interviews and documental gathering. The conclusions suggest most of the examples used were well-known sequences or functions. However, the students sought different purposes for the use of examples, such as understanding the conjecture, demonstrate the falsity or truthfulness of the statement and conveying a general argument. The students made a satisfactory articulation between the various types of representations but relied mostly in the cartesian graph.

The mathematical proof is assumed as a central element in the development of Mathematics. However, proof is conceived in different ways and assumed as having different functions in Mathematics. And when we move from mathematics to its teaching, the multiplicity of perspectives becomes even more significant. This diversity can have an impact on the students and on the relationship they establish with Mathematics. In these circumstances, this study seeks knowledge over the perspectives of future teachers regarding the mathematical demonstration. Specifically, it intends to achieve a deeper knowledge over the future teachers’ perspectives about what is a mathematical proof and about its functions. The study adopts a qualitative approach and uses interviews to collect data. The conclusions reached point to a traditional perspective of mathematical proof, closely tied to mathematical formalism and the validation function, where the teaching context introduces some changes, adjusting the formalism to the level of the students and highlighting the understanding function of proof, but maintaining the dominant character of the algebraic language.

Mathematics is present everywhere. However, uncovering the relevance of Mathematics requires, from the teachers, a special kind of knowledge. This study tries to characterize the knowledge used by pre-service teachers when developing a mathematical task intending to promote the students’ exploration of barcodes. The study adopts a qualitative and interpretative methodology and the data were collected using class observation and interviews. The analysis is guided by the Application and Pedagogical Content Knowledge, a model inspired on TPACK (from Mishra and Koehler) and MKT (from Ball and colleagues). The conclusions point to some difficulties to see the potential of the situation to promote mathematical learning. The knowledge on the mathematical content seems to be dominant on the options assumed and operated in a rigid way that prevent the pre-service teachers from exploring the richness of the situation on the tasks they developed.

This volume focuses on the collection of waste and waste streams as an integral aspect of sustainable waste management. The authors take economic models and behavioral studies into account to go beyond just descriptions of waste collections technologies and collection route design. Models and tools for sustainable waste collection are described in detail, and the authors provide a comprehensive, integrated methodology to design waste collection systems that reduce environmental impacts, are economically viable, and achieve buy-in and participation from target populations.
Part I of the book provides fundamentals and context on waste hierarchy, including waste prevention, reduction and reuse, waste collection itself, and steps such as preparation for recycling, recycling, treatment, and landfilling. Background in environmental, social, and economic concerns surrounding waste collection is also provided here. Part II addresses tools for design, operation, and maintenance of waste collection systems. Part III focuses on how the tools presented in Part II can be used to support sustainability assessments and decisions that consider the entire life cycle of waste and the role of waste collection programs in waste prevention, reduction, reuse, recycling, treatment, and disposal. Part IV addresses the challenges of developing sustainable waste management systems and addresses the role of waste collection in sustainable waste management in the future.