Logic

Engineering & Social Sciences Program
Madrid, Spain

Dates: 1/16/25 - 6/4/25

Engineering & Social Sciences

Logic

Logic Course Overview

OVERVIEW

CEA CAPA Partner Institution: Universidad Carlos III de Madrid
Location: Madrid, Spain
Primary Subject Area: Computer Engineering
Instruction in: English
Course Code: 15970
Transcript Source: Partner Institution
Course Details: Level 100
Recommended Semester Credits: 3
Contact Hours: 42

DESCRIPTION

1- Introduction to formal systems
Calculus. Definition
Consideration on calculi

2- Representation and syntax in propositional calculus
Introduction to propositional calculus
Syntax

3- Proof theory in propositional calculus. Kleene¿s algebra
Introduction to Kleene¿s algebra
Proof and deduction
Proof with assumptions

4- Representation and syntax in predicate logic
Introduction to predicate calculus
Syntax

5- Proof theory in predicate calculus. Kleene¿s algebra
Introduction to Kleene¿s algebra
Proof and deduction

6- Semantic theory for propositional and predicate calculi
Semantic theory for propositional calculus
Semantic theory for predicate calculus (I)

7- Resolution method
Prenex normal form
Skolem normal form
Resolution method

8- Computational logic and applications
Horn clause and chaining methods
Introduction to Prolog


Get a Flight Credit worth up to $750 when you apply with code* by October 17, 2024