- Wednesday
- April 2nd, 2025
- Ajouter un cours

Les algorithmes top-k dans un contexte de recherche approximative par arrêt prématuré Recherche approximative par arrêt prématuré : motivation Comme nous l’avons indiqué dans le chapitre 1, plusieurs techniques sont proposées pour une recherche top-k approximative. Nous nous intéressons ici...

Les algorithmes séquentiels Logique du premier ordre Bien que nous aurions pu l’éviter, dans un soucis de cohérence de notation et de simplification de la présentation, notre formalisation de la logique du premier ordre ne sera pas classique 1 ....

Cours d’algorithmique Définition des fonctions et procédures Les procédures et fonctions peuvent nécessiter éventuellement un ou plusieurs paramètres d’entrée ou de sortie. Un paramètre d’entrée est la référence à une variable manipulée par la procédure ou la fonction. Un paramètre...

COURS ALGORITHMIQUE Structures itératives (ou répétitives) Structure REPETER ... JUSQUA ... Une action ou un groupe d’actions est exécuté répétitivement jusqu'à ce qu’une condition soit vérifiée. Syntaxe Algorigramme Répéter Actions Jusqu’a Condition Actions Condition Remarque : la vérification de la...

Cours d’algorithmique pour la classe de 2nde Operateurs relationnels et logiques Pour tester une condition on utilise les operateurs relationnels suivants : • a = b teste l’egalite de a et de b; • a < b teste si a...

Factorisation de chaînes de lexèmes Aperçu général Problématique et motivations La recherche de similarité sur un ensemble de chaînes de lexèmes peut être menée soit par des méthodes de comparaison globale, soit par la recherche de similitudes sur toutes les...

Exploitation de la prédiction de branchement Recherche simultanée du minimum et du maximum Nous avons vu dans le chapitre 3 le problème de la recherche du minimum et du maximum dans une séquence. Pour rappel, nous avons en entrée une...

Expliquer et justifier les décisions algorithmiques L’idéal de l’objectivité Depuis longtemps, des machines nous remplacen et nous aident dans nos travaux manuels, aujourd’hui d’autres machines nous remplacent dans nos tâches intellectuelles. Cette évolution s’inscrit dans l’idéal de la “matérialité logique”...

Exclusion mutuelle de groupe basée sur les quorums Algorithme d’exclusion mutuelle de groupe basé sur les quorums Dans [Jou01b], Joung présente le système de quorum de surface (surficial quorum system) pour l’exclusion mutuelle de groupe. Il présente aussi une modification...

Exclusion mutuelle de groupe basée sur le modèle client-serveur Modèle Client-Serveur Définition La notion de client-serveur est fondamentale pour comprendre le fonctionnement des systèmes d’exploitation modernes. Bien qu’elle relève, en toute rigueur, d’un cours sur les communications, il est difficile...