用户 saif RSS en-us Fri, 29 Mar 2024 05:38:05 GMT HPSG理论方法论基础:语言学理论的性质和研究方 ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=955662 HPSG理论方法论基础:语言学理论的性质和研究方法 Fri, 12 Feb 2016 06:02:49 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=955662 闲聊语义学 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=960634 闲聊语义学 Sat, 05 Mar 2016 14:40:09 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=960634 再聊语义学 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=960635 再聊语义学 Sat, 05 Mar 2016 14:43:50 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=960635 卡尔纳普《符号逻辑及其应用导论》读书笔记书评 ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1019220 卡尔纳普《符号逻辑及其应用导论》读书笔记书评(1) Wed, 07 Dec 2016 09:39:40 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1019220 卡尔纳普《符号逻辑及其应用导论》读书笔记书评 ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1020194 卡尔纳普《符号逻辑及其应用导论》读书笔记书评(2) Mon, 12 Dec 2016 12:10:54 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1020194 三聊语义学——语义学到底是什么(一)? https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1022232 三聊语义学——语义学到底是什么(一)? Wed, 21 Dec 2016 14:49:52 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1022232 三聊语义学——语义学到底是什么(二)? https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1022339 三聊语义学——语义学到底是什么(二)? Thu, 22 Dec 2016 03:16:37 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1022339 三聊语义学——语义学到底是什么(四)? https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1022674 三聊语义学——语义学到底是什么(四)? Fri, 23 Dec 2016 03:33:30 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1022674 浅谈类型论——开场白 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1023520 浅谈类型论——开场白 Tue, 27 Dec 2016 01:32:14 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1023520 卡尔纳普《符号逻辑及其应用导论》读书笔记书评 ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1025984 卡尔纳普《符号逻辑及其应用导论》读书笔记书评(3) Sat, 07 Jan 2017 05:12:31 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1025984 集合论的哲学认知——读《Naive Set Theory》: ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1026909 集合论的哲学认知——读《Naive Set Theory》:概览 Wed, 11 Jan 2017 15:21:21 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1026909 集合论的哲学认知——读《Naive Set Theory》: ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1026910 集合论的哲学认知——读《Naive Set Theory》:外延公理 Wed, 11 Jan 2017 15:24:01 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1026910 集合论的哲学认知——读《Naive Set Theory》: ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1027325 集合论的哲学认知——读《Naive Set Theory》:分类公理 Fri, 13 Jan 2017 12:24:30 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1027325 集合论的哲学认知—读《Naive Set Theory》:空 ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1027996 集合论的哲学认知——读《Naive Set Theory》:空集和无序对公理 Mon, 16 Jan 2017 19:21:36 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1027996 集合论的哲学认知——读《Naive Set Theory》: ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1028336 集合论的哲学认知——读《Naive Set Theory》:有序对公理 Wed, 18 Jan 2017 10:08:02 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1028336 哈斯凯尔·布鲁克·柯里:被埋没了的史诗般学者 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1028709 哈斯凯尔·布鲁克·柯里——一个被埋没了的史诗般学者 Fri, 20 Jan 2017 00:26:19 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1028709 浅谈类型论——基本概念 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1028829 浅谈类型论——阶和结构 Fri, 20 Jan 2017 13:43:27 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1028829 卡尔纳普《符号逻辑及其应用导论》读书笔记书评 ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1032584 卡尔纳普《符号逻辑及其应用导论》读书笔记书评(4) Thu, 09 Feb 2017 17:27:27 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1032584 读《Lisp的本质》(The nature of Lisp)——悼Sc ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1039514 读《Lisp的本质》(The nature of Lisp)——悼Schönfinkel Wed, 15 Mar 2017 09:03:57 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1039514 组合子逻辑、λ演算的历史背景和产生动机 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1041724 组合子逻辑、λ演算的历史背景和产生动机 Sun, 26 Mar 2017 16:36:17 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1041724 从逻辑经数学通往计算之路——如何从逻辑走向计 ... https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1072941 从逻辑走向计算——概念篇 Sun, 27 Aug 2017 13:46:13 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1072941 语言和语言学 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1075489 语言和语言学 Tue, 12 Sep 2017 03:47:57 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1075489 数理逻辑发展的基本动机 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1075495 数理逻辑发展的基本动机 Tue, 12 Sep 2017 05:19:59 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1075495 认识逻辑应当从哪里开始? https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1075836 认识逻辑应当从哪里开始? Thu, 14 Sep 2017 05:10:30 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1075836 逻辑学到底是什么——历史观(一) https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1078014 逻辑学到底是什么——历史观(一) Tue, 29 Mar 1070 15:06:50 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1078014 语言学研究之浅见 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1078398 语言学研究之浅见 Fri, 29 Sep 2017 22:01:42 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1078398 集合论的哲学认知——交并公理 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1078932 集合论的哲学认知——读《Naive Set Theory》:交并公理 Tue, 03 Oct 2017 11:49:11 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1078932 范畴语法和《句法连通性》 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1085339 范畴语法和《句法连通性》 Wed, 15 Nov 2017 12:17:09 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1085339 华沙学派——一个几乎被历史遗忘的学派 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1100117 华沙学派——一个几乎被历史遗忘的哲学、数学、逻辑学派(1) Sat, 17 Feb 2018 12:09:09 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1100117 「离散数学」是一门什么样的学科 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1241376 「离散数学」是一门什么样的学科 Fri, 10 Jul 2020 05:18:19 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1241376 数学的元语言——集合 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1262980 数学思想的元语言——集合 Fri, 18 Dec 2020 00:11:31 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1262980 从零开始学习线性代数:线性组合的概念 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1346949 从零开始学习线性代数:线性组合的概念 Mon, 29 Mar 2748 16:58:00 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1346949 从零开始学习线性代数:维度、基数、向量、矩阵和向量空间 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1346950 从零开始学习线性代数:维度、基、向量、矩阵和向量空间 Sat, 29 Mar 5310 16:58:00 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1346950 对线性代数教育的一点反思 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1347560 对线性代数教育的一点反思 Sun, 17 Jul 2022 05:10:46 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1347560 从零开始学习线性代数:线性转换 https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1347643 从零开始学习线性代数:线性转换 Sun, 17 Jul 2022 17:54:14 GMT https://wap.sciencenet.cn/home.php?mod=space&uid=2349385&do=blog&quickforward=1&id=1347643