什麼是形式化？

    形式化方法在古代就運用了，而在現代邏輯中又有了進一步的發展和完善。這種方法特別在數學、計算機科學、人工智能等領域得到廣泛運用。它能精確地揭示各種邏輯規律，制定相應的邏輯規則，使各種理論體系更加嚴密。同時也能正確地訓練思維、提高思維的抽象能力。形式化方法英文的名稱是formal methods。     形式化方法是基於數學的特種技術，適合於證。將形式化方法用於軟件和硬件設計，是期望能夠像其

>>阅读原文<<