Leçons d'informatique : Différence entre versions
De AgregmathKL
| (7 révisions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | |||
| − | |||
<DynamicPageList> | <DynamicPageList> | ||
category = Leçon d'informatique | category = Leçon d'informatique | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
namespace = main | namespace = main | ||
ordermethod = sortkey | ordermethod = sortkey | ||
order = ascending | order = ascending | ||
</DynamicPageList> | </DynamicPageList> | ||
Version actuelle en date du 21 avril 2022 à 21:40
- 901 -- Structures de données : exemples et applications.
- 902 -- Diviser pour régner : exemples et applications.
- 903 -- Exemples d’algorithmes de tri. Complexité.
- 906 -- Programmation dynamique : exemples et applications.
- 907 -- Algorithmique du texte : exemples et applications.
- 908 -- Automates Finis, exemples et applications
- 909 -- Langages rationnels. Exemples et applications.
- 910 -- Langages algébriques. Exemples et applications.
- 911 -- Automates à pile. Exemples et applications.
- 912 -- Fonctions récursives primitives et non primitives. Exemples.
- 913 -- Machines de Turing. Applications.
- 914 -- Décidabilité et indécidabilité. Exemples.
- 915 -- Classes de complexité : exemples.
- 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
- 917 -- Logique du premier ordre : syntaxe et sémantique.
- 918 -- Systèmes formels de preuve en logique du premier ordre : exemples.
- 919 -- Unification : algorithmes et applications.
- 920 -- Réécriture et formes normales. Exemples.
- 921 -- Algorithmes de recherche et structures de données associées.
- 922 -- Ensembles récursifs, récursivement énumérables. Exemples.
- 923 -- Analyses lexicale et syntaxique : applications.
- 924 -- Théories et modèles en logique du premier ordre. Exemples.
- 925 -- Graphes : représentations et algorithmes.
- 926 -- Analyse des algorithmes : complexité. Exemples.
- 927 -- Exemples de preuve d’algorithme : correction, terminaison.
- 928 -- Problèmes NP-complets : exemples de réductions.
- 929 -- Lambda-calcul pur comme modèle de calcul. Exemples.
- 930 -- Sémantique des langages de programmation. Exemples.
- 931 -- Schémas algorithmiques. Exemples et applications.
- 932 -- Fondements des bases de données relationnelles.
