مبانی و فلسفه علم محاسبات