View All Countries
View All Cities
Featured Programs
Experiential Learning Opportunities
View All Academic Disciplines
View All Career Fields
View All Experiential Learning

Before You Go Abroad

While You're Abroad

After You Return

Login to our University Portal

Logic

Engineering & Social Sciences Program
Madrid, Spain

Dates: mid Jan 2026 - early Jun 2026

Apply Now
Engineering & Social Sciences
BACK TO COURSE LISTINGS

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 $1,000 when you apply with code* by January 1, 2025

Get Your Code