Derniers contenus

Interféromètre de Michelson : les deux configurations

Electrostatique : charges, champ électrique, potentiel scalaire V, gradient, circulation. Densités de charges, théorème de Gauss, exemples classiques, condensateur plan, analogie gravitationnelle

Optique ondulatoire : TOUT

Mécanique quantique

Mécanique quantique

Propagation dans un plasma

Rayonnement dipolaire

Champs aux interfaces : réflexion sur un métal, modes de cavité 1D, interface entre deux milieux

Ondes électromagnétiques dans le vide

Propagation dans un plasma

Maxwell, énergie électromagnétique.

Ondes sur une ligne à constantes réparties

Ondes électromagnétiques dans le vide

Induction de première année.

Equations de Maxwell : les équations, les théorèmes intégraux associés, l'approximation ARQS magnétique

Energie électromagnétique : densités d'énergie, identité de Poynting

Magnétostatique : tout

Révisions d'induction de première année.

Electrostatique : tout

Courants électriques : modèle de Drude, loi d'Ohm locale, résistance d'un tronçon de fil. Intensité électrique et flux de j.

Magnétostatique : théorème d'Ampère et exemples classiques.

Optique ondulatoire : trous d'Young TOUT (y compris sources larges et spectre élargi )

Interféromètre de Michelson : constitution de l'appareil, construction des rayons. Montage en lame d'air et en coin d'air. Différence de marche dans chaque cas. Franges d'égale inclinaison et franges d'égale épaisseur.

Trous d'Young. Fresnel. Spectre d'une source. Delta from/to et décalage des franges.

Tout le chapitre de calculabilité est au programme comme la semaine dernière. Le chapitre 7 a commencé, mais seuls de rappels de retour sur trace (backtracking) ont été faits pour l'instant ; la méthode de séparation et évaluation (branch and bound) a à peine été abordée et sera gardée pour la semaine prochaine.

Tout le chapitre de calculabilité est au programme. On pourra donner des exercices autour de l'appartenance à la classe P, l'appartenance à la classe NP, les réduction polynomiales, et la NP-dureté et NP-complétude de problèmes de décision.

Le théorème de Cook-Levin (SAT est NP-complet) est à connaître, et on rappelle qu'il est admis ; de même que pour les exercices de décidabilité, il est attendu de savoir que le problème de l'arrêt est indécidable. Il n'est pas attendu de connaître une liste de problèmes indécidables ou NP-complets à l'avance, mais il est bon de savoir que de nombreuses variantes de SAT (CNF-SAT, et les $k$-SAT pour $k \geq 3$) sont NP-complètes (attention, $2$-SAT est dans P).

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. Spectre des sources et cohérence

Toute la déduction naturelle ayant été vue, il est envisageable de donner des exercices de construction d'arbre de preuve en logique propositionnelle ou en logique du premier ordre. D'autres exercices sont envisageables, utilisant la sémantique de la logique propositionnelle (celle du premier ordre n'est pas au programme).

Le chapitre de calculabilité a été commencé, la notion de problème décidable, indécidable, et de réduction a été traitée au travers de quelques exercices simples. On pourra donner des exercices autour la décidabilité ou l'indécidabilité de divers problèmes. (La semi-décidabilité n'est pas au programme, et on gardera les classes P, NP, et la NP-complétude pour plus tard.)

Encore de la diffusion thermique

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

Un peu de révisions d'optique géométrique de première année (pour ceux qui ont colle en fin de semaine)

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.