Derniers contenus

Toute la déduction naturelle a été vue en logique du premier ordre. Cependant, les constructions d'arbre de preuve en logique du premier ordre sont un peu trop récentes, on évitera d'en proposer en premier exercice de colle.

Il est cependant envisageable de donner des exercices simples autour de la syntaxe des formules du premier ordre, et il est toujours possible de donner des exercices de construction d'arbre de preuve ou de démonstration de règles en logique propositionnelle, ainsi que sur la sémantique de la logique propositionnelle.

La sémantique de la logique du premier ordre n'est pas au programme.

Encore de la diffusion thermique

Toute la chimie : acides et bases, dosages, oxydo-réduction et piles. Relation de Nernst et constante d'équilibre

Optique ondulatoire : tout, y compris Michelson

Electrostatique: charges discrètes (champ électrique, potentiel), dipôle électrique. Formalisme des champs : circulation, flux, divergence et rotationnel. Tubes et lignes de champ.

Interféromètre de Michelson.

Electrostatique : tout

Optique ondulatoire : trous d'Young TOUT

Interféromètre de Michelson

Toute la chimie (acides et bases, oxydo-réduction)

Révisions d'optique de première année : Snell-Descartes (réflexion totale, fibre optique), lentilles (constructions, formules de conjugaison/grandissement), lunette.

Ondes lumineuses : chemin optique, théorème de Malus, interférences et formule de Fresnel.

Toute la déduction naturelle a été vue en logique propositionnelle. On peut donc s'attendre à des exercices demandant des constructions d'arbre de preuve ; des inductions sur les arbres de preuve afin de montrer des propriétés de la forme "pour tout séquent démontrable, on a..." ; et évidemment, des exercices de logique plus généraux, autour de la syntaxe et de la sémantique des formules propositionnelles.

Il est rappelé que :

- la différence entre logique minimale, logique intuitionniste, et logique classique n'est pas au programme. Pour ce que vous en savez, le seul système que vous utiliserez est la déduction naturelle en logique classique (qui est un système correct, et complet)

- les règles de déduction ne sont pas à connaître par coeur et doivent être rappelées si vous en avez besoin. Mais il faut évidemment savoir les utiliser.

- le système qui vous est fourni peut contenir la règle de raisonnement par l'absurde, mais il pourrait contenir à la place la règle du tiers exclu, l'élimination de la double négation, ou la règle de la contraposée (comme on l'a vu dans l'exercice 12 du TD, le système obtenu est alors équivalent à celui du cours, et certains ouvrages utilisent ces versions alternatives, notamment avec le tiers exclu).

Diffusion et rayonnement thermiques

Révisions de thermodynamique de première année

Chimie : quantité de matière, équation-bilan, avancement molaire et volumique, quotient de réaction, constante d'équilibre. Détermination d'un état final

Acides et bases: définitions, diagrammes de prédominance/distribution