Computational Logic

Code	11555
Year	2
Semester	S1
ECTS Credits	6
Workload	PL(30H)/T(30H)
Scientific area	Informatics
Entry requirements	N/A
Mode of delivery	Face to face
Work placements	Not applicable.
Learning outcomes	This course presents the main concepts of Logic, in its computational aspect, i.e. through algorithms and computational techniques that allows its use in the field of Computer Engineering. Course Competencies and Learning Outcomes: It is intended that the student learn the basics of logical reasoning and can use the deductive systems correctly; Understand the relations between the semantics and the deductive systems and their characterization from the point of view of decidibility; Recognize the role of formal systems in the various areas of Computer Engineering.
Syllabus	Contextual and Historical Presentation of Logic Inductive Sets, Structural and Well-Founded Induction Propositional Logic, Syntax, Semantics and Algorithms First-order logic, syntax, semantics and algorithms Extensions to Predicate Logic
Main Bibliography	[1] Mordechai Ben-Ari. Mathematical Logic for Computer Science. SV, 2nd edition, 2001. [2] Jon Barwise and John Etchmendy. Language, Proof, and Logic. CSLI, 2000. [3] Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and reasoning about systems. CUP, 2004. [4] J.B. Almeida, M.J. Frade, J.S. Pinto, and S. Melo de Sousa. Rigorous Software Development, An Introduction to Program Verification, volume 103 of Undergraduate Topics in Computer Science. Springer-Verlag, first edition, 307 p. 52 illus. edition, 2011. [5] D. van Dalen. Logic and Structure. 5th Edition, Springer Verlag, Berlin, Germany, 2013
Language	Portuguese. Tutorial support is available in English.