原创 柯西收斂準則
limx→x0f(x)=a 的充要條件是：∀ϵ>0 ，∃δ>0 ，當x1，x2∈D(f) 且0<|x1−x0|<δ ，0<|x2−x0|<δ 時，有|f(x1)−f(x2)|<ϵ
2020-06-15 05:42:59
原创 佈局管理器——幀佈局
介紹 用例 介紹 幀佈局由FrameLayout類代表，其直接繼承了ViewGroup組件。幀佈局容器爲每個加入其中的組件創建一個空白的區域(稱爲一幀)，每個子組件佔據一幀，這些幀會根據gravity屬性執行
2020-06-15 05:42:49
原创 根的存在定理(零點存在定理)
若函數y=f(x)∈C([a,b]) ，且f(a)⋅f(b)<0 ，則至少存在一點x0∈(a,b) ，使得f(x0)=0 。 上述定理的幾何意義十分明顯。若函數y=f(x) 在閉區間[a,b] 上連續，且f(a) 與f(b) 不同
2020-06-15 05:42:49
原创 函數連續
設函數f(x) 在U(x0) 內有定義，如果當自變量的增量Δx 趨於0時，相應的函數的增量Δy=f(x0+Δx)−f(x0) 也趨於0，即 limΔx→0Δy=0 則稱函數f(x) 在點x0 處連續。 若在x0 處不連續，則
2020-06-15 05:42:49
原创 函數實現的契約——線程安全與透明引用
透明引用：函數的返回值只依賴於其輸入值的特性。 使用相同的x 值多次調用sinx ，如果系統每次都重新進行一次計算將會是極大的浪費。即使在“純粹”的函數庫中，也常常執行內部優化，如使用緩存來記住之前的計算結果。但緩存引入了副作用，
2020-06-15 05:42:49
原创 無窮小量
設α(x) ，β(x) 是同一極限過程中的兩個無窮小量： limα(x)=0,limβ(x)=0 則有如下定義 limα(x)β(x)=A=⎧⎩⎨0，高階無窮小量，記爲α(x)=o(β(x))1，等價無窮小量，記爲α(x)∼β(
2020-02-25 03:01:40
原创 夾逼定理
設在點x0 的某去心領域內有 F1(x)⩽f(x)⩽F2(x) ， 且limx→x0F1(x)=limx→x0F2(x)=a ， 則limx→x0f(x)=a
2020-02-25 03:01:40
原创 程序設計第一要務——讓用戶感到“爽”
程序設計，必須要考慮用戶的感受，只有讓用戶感到”爽“，這樣的程序纔會被需要、被使用，這樣的程序纔有價值。 按對程序的理解程度可以將用戶分爲如下三類： 1. 自己。絕對的理解，在使用上要求不高，只要求往後可以持續使用即可。 2.
2020-02-25 03:01:40
原创 佈局管理器
介紹 分類 介紹 不同的手機屏幕的分辨率、尺寸並不完全相同，如果讓程序手動控制每個組件的大小、位置，則將給編程帶來巨大的困難。爲了解決這個問題，Android提供了佈局管理器。佈局管理器可以根據運行平臺來調整
2020-02-25 03:01:40
原创 Android Studio安裝
安裝Android Studio 配置Andorid Studio 第一個Android程序 最近腦袋發熱，想試下Android開發來給自己的手機添加點兒樂趣。要開發首先就需要一個開發環境，這裏就選擇官方推薦
2020-02-25 03:01:40
原创 View組件及UI界面控制方法
View及ViewGroup類介紹 簡介 自定義組件的方法 UI界面控制方法 使用XML佈局文件控制UI界面 在代碼中控制UI界面 使用XML佈局文件和Java代碼混合控制UI界面 自定義組件實例 V
2020-02-25 03:01:40
原创 佈局管理器——表格佈局
介紹 用例 介紹 表格佈局由TableLayout類代表，其會採用行、列的形式來管理UI組件。 TableLayout通過添加TableRow、其它組件來控制表格的行數和列數，而不需要明確地聲明包含多少行、多
2020-02-25 03:01:40
原创 Android基本組件介紹
Activity View Service BroadcastReceiver ContentProvider Intent Android應用通常由一個或多個基本組件組成(Activity、Service、
2020-02-25 03:01:40
原创 佈局管理器——線性佈局
介紹 用例 介紹 線性佈局由LinearLayout類來代表，其會將容器裏的組件 個挨着一個地排列起來。 LinearLayout不僅可以控制各組件橫向排列，也可控制各組件縱向排列。 LinearLayout
2020-02-25 03:01:40
原创 遞歸函數
定義 缺點 尾遞歸 實例 Trampoline類型遞歸函數 定義 直接或間接調用函數本身的函數稱爲遞歸函數。 遞歸是函數式編程的特點，也是優雅地實現很多算法的強大工具。在函數式編程中遞歸是實現“循環”的唯一方
2020-02-25 03:01:40