Claim up to $1,000 in flight credits!
Get up to $1,000 in flight credits or grants toward study or internship programs abroad when you apply by September 12, 2024. See our Official Rules for full details.
Logic
Engineering & Social Sciences Program
Madrid, Spain
Dates: 1/18/24 - 6/5/24
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