Skip to main content

CS262 - Logic and Verification

  • Module code: CS262
  • Module name: Logic and Verification
  • Department: Computer Science
  • Credit: 15

Content and teaching | Assessment | Availability

Module content and teaching

Module assessment

Assessment group Assessment name Percentage
15 CATS (Module code: CS262-15)
D1 (Assessed/examined work) Class test 10%
  Practical Coursework 15%
  2 hour examination (Summer) 75%

Module availability

This module is available on the following courses:

Core
  • Undergraduate Computer Science (G500) - Year 2
  • Undergraduate Computer Science MEng (G503) - Year 2
  • Undergraduate Computer and Management Sciences (G5N1) - Year 2
Optional Core

N/A

Optional
  • Undergraduate Mathematics (BSc) (G100) - Year 2
  • Undergraduate Mathematics with Intercalated Year (G101) - Year 2
  • Undergraduate Mathematics (MMath) (G103) - Year 2
  • Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 2
  • Undergraduate Mathematics (MMath) with Study in Europe (G106) - Year 2
  • Undergraduate Mathematics and Statistics (BSc MMathStat) (G1G3) - Year 2
  • Undergraduate Mathematics and Business Studies (with Intercalated Year) (G1N2) - Year 2
  • Undergraduate Mathematics and Business Studies (G1NC) - Year 2
  • Undergraduate Master of Mathematics,Operational Research,Statistics and Economics (G300) - Year 2
  • Undergraduate Discrete Mathematics (G4G1) - Year 2
  • Undergraduate Discrete Mathematics (G4G3) - Year 2
  • Undergraduate Mathematics and Statistics (BSc) (GG14) - Year 2
  • Undergraduate Mathematics and Economics (GL11) - Year 2
  • Undergraduate Mathematics and Economics (with Intercalated Year) (GL12) - Year 2
  • Undergraduate Mathematics,Operational Research,Statistics and Economics (Y602) - Year 2