Claim up to $500 in flight credits!
Get up to $500 in flight credits or grants toward study or internship programs abroad when you apply by January 01, 2025. See our Official Rules for full details.
Logic
Engineering & Social Sciences Program
Madrid, Spain
Dates: mid Jan 2026 - early Jun 2026
Logic
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
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