集合论想学自己学去吧, 该回归一般意义上的数理逻辑了. 另外本系列持续使用中文写作. 默认的latex编译器又哈哈了, 喜欢我美刀吗￥￥￥ 上期我们浪费了一期在最为基础的集合论上, 然而集合论并不是一个很好的例子, 毕竟其中很多东西若深入讨论需要大量基础, 关于其……

Rotman algebraic topology上的题, 个人认为出的非常好, 极大增进了读者对\pi_1(S^1)计算过程的理解. 题面 A group G which is also a topology space is called a topological group if \mu:G\times G\to G:(x,y)\mapsto xy and i:G\to G:x\mapsto x^{-1} are contin……

ref 起因： 在阅读ics-pa代码macro.h中发现这样一个需求：如何在宏中测试特定宏是否被定义 #define str_temp(x) #x #define str(x) str_temp(x) // strlen() for string constant #define STRLEN(CONST_STR) (sizeof(CONST_STR) - 1) // calculate the length of an……

大家好，这里是潜水已久的Zzzyt。虽然高考已经烂完了，NJU上不了一点，但是综评已经交了钱，不得不品尝，当作旅游罢了。 笔者报考的是 特长类 计算机科学与技术 笔者考场应到36人，实到28人。计科似乎有三个考场。 试题回忆 去年真题传送门 居然改题型，狡猾！！题目……

It's a well-known fact that the alternating groups, A_n, are simple for n\neq 4, with small cases like A_1, A_2, A_3 very easy to verify. Yet most proofs of n\geq 5, including Hungerford's, relies heavily on 'magical' permutation composition, which……

此文作讲解的不是数理逻辑, 而是测试逻辑中一个重要定理---超限归纳在拓扑的一个基本定理上的应用(其实还顺带介绍了不少拓扑). 当然, 在本篇的之后可能会讲到佐恩引理, 那么这些用超限归纳解题的过程都能被简化, 这也是大多数教科书所用的做法. 不过归根结底本文目的……

本文pdf地址

本文pdf地址

本文pdf链接