Skip to main content
KBS_Icon_questionmark link-ico

Foundations of Computing 1

Key information

  • Module code:

    4CCS1FC1

  • Level:

    4

  • Semester:

      Autumn

  • Credit value:

    15

Module description

Aims and Learning Outcomes

To introduce the basic concepts of discrete mathematics that are needed for the study of computer science.

On successful completion of this module, students will:

Be able to:

  • Work with sets, relations, functions, recursive structures, graphs, trees, basic combinatorial principles, discrete probability, finite automata and regular languages. Students should understand the role of these tools in modelling and be able to deploy them in some basic modelling tasks.

Syllabus

An indication of the type of topics

  • Introduction to propositional logic and proofs
  • Sets
  • Relations
  • Functions
  • Basic combinatorial principles
  • Discrete probability
  • Graphs
  • Trees
  • Finite automata
  • Regular languages

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

Semester 1 only study abroad students will be required to take this exam in an alternative assessment format in the January exam period.

Full year study abroad students will be required to take this exam in person in January.

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.