« 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|[[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 ==▼
|valign="top"|
== Logique ==
Ligne 66 ⟶ 59 :
* {{l|[[Logique (mathématiques)|Leçon de logique mathématique]]|2|?}}
|-
|valign="top"|▼
|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|[[Compilation]]|0|16}}
▲|valign="top"|
* {{L|[[Arbres binaires]]|1|14}}
* {{L|[[Arbres de recherche]]|0|14}}
|}
|