University:

Email Address:

Phone Number:

Log Out View Passbook

Logic Engineering & Social Sciences Program Spring 2023 Semester - Madrid

Flight Credit Get a Flight Credit worth up to $350 when you apply with code* by May 6, 2024

Get Your Code
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

Receive a $350 Flight Credit when you apply by May 06, 2024

Get your flight credit code and access to Passbook in two easy steps. With Passbook, you can track your favorite programs and courses, save flight credits, and watch videos on the destination you're interested in.

Apply Now

Step 1 of 2

Next Step

Step 2 of 2

Submit

Back

*By providing your mobile number, you agree to receive recurring text messages from CEA CAPA Education Abroad notifying you of important program deadlines. Message and data rates may apply.

Privacy Policy   |   Mobile Terms   |   Flight Credit Rules

Your flight credit has been added to your Passbook. Apply now or view your Passbook to begin the next step in your journey.

Passbook Apply Now

Speak with an
Admissions Advisor

Schedule an appointment to speak with a study abroad expert.

Book Appointment
LET'S CHAT