School of Computer Science BCS accreditation 2021 - 2026
[Home]
Computer Science and Maths wIE BSc (Hons) - COMP21111 Logic and Modelling
Return to programme overview.
2.1.1 Knowledge and understanding of facts, concepts, principles & theories
This course teaches foundations of logic (propositional, QBF, LTL) with focus on reasoning algorithms (DPLL, tableaux, OBDDs) and applications to modelling and verification of state transition systems.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
2.1.2 Use of such knowledge in modelling and design
The course teaches modelling, design and verification of computational systems, in particular state transition systems.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
2.1.3 Problem solving strategies
Students solve a wide range of problems in weekly assessed exercises.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
2.1.4 Analyse if/how a system meets current and future requirements
Specification and verification of systems is a large part of this course unit.
Assesement : Individual coursework
Assesement : Individual coursework
2.1.5 Deploy theory in design, implementation and evaluation of systems
In this course, theoretical aspects are linked to practical reasoning and verification algorithms.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
2.1.7 Knowledge and understanding of commercial and economic issues
This is addressed by discussing the importance of verified systems in safety-critical applications and how software and hardware bugs can adversely affect economy and companies.
Assesement : Not Assessed
Assesement : Not Assessed
2.1.9 Knowledge of information security issues
Security is briefly mentioned in relation to verification.
Assesement : Not Assessed
Assesement : Not Assessed
2.2.1 Specify, design or construct computer-based systems
Specification and verification of systems is part of this course unit.
Assesement : Individual coursework
Assesement : Individual coursework
2.2.2 Evaluate systems in terms of quality and trade-offs
Trade-offs of different reasoning algorithms are discussed
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
2.2.3 Recognise risk/safety for safe operation of computing equipment
This is addressed as a part of specification and verification of safety properties.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
2.3.2 Development of general transferable skills
Students are expected to solve a wide range of problems via weekly assessed exercises and clearly explain solutions in writing. Students are encouraged to participate in discussions during lectures and labs.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
3.1.2 Methods, techniques and tools for information modelling, management and security
Logic-based modelling is central to this course.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
3.1.3 Knowledge of systems architecture
Students learn algorithms behind state-of-the-art reasoning methods.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
3.1.4 Knowledge and understanding of mathematical and/or statistical principles
The course teaches mathematical aspects behind logical methods: syntax and semantics of propositional logic, QBF, logic of finite domains and LTL; formal reasoning methods and methods for formal verification.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
3.2.1 Specify, deploy, verify and maintain information systems
Methods for specification, verification and reasoning are at the core of the course.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
3.2.3 System Design
The students are encouraged to design and implement a reasoning system based on algorithms presented in the lectures.
Assesement : Not Assessed
Assesement : Not Assessed
4.1.1 Knowledge and understanding of scientific and engineering principles
This is addressed by exposing students to different reasoning algorithms.
Assesement : Not Assessed
Assesement : Not Assessed
4.1.2 Knowledge and understanding of mathematical principles
The course is based on mathematical logic and teaches fundamental mathematical principles of formal reasoning and correctness.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
4.1.3 Knowledge and understanding of computational modelling
Logic-based modelling is central to this course.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
4.2.1 Specify, deploy, verify and maintain computer-based systems
Specification and verification of systems are a large part of this course.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework