Elements of mathematics and logic for computer program analysis - CEL - Cours en ligne Access content directly
Lectures Year : 2013

Elements of mathematics and logic for computer program analysis

Frédéric Blanqui

Abstract

In order to be able to rigorously prove the correctness of a program, one must have a formal definition of: what is a program, syntactically; how it is evaluated, that is, what is its semantics; how to formulate the properties we are interested in; and how to prove them. All this requires to understand some basic mathematical notions like induction, terms, formulas, deduction, etc. These notes are intended to give an introduction to some of these notions.
Fichier principal
Vignette du fichier
main.pdf (364.03 Ko) Télécharger le fichier
exam.pdf (51.14 Ko) Télécharger le fichier
examsol.pdf (70.28 Ko) Télécharger le fichier
iami13poster.pdf (475.08 Ko) Télécharger le fichier
Format : Other
Loading...

Dates and versions

cel-00934160 , version 1 (21-01-2014)

Identifiers

  • HAL Id : cel-00934160 , version 1

Cite

Frédéric Blanqui. Elements of mathematics and logic for computer program analysis. Master. Institute of Applied Mechanics and Informatics (IAMA) of the Vietnamese Academy of Sciences and Technology (VAST) at Ho Chi Minh City, Vietnam, 2013, pp.37. ⟨cel-00934160⟩
661 View
731 Download

Share

Gmail Facebook X LinkedIn More