Fondements de l'Informatique: Logique, modèles, calculs

CSC_41012_EP

INF 412







Recent Changes- Printable Version - Search:



 

Plus à propos des sujets de ce cours.

Machines de Turing.

Incomplétude et théorèmes de Gödel

Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on November 09, 2020, at 09:53 PM