Logique algorithmique

La monographie explore la logique algorithmique comme une nouvelle direction dans la construction de circuits logiques et d'algorithmes. Les caractéristiques de la logique algorithmique sont décrites, ainsi que le lien entre l'argumentation et la logique. Une nouvelle interprétation du terme "structures logiques" est donnée en relation avec les structures d'information et le domaine de l'information. Une interprétation élargie de la portée du concept d'algorithme est donnée. L'application de l'algorithme non pas à des fins de calcul, mais à d'autres fins est démontrée. La différence entre l'algorithme de bout en bout, l'algorithme itératif et l'algorithme à trajectoires multiples est démontrée. Une analyse de la complexité algorithmique est donnée. La différence entre la complexité algorithmique et la complexité de calcul est démontrée. Une nouvelle orientation, la conception de l'information, est décrite. Le contenu de la situation algorithmique de l'information est décrit. La logique probabiliste utilisée lors de la construction des algorithmes est décrite. Le raisonnement logique est décrit comme un outil important dans la recherche scientifique. Les méthodes oppositionnelles et dichotomiques sont décrites dans la justification logique. Le contenu de la logique algorithmique spatiale est révélé.