You need to activate javascript for this site.
Menu Conteúdo Rodapé
  1. Home
  2. Courses
  3. Mathematics and Applications
  4. Computacional Logic

Computacional Logic

Code 14775
Year 3
Semester S2
ECTS Credits 6
Workload PL(30H)/T(30H)
Scientific area Informatics
Entry requirements N.A.
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 1- Contextual and Historical Presentation of Logic
2- Symbolic Computing: Introduction to Functional Programming
3- Inductive Sets, Structural and Well-founded Induction
4- Propositional Logic
4.1- Syntax:
4.2- Semantics:
4.3- Semantic system: algorithms for SAT resolution
4.4- Semantic system: resolution
4.5- Deductive system: natural deduction
5- First Order Logic
5.1- Syntax
5.2- Semantics:
5.2.1- Valuation and structure of interpretation: relationship of satisfaction
5.2.2- Validity and logical consequence
5.2.3- Equivalence and equational reasoning
5.3- Semantic systems: SMT
5.3.1- DPLL Method and Algorithm
5.3.2- First Order Theories
5.3.3- Combination of theories
5.4- Deductive system: resolution
5.5- Deductive system: natural deduction
6- 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.
Last updated on: 2020-06-16

The cookies used in this website do not collect personal information that helps to identify you. By continuing you agree to the cookie policy.