Search Log in FR EN

LogiquePrincipes de la programmation (STI)

FISEFISA STI Semester 5 Common Core Machine translation

Logic

Teaching unit Programming Principles · S05T_INF1  |  EC Code S05T_INF1-5
12ECTS (EU)
1Coefficient
21:20Hours

Séquencement

C TD C TD C TD C TD C TD C TP TP TP TP TP

Learning objectives

  • To acquire basic knowledge in classical logic, first order logic and modal logic.
  • Formalize a problem using formal language

Prerequisites

  • Basic knowledge of digital electronics is desirable

Program

  1. Proposalual classical logic: axiomatization, Hilbert proof system and sequence calculation
  2. First order logic: axiomatization and semantics
  3. Normal modal logic: axiomatization and semantics

Assessment

  • Group project: choosing a problem and formalising it using an ongoing logic
  • Monitoring

References

  • The OPEN LOGIC TEXT: http://builds.openlogicproject.org/open-logic-complete.pdf
  • Proposing logic and logic of the first order: Logic Mathematics, Volume 1, by Cori and Lascar
  • Proposing logic and logic of the first order: Logic as a Tool, Goranko
  • Modal logic : Modal Logic, Blackburn, de Rijke, Venema
  • Epistemic logic : Reasoning About Knowledge, Fagin, Halpern, Moses, Vardi

Skills

1
Ref.VerbDescriptionLevel
C1_4describea problem using a formal language3