logica matematica en la informatica "concepto"