Leçons d'informatique : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(7 révisions intermédiaires par le même utilisateur non affichées)
Ligne 10 : Ligne 10 :
  
  
Leçons à créer :
+
= Anciennes leçons =
  
[[901 -- Structures de données : exemples et applications.]]
+
<DynamicPageList>
 
+
category            = Anciennes leçons d'informatique
[[902 -- Diviser pour régner : exemples et applications.]]
+
namespace = main
 
+
ordermethod          = sortkey
[[903 -- Exemples d’algorithmes de tri. Complexité.]]
+
order = ascending
 
+
</DynamicPageList>
[[904 -- Problèmes NP-complets : exemples.]]
+
 
+
[[906 -- Programmation dynamique : 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.]]
+
 
+
[[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.]]
+
 
+
[[920 -- Réécriture et formes normales. Exemples.]]
+
 
+
[[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]]
+
 
+
[[924 -- Théories et modèles en logique du premier ordre. Exemples.]]
+
 
+
[[925 -- Graphes : représentations et algorithmes.]]
+
 
+
[[926 -- Analyse des algorithmes : complexité. Exemples.]]
+
 
+
= Anciennes leçons =
+
[[:Catégorie:Anciennes_leçons_d'informatique]]
+

Version du 26 mars 2015 à 17:21



Anciennes leçons

Aucune page ne correspond à ces critères.