Difference between revisions 311871 and 311979 on frwikiversity

< previous diff
next diff >
Outils logiques utilisés en mécanique quantique
'''Outils logiques utilisés en mécanique quantique'''

*[[Logique (mathématiques)]]⏎
{{Leçon
  | idfaculté   = mathématPhysiques
  | département = - Logique quantique 
  | 1           = {{C|Introduction|0|?}}
  | 2           = {{C|Grammaire des prédicats|0|?}}
  | 3           = {{C|Déduction naturelle dans les logiques chrysippienne|0|?}}
  | 4           = {{C|Autres formulations des principes de la logique du premier ordre|0|?}}
  | 5           = {{C|Logiques d'ordre supérieur|0|?}}
      | 6           = {{C|Théorie des modèles|0|?}}
  | 7           = {{C|Définitions|0|?}}
  | 8           = {{C|Égalité|0|?}}
  | 9           = {{C|Complétude de la logique du premier ordre|0|?}}
  | 10           = {{C|Logiques  à trois valeurs|3|?}}
  | 11           = {{C|les Logique quantiques et les formalismes du Bourbaki des mathématiques|3|nouvelle leçons}}-- ?}}
  | exo1        = {{Exo|Forme Normale Disjonctive|0|?}}
  | exo2        = {{Exo|Forme Normale Conjonctive|0|?}}
  | exo3        = {{Exo|Méthode de Quine|0|?}}
  | exo4        = {{Exo|Cohérence et formes causales|0|?}}
  | exo5        = {{Exo|Méthode des tableaux|0|?}}
  | exo6        = {{Exo|Calcul naturel|0|?}}
  | exo7        = {{Exo|Calcul intuitionniste|0|?}}
  | niveau      = 15
}}⏎
⏎
[[es:Lógica matemática]]
[[en:Mathematical logic]]

[[Catégorie:Logique (mathématiques)]]
[[Catégorie:logique quantique]]