Portail:Logique/Informatique

Les liens entre logique et informatique se manifestent sous plusieurs points de vue.

• Au sujet de l'intelligence artificielle. Voir les articles :
  • intelligence artificielle,
  • programmation logique.

• Au sujet de la sémantique et de la conception des langages de programmation. Voir les articles :
  • lambda-calcul,
  • langages de programmation fonctionnels,
  • sémantique des langages de programmation,
  • correspondance de Curry-Howard.

• Au sujet de la vérification et de la certification des systèmes informatiques. Voir les articles :
  • Coq,
  • Méthode B
  • méthodes formelles.

• Au sujet de la complexité et de l'efficacité des algorithmes. Voir les articles :
  • théorie de la complexité,
  • calculabilité.