Математичка логика у рачунарству