« Département:Informatique théorique/Leçons par thèmes » : différence entre les versions

Contenu supprimé Contenu ajouté
ajout de liens vers deux leçons (compilation + calculabilité et compléxité)
mAucun résumé des modifications
Ligne 14 :
* {{l|[[Algèbre linéaire appliquée]]|0|?}}
* {{l|[[Algèbre relationnelle]]|1|?}}
* {{l|[[Compilation]]|0|16}}
* {{l|[[Arithmétique et cryptographie]]|0|?}}
* {{l|[[Coniques, courbes paramétrées]]|0|?}}
* {{l|[[Graphes et recherche opérationnelle]]|0|?}}
* {{l|[[Modèles de calcul]]|0|?}}
Ligne 26 ⟶ 24 :
* {{l|[[Théorie des graphes]]|1|15}}
* {{l|[[Logique (mathématiques)/Théorie des modèles|Théorie des Modèles]]|4|?}}
* {{l|[[Théorie des langages]]|0|?}}
* {{l|[[Vérification et Preuve]]|0|?}}
|width=33% valign="top"|
Ligne 53 ⟶ 50 :
* {{l|[[Techniques de développement]]|0|?}}
* {{l|[[Génie logiciel orienté objets]]|0|?}}
|valign="top"|
== Langue ==
 
* {{l|[[Anglais disciplinaire (informatique)]]|0|?}}
* {{l|[[Vocabulaire anglais pour l'informatique]]|0|?}}
|valign="top"|
== Logique ==
Ligne 66 ⟶ 59 :
* {{l|[[Logique (mathématiques)|Leçon de logique mathématique]]|2|?}}
|-
|valign="top"|
== Matériel informatique ==
* {{l|[[Architecture des ordinateurs]]|0|?}}
|valign="top"|
== Système ==
Ligne 79 ⟶ 69 :
* {{l|[[Introduction aux systèmes de bases de données]]|0|?}}
* {{l|[[Interfaces homme-machine]]|0|?}}
|valign="top"|
== Théorie des languages ==
* {{l|[[Théorie des langages]]|0|?14}}
* {{l|[[Compilation]]|0|16}}
|valign="top"|
== LangueArbres ==
* {{L|[[Arbres binaires]]|1|14}}
* {{L|[[Arbres de recherche]]|0|14}}
|}