logique

Voir le(s) DEA suivant(s) :

• Intelligence artificielle et algorithmique
• Informatique
• Informatique fondamentale et applications
• Theorie et ingéniérie des bases de données
• Mathématiques informatique et applications aux sciences de l'homme
• Sciences cognitives
• Informatique

Voir aussi :

• programmation en logique
• logique temporelle
• logique mathématique
• programmation logique
• logique linéaire
• logiques classiques
• logique modale
• logique floue
• logiques intensionnelles
• logique et raisonnement
• logiques non classiques
• logiques non classsiques
• synthèse logique automatique
• ordre logique