Procedimiento de decisión

En informática, es un algoritmo que puede determinar si una afirmación dada es verdadera o falsa. Los procedimientos de decisión se utilizan en diversas áreas de la informática, como la demostración automática de teoremas y la inteligencia artificial.

« Back to Glossary Index

Entradas relacionadas