Logique de programmation

Définition - Que signifie la logique de programmation?

La logique de programmation est une construction fondamentale appliquée à l'informatique de différentes manières.

La logique de programmation implique des opérations logiques sur des données matérielles qui fonctionnent selon des principes logiques et des résultats quantifiables.

Definir Tech explique la logique de programmation

Le terme logique de programmation trouve ses racines dans l'avancement de l'informatique. La logique de programmation a commencé uniquement avec une «logique dure et rapide» compilée dans des algorithmes sophistiqués et exprimée dans des langages de programmation comme Prolog.

Les ordinateurs de base ont développé des moyens de traiter les nombres et les états logiques, en appliquant des opérateurs spécifiques qui mènent à des résultats précis.

La distinction importante ici est que la logique de programmation, et la logique en général, est fondamentalement opposée à d'autres types de programmation qui ne sont pas construits sur une logique dure ou des états et résultats quantifiables.

Par exemple, la logique modale, de par sa nature, est comparée aux opérations quantiques théoriques qui ne fournissent pas un état d'ensemble spécifique auquel les ordinateurs peuvent appliquer la logique.

La logique de programmation en général repose sur une base de logique de calcul partagée par les humains et les machines, ce que nous explorons alors que nous continuons à interagir avec les nouvelles technologies. Dans cet esprit, on pourrait développer des définitions plus spécifiques d'une logique de programmation ayant à voir avec la base d'un morceau de code.