Catégorie:Leçon d'informatique
De AgregmathKL
Révision de 2 septembre 2020 à 18:28 par
Clarence K
(
discuter
|
contributions
)
(Page vide créée)
(diff) ← Version précédente |
Voir la version courante
(
diff
) |
Version suivante →
(
diff
)
Aller à :
navigation
,
rechercher
Pages dans la catégorie « Leçon d'informatique »
Cette catégorie contient 30 pages, dont les 30 ci-dessous.
9
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.
9 (suite)
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.
9 (suite)
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.
Menu de navigation
Outils personnels
Se connecter
Espaces de noms
Catégorie
Discussion
Variantes
Affichages
Lire
Voir le texte source
Historique
Plus
Rechercher
Navigation
Accueil
Modifications récentes
Page au hasard
Aide
Outils
Pages liées
Suivi des pages liées
Pages spéciales
Version imprimable
Adresse de cette version
Information sur la page
