本 Wiki 开启了 HTTPS。但由于同 IP 的 Blog 也开启了 HTTPS，因此本站必须要支持 SNI 的浏览器才能浏览。为了兼容一部分浏览器，本站保留了 HTTP 作为兼容。如果您的浏览器支持 SNI，请尽量通过 HTTPS 访问本站，谢谢！
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版 | ||
| math:discrete_math:gen_discrete_math:math_logic_basics [2020/04/19 11:24] – [命题形式化] codinghare | math:discrete_math:gen_discrete_math:math_logic_basics [2023/03/28 14:58] (当前版本) – [数理逻辑：基本概念] codinghare | ||
|---|---|---|---|
| 行 1: | 行 1: | ||
| ======数理逻辑：基本概念====== | ======数理逻辑：基本概念====== | ||
| Coursera 离散数学概论笔记：第一周\\ | Coursera 离散数学概论笔记：第一周\\ | ||
| - | <wrap em> | + | ---- |
| - | ===== ===== | + | |
| \\ | \\ | ||
| 数学的出现是基于计量的需要；但随着人类社会的发展，对数学的要求也越来越严格。从某种角度来说，数学是由危机来推动其发展的： | 数学的出现是基于计量的需要；但随着人类社会的发展，对数学的要求也越来越严格。从某种角度来说，数学是由危机来推动其发展的： | ||