Défiler vers le haut

La correspondance preuves-programmes

Nov. 14, 2022
01:43:52
Number of views 31
Addition in a playlist 0
Number of favorites 0

Nous exposons ici les grandes lignes de la correspondance preuves-programmes, qui montre un parallélisme entre logique et informatique.

Tags: informatique logique

  • Added by: Baptiste Mélès
  • Updated on: Nov. 15, 2022, 5:37 p.m.
  • Type: Cours - Formations
  • Main language: French
  • Audience: Master’s Degree
  • Discipline(s):