La lógica matemática estudia los sistemas formales y su relación con conceptos matemáticos como conjuntos y números. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. Un diagrama de flujo representa un algoritmo mediante símbolos y flechas que muestran el flujo de ejecución, con un punto de inicio y término únicos. Los pasos para hacer uno incluyen establecer el alcance, identificar actividades y p