Difference between revisions 359019 and 359021 on frwikiversity

< previous diff
Outils logiques utilisés en mécanique quantique
{{Leçon
  | idfaculté   = physique
  | département = Logique quantique 
  | 1           = {{C|Introduction|0|15}}
  | 2           = {{C|Grammaire des prédicats|0|15}}
  | 3           = {{C|Déduction naturelle dans les logiques chrysippienne|0|15}}
  | 4           = {{C|Autres formulations des principes de la logique du premier ordre|0|15}}
  | 5           = {{C|Logiques d'ordre supérieur|0|15}}
  | 6           = {{C|Théorie des modèles|0|15}}
  | 7           = {{C|Définitions|0|15}}
  | 8           = {{C|Égalité|0|15}}
  | 9           = {{C|Complétude de la logique du premier ordre|0|15}}
  | 10          = {{C|Logiques  à trois valeurs|3|15}}
  | 11          = {{C|lLes Llogiques quantiques et les formalismes due Bourbaki des mathématiques|30|15}}
  | exo1        = {{Exo|Forme Normale Disjonctive|0|15}}
  | exo2        = {{Exo|Forme Normale Conjonctive|0|15}}
  | exo3        = {{Exo|Méthode de Quine|0|15}}
  | exo4        = {{Exo|Cohérence et formes causales|0|15}}
  | exo5        = {{Exo|Méthode des tableaux|0|15}}
  | exo6        = {{Exo|Calcul naturel|0|15}}
  | exo7        = {{Exo|Calcul intuitionniste|0|15}}
  | niveau      = 15
}}