Catégorie
Théorie de la calculabilité
Séances de cours associées (62)
Fonctions récursives en C++
Couvre les principes et la mise en œuvre des fonctions récursives en C++.
Fondements de l'apprentissage profond: Aperçu de l'architecture transformatrice
Couvre les concepts fondamentaux de l'apprentissage profond et de l'architecture Transformer, en se concentrant sur les réseaux neuronaux, les mécanismes d'attention et leurs applications dans les tâches de modélisation de séquence.
Problème de registre discret : la méthode Rho de Pollard
Introduit la méthode rho de Pollard pour le problème de log discret et trouver des collisions efficacement dans un groupe cyclique.
Symmétrie en géométrie moderne
Déplacez-vous dans la géométrie moderne, couvrant les transformations, les isométries et les symétries.
Stage pratique d'usinage
Introduit un stage pratique d'usinage pour les étudiants de deuxième année en micro-ingénierie.
Bifurcations: Bifurcation par pliage
Couvre le concept de bifurcation par pliage dans les systèmes dynamiques, en mettant l'accent sur le comportement en mode selle.
Analyse de la convergence: système RK explicite
Explore l'analyse de convergence du système Explicite Runge-Kutta pour des solutions numériques précises.
Récursion et induction : comprendre les preuves mathématiques
Explore la récursion et l'induction pour les preuves mathématiques à travers des algorithmes et des fonctions récursifs.
Sémantique opérationnelle : Amyli Language
Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.
Discussion théorique: Analyse des degrés de liberté et méthodes de résolution
Discute de l'analyse des degrés de liberté et des méthodes de résolution dans les schémas de conversion d'énergie.