Machines de Turing

56 Fragen

Fonctions calculables

24 Fragen

Langages formels

57 Fragen

Problèmes indécidables

51 Fragen

Degrés de Turing

51 Fragen

Complexité algorithmique

53 Fragen

Calcul propositionnel

57 Fragen

Calcul des prédicats

45 Fragen

Théorèmes de complétude et de compacité

58 Fragen

Ensembles, relations, fonctions

50 Fragen

Nombres cardinaux et ordinaux

57 Fragen

Axiome du choix

52 Fragen