離散數學及其數學

-1

我在大學開始了計算機科學。我們開始學習離散和它的完全基於邏輯的數學，這是我理解的。然而，我的問題是，謂詞，集合，證明等與計算機有什麼關係？我只是想知道我們爲什麼要學習這些的原因？這在計算機科學中如何有用？在一些網站上，我看到人們說大學教這些東西，所以學生將在第一年後放棄這個問題。因爲大學不能有這麼多學生畢業離散數學及其數學

謝謝

來源

2015-12-05 hameed

這太過寬泛，但這些離散的數學主題與編程有很大關係。它們並不總是與計算機體系結構緊密結合，但隨着我們涉及中高級語言，它們開始越來越多地涉及。我想你聽到的可能是一個笑話。可能（這是一種冒險），除非你想寫研究論文，否則你可以在日常的編程壕溝中脫身，而不需要數學證明方面的專家。但離散數學的許多概念直接與日常編程有關，也可能與觸發或代數一樣多。 –

離散數學是計算機科學本身的核心。離散數學是一個廣泛的術語，但通常它指的是你所說的事情，如謂詞，集合，證明，遞歸非遞歸等等。要了解計算機及其操作方式並編寫「正確」代碼，您需要了解所有這些內容。如果你想寫一個算法，你也希望它能做到 - 它表明它的工作方式需要證明它，向別人和你自己說明代碼是正確的。這些證明非常重要，因爲計算機不會告訴你，如果你剛纔寫的排序算法沒有按照想法在O（n * logn）時間排序，那麼在這裏你需要證明它實際上是這樣。謂詞和那些事情是相當自我解釋的，爲什麼你需要知道這一點。當你進一步學習時，當面對圖論時你會需要它。這是計算機科學的另一個非常重要的部分，您需要了解離散數學以理解基礎知識。最後但並非最不重要 - 離散數學非常棒！我認爲這太神奇了，你可以用數學來證明你在做什麼，用全球同樣的通用語言來證明你的一切！：D

來源

2015-12-18 09:53:00

離散數學及其數學

回答

相關問題