• Your selection is empty.

    Register the diplomas, courses or lessons of your choice.

Logic and proof

  • School / Prep

    ENSEIRB-MATMECA

Internal code

EIN5-IFON3

Description

The course covers the usual proof techniques in computer science, and logic as a formal framework for reasoning.

  1. Proofing techniques
  2. Logic
  3. Bel ordre
  4. Induction
  5. State machines and invariants
  6. Program specification and proof
Read more

Teaching hours

  • CMLectures10,66h
  • TDTutorial14h
  • TIIndividual work10h

Mandatory prerequisites

Bibliography

Mathematics for computer science, Lehman, Thomson Leighton and Meyer

 

Read more

Assessment of knowledge

Initial assessment / Main session - Tests

Type of assessmentType of testDuration (in minutes)Number of testsTest coefficientEliminatory mark in the testRemarks
Final inspectionWritten12011

Second chance / Catch-up session - Tests

Type of assessmentType of testDuration (in minutes)Number of testsTest coefficientEliminatory mark in the testRemarks
Final testWritten12011