Overall objectives:

1 - Acquiring mathematical knowledge and reasoning required to understand the curriculum guidelines for teaching mathematics in the 1st cycle.
2 - Acquire a taste for discovery and innovation in teaching and learning of mathematics.
3 - Develop skills of observation, reflection and communication, and habits of research, selection and organization of information.
4 - Developing autonomy and ability to work in cooperation and encourage future teachers to take in their professional future, the of prospect permanent training and development.

Syllabus:

1 - Functions
2 - Logic
3 - Graphs
4 - Problem Solving

Literature/Sources:

A.G. Hamilton , 1988 , Logic for Mathematicians , Cambridge University Press
F. Sequeira , 1998 , Análise Matemática , Litexa, Portugal
M. Fitting , 1996 , First-Order Logic and Automated Theorem Proving , Springer
P. Palhares , 2004 , Elementos de Matemática para Professores do Ensino Básico , Lidel

Assesssment methods and criteria:

Classification Type: Quantitativa (0-20)

Evaluation Methodology:
In this course we value the work within the classroom activities in groups and individually. The driving school is guided by a concern to foster interactions among participants and encourage their involvement and initiative, focusing on the questioning and questioning on matters or issues under consideration. The aim is thus to create conditions for a formative evaluation of activities undertaken with the intention of regulating the development of learning for the purposes and objectives of the discipline point. The final classification of each future educator / teacher will be obtained taking into account all activities, particularly as regards the participation of these same activities and presentations and discussions. During the semester, the assessment provides three tests (90%) without consultation and work (10%). At the time complement, or may be recovered to improve the grade obtained from any of the writing test.