Skip to main content
KBS_Icon_questionmark link-ico
Study Abroad at King’s
Study

Go to…

Elementary Logic With Applications

Key information

  • Module code:

    4CCS1ELA

  • Level:

    4

  • Semester:

      Autumn

  • Credit value:

    15

Module description

This course provides an introduction to the essential mathematics that underlies computer programming; propositional logic, predicate logic, proof methods, and induction; an introduction to the application of logic and proof issues in programming.

On successful completion of this module, students will:

Be able to:

  • Demonstrate a knowledge and understanding of propositional logic and predicate logic as languages for abstract specification
  • Construct proofs of mathematical properties by creatively applying a variety of proof methods
  • Apply knowledge and understanding of logic to represent requirements in programming
  • Use proof methods to prove properties of programs
  • Exhibit general skills in applying mathematical notation

Syllabus

An indication of the types of topics:

  • Introduction to propositional logic
  • Syntactical transformations
  • Semantical notions 
  • Checking the validity of argument
  • Natural deduction
  • Propositional logic programming 
  • Introduction to predicate logic
  • Semantics of predicate logic
  • Predicate logic programming
  • Predicate natural deduction 

Assessment details

Please note: The below assessment details for the 2024/25 academic year may be updated. The confirmed details will be available on the Student Handbook and on the module KEATS page at the beginning of the semester.

  • 100% Examination 

Subject areas

Department

Module description disclaimer

King’s College London reviews the modules offered on a regular basis to provide up-to-date, innovative and relevant programmes of study. Therefore, modules offered may change. We suggest you keep an eye on the course finder on our website for updates.

Please note that modules with a practical component will be capped due to educational requirements, which may mean that we cannot guarantee a place to all students who elect to study this module.

Please note that the module descriptions above are related to the current academic year and are subject to change.