Difference between revisions 314047 and 359019 on frwikiversity

< previous diff
next diff >
Outils logiques utilisés en mécanique quantique
{{ébauche physique}}⏎
⏎
{{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|les Logique quantiques et les formalismes du Bourbaki des mathématiques|3|?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
}}