Difference between revisions 311841 and 311842 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ématiques
  | département = Fondements logiques et ensemblistesLogiques quantiques et formalisation du Bourbaki des mathématiques
  | 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|?}}
  | 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]]