ECTS - Escola Superior de Educação
Degree: Basic Education
Course: Language, Logics and Communication
Academic Year: 2012/2013
Number of Credits (ECTS): 5.0
Theoretical and Practical Contact Hours:
30.0 h
Pratical hours: 30.0 h
Academic year: 1
Semester: Semester
Attendance regime: Mandatory
Course Responsible Teacher: Doutora Angela Couto
Skills:
Applying the formal languages in constructing models of interpretation of reality. Using deductive and inductive reasoning in
understanding of mathematical concepts. Supporting conjectures, reasonings and conclusions on criteria for validity and
consistency.
Contents:
1.Language and logic thinking:Types of language; Relationship between the Portuguese and mathematics;Types of expressions
used in mathematics. 2.Predicate logic. 3.Construction of Propositional Language:Portuguese translation of
Mathematics;Interpretation of formulas of Propositional Language;Truth tables of different logical operators;Logic equivalence:
definition and properties;Logic implication: definition and properties;Valid arguments;Solving charades. 4.Logic sets:Propositional
expression and solution sets;Operations on Sets. 5.Relationship between logic and predicate Logic. 6.Quantifiers. 7.Binary
relations: Equivalence relation: properties, structure that produces on a set and action that produces in structure;Order list:
properties, structure that produces on a set and action that produces in structure;Particular cases: properties and applications;
Other binary relations:General characteristics. 8.Formal demonstration:General principles of axiomatic; Analysis of specific cases.
Skills:
The methodologies are diverse, seeking to establish dialectic between the scientific information provided in the theoretical-practical
lessons and the applicability of knowledge and concepts acquired which will then be studied in Pl classes, trying to always check if
the student establishes the mathematical connections required in the CU.
Assessment:
The evaluation will be done by conducting two individual partial tests (T1 and T2), with minimum mark of 6.5. The student will pass
if the average [M = (T1 + T2) / 2] of the partial tests is >= 9,5 out of 20.
the 1st part assesses the contents of the T1 and 2nd one the contents of the T2. They may choose to take only one of these test
parts. This should be the one corresponding to the partial test with the lowest grade which will substitute the corresponding partial
test Final examination: The final examination will be a written test.
References:
Baruk, S. (2005). Dicionário de Matemática Elementar. Porto: Afrontamento; Caraça, B. J. (2000). Conceitos Fundamentais da
Matemática. Lisboa: Editora Gradiva; Devlin, K. (2003). Info-senso: como transformar a informação em conhecimento. Lisboa:
Livros do Brasil; Devlin, K. (1999). Adeus Descartes: o fim da lógica e a procura de uma cosmologia do pensamento. Sintra:
Publicações Europa-América; Ma, L. (2009). Saber e Ensinar Matemática Elementar. Lisboa: SPM, Gradiva; Palhares, P. (Ed.)
(2004). Elementos de Matemática para Professores do Ensino Básico. Lisboa: Lidel; Silva, J. S. (1975). Compêndio de Matemática,
1. Lisboa: Gabinete de Estudos e Planeamento do Ministério da Educação e Cultura; Smith, K. (1998). Truques de Lógica
Matemática. Lisboa: Editora Replicação; Vogotsky, L. S. (2007). Pensamento e Linguagem, I. Lisboa: Relógio d'Água.
Notices:
Doutora Angela Couto
Porto, 1 de Outubro de 2012