核心能力:應用數理邏輯推理之能力--專業課程