Séances de cours associées à Opacité

Complexité computationnelle

Couvre les bases de la complexité computationnelle, y compris les grandes classes de notation O et de complexité.

Expressions régulières : Fondements et applications

Introduit des expressions régulières, couvrant les ensembles de langage, la syntaxe, la sémantique et les limitations.

Complexité computationnelle: Théorie et applications

Explore la complexité computationnelle, l'exhaustivité du NP et les réductions polynômes de l'informatique théorique.

Turing Machines: Langues récursives

Explore les machines Turing, les langages récursifs, et la décidabilité dans la théorie du calcul.

Comportement des plaques circulaires: pliage pur et déplacement

Explore le comportement d'une plaque circulaire sous charge distribuée, en se concentrant sur des scénarios de flexion et de déplacement purs.

Travaux, énergie potentielle et travaux virtuels

Explore le travail, l'énergie potentielle et le travail virtuel dans la statique et la dynamique, en mettant l'accent sur les états d'équilibre et la stabilité.

Travail virtuel II : Forces conservatrices et équilibre

Explore le travail virtuel, les forces conservatrices, l'équilibre et les charges internes dans les structures.

Problèmes et langues : Langues régulières

Couvre les langues régulières, l'encodage, les alphabets, les mots, les langues, la concaténation, l'exponentiation et la fermeture itérative.

Kirchhoff Rods: Équilibre Équations et Kinématique

Couvre les équations cinématiques et d'équilibre des tiges de Kirchhoff, en discutant du couplage géométrique entre la flexion et la torsion.

Turing Machines: Langues récursives

Explore les machines Turing, les langages récursifs, l'indécidabilité et l'élimination des symboles.

Stack Automata: Définition formelle

Couvre la définition formelle et les propriétés des automates de pile.

Automate déterministe de pushdown

Couvre les automates de poussée déterministes et leur utilisation dans la reconnaissance des langues.

Structures déformables I: Introduction

Introduit le calcul des déformations dans les structures en combinant les étriers et les membres rigides, mettant l'accent sur les diagrammes d'équilibre et de déplacement.

Beam Brending II: Forces internes, Courbure et Stiffness

Couvre des sujets avancés en flexion de faisceau, tenseurs de contrainte, élasticité, et la microscopie de Force atomique.

Réflexion sur les surfaces métalliques et les constantes optiques des métaux

Explore la réflexion sur les surfaces métalliques et les constantes optiques des métaux.

Courroie de faisceau et boucle

Explore la flexion du faisceau, la distribution du moment, et le flambage dans la mécanique structurelle.