xxxfreesexmoves-haodiaocao这里只有精品视频-欧美性受黑人性爽-欧美性受xxxxxx黑人xyx性爽|www.jsyyzsb.com

本教材力求兼顧理論教學與軟件工程專業教學, 構思以課程自身內容為載體的應用及實踐, 鏈接軟件工程后續課程。內容覆蓋集合論 (集合、關系、函數)、數理邏輯基礎 (命題邏輯、謂詞邏輯、自然推理系統)、圖論基礎、抽象代數 (群、環、域、格)。實踐環節, 以某種程序設計語言為載體 (Python、Haskell或Racket), 以離散數學問題 (集合論、數理邏輯、圖論、抽象代數) 為對象, 實踐問題建模、求解、函數式編程, 并選取來自于離散數學課程內容的案例, 引導學生進行一定難度的軟件開發實踐。