Books
3 本书 中医经典
以原典为中心的中医经典精读路径。
在读 100 条
伤寒论
傷寒論
从太阳病起手，读方证如何在症状、病机、治法和方剂之间连成推理链。
提纲与脉证 · 11桂枝汤本证 · 11桂枝汤加减与禁忌 · 15汗后烦渴与寒热错杂 · 17误治救逆与阴阳转折 · 18葛根汤与合病下利 · 13麻黄汤与表实喘满 · 6大青龙汤证 · 5小青龙汤证 · 4
本书目录 9 组 · 100 条
第 1 — 11 条
提纲与脉证
11 条- 01 太阳之为病，脉浮，头项强痛而恶寒 辨太阳病脉证并治（上）第五
- 02 太阳病，发热，汗出，恶风，脉缓者，名为中风 辨太阳病脉证并治（上）第五
- 03 太阳病，或已发热，或未发热，必恶寒，体痛，呕... 辨太阳病脉证并治（上）第五
- 04 伤寒一日，太阳受之，脉若静者，为不传 辨太阳病脉证并治（上）第五
- 05 伤寒二三日，阳明少阳证不见者，为不传也 辨太阳病脉证并治（上）第五
- 06 太阳病，发热而渴，不恶寒者，为温病 辨太阳病脉证并治（上）第五
- 07 病有发热恶寒者，发于阳也 辨太阳病脉证并治（上）第五
- 08 太阳病，头痛至七日以上自愈者，以行其经尽故也 辨太阳病脉证并治（上）第五
- 09 太阳病，欲解时，从巳至未上 辨太阳病脉证并治（上）第五
- 10 风家，表解而不了了者，十二日愈 辨太阳病脉证并治（上）第五
- 11 病人身大热，反欲得衣者，热在皮肤，寒在骨髓也 辨太阳病脉证并治（上）第五
第 12 — 22 条
桂枝汤本证
11 条- 12 太阳中风，阳浮而阴弱，阳浮者，热自发，阴弱者... 辨太阳病脉证并治（上）第五
- 13 桂枝汤方 辨太阳病脉证并治（上）第五
- 14 桂枝三两（去皮） 芍药三两 甘草二两（炙） ... 辨太阳病脉证并治（上）第五
- 15 上五味，㕮咀三味，以水七升，微火煮取三升，去... 辨太阳病脉证并治（上）第五
- 16 太阳病，头痛，发热，汗出，恶风，桂枝汤主之 辨太阳病脉证并治（上）第五
- 17 太阳病，项背强几几，反汗出恶风者，桂枝加葛根... 辨太阳病脉证并治（上）第五
- 18 桂枝加葛根汤方 辨太阳病脉证并治（上）第五
- 19 葛根四两 麻黄三两（去节） 芍药二两 生姜三... 辨太阳病脉证并治（上）第五
- 20 上七味，以水一斗，先煮麻黄、葛根，减二升，去... 辨太阳病脉证并治（上）第五
- 21 太阳病，下之后，其气上冲者，可与桂枝汤，方用... 辨太阳病脉证并治（上）第五
- 22 太阳病三日，已发汗，若吐、若下、若温针，仍不... 辨太阳病脉证并治（上）第五
第 23 — 37 条
桂枝汤加减与禁忌
15 条- 23 若酒客病，不可与桂枝汤，得之则呕，以酒客不喜... 辨太阳病脉证并治（上）第五
- 24 喘家作，桂枝汤加厚朴、杏子佳 辨太阳病脉证并治（上）第五
- 25 凡服桂枝汤吐者，其后必吐脓血也 辨太阳病脉证并治（上）第五
- 26 太阳病，发汗，遂漏不止，其人恶风，小便难，四... 辨太阳病脉证并治（上）第五
- 27 桂枝加附子汤方 辨太阳病脉证并治（上）第五
- 28 桂枝三两（去皮） 芍药三两 甘草二两（炙） ... 辨太阳病脉证并治（上）第五
- 29 上六味，以水七升，煮取三升，去滓，温服一升 辨太阳病脉证并治（上）第五
- 30 太陽病，下之後，脈促胸滿者，桂枝去芍藥湯主之 辨太阳病脉证并治（上）第五
- 31 桂枝去芍药汤方 辨太阳病脉证并治（上）第五
- 32 桂枝三两（去皮） 甘草二两（炙） 生姜三两（... 辨太阳病脉证并治（上）第五
- 33 上四味，以水七升，煮取三升，去滓，温服一升 辨太阳病脉证并治（上）第五
- 34 若微寒者，桂枝去芍药加附子汤主之 辨太阳病脉证并治（上）第五
- 35 桂枝去芍药加附子汤方 辨太阳病脉证并治（上）第五
- 36 桂枝三两（去皮） 甘草二两（炙） 生姜三两（... 辨太阳病脉证并治（上）第五
- 37 上五味，以水七升，煮取三升，去滓，温服一升 辨太阳病脉证并治（上）第五
第 38 — 54 条
汗后烦渴与寒热错杂
17 条- 38 太阳病，得之八九日，如疟状，发热恶寒，热多寒... 辨太阳病脉证并治（上）第五
- 39 桂枝麻黄各半汤方 辨太阳病脉证并治（上）第五
- 40 桂枝一两十六铢（去皮） 芍药 生姜（切） 甘... 辨太阳病脉证并治（上）第五
- 41 上七味，以水五升，先煮麻黄一二沸，去上沫 辨太阳病脉证并治（上）第五
- 42 太阳病，初服桂枝汤，反烦不解者，先刺风池、风... 辨太阳病脉证并治（上）第五
- 43 服桂枝汤，大汗出，脉洪大者，与桂枝汤，如前法 辨太阳病脉证并治（上）第五
- 44 桂枝二麻黄一汤方 辨太阳病脉证并治（上）第五
- 45 桂枝一两十七铢（去皮） 芍药一两六铢 麻黄十... 辨太阳病脉证并治（上）第五
- 46 上七味，以水五升，先煮麻黄一二沸，去上沫，内... 辨太阳病脉证并治（上）第五
- 47 服桂枝汤，大汗出后，大烦渴不解，脉洪大者，白... 辨太阳病脉证并治（上）第五
- 48 白虎加人参汤方 辨太阳病脉证并治（上）第五
- 49 知母六两 石膏一斤（碎，绵裹） 甘草（炙）二... 辨太阳病脉证并治（上）第五
- 50 上五味，以水一斗，煮米熟，汤成，去滓，温服一... 辨太阳病脉证并治（上）第五
- 51 太阳病，发热恶寒，热多寒少，脉微弱者，此无阳... 辨太阳病脉证并治（上）第五
- 52 桂枝二越婢一汤方 辨太阳病脉证并治（上）第五
- 53 桂枝（去皮） 芍药 麻黄 甘草（炙）各十八铢... 辨太阳病脉证并治（上）第五
- 54 上七味，以水五升，煮麻黄一二沸，去上沫 辨太阳病脉证并治（上）第五
第 55 — 72 条
误治救逆与阴阳转折
18 条- 55 服桂枝汤，或下之，仍头项强痛，翕翕发热，无汗... 辨太阳病脉证并治（上）第五
- 56 桂枝去桂加茯苓白朮汤方 辨太阳病脉证并治（上）第五
- 57 芍药三两 甘草二两（炙） 生姜（切） 白朮 ... 辨太阳病脉证并治（上）第五
- 58 上六味，以水八升，煮取三升，去滓，温服一升 辨太阳病脉证并治（上）第五
- 59 伤寒脉浮，自汗出，小便数，心烦，微恶寒，脚挛... 辨太阳病脉证并治（上）第五
- 60 甘草干姜汤方 辨太阳病脉证并治（上）第五
- 61 甘草四两（炙） 干姜二两 辨太阳病脉证并治（上）第五
- 62 上二味，以水三升，煮取一升五合，去滓，分温再... 辨太阳病脉证并治（上）第五
- 63 芍药甘草汤方 辨太阳病脉证并治（上）第五
- 64 芍药 甘草（炙）各四两 辨太阳病脉证并治（上）第五
- 65 上二味，以水三升，煮取一升五合，去滓，分温再... 辨太阳病脉证并治（上）第五
- 66 调胃承气汤方 辨太阳病脉证并治（上）第五
- 67 大黄四两（去皮，清酒洗） 甘草二两（炙） 芒... 辨太阳病脉证并治（上）第五
- 68 上三味，以水三升，煮取一升，去滓，内芒硝，更... 辨太阳病脉证并治（上）第五
- 69 四逆汤方 辨太阳病脉证并治（上）第五
- 70 甘草二两（炙） 干姜一两半 附子一枚（生用，... 辨太阳病脉证并治（上）第五
- 71 上三味，以水三升，煮取一升二合，去滓，分温再... 辨太阳病脉证并治（上）第五
- 72 问曰：证象阳旦，按法治之而增剧，厥逆，咽中干... 辨太阳病脉证并治（上）第五
第 73 — 85 条
葛根汤与合病下利
13 条- 73 太阳病，项背强几几，无汗恶风，葛根汤主之 辨太阳病脉证并治（中）第六
- 74 葛根汤方 辨太阳病脉证并治（中）第六
- 75 葛根四两 麻黄三两（去节） 桂枝二两（去皮）... 辨太阳病脉证并治（中）第六
- 76 上七味，以水一斗，先煮麻黄、葛根，减六升，去... 辨太阳病脉证并治（中）第六
- 77 太阳与阳明合病者，必自下利，葛根汤主之 辨太阳病脉证并治（中）第六
- 78 太阳与阳明合病，不下利，但呕者，葛根加半夏汤... 辨太阳病脉证并治（中）第六
- 79 葛根加半夏汤方 辨太阳病脉证并治（中）第六
- 80 葛根四两 麻黄三两（去节） 甘草二两（炙） ... 辨太阳病脉证并治（中）第六
- 81 上八味，以水一斗，先煮葛根、麻黄，减二升，去... 辨太阳病脉证并治（中）第六
- 82 太阳病，桂枝证，医反下之，利遂不止，脉促者，... 辨太阳病脉证并治（中）第六
- 83 葛根黄芩黄连汤方 辨太阳病脉证并治（中）第六
- 84 葛根半斤 甘草二两（炙） 黄芩三两 黄连三两 辨太阳病脉证并治（中）第六
- 85 上四味，以水八升，先煮葛根，减二升，内诸药，... 辨太阳病脉证并治（中）第六
第 86 — 91 条
麻黄汤与表实喘满
6 条 第 92 — 96 条
大青龙汤证
5 条 第 97 — 100 条
小青龙汤证
4 条 在读 163 节
黄帝内经
黃帝內經
把《素问》《灵枢》放在同一个阅读路径里，慢慢看身体、四时、气血和经络的概念网络。
素问 · 养生与四时 · 4素问 · 阴阳藏象 · 7素问 · 诊法与脉象 · 13素问 · 刺法与热病 · 14素问 · 病证与经络 · 23素问 · 运气与治则 · 20灵枢 · 九针与刺法 · 9灵枢 · 经脉营卫 · 10灵枢 · 病候与诊察 · 21灵枢 · 天人节律与五味 · 16灵枢 · 水胀邪客与体质 · 16灵枢 · 官能九针与终篇 · 10
本书目录 12 组 · 163 节
第 1 — 4 篇
素问 · 养生与四时
4 节 第 5 — 11 篇
素问 · 阴阳藏象
7 节 第 12 — 24 篇
素问 · 诊法与脉象
13 节 第 25 — 38 篇
素问 · 刺法与热病
14 节 第 39 — 61 篇
素问 · 病证与经络
23 节- 39 举痛论三十九 素问第11卷
- 40 腹中论四十 素问第11卷
- 41 刺腰论痛四十一 素问第12卷
- 42 风论四十二 素问第12卷
- 43 痹论四十三 素问第12卷
- 44 痿论四十四 素问第12卷
- 45 厥论四十五 素问第13卷
- 46 病能论四十六 素问第13卷
- 47 奇病论四十七 素问第13卷
- 48 大奇论四十八 素问第13卷
- 49 脉解篇四十九 素问第14卷
- 50 刺要论五十 素问第14卷
- 51 刺齐论五十一 素问第14卷
- 52 刺禁论五十二 素问第14卷
- 53 刺志论五十三 素问第14卷
- 54 鍼解五十四 素问第14卷
- 55 长刺节论五十五 素问第15卷
- 56 皮部论五十六 素问第15卷
- 57 经络论五十七 素问第15卷
- 58 气穴论五十八 素问第15卷
- 59 气府论五十九 素问第16卷
- 60 骨空论六十 素问第16卷
- 61 水热穴论六十一 素问第17卷
第 62 — 81 篇
素问 · 运气与治则
20 节- 62 调经论六十二 素问第18卷
- 63 缪刺论六十三 素问第18卷
- 64 四时刺逆从论六十四 素问第18卷
- 65 标本病传论六十五 素问第19卷
- 66 天元纪大论六十六 素问第19卷
- 67 五运行大论六十七 素问第19卷
- 68 六微旨大论六十八 素问第20卷
- 69 气交变大论六十九 素问第20卷
- 70 五常政大论七十 素问第21卷
- 71 六元正纪大论七十一 素问第21卷
- 72 刺法论七十二 素问第21卷
- 73 本病论七十三 素问第22卷
- 74 至真要大论七十四 素问第23卷
- 75 著至教论七十五 素问第23卷
- 76 示从容论七十六 素问第23卷
- 77 疏五过论七十七 素问第23卷
- 78 征四失论七十八 素问第24卷
- 79 阴阳类论七十九 素问第24卷
- 80 方盛衰论八十 素问第24卷
- 81 解精微论八十一 素问第24卷
第 1 — 9 篇
灵枢 · 九针与刺法
9 节 第 10 — 19 篇
灵枢 · 经脉营卫
10 节 第 20 — 40 篇
灵枢 · 病候与诊察
21 节- 20 五邪第二十 灵枢第05卷
- 21 寒热病第二十一 灵枢第05卷
- 22 癫狂病第二十二 灵枢第05卷
- 23 热病第二十三 灵枢第05卷
- 24 厥病第二十四 灵枢第05卷
- 25 病本第二十五 灵枢第05卷
- 26 杂病第二十六 灵枢第05卷
- 27 周痹第二十七 灵枢第05卷
- 28 口问第二十八 灵枢第06卷
- 29 师传第二十九 灵枢第06卷
- 30 决气第三十 灵枢第06卷
- 31 肠胃第三十一 灵枢第06卷
- 32 平人绝谷第三十二 灵枢第06卷
- 33 海论第三十三 灵枢第06卷
- 34 五乱第三十四 灵枢第06卷
- 35 胀论第三十五 灵枢第06卷
- 36 五癃精液别第三十六 灵枢第06卷
- 37 五阅五使第三十七 灵枢第06卷
- 38 逆顺肥瘦第三十八 灵枢第06卷
- 39 血络第三十九 灵枢第06卷
- 40 阴阳清浊第四十 灵枢第07卷
第 41 — 56 篇
灵枢 · 天人节律与五味
16 节 第 57 — 72 篇
灵枢 · 水胀邪客与体质
16 节 第 73 — 82 篇
灵枢 · 官能九针与终篇
10 节 新上架 34 节
濒湖脉学
瀕湖脈學
以二十七脉为纲，把脉象体状、相类、主病和歌诀放在一起读，适合从术语辨析进入脉学文本。
提要与序 · 2二十七脉 · 纲领四脉 · 4二十七脉 · 形势虚实 · 8二十七脉 · 弦芤革牢 · 8二十七脉 · 止歇诸脉 · 7四言举要 · 1附脉诀考证 · 4
本书目录 7 组 · 34 节
第 1 — 2 节
提要与序
2 节 第 3 — 6 节
二十七脉 · 纲领四脉
4 节 第 7 — 14 节
二十七脉 · 形势虚实
8 节 第 15 — 22 节
二十七脉 · 弦芤革牢
8 节 第 23 — 29 节
二十七脉 · 止歇诸脉
7 节 第 30 — 30 节
四言举要
1 节 第 31 — 34 节
附脉诀考证
4 节 Books
30 本书 数学
从定义、公设和证明进入数学经典。
已接入 467 单元
几何原本
Elements
以定义、公设、公理、命题证明和图解为骨架的几何经典阅读路径。
第一卷 · 定义与公设 · 2第一卷 · 定义、公设与平面几何基础 · 48第二卷 · 面积代数 · 14第三卷 · 圆 · 37第四卷 · 圆内接与外切作图 · 16第五卷 · 比例通论 · 25第六卷 · 相似形与比例应用 · 33第七卷 · 数论基础 · 39第八卷 · 连比例与数 · 27第九卷 · 数论命题 · 36第十卷 · 无理量分类 · 115第十一卷 · 立体几何基础 · 39第十二卷 · 穷竭法与体积面积 · 18第十三卷 · 正多面体 · 18
本书目录 14 组 · 467 单元
定义 / 公设 / 公理
第一卷 · 定义与公设
2 单元 第 1 — 48 命题
第一卷 · 定义、公设与平面几何基础
48 单元- 03 第1卷命题 1 · 在给定有限直线上作等边三角形 Proposition I.1
- 04 第1卷命题 2 · 从给定点作一线等于给定直线 Proposition I.2
- 05 第1卷命题 3 · 从较长线段截取等于较短线段的一段 Proposition I.3
- 06 第1卷命题 4 · 两边及夹角相等的三角形全等 Proposition I.4
- 07 第1卷命题 5 · 等腰三角形的底角相等 Proposition I.5
- 08 第1卷命题 6 · 底角相等的三角形为等腰三角形 Proposition I.6
- 09 第1卷命题 7 · 同底同侧不能作出两组相同端点距离 Proposition I.7
- 10 第1卷命题 8 · 三边相等的三角形全等 Proposition I.8
- 11 第1卷命题 9 · 平分一个已知直线角 Proposition I.9
- 12 第1卷命题 10 · 平分一条给定有限直线 Proposition I.10
- 13 第1卷命题 11 · 从直线上一点作垂线 Proposition I.11
- 14 第1卷命题 12 · 从直线外一点作垂线 Proposition I.12
- 15 第1卷命题 13 · 一线立于一线所得两角等于二直角 Proposition I.13
- 16 第1卷命题 14 · 相邻角合二直角则两线成一直线 Proposition I.14
- 17 第1卷命题 15 · 对顶角相等 Proposition I.15
- 18 第1卷命题 16 · 三角形外角大于任一内对角 Proposition I.16
- 19 第1卷命题 17 · 三角形任两角小于二直角 Proposition I.17
- 20 第1卷命题 18 · 大边对大角 Proposition I.18
- 21 第1卷命题 19 · 大角对大边 Proposition I.19
- 22 第1卷命题 20 · 三角形两边之和大于第三边 Proposition I.20
- 23 第1卷命题 21 · 三角形内作两线小于两边但夹角较大 Proposition I.21
- 24 第1卷命题 22 · 用三条给定线段作三角形 Proposition I.22
- 25 第1卷命题 23 · 在给定点作等于已知角的角 Proposition I.23
- 26 第1卷命题 24 · 两边相等而夹角较大则底边较大 Proposition I.24
- 27 第1卷命题 25 · 两边相等而底边较大则夹角较大 Proposition I.25
- 28 第1卷命题 26 · 两角一边相等的三角形全等 Proposition I.26
- 29 第1卷命题 27 · 内错角相等则两线平行 Proposition I.27
- 30 第1卷命题 28 · 同位角或同旁内角条件推出平行 Proposition I.28
- 31 第1卷命题 29 · 平行线上的内错角和同位角关系 Proposition I.29
- 32 第1卷命题 30 · 同平行于一线的两线彼此平行 Proposition I.30
- 33 第1卷命题 31 · 过给定点作平行线 Proposition I.31
- 34 第1卷命题 32 · 三角形外角等于两内对角且内角和为二直角 Proposition I.32
- 35 第1卷命题 33 · 连接相等且平行线段端点所得线段也相等且平行 Proposition I.33
- 36 第1卷命题 34 · 平行四边形对边对角相等且对角线平分其面积 Proposition I.34
- 37 第1卷命题 35 · 同底同平行线间的平行四边形相等 Proposition I.35
- 38 第1卷命题 36 · 等底同平行线间的平行四边形相等 Proposition I.36
- 39 第1卷命题 37 · 同底同平行线间的三角形相等 Proposition I.37
- 40 第1卷命题 38 · 等底同平行线间的三角形相等 Proposition I.38
- 41 第1卷命题 39 · 同底同侧相等三角形在同一平行线间 Proposition I.39
- 42 第1卷命题 40 · 等底同侧相等三角形在同一平行线间 Proposition I.40
- 43 第1卷命题 41 · 同底同平行线间平行四边形为三角形二倍 Proposition I.41
- 44 第1卷命题 42 · 作等于给定三角形且有给定角的平行四边形 Proposition I.42
- 45 第1卷命题 43 · 平行四边形对角线旁的补形相等 Proposition I.43
- 46 第1卷命题 44 · 在给定直线上贴作等于给定三角形的平行四边形 Proposition I.44
- 47 第1卷命题 45 · 作等于给定直线形且有给定角的平行四边形 Proposition I.45
- 48 第1卷命题 46 · 在给定直线上作正方形 Proposition I.46
- 49 第1卷命题 47 · 直角三角形斜边平方等于两直角边平方和 Proposition I.47
- 50 第1卷命题 48 · 勾股定理的逆命题 Proposition I.48
第 1 — 14 命题
第二卷 · 面积代数
14 单元- 51 第2卷命题 1 · 一线分段时矩形可分配 Proposition II.1
- 52 第2卷命题 2 · 整线与各段矩形等于整线平方 Proposition II.2
- 53 第2卷命题 3 · 整线与一段矩形的分解 Proposition II.3
- 54 第2卷命题 4 · 和的平方分解 Proposition II.4
- 55 第2卷命题 5 · 等分又不等分的矩形关系 Proposition II.5
- 56 第2卷命题 6 · 半线加延长线的矩形关系 Proposition II.6
- 57 第2卷命题 7 · 平方与矩形的另一分解 Proposition II.7
- 58 第2卷命题 8 · 四倍矩形与余段平方 Proposition II.8
- 59 第2卷命题 9 · 等分又不等分时两段平方和 Proposition II.9
- 60 第2卷命题 10 · 半线加延长线时两平方和 Proposition II.10
- 61 第2卷命题 11 · 分割线段使整线与一段矩形等于余段平方 Proposition II.11
- 62 第2卷命题 12 · 钝角三角形的平方关系 Proposition II.12
- 63 第2卷命题 13 · 锐角三角形的平方关系 Proposition II.13
- 64 第2卷命题 14 · 作等于给定直线形的正方形 Proposition II.14
第 1 — 37 命题
第三卷 · 圆
37 单元- 65 第3卷命题 1 · 求已知圆的圆心 Proposition III.1
- 66 第3卷命题 2 · 圆内弦必在圆内 Proposition III.2
- 67 第3卷命题 3 · 圆心线平分弦则垂直 Proposition III.3
- 68 第3卷命题 4 · 圆内非直径弦互不相分 Proposition III.4
- 69 第3卷命题 5 · 相交两圆不同心 Proposition III.5
- 70 第3卷命题 6 · 两圆相切不同心 Proposition III.6
- 71 第3卷命题 7 · 圆内非中心点引线长短定理 Proposition III.7
- 72 第3卷命题 8 · 圆外一点引线长短比较 Proposition III.8
- 73 第3卷命题 9 · 圆内点引等线定圆心 Proposition III.9
- 74 第3卷命题 10 · 圆与圆相交至多两点 Proposition III.10
- 75 第3卷命题 11 · 内切圆圆心连线过切点 Proposition III.11
- 76 第3卷命题 12 · 两圆外切时圆心连线过切点 Proposition III.12
- 77 第3卷命题 13 · 圆与圆相切至多一个点 Proposition III.13
- 78 第3卷命题 14 · 圆内等弦与圆心等距 Proposition III.14
- 79 第3卷命题 15 · 圆内直径最大弦近心者更大 Proposition III.15
- 80 第3卷命题 16 · 圆直径端垂线性质 Proposition III.16
- 81 第3卷命题 17 · 过圆外一点作切线 Proposition III.17
- 82 第3卷命题 18 · 切线与半径垂直定理 Proposition III.18
- 83 第3卷命题 19 · 切点垂线过圆心 Proposition III.19
- 84 第3卷命题 20 · 圆心角是圆周角的两倍 Proposition III.20
- 85 第3卷命题 21 · 同弧圆周角相等 Proposition III.21
- 86 第3卷命题 22 · 圆内接四边形对角互补 Proposition III.22
- 87 第3卷命题 23 · 同侧不能作相似不等圆弓形 Proposition III.23
- 88 第3卷命题 24 · 等圆上相似弓形相等 Proposition III.24
- 89 第3卷命题 25 · 由弓形补全整圆 Proposition III.25
- 90 第3卷命题 26 · 等圆中等角对等弧 Proposition III.26
- 91 第3卷命题 27 · 等圆中等弧对等角 Proposition III.27
- 92 第3卷命题 28 · 等圆中等弦截等弧 Proposition III.28
- 93 第3卷命题 29 · 等圆中等弧所对弦相等 Proposition III.29
- 94 第3卷命题 30 · 平分给定圆弧 Proposition III.30
- 95 第3卷命题 31 · 半圆内角为直角 Proposition III.31
- 96 第3卷命题 32 · 切线与弦所成角等于相对弓形内角 Proposition III.32
- 97 第3卷命题 33 · 给定线段上作含定角弓形 Proposition III.33
- 98 第3卷命题 34 · 从圆截取含给定角的弓形 Proposition III.34
- 99 第3卷命题 35 · 圆内相交弦定理 Proposition III.35
- 100 第3卷命题 36 · 圆外一点引切线与割线定理 Proposition III.36
- 101 第3卷命题 37 · 圆外点割线等积证切线 Proposition III.37
第 1 — 16 命题
第四卷 · 圆内接与外切作图
16 单元- 102 第4卷命题 1 · 圆内作弦等于给定线段 Proposition IV.1
- 103 第4卷命题 2 · 圆内作等角三角形 Proposition IV.2
- 104 第4卷命题 3 · 圆外切三角形与给定三角形等角 Proposition IV.3
- 105 第4卷命题 4 · 圆内切于三角形 Proposition IV.4
- 106 第4卷命题 5 · 作三角形外接圆 Proposition IV.5
- 107 第4卷命题 6 · 圆内接正方形作图 Proposition IV.6
- 108 第4卷命题 7 · 圆外切正方形作图 Proposition IV.7
- 109 第4卷命题 8 · 圆内接于正方形 Proposition IV.8
- 110 第4卷命题 9 · 作圆外切于给定正方形 Proposition IV.9
- 111 第4卷命题 10 · 作底角为顶角两倍的等腰三角形 Proposition IV.10
- 112 第4卷命题 11 · 圆内接正五边形作法 Proposition IV.11
- 113 第4卷命题 12 · 圆外切等边等角五边形 Proposition IV.12
- 114 第4卷命题 13 · 等边等角五边形内切圆 Proposition IV.13
- 115 第4卷命题 14 · 作圆外切于等边等角五边形 Proposition IV.14
- 116 第4卷命题 15 · 圆内接等边等角六边形作法 Proposition IV.15
- 117 第4卷命题 16 · 圆内接十五边形作图 Proposition IV.16
第 1 — 25 命题
第五卷 · 比例通论
25 单元- 118 第5卷命题 1 · 等倍量之和的倍数性质 Proposition V.1
- 119 第5卷命题 2 · 倍量之和的倍性定理 Proposition V.2
- 120 第5卷命题 3 · 等倍量之倍量仍等倍 Proposition V.3
- 121 第5卷命题 4 · 比例等倍保持定理 Proposition V.4
- 122 第5卷命题 5 · 第五卷第五命题：倍量减后余量同倍 Proposition V.5
- 123 第5卷命题 6 · 等倍量减等倍量余量性质 Proposition V.6
- 124 第5卷命题 7 · 等量对同量及同量对等量比例相等 Proposition V.7
- 125 第5卷命题 8 · 不等量与大比定理 Proposition V.8
- 126 第5卷命题 9 · 同比于同量则相等 Proposition V.9
- 127 第5卷命题 10 · 同比大小定理 Proposition V.10
- 128 第5卷命题 11 · 与同一比相同的比彼此相同 Proposition V.11
- 129 第5卷命题 12 · 比例合比定理 Proposition V.12
- 130 第5卷命题 13 · 比例传递性定理 Proposition V.13
- 131 第5卷命题 14 · 比例大小传递定理 Proposition V.14
- 132 第5卷命题 15 · 同倍量之比等于原量之比 Proposition V.15
- 133 第5卷命题 16 · 比例交错定理 Proposition V.16
- 134 第5卷命题 17 · 合比与分比互推定理 Proposition V.17
- 135 第5卷命题 18 · 分比与合比互逆定理 Proposition V.18
- 136 第5卷命题 19 · 比例转换定理 Proposition V.19
- 137 第5卷命题 20 · 比例传递与大小关系 Proposition V.20
- 138 第5卷命题 21 · 扰动比例传递大小关系 Proposition V.21
- 139 第5卷命题 22 · 比例传递定理 Proposition V.22
- 140 第5卷命题 23 · 扰动比例之等距传递 Proposition V.23
- 141 第5卷命题 24 · 第五卷第二十四命题 Proposition V.24
- 142 第5卷命题 25 · 比例中最大最小之和大于其余两量 Proposition V.25
第 1 — 33 命题
第六卷 · 相似形与比例应用
33 单元- 143 第6卷命题 1 · 等高三角形与平行四边形面积比等于底边比 Proposition VI.1
- 144 第6卷命题 2 · 三角形平行线截比例定理 Proposition VI.2
- 145 第6卷命题 3 · 三角形内角平分线定理 Proposition VI.3
- 146 第6卷命题 4 · 等角三角形对应边成比例 Proposition VI.4
- 147 第6卷命题 5 · 边成比例则三角形等角 Proposition VI.5
- 148 第6卷命题 6 · 两边成比例且夹角相等则三角形相似 Proposition VI.6
- 149 第6卷命题 7 · 两三角形一角等且邻边比例相等则等角 Proposition VI.7
- 150 第6卷命题 8 · 直角三角形中垂线分相似三角形 Proposition VI.8
- 151 第6卷命题 9 · 从给定线段截取指定部分 Proposition VI.9
- 152 第6卷命题 10 · 分线段成比例 Proposition VI.10
- 153 第6卷命题 11 · 求两线段之第三比例项 Proposition VI.11
- 154 第6卷命题 12 · 求三条已知线段的第四比例项 Proposition VI.12
- 155 第6卷命题 13 · 求两线段的比例中项 Proposition VI.13
- 156 第6卷命题 14 · 等角平行四边形边成反比则等积 Proposition VI.14
- 157 第6卷命题 15 · 等角三角形边成反比定理 Proposition VI.15
- 158 第6卷命题 16 · 比例线段与矩形等积定理 Proposition VI.16
- 159 第6卷命题 17 · 比例线段与矩形等积定理 Proposition VI.17
- 160 第6卷命题 18 · 在线段上作相似多边形 Proposition VI.18
- 161 第6卷命题 19 · 相似三角形面积比定理 Proposition VI.19
- 162 第6卷命题 20 · 相似多边形分割与面积比定理 Proposition VI.20
- 163 第6卷命题 21 · 相似传递性定理 Proposition VI.21
- 164 第6卷命题 22 · 比例线段上相似形比例定理 Proposition VI.22
- 165 第6卷命题 23 · 等角平行四边形面积比定理 Proposition VI.23
- 166 第6卷命题 24 · 平行四边形对角线旁相似形 Proposition VI.24
- 167 第6卷命题 25 · 作一图形与已知形相似且等积 Proposition VI.25
- 168 第6卷命题 26 · 相似平行四边形共对角线 Proposition VI.26
- 169 第6卷命题 27 · 最大平行四边形定理 Proposition VI.27
- 170 第6卷命题 28 · 在线段上作平行四边形与给定图形等积且亏形相似 Proposition VI.28
- 171 第6卷命题 29 · 作平行四边形等于已知直线形且超出部分相似于给定形 Proposition VI.29
- 172 第6卷命题 30 · 分线段为中外比 Proposition VI.30
- 173 第6卷命题 31 · 直角三角形勾股定理推广 Proposition VI.31
- 174 第6卷命题 32 · 两三角形边成比例且平行则共线 Proposition VI.32
- 175 第6卷命题 33 · 等圆中圆周角与弧的比例 Proposition VI.33
第 1 — 39 命题
第七卷 · 数论基础
39 单元- 176 第7卷命题 1 · 互质数的判定定理 Proposition VII.1
- 177 第7卷命题 2 · 求两不互质数的最大公度 Proposition VII.2
- 178 第7卷命题 3 · 求三数最大公度 Proposition VII.3
- 179 第7卷命题 4 · 较小数对较大数的部分关系 Proposition VII.4
- 180 第7卷命题 5 · 第七卷第五命题 Proposition VII.5
- 181 第7卷命题 6 · 第七卷第六命题：部分之和 Proposition VII.6
- 182 第7卷命题 7 · 数之部分与余数同比例 Proposition VII.7
- 183 第7卷命题 8 · 第七卷第八命题：余数同部分定理 Proposition VII.8
- 184 第7卷命题 9 · 第七卷第九命题 Proposition VII.9
- 185 第7卷命题 10 · 第七卷命题10：交替比例保持 Proposition VII.10
- 186 第7卷命题 11 · 减数比与余数比定理 Proposition VII.11
- 187 第7卷命题 12 · 比例序列的合比性质 Proposition VII.12
- 188 第7卷命题 13 · 比例数的更比性质 Proposition VII.13
- 189 第7卷命题 14 · 等比数列的等距比例定理 Proposition VII.14
- 190 第7卷命题 15 · 单位与数的交替比例定理 Proposition VII.15
- 191 第7卷命题 16 · 乘法交换律的证明 Proposition VII.16
- 192 第7卷命题 17 · 乘数与被乘数之比例 Proposition VII.17
- 193 第7卷命题 18 · 两数乘同数之积比等于乘数比 Proposition VII.18
- 194 第7卷命题 19 · 比例数乘积相等定理 Proposition VII.19
- 195 第7卷命题 20 · 最小数同倍量定理 Proposition VII.20
- 196 第7卷命题 21 · 互质数为同比最小数 Proposition VII.21
- 197 第7卷命题 22 · 最小同比数互素 Proposition VII.22
- 198 第7卷命题 23 · 互质数之因子与另一数互质 Proposition VII.23
- 199 第7卷命题 24 · 两数均与某数互质则积亦互质 Proposition VII.24
- 200 第7卷命题 25 · 自乘数与质数互质 Proposition VII.25
- 201 第7卷命题 26 · 两数互质则其积亦互质 Proposition VII.26
- 202 第7卷命题 27 · 互质数自乘与乘积互质 Proposition VII.27
- 203 第7卷命题 28 · 互质数与和互质定理 Proposition VII.28
- 204 第7卷命题 29 · 素数不测则互素 Proposition VII.29
- 205 第7卷命题 30 · 素数整除乘积必整除一因子 Proposition VII.30
- 206 第7卷命题 31 · 合数必为某素数所量 Proposition VII.31
- 207 第7卷命题 32 · 任何数或为素数或被某素数度量 Proposition VII.32
- 208 第7卷命题 33 · 求给定数的最小同比数组 Proposition VII.33
- 209 第7卷命题 34 · 求两数最小公倍数 Proposition VII.34
- 210 第7卷命题 35 · 两数公倍数整除性质 Proposition VII.35
- 211 第7卷命题 36 · 求三数的最小公倍数 Proposition VII.36
- 212 第7卷命题 37 · 被测量数有与测数同名部分 Proposition VII.37
- 213 第7卷命题 38 · 数有某部分则被同名数度量 Proposition VII.38
- 214 第7卷命题 39 · 求最小公倍数数 Proposition VII.39
第 1 — 27 命题
第八卷 · 连比例与数
27 单元- 215 第8卷命题 1 · 连比例中互质两端数为最小 Proposition VIII.1
- 216 第8卷命题 2 · 求给定比的最小连比例数 Proposition VIII.2
- 217 第8卷命题 3 · 连比例最小数两端互素 Proposition VIII.3
- 218 第8卷命题 4 · 求给定比的最小连比例数 Proposition VIII.4
- 219 第8卷命题 5 · 平面数之比由边之比复合 Proposition VIII.5
- 220 第8卷命题 6 · 连比例中首不量次则无能量 Proposition VIII.6
- 221 第8卷命题 7 · 连比例首末可约则首亦约次 Proposition VIII.7
- 222 第8卷命题 8 · 连比例数插入定理 Proposition VIII.8
- 223 第8卷命题 9 · 互质数间连比例与单位间连比例 Proposition VIII.9
- 224 第8卷命题 10 · 两数间连比例个数定理 Proposition VIII.10
- 225 第8卷命题 11 · 两平方数间有一个比例中项 Proposition VIII.11
- 226 第8卷命题 12 · 两立方数间有二比例中项 Proposition VIII.12
- 227 第8卷命题 13 · 连比例数自乘与乘积的连比例性 Proposition VIII.13
- 228 第8卷命题 14 · 平方数互测与边互测 Proposition VIII.14
- 229 第8卷命题 15 · 立方数互测则边互测 Proposition VIII.15
- 230 第8卷命题 16 · 平方数不测则边不测 Proposition VIII.16
- 231 第8卷命题 17 · 立方数不测则边不测 Proposition VIII.17
- 232 第8卷命题 18 · 相似平面数间有单中项 Proposition VIII.18
- 233 第8卷命题 19 · 相似立体数间两比例中项 Proposition VIII.19
- 234 第8卷命题 20 · 两数间有一等比中项则两数为相似面数 Proposition VIII.20
- 235 第8卷命题 21 · 两等比中项数得相似立体数 Proposition VIII.21
- 236 第8卷命题 22 · 连比例首数为平方则末数亦平方 Proposition VIII.22
- 237 第8卷命题 23 · 连比例首数为立方则末数亦立方 Proposition VIII.23
- 238 第8卷命题 24 · 平方数比平方数则后亦平方 Proposition VIII.24
- 239 第8卷命题 25 · 立方数比与立方性 Proposition VIII.25
- 240 第8卷命题 26 · 相似面数与平方数之比 Proposition VIII.26
- 241 第8卷命题 27 · 相似体数之比为立方数比 Proposition VIII.27
第 1 — 36 命题
第九卷 · 数论命题
36 单元- 242 第9卷命题 1 · 相似平面数乘积为平方 Proposition IX.1
- 243 第9卷命题 2 · 两数相乘得平方数则相似 Proposition IX.2
- 244 第9卷命题 3 · 立方数自乘仍为立方 Proposition IX.3
- 245 第9卷命题 4 · 立方数乘积仍为立方 Proposition IX.4
- 246 第9卷命题 5 · 立方数乘积的立方性质 Proposition IX.5
- 247 第9卷命题 6 · 自乘得立方数则原数亦立方 Proposition IX.6
- 248 第9卷命题 7 · 合数乘数得立体数 Proposition IX.7
- 249 第9卷命题 8 · 等比数列中平方数与立方数的性质 Proposition IX.8
- 250 第9卷命题 9 · 等比数列中平方与立方传递性 Proposition IX.9
- 251 第9卷命题 10 · 等比数列中平方数与立方数的性质 Proposition IX.10
- 252 第9卷命题 11 · 连比例中最小数测最大数 Proposition IX.11
- 253 第9卷命题 12 · 等比数列首项与末项同素因子 Proposition IX.12
- 254 第9卷命题 13 · 单位起连比例中最大数仅被等比数整除 Proposition IX.13
- 255 第9卷命题 14 · 最小公倍数无额外素因子 Proposition IX.14
- 256 第9卷命题 15 · 连比例最小数两两和与第三数互素 Proposition IX.15
- 257 第9卷命题 16 · 互质数之比不可循环 Proposition IX.16
- 258 第9卷命题 17 · 连比例中首末互质则末项不与它数成首末比 Proposition IX.17
- 259 第9卷命题 18 · 两数求第三比例项 Proposition IX.18
- 260 第9卷命题 19 · 第四比例数存在条件 Proposition IX.19
- 261 第9卷命题 20 · 素数无穷定理 Proposition IX.20
- 262 第9卷命题 21 · 偶数之和仍为偶数 Proposition IX.21
- 263 第9卷命题 22 · 偶数个奇数之和为偶数 Proposition IX.22
- 264 第9卷命题 23 · 奇数个奇数之和为奇数 Proposition IX.23
- 265 第9卷命题 24 · 偶数减偶数差为偶 Proposition IX.24
- 266 第9卷命题 25 · 偶数减奇数余为奇数 Proposition IX.25
- 267 第9卷命题 26 · 奇数减奇数余为偶数 Proposition IX.26
- 268 第9卷命题 27 · 奇减偶余奇 Proposition IX.27
- 269 第9卷命题 28 · 奇数乘偶数得偶数 Proposition IX.28
- 270 第9卷命题 29 · 奇数乘奇数得奇数 Proposition IX.29
- 271 第9卷命题 30 · 奇数测偶数必测其半 Proposition IX.30
- 272 第9卷命题 31 · 奇数与某数互素则与二倍亦互素 Proposition IX.31
- 273 第9卷命题 32 · 连续加倍数皆为偶倍偶数 Proposition IX.32
- 274 第9卷命题 33 · 半为奇数则仅为偶倍奇数 Proposition IX.33
- 275 第9卷命题 34 · 非二倍幂且半非奇数为兼偶 Proposition IX.34
- 276 第9卷命题 35 · 连比例数减首项后余项之比 Proposition IX.35
- 277 第9卷命题 36 · 完全数定理 Proposition IX.36
第 1 — 115 命题
第十卷 · 无理量分类
115 单元- 278 第10卷命题 1 · 穷竭法基本引理 Proposition X.1
- 279 第10卷命题 2 · 辗转相减判不可公度 Proposition X.2
- 280 第10卷命题 3 · 求两可公度量最大公度 Proposition X.3
- 281 第10卷命题 4 · 求三个可公度量最大公度 Proposition X.4
- 282 第10卷命题 5 · 可公度量之比为数之比 Proposition X.5
- 283 第10卷命题 6 · 数比量必可公度 Proposition X.6
- 284 第10卷命题 7 · 不可通约量无数量比 Proposition X.7
- 285 第10卷命题 8 · 无理量判定定理 Proposition X.8
- 286 第10卷命题 9 · 可公度线段平方比定理 Proposition X.9
- 287 第10卷命题 10 · 求与给定线段不可公度的两线段 Proposition X.10
- 288 第10卷命题 11 · 比例与可公度性传递 Proposition X.11
- 289 第10卷命题 12 · 与同一量可公度的量互可公度 Proposition X.12
- 290 第10卷命题 13 · 第十卷第十三命题 Proposition X.13
- 291 第10卷命题 14 · 比例线段平方差的可公度性 Proposition X.14
- 292 第10卷命题 15 · 可公度量相加性质 Proposition X.15
- 293 第10卷命题 16 · 第十卷第十六命题 Proposition X.16
- 294 第10卷命题 17 · 无理量分类定理 Proposition X.17
- 295 第10卷命题 18 · 第十卷命题十八：无理量分类定理 Proposition X.18
- 296 第10卷命题 19 · 有理线段所成矩形为有理 Proposition X.19
- 297 第10卷命题 20 · 有理面积贴于有理线段 Proposition X.20
- 298 第10卷命题 21 · 第十卷命题21：中项线定义 Proposition X.21
- 299 第10卷命题 22 · 中项线平方贴于有理线得无理宽 Proposition X.22
- 300 第10卷命题 23 · 与中项线可公度的线段是中项线 Proposition X.23
- 301 第10卷命题 24 · 中项线段的矩形仍为中项 Proposition X.24
- 302 第10卷命题 25 · 仅平方可通约中项线所成矩形 Proposition X.25
- 303 第10卷命题 26 · 两中项面之差非有理面 Proposition X.26
- 304 第10卷命题 27 · 求作仅平方可通约中项线含有理矩形 Proposition X.27
- 305 第10卷命题 28 · 求作含中项矩形的中项线 Proposition X.28
- 306 第10卷命题 29 · 求两平方可通约有理线段 Proposition X.29
- 307 第10卷命题 30 · 求两平方差为不可公度线段 Proposition X.30
- 308 第10卷命题 31 · 求作两中项线满足特定条件 Proposition X.31
- 309 第10卷命题 32 · 求作两中项线平方可通 Proposition X.32
- 310 第10卷命题 33 · 求两平方和有理而所成矩形中项之线段 Proposition X.33
- 311 第10卷命题 34 · 求作两无理线段平方和为中项积为有理 Proposition X.34
- 312 第10卷命题 35 · 求作两无理线段平方和与矩形均为中项且不可公度 Proposition X.35
- 313 第10卷命题 36 · 两有理线段仅平方可通分之和为无理 Proposition X.36
- 314 第10卷命题 37 · 第一双中项线之无理性质 Proposition X.37
- 315 第10卷命题 38 · 第二双中项线无理性的证明 Proposition X.38
- 316 第10卷命题 39 · 两无理线段和为主线段 Proposition X.39
- 317 第10卷命题 40 · 有理中矩面无理线 Proposition X.40
- 318 第10卷命题 41 · 两中面积和之边 Proposition X.41
- 319 第10卷命题 42 · 二项线段的唯一分割点 Proposition X.42
- 320 第10卷命题 43 · 第一双中项线仅一点可分 Proposition X.43
- 321 第10卷命题 44 · 第二双中项线仅可一次分割 Proposition X.44
- 322 第10卷命题 45 · 大线段仅能被唯一分割 Proposition X.45
- 323 第10卷命题 46 · 有理中矩面边仅一点可分 Proposition X.46
- 324 第10卷命题 47 · 两中项和之边仅可一点分割 Proposition X.47
- 325 第10卷命题 48 · 求第一二项线段 Proposition X.48
- 326 第10卷命题 49 · 求第二二项线 Proposition X.49
- 327 第10卷命题 50 · 求第三二项线 Proposition X.50
- 328 第10卷命题 51 · 求第四二项线 Proposition X.51
- 329 第10卷命题 52 · 求第五二项线 Proposition X.52
- 330 第10卷命题 53 · 求第六双项线 Proposition X.53
- 331 第10卷命题 54 · 第一二项线与有理线所容面积之边 Proposition X.54
- 332 第10卷命题 55 · 第二二项线与有理线所成面积之边为第一双中项线 Proposition X.55
- 333 第10卷命题 56 · 第三二项线所成面积之边为第二双中线 Proposition X.56
- 334 第10卷命题 57 · 第四二项线与有理线所成面积之边 Proposition X.57
- 335 第10卷命题 58 · 第五二项线与有理线所成面积之边 Proposition X.58
- 336 第10卷命题 59 · 第六二项线所成面积之边 Proposition X.59
- 337 第10卷命题 60 · 第十卷第六十命题 Proposition X.60
- 338 第10卷命题 61 · 第一双中项线产生第二二项线 Proposition X.61
- 339 第10卷命题 62 · 第二双中项线产生第三二项线 Proposition X.62
- 340 第10卷命题 63 · 中项线平方得第四二项线 Proposition X.63
- 341 第10卷命题 64 · 有理中面线之边产生第五二项线 Proposition X.64
- 342 第10卷命题 65 · 两中项和边产生第六二项线 Proposition X.65
- 343 第10卷命题 66 · 与二项线段可公度线段亦为同阶二项线 Proposition X.66
- 344 第10卷命题 67 · 双中项线可公度性 Proposition X.67
- 345 第10卷命题 68 · 与中项线可公度的线段也是中项线 Proposition X.68
- 346 第10卷命题 69 · 有理中面线段的共度线段 Proposition X.69
- 347 第10卷命题 70 · 两中项和之边可公度性 Proposition X.70
- 348 第10卷命题 71 · 有理与中项面积和的无理线 Proposition X.71
- 349 第10卷命题 72 · 两中项面相加得两类无理线 Proposition X.72
- 350 第10卷命题 73 · 从有理线段减有理线段得余线 Proposition X.73
- 351 第10卷命题 74 · 中项线第一余线 Proposition X.74
- 352 第10卷命题 75 · 第二中项线段的余线 Proposition X.75
- 353 第10卷命题 76 · 第十卷第七十六命题 Proposition X.76
- 354 第10卷命题 77 · 第十卷第七十七命题 Proposition X.77
- 355 第10卷命题 78 · 产生中面中面余线的无理量 Proposition X.78
- 356 第10卷命题 79 · 第十卷第七十九命题 Proposition X.79
- 357 第10卷命题 80 · 第一中项线段的唯一可附线段 Proposition X.80
- 358 第10卷命题 81 · 第二中项线段的第二余线仅可附加一条中项线段 Proposition X.81
- 359 第10卷命题 82 · 小线段仅可附加一条无理线段 Proposition X.82
- 360 第10卷命题 83 · 中项面有理面线仅可附一线 Proposition X.83
- 361 第10卷命题 84 · 中面中面线仅有一附线 Proposition X.84
- 362 第10卷命题 85 · 求第一余线 Proposition X.85
- 363 第10卷命题 86 · 求第二余线 Proposition X.86
- 364 第10卷命题 87 · 求第三余线 Proposition X.87
- 365 第10卷命题 88 · 求第四余线 Proposition X.88
- 366 第10卷命题 89 · 求第五种余线 Proposition X.89
- 367 第10卷命题 90 · 求第六种余线 Proposition X.90
- 368 第10卷命题 91 · 有理线段与第一余线所成面积之边为余线 Proposition X.91
- 369 第10卷命题 92 · 第二类余线所成面积之边为第一中项线余线 Proposition X.92
- 370 第10卷命题 93 · 第三余线所成面积之边为第二中项余线 Proposition X.93
- 371 第10卷命题 94 · 第四余线与有理线段所容面积之边为次线 Proposition X.94
- 372 第10卷命题 95 · 第五余线所围面积之边 Proposition X.95
- 373 第10卷命题 96 · 第六余线所围面积之边为中线面中线 Proposition X.96
- 374 第10卷命题 97 · 第十卷命题97：余线平方得第一余线 Proposition X.97
- 375 第10卷命题 98 · 中项第一余线平方得第二余线 Proposition X.98
- 376 第10卷命题 99 · 第二中项线段的端线产生第三端线 Proposition X.99
- 377 第10卷命题 100 · 小线段平方产生第四余线 Proposition X.100
- 378 第10卷命题 101 · 第五种余线由有理中面线产生 Proposition X.101
- 379 第10卷命题 102 · 中面中面线产生第六种余线 Proposition X.102
- 380 第10卷命题 103 · 与余线段可公度线段亦为同阶余线段 Proposition X.103
- 381 第10卷命题 104 · 中项线段的余线可公度性 Proposition X.104
- 382 第10卷命题 105 · 与次线段可公度的线段是次线段 Proposition X.105
- 383 第10卷命题 106 · 有理面中项面线段的共度性 Proposition X.106
- 384 第10卷命题 107 · 与中面中全线可公度线段亦为中面中全线 Proposition X.107
- 385 第10卷命题 108 · 有理面积减中项面积余边为两无理线之一 Proposition X.108
- 386 第10卷命题 109 · 有理面积减中项面积得两无理线 Proposition X.109
- 387 第10卷命题 110 · 第十卷命题110 Proposition X.110
- 388 第10卷命题 111 · 余线与二项线不同 Proposition X.111
- 389 第10卷命题 112 · 有理线段与二项线段的矩形 Proposition X.112
- 390 第10卷命题 113 · 有理线段与余线之矩形得二项线 Proposition X.113
- 391 第10卷命题 114 · 余线与二项线所成矩形之边为有理 Proposition X.114
- 392 第10卷命题 115 · 由中项线产生无穷无理线 Proposition X.115
第 1 — 39 命题
第十一卷 · 立体几何基础
39 单元- 393 第11卷命题 1 · 直线不能部分在参考平面部分在更高平面 Proposition XI.1
- 394 第11卷命题 2 · 相交直线与三角形共面 Proposition XI.2
- 395 第11卷命题 3 · 两平面相交交线为直线 Proposition XI.3
- 396 第11卷命题 4 · 直线垂直于两相交直线则垂直于其平面 Proposition XI.4
- 397 第11卷命题 5 · 垂线共点三线共面定理 Proposition XI.5
- 398 第11卷命题 6 · 同平面垂线互相平行 Proposition XI.6
- 399 第11卷命题 7 · 平行线上点连线共面 Proposition XI.7
- 400 第11卷命题 8 · 平行线与平面垂直的传递性 Proposition XI.8
- 401 第11卷命题 9 · 平行于同一直线的两直线平行 Proposition XI.9
- 402 第11卷命题 10 · 平行线夹角相等定理 Proposition XI.10
- 403 第11卷命题 11 · 过定点作平面垂线 Proposition XI.11
- 404 第11卷命题 12 · 过平面内一点作垂线 Proposition XI.12
- 405 第11卷命题 13 · 同侧垂线唯一性 Proposition XI.13
- 406 第11卷命题 14 · 垂直于同一直线的平面平行 Proposition XI.14
- 407 第11卷命题 15 · 两相交直线平行则平面平行 Proposition XI.15
- 408 第11卷命题 16 · 两平行平面与一平面相交所得交线平行 Proposition XI.16
- 409 第11卷命题 17 · 平行平面截线段成比例 Proposition XI.17
- 410 第11卷命题 18 · 直线垂直平面则过其平面皆垂直 Proposition XI.18
- 411 第11卷命题 19 · 两平面交线垂直于同一平面 Proposition XI.19
- 412 第11卷命题 20 · 立体角三面角中任意两角之和大于第三角 Proposition XI.20
- 413 第11卷命题 21 · 立体角所含平面角小于四直角 Proposition XI.21
- 414 第11卷命题 22 · 三面角边可构三角形 Proposition XI.22
- 415 第11卷命题 23 · 用三个平面角构立体角 Proposition XI.23
- 416 第11卷命题 24 · 平行平面所夹立体对面相等且为平行四边形 Proposition XI.24
- 417 第11卷命题 25 · 平行平面截平行六面体 Proposition XI.25
- 418 第11卷命题 26 · 在给定线上作等于给定立体角的立体角 Proposition XI.26
- 419 第11卷命题 27 · 作相似平行六面体 Proposition XI.27
- 420 第11卷命题 28 · 平行六面体对角面平分 Proposition XI.28
- 421 第11卷命题 29 · 同底等高且侧棱共线之平行六面体相等 Proposition XI.29
- 422 第11卷命题 30 · 同底等高且侧棱不共线之平行六面体相等 Proposition XI.30
- 423 第11卷命题 31 · 等底等高平行六面体相等 Proposition XI.31
- 424 第11卷命题 32 · 同高平行六面体体积比等于底面积比 Proposition XI.32
- 425 第11卷命题 33 · 相似平行六面体体积比定理 Proposition XI.33
- 426 第11卷命题 34 · 等积平行六面体底高互反 Proposition XI.34
- 427 第11卷命题 35 · 等角立体中的对应角相等 Proposition XI.35
- 428 第11卷命题 36 · 比例三线构成等积平行体 Proposition XI.36
- 429 第11卷命题 37 · 比例线段与相似平行六面体 Proposition XI.37
- 430 第11卷命题 38 · 立方体截面与直径互相平分 Proposition XI.38
- 431 第11卷命题 39 · 等底倍三角的棱柱相等 Proposition XI.39
第 1 — 18 命题
第十二卷 · 穷竭法与体积面积
18 单元- 432 第12卷命题 1 · 圆内相似多边形面积比等于直径平方比 Proposition XII.1
- 433 第12卷命题 2 · 圆面积比等于直径平方比 Proposition XII.2
- 434 第12卷命题 3 · 三角锥分割为相似小锥与等积棱柱 Proposition XII.3
- 435 第12卷命题 4 · 同高三角锥底比等于棱柱和比 Proposition XII.4
- 436 第12卷命题 5 · 等高三角锥底面积比等于体积比 Proposition XII.5
- 437 第12卷命题 6 · 同高多边形底棱锥体积比等于底面积比 Proposition XII.6
- 438 第12卷命题 7 · 三角柱可等分为三棱锥 Proposition XII.7
- 439 第12卷命题 8 · 相似三角锥体积比定理 Proposition XII.8
- 440 第12卷命题 9 · 等底三角锥底高互反 Proposition XII.9
- 441 第12卷命题 10 · 圆锥是等底等高圆柱的三分之一 Proposition XII.10
- 442 第12卷命题 11 · 等高锥柱体积比于底圆 Proposition XII.11
- 443 第12卷命题 12 · 相似圆锥圆柱体积比定理 Proposition XII.12
- 444 第12卷命题 13 · 圆柱截面与轴的比例 Proposition XII.13
- 445 第12卷命题 14 · 等底圆柱体积与高成正比 Proposition XII.14
- 446 第12卷命题 15 · 等锥柱底高互反定理 Proposition XII.15
- 447 第12卷命题 16 · 两同心圆内接偶边多边形 Proposition XII.16
- 448 第12卷命题 17 · 同中心两球内接多面体不触小球 Proposition XII.17
- 449 第12卷命题 18 · 球体积比等于直径立方比 Proposition XII.18
第 1 — 18 命题
第十三卷 · 正多面体
18 单元- 450 第13卷命题 1 · 中末比线段平方与半和五倍关系 Proposition XIII.1
- 451 第13卷命题 2 · 五倍平方线段的黄金分割 Proposition XIII.2
- 452 第13卷命题 3 · 黄金分割线段平方关系 Proposition XIII.3
- 453 第13卷命题 4 · 黄金分割平方三倍定理 Proposition XIII.4
- 454 第13卷命题 5 · 黄金分割线段加长定理 Proposition XIII.5
- 455 第13卷命题 6 · 中末比分割得两余线 Proposition XIII.6
- 456 第13卷命题 7 · 等边五边形等角定理 Proposition XIII.7
- 457 第13卷命题 8 · 正五边形对角线黄金分割 Proposition XIII.8
- 458 第13卷命题 9 · 圆内接正六边形与正十边形边长的和 Proposition XIII.9
- 459 第13卷命题 10 · 圆内接正五边形边平方等于正六边形与正十边形边平方和 Proposition XIII.10
- 460 第13卷命题 11 · 圆内接正五边形边为次线 Proposition XIII.11
- 461 第13卷命题 12 · 圆内接等边三角形边平方与半径平方之比 Proposition XIII.12
- 462 第13卷命题 13 · 球内接正四棱锥的构造与性质 Proposition XIII.13
- 463 第13卷命题 14 · 作八面体内接于球并证直径平方为边平方二倍 Proposition XIII.14
- 464 第13卷命题 15 · 作立方体内接于球且证直径平方为边三倍 Proposition XIII.15
- 465 第13卷命题 16 · 构造内接于球的正二十面体 Proposition XIII.16
- 466 第13卷命题 17 · 正十二面体的构造与内接球 Proposition XIII.17
- 467 第13卷命题 18 · 正多面体边长的比较与构造 Proposition XIII.18
已接入 28 节
阿基米德选集
Works of Archimedes
从内接外切多边形、杠杆平衡和双重反证进入阿基米德的穷竭法。
圆的度量 · 3抛物线求积 · 24
本书目录 2 组 · 28 节
3 个命题
圆的度量
3 节 24 个命题
抛物线求积
24 节- 06 《抛物线求积》命题 1 · 平行切线的弦被直径平分 Quadrature of the Parabola · Proposition 1
- 07 《抛物线求积》命题 2 · 切线段等于直径段 Quadrature of the Parabola · Proposition 2
- 08 《抛物线求积》命题 3 · 抛物线的平方比例 Quadrature of the Parabola · Proposition 3
- 09 《抛物线求积》命题 4 · 换轴后的比例关系 Quadrature of the Parabola · Proposition 4
- 10 《抛物线求积》命题 5 · 切线给出的同一比例 Quadrature of the Parabola · Proposition 5
- 11 《抛物线求积》命题 6 · 直角三角形的杠杆平衡 Quadrature of the Parabola · Proposition 6
- 12 《抛物线求积》命题 7 · 钝角三角形的杠杆平衡 Quadrature of the Parabola · Proposition 7
- 13 《抛物线求积》命题 8 · 三角形平衡的上、下界 Quadrature of the Parabola · Proposition 8
- 14 《抛物线求积》命题 9 · 钝角三角形平衡的上、下界 Quadrature of the Parabola · Proposition 9
- 15 《抛物线求积》命题 10 · 梯形平衡的第一不等式 Quadrature of the Parabola · Proposition 10
- 16 《抛物线求积》命题 11 · 直角特例的梯形平衡 Quadrature of the Parabola · Proposition 11
- 17 《抛物线求积》命题 12 · 移位梯形的双边估计 Quadrature of the Parabola · Proposition 12
- 18 《抛物线求积》命题 13 · 移位梯形估计的反向特例 Quadrature of the Parabola · Proposition 13
- 19 《抛物线求积》命题 14 · 外侧梯形和控制上界 Quadrature of the Parabola · Proposition 14
- 20 《抛物线求积》命题 15 · 内侧梯形和控制下界 Quadrature of the Parabola · Proposition 15
- 21 《抛物线求积》命题 16 · 弓形等于切线三角形的三分之一 Quadrature of the Parabola · Proposition 16
- 22 《抛物线求积》命题 17 · 弓形等于同底同高三角形的四分之三 Quadrature of the Parabola · Proposition 17
- 23 《抛物线求积》命题 18 · 中点直径确定弓形顶点 Quadrature of the Parabola · Proposition 18
- 24 《抛物线求积》命题 19 · 副弓形高度为四分之一 Quadrature of the Parabola · Proposition 19
- 25 《抛物线求积》命题 20 · 初始三角形大于半个弓形 Quadrature of the Parabola · Proposition 20
- 26 《抛物线求积》命题 21 · 两个余弓形三角形合为四分之一 Quadrature of the Parabola · Proposition 21
- 27 《抛物线求积》命题 22 · 内接多边形面积小于弓形 Quadrature of the Parabola · Proposition 22
- 28 《抛物线求积》命题 23 · 四分之一递减列的有限求和 Quadrature of the Parabola · Proposition 23
- 29 《抛物线求积》命题 24 · 抛物线弓形面积定理 Quadrature of the Parabola · Proposition 24
已接入 256 节
九章算术
九章算術
从方田、粟米、衰分读到方程、勾股，把中国古典算学的题、答、术、注逐题拆开，再用现代算式复现。
卷一 · 方田 · 39卷二 · 粟米 · 47卷三 · 衰分 · 21卷四 · 少广 · 25卷五 · 商功 · 29卷六 · 均输 · 29卷七 · 盈不足 · 21卷八 · 方程 · 19卷九 · 勾股 · 25
本书目录 9 组 · 256 节
概览 + 38 题
卷一 · 方田
39 节- 01 卷一 · 方田概览 田形、分数与积步
- 02 方田1 · 广十五步，从十六步 方田卷第 1 题
- 03 方田2 · 广十二步，从十四步 方田卷第 2 题
- 04 方田3 · 广一里，从一里 方田卷第 3 题
- 05 方田4 · 广二里，从三里 方田卷第 4 题
- 06 方田5 · 十八分之十二 方田卷第 5 题
- 07 方田6 · 九十一分之四十九 方田卷第 6 题
- 08 方田7 · 三分之一与五分之二 方田卷第 7 题
- 09 方田8 · 三分之二、七分之四、九分之五 方田卷第 8 题
- 10 方田9 · 二分之一至五分之四 方田卷第 9 题
- 11 方田10 · 九分之八减五分之一 方田卷第 10 题
- 12 方田11 · 四分之三减三分之一 方田卷第 11 题
- 13 方田12 · 八分之五与二十五分之十六 方田卷第 12 题
- 14 方田13 · 九分之八与七分之六 方田卷第 13 题
- 15 方田14 · 二十一分之八与五十分之十七 方田卷第 14 题
- 16 方田15 · 三分之一、三分之二、四分之三平分 方田卷第 15 题
- 17 方田16 · 二分之一、三分之二、四分之三平分 方田卷第 16 题
- 18 方田17 · 七人分八钱三分钱之一 方田卷第 17 题
- 19 方田18 · 三人三分人之一分钱 方田卷第 18 题
- 20 方田19 · 七分步之四乘五分步之三 方田卷第 19 题
- 21 方田20 · 九分步之七乘十一分步之九 方田卷第 20 题
- 22 方田21 · 五分步之四乘九分步之五 方田卷第 21 题
- 23 方田22 · 三步三分之一乘五步五分之二 方田卷第 22 题
- 24 方田23 · 七步四分之三乘十五步九分之五 方田卷第 23 题
- 25 方田24 · 十八步七分之五乘二十三步十一分之六 方田卷第 24 题
- 26 方田25 · 圭田广十二步正从二十一步 方田卷第 25 题
- 27 方田26 · 圭田广五步半从八步三分之二 方田卷第 26 题
- 28 方田27 · 邪田两头广三十与四十二 方田卷第 27 题
- 29 方田28 · 邪田正广六十五两畔从一百与七十二 方田卷第 28 题
- 30 方田29 · 箕田舌广二十踵广五 方田卷第 29 题
- 31 方田30 · 箕田舌广一百一十七踵广五十 方田卷第 30 题
- 32 方田31 · 圆田周三十径十 方田卷第 31 题
- 33 方田32 · 圆田周一百八十一径六十又三分之一 方田卷第 32 题
- 34 方田33 · 宛田下周三十径十六 方田卷第 33 题
- 35 方田34 · 宛田下周九十九径五十一 方田卷第 34 题
- 36 方田35 · 弧田弦三十矢十五 方田卷第 35 题
- 37 方田36 · 弧田弦七十八半矢十三又九分之七 方田卷第 36 题
- 38 方田37 · 环田中周九十二外周一百二十二径五 方田卷第 37 题
- 39 方田38 · 环田中周六十二又四分之三外周一百一十三半径十二又三分之二 方田卷第 38 题
概览 + 46 题
卷二 · 粟米
47 节- 40 卷二 · 粟米概览 卷二 · 粟米
- 41 粟米1 · 粟一斗，欲爲糲米 粟米卷第 1 题
- 42 粟米2 · 粟二斗一升，欲爲粺米 粟米卷第 2 题
- 43 粟米3 · 粟四斗五升，欲爲糳米 粟米卷第 3 题
- 44 粟米4 · 粟七斗九升，欲爲御米 粟米卷第 4 题
- 45 粟米5 · 粟一斗，欲爲小䵂 粟米卷第 5 题
- 46 粟米6 · 粟九斗八升，欲爲大䵂 粟米卷第 6 题
- 47 粟米7 · 粟二斗三升，欲爲糲飯 粟米卷第 7 题
- 48 粟米8 · 粟三斗六升，欲爲粺飯 粟米卷第 8 题
- 49 粟米9 · 粟八斗六升，欲爲糳飯 粟米卷第 9 题
- 50 粟米10 · 粟九斗八升，欲爲御飯 粟米卷第 10 题
- 51 粟米11 · 粟三斗少半升，欲爲菽 粟米卷第 11 题
- 52 粟米12 · 粟四斗一升、太半升，欲爲荅 粟米卷第 12 题
- 53 粟米13 · 粟五斗、太半升，欲爲麻 粟米卷第 13 题
- 54 粟米14 · 粟一十斗八升、五分升之二，欲爲麥 粟米卷第 14 题
- 55 粟米15 · 粟七斗五升、七分升之四，欲爲稻 粟米卷第 15 题
- 56 粟米16 · 粟七斗八升，欲爲䜴 粟米卷第 16 题
- 57 粟米17 · 粟五斗五升，欲爲飱 粟米卷第 17 题
- 58 粟米18 · 粟四斗，欲爲熟菽 粟米卷第 18 题
- 59 粟米19 · 粟二斗，欲爲糵 粟米卷第 19 题
- 60 粟米20 · 糲米十五斗五升、五分升之二，欲爲粟 粟米卷第 20 题
- 61 粟米21 · 粺米二斗，欲爲粟 粟米卷第 21 题
- 62 粟米22 · 糳米三斗少半升，欲爲粟 粟米卷第 22 题
- 63 粟米23 · 御米十四斗，欲爲粟 粟米卷第 23 题
- 64 粟米24 · 稻一十二斗六升、一十五分升之一十四，欲爲粟 粟米卷第 24 题
- 65 粟米25 · 糲米一十九斗二升、七分升之一，欲爲粺米 粟米卷第 25 题
- 66 粟米26 · 糲米六斗四升、五分升之三，欲爲糲飯 粟米卷第 26 题
- 67 粟米27 · 糲飯七斗六升、七分升之四，欲爲飱 粟米卷第 27 题
- 68 粟米28 · 菽一斗，欲爲熟菽 粟米卷第 28 题
- 69 粟米29 · 菽二斗，欲爲䜴 粟米卷第 29 题
- 70 粟米30 · 麥八斗六升、七分升之三，欲爲小䵂 粟米卷第 30 题
- 71 粟米31 · 麥一斗，欲爲大䵂 粟米卷第 31 题
- 72 粟米32 · 出錢一百六十，買瓴甓十八枚 粟米卷第 32 题
- 73 粟米33 · 出錢一萬三千五百，買竹二千三百五十箇 粟米卷第 33 题
- 74 粟米34 · 出錢五千七百八十五，買漆一斛六斗七升、太半升 粟米卷第 34 题
- 75 粟米35 · 出錢七百二十，買縑一匹二丈一尺 粟米卷第 35 题
- 76 粟米36 · 出錢二千三百七十，買布九匹二丈七尺 粟米卷第 36 题
- 77 粟米37 · 出錢一萬三千六百七十，買絲一石二鈞一十七斤 粟米卷第 37 题
- 78 粟米38 · 出錢五百七十六，買竹七十八箇 粟米卷第 38 题
- 79 粟米39 · 出錢一千一百二十，買絲一石二鈞十八斤 粟米卷第 39 题
- 80 粟米40 · 出錢一萬三千九百七十，買絲一石二鈞二十八斤三兩五... 粟米卷第 40 题
- 81 粟米41 · 出錢一萬三千九百七十，買絲一石二鈞二十八斤三兩五... 粟米卷第 41 题
- 82 粟米42 · 出錢一萬三千九百七十，買絲一石二鈞二十八斤三兩五... 粟米卷第 42 题
- 83 粟米43 · 出錢一萬三千九百七十，買絲一石二鈞二十八斤三兩五... 粟米卷第 43 题
- 84 粟米44 · 出錢一萬三千九百七十，買絲一石二鈞二十八斤三兩五... 粟米卷第 44 题
- 85 粟米45 · 出錢六百二十，買羽二千一百翭 粟米卷第 45 题
- 86 粟米46 · 出錢九百八十，買矢簳五千八百二十枚 粟米卷第 46 题
概览 + 20 题
卷三 · 衰分
21 节- 87 卷三 · 衰分概览 卷三 · 衰分
- 88 衰分1 · 大夫、不更、簪褭、上造、公士凡五人，共獵得五鹿 衰分卷第 1 题
- 89 衰分2 · 牛、馬、羊食人苗，苗主責之粟五斗 衰分卷第 2 题
- 90 衰分3 · 甲持錢五百六十，乙持錢三百五十，丙持錢一百八十，... 衰分卷第 3 题
- 91 衰分4 · 女子善織，日自倍，五日織五尺 衰分卷第 4 题
- 92 衰分5 · 北鄉算八千七百五十八，西鄉算七千二百三十六，南鄉... 衰分卷第 5 题
- 93 衰分6 · 禀粟大夫、不更、簪褭、上造、公士，凡五人，一十五... 衰分卷第 6 题
- 94 衰分7 · 禀粟五斛，五人分之，欲令三人得三，二人得二 衰分卷第 7 题
- 95 衰分8 · 大夫、不更、簪褭、上造、公士，凡五人，共出百錢 衰分卷第 8 题
- 96 衰分9 · 甲持粟三升，乙持糲米三升，丙持糲飯三升 衰分卷第 9 题
- 97 衰分10 · 絲一斤，價直二百四十 衰分卷第 10 题
- 98 衰分11 · 絲一斤，價直三百四十五 衰分卷第 11 题
- 99 衰分12 · 縑一丈，價直一百二十八 衰分卷第 12 题
- 100 衰分13 · 布一匹，價直一百二十五 衰分卷第 13 题
- 101 衰分14 · 素一匹一丈，價直六百二十五 衰分卷第 14 题
- 102 衰分15 · 與人絲一十四斤，約得縑一十斤 衰分卷第 15 题
- 103 衰分16 · 絲一斤，耗七兩 衰分卷第 16 题
- 104 衰分17 · 生絲三十斤，乾之，耗三斤十二兩 衰分卷第 17 题
- 105 衰分18 · 田一畝，收粟六升、太半升 衰分卷第 18 题
- 106 衰分19 · 取保一歲價錢二千五百 衰分卷第 19 题
- 107 衰分20 · 貸人千錢，月息三十 衰分卷第 20 题
概览 + 24 题
卷四 · 少广
25 节- 108 卷四 · 少广概览 卷四 · 少广
- 109 少广1 · 田廣一步半 少广卷第 1 题
- 110 少广2 · 田廣一步半、三分步之一 少广卷第 2 题
- 111 少广3 · 田廣一步半、三分步之一、四分步之一 少广卷第 3 题
- 112 少广4 · 田廣一步半、三分步之一、四分步之一、五分步之一 少广卷第 4 题
- 113 少广5 · 田廣一步半、三分步之一、四分步之一、五分步之一、... 少广卷第 5 题
- 114 少广6 · 田廣一步半、三分步之一、四分步之一、五分步之一、... 少广卷第 6 题
- 115 少广7 · 田廣一步半、三分步之一、四分步之一、五分步之一、... 少广卷第 7 题
- 116 少广8 · 田廣一步半、三分步之一、四分步之一、五分步之一、... 少广卷第 8 题
- 117 少广9 · 田廣一步半、三分步之一、四分步之一、五分步之一、... 少广卷第 9 题
- 118 少广10 · 田廣一步半、三分步之一、四分步之一、五分步之一、... 少广卷第 10 题
- 119 少广11 · 田廣一步半、三分步之一、四分步之一、五分步之一、... 少广卷第 11 题
- 120 少广12 · 積五萬五千二百二十五步 少广卷第 12 题
- 121 少广13 · 積二萬五千二百八十一步 少广卷第 13 题
- 122 少广14 · 積七萬一千八百二十四步 少广卷第 14 题
- 123 少广15 · 積五十六萬四千七百五十二步、四分步之一 少广卷第 15 题
- 124 少广16 · 積三十九億七千二百一十五萬六百二十五步 少广卷第 16 题
- 125 少广17 · 積一千五百一十八步、四分步之三 少广卷第 17 题
- 126 少广18 · 積三百步 少广卷第 18 题
- 127 少广19 · 積一百八十六萬八百六十七尺 少广卷第 19 题
- 128 少广20 · 積一千九百五十三尺、八分尺之一 少广卷第 20 题
- 129 少广21 · 積六萬三千四百一尺、五百一十二分尺之四百四十七 少广卷第 21 题
- 130 少广22 · 積一百九十三萬七千五百四十一尺、二十七分尺之一十... 少广卷第 22 题
- 131 少广23 · 積四千五百尺 少广卷第 23 题
- 132 少广24 · 積一萬六千四百四十八億六千六百四十三萬七千五百尺 少广卷第 24 题
概览 + 28 题
卷五 · 商功
29 节- 133 卷五 · 商功概览 卷五 · 商功
- 134 商功1 · 穿地，積一萬尺 商功卷第 1 题
- 135 商功2 · 城，下廣四丈，上廣二丈，高五丈，袤一百二十六丈五... 商功卷第 2 题
- 136 商功3 · 垣，下廣三尺，上廣二尺，高一丈二尺，袤二十二丈五... 商功卷第 3 题
- 137 商功4 · 隄，下廣二丈，上廣八尺，高四尺，袤一十二丈七尺 商功卷第 4 题
- 138 商功5 · 溝，上廣一丈五尺，下廣一丈，深五尺，袤七丈 商功卷第 5 题
- 139 商功6 · 壍，上廣一丈六尺三寸，下廣一丈，深六尺三寸，袤一... 商功卷第 6 题
- 140 商功7 · 穿渠，上廣一丈八尺，下廣三尺六寸，深一丈八尺，袤... 商功卷第 7 题
- 141 商功8 · 方堢壔，方一丈六尺，高一丈五尺 商功卷第 8 题
- 142 商功9 · 圓堢壔，周四丈八尺，高一丈一尺 商功卷第 9 题
- 143 商功10 · 方亭，下方五丈，上方四丈，高五丈 商功卷第 10 题
- 144 商功11 · 圓亭，下周三丈，上周二丈，高一丈 商功卷第 11 题
- 145 商功12 · 方錐，下方二丈七尺，高二丈九尺 商功卷第 12 题
- 146 商功13 · 圓錐，下周三丈五尺，高五丈一尺 商功卷第 13 题
- 147 商功14 · 壍堵，下廣二丈，袤一十八丈六尺，高二丈五尺 商功卷第 14 题
- 148 商功15 · 陽馬，廣五尺，袤七尺，高八尺 商功卷第 15 题
- 149 商功16 · 鼈臑，下廣五尺，無袤 商功卷第 16 题
- 150 商功17 · 羡除，下廣六尺，上廣一丈，深三尺 商功卷第 17 题
- 151 商功18 · 芻甍，下廣三丈，袤四丈 商功卷第 18 题
- 152 商功19 · 芻童，下廣二丈，袤三丈 商功卷第 19 题
- 153 商功20 · 曲池，上中周二丈，外周四丈，廣一丈 商功卷第 20 题
- 154 商功21 · 盤池，上廣六丈，袤八丈 商功卷第 21 题
- 155 商功22 · 𡨋谷，上廣二丈，袤七丈 商功卷第 22 题
- 156 商功23 · 委粟平地，下周一十二丈，高二丈 商功卷第 23 题
- 157 商功24 · 委菽依垣，下周三丈，高七尺 商功卷第 24 题
- 158 商功25 · 委米依垣内角，下周八尺，高五尺 商功卷第 25 题
- 159 商功26 · 穿地，袤一丈六尺，深一丈，上廣六尺，爲垣積五百七... 商功卷第 26 题
- 160 商功27 · 倉，廣三丈，袤四丈五尺，容粟一萬斛 商功卷第 27 题
- 161 商功28 · 圓囷，高一丈三尺三寸少半寸，容米二千斛 商功卷第 28 题
概览 + 28 题
卷六 · 均输
29 节- 162 卷六 · 均输概览 卷六 · 均输
- 163 均输1 · 均輸粟：甲縣一萬戸，行道八日 均输卷第 1 题
- 164 均输2 · 均輸卒：甲縣一千二百人，薄塞 均输卷第 2 题
- 165 均输3 · 均賦粟：甲縣二萬五百二十戸，粟一斛二十錢，自輸其... 均输卷第 3 题
- 166 均输4 · 均賦粟：甲縣四萬二千算，粟一斛二十，傭價一日一錢... 均输卷第 4 题
- 167 均输5 · 粟七斗，三人分春之 均输卷第 5 题
- 168 均输6 · 人當稟粟二斛，倉無粟，欲與米一、菽二，以當所稟粟 均输卷第 6 题
- 169 均输7 · 取傭負鹽二斛，行一百里，與錢四十 均输卷第 7 题
- 170 均输8 · 負籠重一石一十七斤，行七十六步，五十返 均输卷第 8 题
- 171 均输9 · 程傳委輸，空車日行七十里，重車日行五十里 均输卷第 9 题
- 172 均输10 · 絡絲一斤爲練絲十二兩，練絲一斤爲靑絲一斤十二銖 均输卷第 10 题
- 173 均输11 · 惡粟二十斗，春之，得糲米九斗 均输卷第 11 题
- 174 均输12 · 善行者行一百步，不善行者行六十步 均输卷第 12 题
- 175 均输13 · 不善行者先行十里，善行者追之一百里，先至不善行者... 均输卷第 13 题
- 176 均输14 · 兔先走一百步，犬追之二百五十步，不及三十步而止 均输卷第 14 题
- 177 均输15 · 人持金十二斤出關，關稅之，十分而取一 均输卷第 15 题
- 178 均输16 · 客馬日行三百里 均输卷第 16 题
- 179 均输17 · 金箠長五尺 均输卷第 17 题
- 180 均输18 · 五人分五錢，令上二人所得與下三人等 均输卷第 18 题
- 181 均输19 · 竹九節，下三節容四升，上四節容三升 均输卷第 19 题
- 182 均输20 · 鳬起南海，七日至北海 均输卷第 20 题
- 183 均输21 · 甲發長安，五日至齊 均输卷第 21 题
- 184 均输22 · 一人三日，爲牡瓦三十八枚 均输卷第 22 题
- 185 均输23 · 一人一日矯矢五十，一人一日羽矢三十，一人一日筈矢... 均输卷第 23 题
- 186 均输24 · 假田，初假之歲三畝一錢，明年四畝一錢，後年五畝一... 均输卷第 24 题
- 187 均输25 · 程耕，一人一日發七畝，一人一日耕三畝，一人一日耰... 均输卷第 25 题
- 188 均输26 · 池，五渠注之 均输卷第 26 题
- 189 均输27 · 人持米出三關，外關三而取一，中關五而取一，内關七... 均输卷第 27 题
- 190 均输28 · 人持金出五關，前關二而稅一，次關三而稅一，次關四... 均输卷第 28 题
概览 + 20 题
卷七 · 盈不足
21 节- 191 卷七 · 盈不足概览 卷七 · 盈不足
- 192 盈不足1 · 共買物，人出八，盈三 盈不足卷第 1 题
- 193 盈不足2 · 共買鷄，人出九，盈十一 盈不足卷第 2 题
- 194 盈不足3 · 共買璡，人出半，盈四 盈不足卷第 3 题
- 195 盈不足4 · 共買牛七家，共出一百九十，不足三百三十 盈不足卷第 4 题
- 196 盈不足5 · 共買金，人出四百，盈三千四百 盈不足卷第 5 题
- 197 盈不足6 · 共買羊，人出五，不足四十五 盈不足卷第 6 题
- 198 盈不足7 · 共買豕，人出一百，盈一百 盈不足卷第 7 题
- 199 盈不足8 · 共買犬，人出五，不足九十 盈不足卷第 8 题
- 200 盈不足9 · 米在十斗桶中，不知其數 盈不足卷第 9 题
- 201 盈不足10 · 垣高九尺 盈不足卷第 10 题
- 202 盈不足11 · 蒲生一日，長三尺 盈不足卷第 11 题
- 203 盈不足12 · 垣厚五尺，兩鼠對穿 盈不足卷第 12 题
- 204 盈不足13 · 醇酒一斗，直錢五十 盈不足卷第 13 题
- 205 盈不足14 · 大器五，小器一，容三斛 盈不足卷第 14 题
- 206 盈不足15 · 漆三，得油四，油四和漆五 盈不足卷第 15 题
- 207 盈不足16 · 玉方一寸，重七兩 盈不足卷第 16 题
- 208 盈不足17 · 善田一畝，價三百 盈不足卷第 17 题
- 209 盈不足18 · 黃金九枚，白銀十一枚，稱之，重適等 盈不足卷第 18 题
- 210 盈不足19 · 良馬與駑馬發長安至齊 盈不足卷第 19 题
- 211 盈不足20 · 人持錢之蜀，賈利十三 盈不足卷第 20 题
概览 + 18 题
卷八 · 方程
19 节- 212 卷八 · 方程概览 卷八 · 方程
- 213 方程1 · 上禾三秉、中禾二秉、下禾一秉，實三十九斗 方程卷第 1 题
- 214 方程2 · 上禾七秉，損實一斗，益之 方程卷第 2 题
- 215 方程3 · 上禾二秉、中禾三秉、下禾四秉，實皆不滿斗 方程卷第 3 题
- 216 方程4 · 上禾五秉，損實一斗一升，當下禾七秉 方程卷第 4 题
- 217 方程5 · 上禾六秉，損實一斗八升，當下禾十秉 方程卷第 5 题
- 218 方程6 · 上禾三秉，益實六斗，當下禾十秉 方程卷第 6 题
- 219 方程7 · 牛五、羊二，直金十兩 方程卷第 7 题
- 220 方程8 · 賣牛二、羊五，以買十三豕，有餘錢一千 方程卷第 8 题
- 221 方程9 · 五雀、六燕集，稱之衡，雀俱重，燕俱輕 方程卷第 9 题
- 222 方程10 · 甲、乙二人持錢不知其數 方程卷第 10 题
- 223 方程11 · 二馬一牛，價過一萬，如半馬之價 方程卷第 11 题
- 224 方程12 · 武馬一匹、中馬二匹、下馬三匹，皆載四十石至阪，皆... 方程卷第 12 题
- 225 方程13 · 五家共井，甲二綆不足，如乙一綆 方程卷第 13 题
- 226 方程14 · 白禾二步、靑禾三步、黃禾四步、黑禾五步，實各不滿... 方程卷第 14 题
- 227 方程15 · 甲禾二秉、乙禾三秉、丙禾四秉，重皆過於石 方程卷第 15 题
- 228 方程16 · 令一人、吏五人、從者十人，食雞十 方程卷第 16 题
- 229 方程17 · 五羊、四犬、三雞、二兔，直錢一千四百九十六 方程卷第 17 题
- 230 方程18 · 麻九斗、麥七斗、菽三斗、荅二斗、黍五斗，直錢一百... 方程卷第 18 题
概览 + 24 题
卷九 · 勾股
25 节- 231 卷九 · 勾股概览 卷九 · 勾股
- 232 勾股1 · 句三尺，股四尺 勾股卷第 1 题
- 233 勾股2 · 弦五尺，句三尺 勾股卷第 2 题
- 234 勾股3 · 股四尺，弦五尺 勾股卷第 3 题
- 235 勾股4 · 圓材，徑二尺五寸，欲爲方版，令厚七寸 勾股卷第 4 题
- 236 勾股5 · 木長二丈，圍之三尺，葛生其下，𦆑木七周，上與木齊 勾股卷第 5 题
- 237 勾股6 · 池，方一丈，葭生其中央，出水一尺 勾股卷第 6 题
- 238 勾股7 · 立木，繫索其末，委地三尺 勾股卷第 7 题
- 239 勾股8 · 垣高一丈，倚木於垣，高與垣齊 勾股卷第 8 题
- 240 勾股9 · 圓材埋在壁中，不知大小 勾股卷第 9 题
- 241 勾股10 · 開門，去閫一尺，不合二寸 勾股卷第 10 题
- 242 勾股11 · 戸高多於廣六尺八寸，兩隅相去適一丈 勾股卷第 11 题
- 243 勾股12 · 戸不知高、廣，竿不知長、短 勾股卷第 12 题
- 244 勾股13 · 竹高一丈，末折抵地，去本三尺 勾股卷第 13 题
- 245 勾股14 · 二人同所立，甲行率七，乙行率三 勾股卷第 14 题
- 246 勾股15 · 句五步，股十二步 勾股卷第 15 题
- 247 勾股16 · 句八步，股十五步 勾股卷第 16 题
- 248 勾股17 · 邑方二百步，各中開門 勾股卷第 17 题
- 249 勾股18 · 邑東西七里，南北九里，各中開門 勾股卷第 18 题
- 250 勾股19 · 邑方，不知大小，各中開門 勾股卷第 19 题
- 251 勾股20 · 邑方，不知大小，各中開門 勾股卷第 20 题
- 252 勾股21 · 邑方十里，各中開門 勾股卷第 21 题
- 253 勾股22 · 木去人，不知遠近 勾股卷第 22 题
- 254 勾股23 · 山居木西，不知其高 勾股卷第 23 题
- 255 勾股24 · 井徑五尺，不知其深 勾股卷第 24 题
已接入 13 节
数书九章
數書九章
从孙子“物不知数”进入秦九韶《数书九章》卷一大衍类，再读正负开方术怎样把古代筹算推进到一般同余和高次方程。
课程导读 · 1预备 · 物不知数 · 1大衍总术 · 1大衍九例 · 9选篇 · 正负开方术 · 1
本书目录 5 组 · 13 节
概览
课程导读
1 节 1 题
预备 · 物不知数
1 节 总术
大衍总术
1 节 9 个数值实例
大衍九例
9 节 1 讲
选篇 · 正负开方术
1 节 已接入 12 节
杨辉算法
楊輝算法
从垛积术进入有限差分，再读杨辉三角的立成表和纵横图的数阵构造，把南宋组合算法翻成现代组合数、差分与幻方语言。
课程导读 · 1垛积术 · 5杨辉三角 · 3纵横图 · 3
本书目录 4 组 · 12 节
概览
课程导读
1 节 5 讲
垛积术
5 节 3 讲
杨辉三角
3 节 3 讲
纵横图
3 节 已接入 12 节
李冶天元术
測圓海鏡 / 益古演段
从《益古演段》的入门题进入《测圆海镜》的圆城模型，学习天元术怎样把几何量关系写成一元多项式方程。
课程导读 · 1天元术导引 · 2测圆海镜核心 · 6益古演段 · 3
本书目录 4 组 · 12 节
概览
课程导读
1 节 2 讲
天元术导引
2 节 6 讲
测圆海镜核心
6 节 3 讲
益古演段
3 节 已接入 13 节
朱世杰选篇
算學啟蒙 / 四元玉鑑
先用《算学启蒙》补足比例、开方和天元术入口，再读《四元玉鉴》的四元式、消元规则和招差术。
算学启蒙 · 4四元玉鉴 · 四元术 · 6四元玉鉴 · 招差术 · 3
本书目录 3 组 · 13 节
概览 + 3 题
算学启蒙
4 节 6 讲
四元玉鉴 · 四元术
6 节 3 讲
四元玉鉴 · 招差术
3 节 已接入 9 节
梅文鼎
方程论 / 勾股举隅
梅文鼎把传统方程术整理成可复用的分类语言，再把勾股题的测高测远写成可算的问题。
课程导读 · 1方程论 · 5勾股举隅 · 3
本书目录 3 组 · 9 节
概览
课程导读
1 节 第 2-6 单元
方程论
5 节 第 7-9 单元
勾股举隅
3 节 已接入 6 节
明安图
割圆密率捷法
从多边形逼近圆周率，到幂级数与递推，读明安图怎样把割圆术推成清代高峰。
课程导读 · 1割圆密率捷法 · 5
本书目录 2 组 · 6 节
概览
课程导读
1 节 第 2-6 单元
割圆密率捷法
5 节 已接入 31 节
阿波罗尼奥斯圆锥曲线
Conics
从圆锥截面、直径、切线、渐近线和共轭关系读阿波罗尼奥斯《圆锥曲线论》选篇，训练综合几何视角下的曲线语言。
导读与定义 · 5抛物线 · 5椭圆 · 5双曲线 · 5切线与共轭 · 6
本书目录 5 组 · 31 节
6 讲
导读与定义
5 节 6 讲
抛物线
5 节 6 讲
椭圆
5 节 6 讲
双曲线
5 节 6 讲
切线与共轭
6 节 已接入 11 节
笛卡尔几何
La Géométrie
从《几何》卷一进入解析几何的发明现场：怎样把作图、线段和曲线转成方程。
卷一 · 方法总纲 · 7卷一 · 轨迹与曲线分类 · 4
本书目录 2 组 · 11 节
概览 + 6 节
卷一 · 方法总纲
7 节 4 节
卷一 · 轨迹与曲线分类
4 节 已接入 21 节
欧拉代数学
Elements of Algebra
从量、数、正负号和整数开始，跟着欧拉把代数先讲成人人能顺着算下去的语言。
课程导读 · 1第一部 · 第一节 · 第一章 · 7第一部 · 第一节 · 第二章 · 13
本书目录 3 组 · 21 节
概览
课程导读
1 节 第 1-7 条
第一部 · 第一节 · 第一章
7 节- 02 第 1 条 · 量是什么 Article 1 · Magnitude or quantity
- 03 第 2 条 · 数学研究量 Article 2 · Mathematics as the science of quantity
- 04 第 3 条 · 度量必须先有同类单位 Article 3 · Measuring by a known quantity
- 05 第 4 条 · 数是量对单位的比例 Article 4 · Number and unit
- 06 第 5 条 · 代数作为数学基础 Article 5 · Analysis or algebra
- 07 第 6 条 · 代数暂时不管量的种类 Article 6 · Algebra considers numbers
- 08 第 7 条 · 算术与代数 Article 7 · Arithmetic and algebra
第 8-20 条
第一部 · 第一节 · 第二章
13 节- 09 第 8 条 · 加号 Article 8 · The sign plus
- 10 第 9 条 · 连续相加 Article 9 · Connecting several numbers by plus
- 11 第 10 条 · 用字母代表一般数 Article 10 · Letters in algebra
- 12 第 11 条 · 减号 Article 11 · The sign minus
- 13 第 12 条 · 连续相减 Article 12 · Subtracting several numbers
- 14 第 13 条 · 加减混合 Article 13 · Plus and minus together
- 15 第 14 条 · 项的顺序可以改变 Article 14 · Order of terms
- 16 第 15 条 · 字母式也按符号计算 Article 15 · Letters with plus and minus
- 17 第 16 条 · 正量与负量 Article 16 · Positive and negative quantities
- 18 第 17 条 · 用财产和债务理解正负 Article 17 · Possessions and debts
- 19 第 18 条 · 负数小于零 Article 18 · Less than nothing
- 20 第 19 条 · 自然数列与负数列 Article 19 · Positive and negative series
- 21 第 20 条 · 整数与分数 Article 20 · Integers and fractions
已接入 54 节
高斯算术研究
Disquisitiones Arithmeticae
从同余记号开始，读高斯怎样把余数计算推进到一次同余、幂剩余和二次剩余。
第一章 · 同余的一般概念 · 11第二章 · 一次同余方程 · 14第三章 · 幂剩余 · 16第四章 · 二次同余 · 13
本书目录 4 组 · 54 节
概览 + 10 节
第一章 · 同余的一般概念
11 节 概览 + 13 节
第二章 · 一次同余方程
14 节- 12 第二章 · 概览 一次同余和剩余合并
- 13 1 · 素数不整除非零小乘积 Art. 13-15
- 14 2 · 唯一分解和公因数 Art. 16-18
- 15 3 · 互素乘积和整除传递 Art. 19-21
- 16 4 · 同余中的约去 Art. 22-23
- 17 5 · 互素系数扫过所有余数 Art. 24
- 18 6 · 一次同余方程 Art. 25-26
- 19 7 · 用欧几里得算法求逆 Art. 27-28
- 20 8 · 系数和模数不互素时 Art. 29
- 21 9 · 合成模数的分解求解 Art. 30-31
- 22 10 · 两个模数的剩余合并 Art. 32
- 23 11 · 两两互素时的中国剩余定理 Art. 33-35
- 24 12 · 构造性合并：高斯和大衍求一 Art. 36
- 25 13 · 多未知量线性同余组 Art. 37-42
概览 + 15 节
第三章 · 幂剩余
16 节- 26 第三章 · 概览 从幂的周期到原根和指标
- 27 1 · 多项式同余的根数上界 Art. 43-44
- 28 2 · 幂序列必有周期 Art. 45-48
- 29 3 · 阶整除 p-1 Art. 49
- 30 4 · 费马小定理 Art. 50-51
- 31 5 · 给定周期长度的数有多少 Art. 52-56
- 32 6 · 原根、基数和指标 Art. 57
- 33 7 · 指标把乘法变加法 Art. 58-59
- 34 8 · 纯幂同余 xⁿ ≡ A Art. 60-63
- 35 9 · 根数和可解条件 Art. 64-68
- 36 10 · 不同原根之间的指标换算 Art. 69-71
- 37 11 · 怎样选原根 Art. 72-74
- 38 12 · 周期和原根的补充定理 Art. 75-81
- 39 13 · 素数幂模数 Art. 82-89
- 40 14 · 2 的幂作为模数 Art. 90-91
- 41 15 · 复合模数的幂剩余 Art. 92-93
概览 + 12 节
第四章 · 二次同余
13 节- 42 第四章 · 概览 二次剩余和互反律入口
- 43 1 · 二次剩余和非剩余 Art. 94-95
- 44 2 · 素数模数下一半一半 Art. 96-97
- 45 3 · 二次剩余的乘法规则 Art. 98-99
- 46 4 · 复合模数下的二次剩余 Art. 100-105
- 47 5 · 一般判别准则 Art. 106
- 48 6 · -1 何时是二次剩余 Art. 108-111
- 49 7 · ±2 的二次剩余性 Art. 112-116
- 50 8 · ±3 的二次剩余性 Art. 117-120
- 51 9 · ±5 与 ±7 的例子 Art. 121-124
- 52 10 · 通向一般互反律的准备 Art. 125-129
- 53 11 · 二次互反律的陈述 Art. 130-134
- 54 12 · 证明边界和下一阶段 Art. 135-152
已接入 25 节
丢番图算术选译
Arithmetica
选读《算术》卷一、卷二前二十四题，重点看丢番图怎样把求数问题改写成方程，含卷二第 8 题与费马旁注。
导读 · 1卷一 · 12卷二 · 12
本书目录 3 组 · 25 节
1 讲
导读
1 节 12 题
卷一
12 节 12 题
卷二
12 节 已接入 15 节
晚清译介数学
李善蘭 / 華蘅芳
李善兰和华蘅芳把解析几何、对数、微积分和代数学写成中文，让现代术语进入课堂。
课程导读 · 1李善兰 · 生平与术语 · 1方圆阐幽 · 2对数探源 · 2代微积拾级 · 3华蘅芳 · 生平与译馆 · 1代数术 · 2微积溯源 · 2学算笔谈 · 1
本书目录 9 组 · 15 节
概览
课程导读
1 节 1 个单元
李善兰 · 生平与术语
1 节 第 3-4 单元
方圆阐幽
2 节 第 5-6 单元
对数探源
2 节 第 7-9 单元
代微积拾级
3 节 1 个单元
华蘅芳 · 生平与译馆
1 节 第 11-12 单元
代数术
2 节 第 13-14 单元
微积溯源
2 节 1 个单元
学算笔谈
1 节 数学 · 书信 20 节
数学家书信选
Selected Mathematical Correspondence
以四组高浓度通信读数学尚未写成定本时的真实思考过程：问题怎样被提出，争论怎样展开，后来定理怎样从信纸上长出来。
总览 · 1帕斯卡-费马 1654 · 5欧拉-哥德巴赫 1742-1745 · 5牛顿-莱布尼茨 1676 · 4高斯通信与非欧几何 · 5
本书目录 5 组 · 20 节
1 单元
总览
1 节 概览 + 4 封
帕斯卡-费马 1654
5 节 概览 + 4 封
欧拉-哥德巴赫 1742-1745
5 节 概览 + 3 单元
牛顿-莱布尼茨 1676
4 节 概览 + 4 封
高斯通信与非欧几何
5 节 已接入 36 节
非欧几何原作选
Lobachevsky / Bolyai / Riemann
合读罗巴切夫斯基、鲍耶和黎曼三篇公版原作，沿第五公设、绝对几何、双曲几何和曲率语言进入现代几何。
罗巴切夫斯基 · 16鲍耶 · 11黎曼 · 9
本书目录 3 组 · 36 节
概览 + 15 讲
罗巴切夫斯基
16 节 概览 + 10 讲
鲍耶
11 节 概览 + 8 讲
黎曼
9 节 已接入 8 节
戴德金数与连续性
Stetigkeit und irrationale Zahlen
按 1872 年《数与连续性》七节读戴德金切割，把“数轴没有空洞”从直观变成纯算术定义。
导读 · 1《数与连续性》 · 7
本书目录 2 组 · 8 节
1 讲
导读
1 节 7 节
《数与连续性》
7 节- 02 有理数性质 Eigenschaften der rationalen Zahlen
- 03 有理数与直线点 Vergleichung der rationalen Zahlen mit den Puncten einer geraden Linie
- 04 直线的连续性 Stetigkeit der geraden Linie
- 05 无理数的创造 Schöpfung der irrationalen Zahlen
- 06 实数域的连续性 Stetigkeit des Gebietes der reellen Zahlen
- 07 实数运算 Rechnungen mit reellen Zahlen
- 08 无穷小分析 Infinitesimal-Analysis
已接入 12 节
康托尔集合论论文选
Georg Cantor: Mengenlehre
按 1874 不可数性、1891 对角线和 1895 超穷数奠基三段读康托尔原作，把无限大小、一一对应、幂集和基数序数讲成可跟读的证明。
1874 不可数性 · 41891 对角线 · 31895 奠基 · 5
本书目录 3 组 · 12 节
4 讲
1874 不可数性
4 节 3 讲
1891 对角线
3 节 4 讲
1895 奠基
5 节 已接入 15 节
花拉子米代数学
Kitāb al-jabr wa-l-muqābala
从巴格达智慧馆进入代数学的命名现场，读六类二次方程为什么要用面积裁补来解。
六类二次方程 · 6应用题 · 2商业算术 · 1
本书目录 3 组 · 15 节
6 类
六类二次方程
6 节 2 题
应用题
2 节 1 节
商业算术
1 节 已接入 35 节
卡尔达诺大术
Artis magnae
从文艺复兴意大利的方程竞赛读到三次公式、费拉里四次方程和一般五次不可解的前史。
第 1 章 · 方程论一般 · 5第 11 章 · 三次方程 · 7第 39 章 · 四次方程 · 6
本书目录 3 组 · 35 节
5 节
第 1 章 · 方程论一般
5 节 7 节
第 11 章 · 三次方程
7 节 6 节
第 39 章 · 四次方程
6 节 已接入 47 节
牛顿广义算术
Arithmetica Universalis
从牛顿剑桥代数讲义读字母演算、根与系数、消元和牛顿式数值迭代。
基本运算与字母代数 · 5根与对称函数 · 8方程构造与数值求根 · 8应用问题 · 3
本书目录 4 组 · 47 节
5 节
基本运算与字母代数
5 节 8 节
根与对称函数
8 节- 07 根与系数一 · 从因式看系数 Roots and coefficients
- 08 根与系数二 · 初等对称和 Elementary symmetric sums
- 09 根与系数三 · 幂和 Power sums
- 10 根与系数四 · 牛顿恒等式骨架 Newton identities
- 11 根与系数五 · 符号和正负根 Signs of roots
- 12 根与系数六 · 三次例子 Cubic example
- 13 根与系数七 · 不求根也能知道根的信息 Information without solving
- 14 根与系数八 · 与朱世杰招差术对读 East-west comparison
8 节
方程构造与数值求根
8 节 3 节
应用问题
3 节 已接入 30 节
柯西分析教程
Cours d'analyse
从 1821 年《分析教程》前两章进入分析严格化，读变量、极限、无穷小和连续性怎样成为定义。
第 1 章 · 实数与极限 · 10第 2 章 · 连续函数 · 7
本书目录 2 组 · 30 节
10 节
第 1 章 · 实数与极限
10 节- 02 第 1 章一 · 变量量 Variable quantity
- 03 第 1 章二 · 极限定义 Limit
- 04 第 1 章三 · 无穷小量 Infinitely small quantity
- 05 第 1 章四 · 收敛数列 Convergent sequence
- 06 第 1 章五 · 发散 Divergence
- 07 第 1 章六 · 极限的四则规则 Limit laws
- 08 第 1 章七 · 级数收敛 Series convergence
- 09 第 1 章八 · 柯西判别法 Cauchy criterion
- 10 第 1 章九 · 现代量词读法 Modern epsilon reading
- 11 第 1 章十 · 几个极限例子 Examples
8 节
第 2 章 · 连续函数
7 节 已接入 55 节
哈代纯数学教程
A Course of Pure Mathematics
读哈代怎样把戴德金切割、函数图像和复数放进英国本科的严格训练。
第 1 章 · 实数 · 12第 2 章 · 函数与图像 · 8第 3 章 · 复数 · 8
本书目录 3 组 · 55 节
12 节
第 1 章 · 实数
12 节- 02 实数一 · 有理数不够 Rational gaps
- 03 实数二 · 连续统问题 Continuum
- 04 实数三 · 戴德金切割 Dedekind cut
- 05 实数四 · 下类与上类 Lower and upper classes
- 06 实数五 · 数就是切割 Number as cut
- 07 实数六 · 实数的序 Order
- 08 实数七 · 加法 Addition
- 09 实数八 · 乘法 Multiplication
- 10 实数九 · 小数只是表示法 Decimals as notation
- 11 实数十 · 上确界语气 Bounds
- 12 实数十一 · 一一对应 One-to-one correspondence
- 13 实数十二 · 给极限一个地基 Foundation for limits
8 节
第 2 章 · 函数与图像
8 节 8 节
第 3 章 · 复数
8 节 已接入 23 节
希尔伯特几何基础
Grundlagen der Geometrie
按关联、次序、合同、平行、连续与独立性读《几何基础》，把欧氏几何从图形直观推进到公理系统。
关联与次序 · 7合同与平行 · 6连续与模型 · 3独立性与回看 · 3
本书目录 4 组 · 23 节
8 讲
关联与次序
7 节 7 讲
合同与平行
6 节 4 讲
连续与模型
3 节 3 讲
独立性与回看
3 节 已接入 30 节
哈代纯数学与数学辩白
A Course of Pure Mathematics / Apology voice
以 1908 年公版《纯数学教程》为正文来源，配合哈代式数学审美导读，进入集合、实数、极限、连续、级数和函数。
纯数学观 · 4实数与函数 · 5极限与连续 · 7级数与函数列 · 5美感与证明 · 4
本书目录 5 组 · 30 节
5 讲
纯数学观
4 节 6 讲
实数与函数
5 节 8 讲
极限与连续
7 节 6 讲
级数与函数列
5 节 4 讲
美感与证明
4 节 已接入 18 节
斐波那契计算之书
Liber Abaci
从《计算之书》读印度阿拉伯数字如何进入欧洲，商业比例如何被算法化，以及兔子问题怎样成为数列经典。
第 1 章 · 印度数字与基本算法 · 4第 5 章 · 分数 · 3第 9 章 · 比例与商业 · 3第 12 章 · 兔子与趣题 · 5第 13 章 · 双假设法 · 2历史桥梁 · 1
本书目录 6 组 · 18 节
4 节
第 1 章 · 印度数字与基本算法
4 节 3 节
第 5 章 · 分数
3 节 3 节
第 9 章 · 比例与商业
3 节 5 节
第 12 章 · 兔子与趣题
5 节 2 节
第 13 章 · 双假设法
2 节 1 节
历史桥梁
1 节 已接入 18 节
牛顿《原理》数学部分
Philosophiae Naturalis Principia Mathematica
只读《自然哲学的数学原理》卷一前段的数学核心：引理 1-11、等面积定律和向心力基本命题。
引理 1-11 · 几何式微积分 · 11中心力与面积定律 · 7
本书目录 2 组 · 18 节
11 节
引理 1-11 · 几何式微积分
11 节- 02 引理 1 · 消失量也要比较 Lemma 1 · evanescent quantities
- 03 引理 2 · 最终比不是最后一刻的量 Lemma 2 · ultimate ratios
- 04 引理 3 · 初比与终比 Lemma 3 · prime and ultimate ratios
- 05 引理 4 · 曲边图形与直边近似 Lemma 4 · curvilinear and rectilinear figures
- 06 引理 5 · 相似形留下比例 Lemma 5 · similar figures
- 07 引理 6 · 弧、弦、切线同时缩小 Lemma 6 · arc, chord and tangent
- 08 引理 7 · 接触和曲率 Lemma 7 · contact and curvature
- 09 引理 8 · 矩与小增量 Lemma 8 · moments and small increments
- 10 引理 9 · 曲率开始通向轨道 Lemma 9 · curvature toward orbits
- 11 引理 10 · 运动生成的空间 Lemma 10 · spaces described in time
- 12 引理 11 · 引理收束到最终比 Lemma 11 · the lemma sequence closes
7 节
中心力与面积定律
7 节- 13 命题 1 · 面积定律 Proposition 1 · law of areas
- 14 命题 1 展开 · 开普勒第二定律的几何证明 Kepler second law in Newton's geometry
- 15 命题 2 · 面积定律的反向读法 Proposition 2 · converse area law
- 16 命题 3 · 用几何量读力 Proposition 3 · measuring force geometrically
- 17 命题 4 · 圆周运动的向心力 Proposition 4 · circular motion
- 18 命题 6 · 平方反比入口 Proposition 6 · inverse-square entry
- 19 收束 · 从几何证明到物理应用 Closing guide · from geometry to physics
已接入 33 节
庞加莱三卷科学哲学
Science and Hypothesis / The Value of Science / Science and Method
合读庞加莱三部公版科学哲学著作，进入数学发明心理学、非欧几何认识论、连续统和科学客观性。
卷一 · 科学与假设 · 11卷二 · 科学的价值 · 11卷三 · 科学与方法 · 11
本书目录 3 组 · 33 节
概览 + 10 讲
卷一 · 科学与假设
11 节- 02 卷一概览 · 科学与假设 Science and Hypothesis
- 03 卷一 1 · 数学推理的性质 On the Nature of Mathematical Reasoning
- 04 卷一 2 · 数学连续统 Mathematical Magnitude and Experience
- 05 卷一 3 · 非欧几何 The Non-Euclidean Geometries
- 06 卷一 4 · 空间和几何 Space and Geometry
- 07 卷一 5 · 经验和几何 Experience and Geometry
- 08 卷一 6 · 经典力学 The Classic Mechanics
- 09 卷一 7 · 相对运动和绝对运动 Relative Motion and Absolute Motion
- 10 卷一 8 · 能量和热力学 Energy and Thermodynamics
- 11 卷一 9 · 物理学中的假设 Hypotheses in Physics
- 12 卷一 10 · 现代物理和概率 Modern Physics and Probability
概览 + 10 讲
卷二 · 科学的价值
11 节- 13 卷二概览 · 科学的价值 The Value of Science
- 14 卷二 1 · 直觉和逻辑 Intuition and Logic in Mathematics
- 15 卷二 2 · 时间的测量 The Measure of Time
- 16 卷二 3 · 空间观念 The Notion of Space
- 17 卷二 4 · 空间的三维性 Space and its Three Dimensions
- 18 卷二 5 · 分析和物理 Analysis and Physics
- 19 卷二 6 · 天文学 Astronomy
- 20 卷二 7 · 数学物理史 The History of Mathematical Physics
- 21 卷二 8 · 物理学的当前危机 The Present Crisis in Physics
- 22 卷二 9 · 数学物理的未来 The Future of Mathematical Physics
- 23 卷二 10 · 科学的客观价值 Is Science Artificial? / Science and Reality
概览 + 10 讲
卷三 · 科学与方法
11 节- 24 卷三概览 · 科学与方法 Science and Method
- 25 卷三 1 · 事实的选择 The Choice of Facts
- 26 卷三 2 · 数学的未来 The Future of Mathematics
- 27 卷三 3 · 数学发明 Mathematical Creation
- 28 卷三 4 · 偶然 Chance
- 29 卷三 5 · 空间的相对性 The Relativity of Space
- 30 卷三 6 · 定义和教学 Mathematical Definitions and Teaching
- 31 卷三 7 · 数学和逻辑 Mathematics and Logic
- 32 卷三 8 · 新逻辑 The New Logics
- 33 卷三 9 · 逻辑主义者的最新努力 The Latest Efforts of the Logisticians
- 34 卷三 10 · 镭和新力学入口 Mechanics and Radium
已接入 17 节
韦达分析方法引论
In artem analyticem isagoge
从韦达 1591 年《分析方法引论》读未知量、已知量、种类算术、同质性和根与系数关系。
课程导读 · 1第 1 章 · 分析的三阶段 · 2第 2 章 · 代数公设 · 2第 3-5 章 · 字母与种类运算 · 6第 6-8 章 · 比例与方程 · 5独立节点 · 韦达定理 · 1
本书目录 6 组 · 17 节
概览
课程导读
1 节 2 节
第 1 章 · 分析的三阶段
2 节 2 节
第 2 章 · 代数公设
2 节 6 节
第 3-5 章 · 字母与种类运算
6 节 5 节
第 6-8 章 · 比例与方程
5 节 1 节
独立节点 · 韦达定理
1 节 Books
1 本书 计算机科学
从 SICP 开始，把计算史、程序求值、数据抽象和经典书架接成一条可读的主线。
在线 478 节
SICP
Structure and Interpretation of Computer Programs
从 sarabander/sicp 固定 commit 派生的 SICP 全 5 章中英对照学习版：正文、代码、356 道习题、vibe 实践和派生统计全部入 unit。
第 1 章概览 · 11.1 The Elements of Programming · 171.2 Procedures and the Processes They Generate · 271.3 Formulating Abstractions with Higher-Order Procedures · 23第 2 章概览 · 12.1 Introduction to Data Abstraction · 212.2 Hierarchical Data and the Closure Property · 412.3 Symbolic Data · 252.4 Multiple Representations for Abstract Data · 82.5 Systems with Generic Operations · 25第 3 章概览 · 13.1 Assignment and Local State · 123.2 The Environment Model of Evaluation · 83.3 Modeling with Mutable Data · 323.4 Concurrency: Time Is of the Essence · 153.5 Streams · 39第 4 章概览 · 14.1 The Metacircular Evaluator · 324.2 Variations on a Scheme — Lazy Evaluation · 144.3 Variations on a Scheme — Nondeterministic Computing · 244.4 Logic Programming · 30第 5 章概览 · 15.1 Designing Register Machines · 125.2 A Register-Machine Simulator · 185.3 Storage Allocation and Garbage Collection · 65.4 The Explicit-Control Evaluator · 135.5 Compilation · 30派生统计 · 1
本书目录 28 组 · 478 节
Chapter 1 overview
第 1 章概览
1 节 1.1
1.1 The Elements of Programming
17 节- 03 1.1 The Elements of Programming section 中英对照
- 04 1.1.1 Expressions subsection 中英对照
- 05 1.1.2 Naming and the Environment subsection 中英对照
- 06 1.1.3 Evaluating Combinations subsection 中英对照
- 07 1.1.4 Compound Procedures subsection 中英对照
- 08 1.1.5 The Substitution Model for Procedure Application subsection 中英对照
- 09 1.1.6 Conditional Expressions and Predicates subsection 中英对照
- 10 Exercise 1.1 · 习题 1.1.6 Conditional Expressions and Predicates
- 11 Exercise 1.2 · 习题 1.1.6 Conditional Expressions and Predicates
- 12 Exercise 1.3 · 习题 1.1.6 Conditional Expressions and Predicates
- 13 Exercise 1.4 · 习题 1.1.6 Conditional Expressions and Predicates
- 14 Exercise 1.5 · 习题 1.1.6 Conditional Expressions and Predicates
- 15 1.1.7 Example: Square Roots by Newton’s Method subsection 中英对照
- 16 Exercise 1.6 · 习题 1.1.7 Example: Square Roots by Newton’s Method
- 17 Exercise 1.7 · 习题 1.1.7 Example: Square Roots by Newton’s Method
- 18 Exercise 1.8 · 习题 1.1.7 Example: Square Roots by Newton’s Method
- 19 1.1.8 Procedures as Black-Box Abstractions subsection 中英对照
1.2
1.2 Procedures and the Processes They Generate
27 节- 20 1.2 Procedures and the Processes They Generate section 中英对照
- 21 1.2.1 Linear Recursion and Iteration subsection 中英对照
- 22 Exercise 1.9 · 习题 1.2.1 Linear Recursion and Iteration
- 23 Exercise 1.10 · 习题 1.2.1 Linear Recursion and Iteration
- 24 1.2.2 Tree Recursion subsection 中英对照
- 25 Exercise 1.11 · 习题 1.2.2 Tree Recursion
- 26 Exercise 1.12 · 习题 1.2.2 Tree Recursion
- 27 Exercise 1.13 · 习题 1.2.2 Tree Recursion
- 28 1.2.3 Orders of Growth subsection 中英对照
- 29 Exercise 1.14 · 习题 1.2.3 Orders of Growth
- 30 Exercise 1.15 · 习题 1.2.3 Orders of Growth
- 31 1.2.4 Exponentiation subsection 中英对照
- 32 Exercise 1.16 · 习题 1.2.4 Exponentiation
- 33 Exercise 1.17 · 习题 1.2.4 Exponentiation
- 34 Exercise 1.18 · 习题 1.2.4 Exponentiation
- 35 Exercise 1.19 · 习题 1.2.4 Exponentiation
- 36 1.2.5 Greatest Common Divisors subsection 中英对照
- 37 Exercise 1.20 · 习题 1.2.5 Greatest Common Divisors
- 38 1.2.6 Example: Testing for Primality subsection 中英对照
- 39 Exercise 1.21 · 习题 1.2.6 Example: Testing for Primality
- 40 Exercise 1.22 · 习题 1.2.6 Example: Testing for Primality
- 41 Exercise 1.23 · 习题 1.2.6 Example: Testing for Primality
- 42 Exercise 1.24 · 习题 1.2.6 Example: Testing for Primality
- 43 Exercise 1.25 · 习题 1.2.6 Example: Testing for Primality
- 44 Exercise 1.26 · 习题 1.2.6 Example: Testing for Primality
- 45 Exercise 1.27 · 习题 1.2.6 Example: Testing for Primality
- 46 Exercise 1.28 · 习题 1.2.6 Example: Testing for Primality
1.3
1.3 Formulating Abstractions with Higher-Order Procedures
23 节- 47 1.3 Formulating Abstractions with Higher-Order Procedures section 中英对照
- 48 1.3.1 Procedures as Arguments subsection 中英对照
- 49 Exercise 1.29 · 习题 1.3.1 Procedures as Arguments
- 50 Exercise 1.30 · 习题 1.3.1 Procedures as Arguments
- 51 Exercise 1.31 · 习题 1.3.1 Procedures as Arguments
- 52 Exercise 1.32 · 习题 1.3.1 Procedures as Arguments
- 53 Exercise 1.33 · 习题 1.3.1 Procedures as Arguments
- 54 1.3.2 Constructing Procedures Using Lambda subsection 中英对照
- 55 Exercise 1.34 · 习题 1.3.2 Constructing Procedures Using Lambda
- 56 1.3.3 Procedures as General Methods subsection 中英对照
- 57 Exercise 1.35 · 习题 1.3.3 Procedures as General Methods
- 58 Exercise 1.36 · 习题 1.3.3 Procedures as General Methods
- 59 Exercise 1.37 · 习题 1.3.3 Procedures as General Methods
- 60 Exercise 1.38 · 习题 1.3.3 Procedures as General Methods
- 61 Exercise 1.39 · 习题 1.3.3 Procedures as General Methods
- 62 1.3.4 Procedures as Returned Values subsection 中英对照
- 63 Exercise 1.40 · 习题 1.3.4 Procedures as Returned Values
- 64 Exercise 1.41 · 习题 1.3.4 Procedures as Returned Values
- 65 Exercise 1.42 · 习题 1.3.4 Procedures as Returned Values
- 66 Exercise 1.43 · 习题 1.3.4 Procedures as Returned Values
- 67 Exercise 1.44 · 习题 1.3.4 Procedures as Returned Values
- 68 Exercise 1.45 · 习题 1.3.4 Procedures as Returned Values
- 69 Exercise 1.46 · 习题 1.3.4 Procedures as Returned Values
Chapter 2 overview
第 2 章概览
1 节 2.1
2.1 Introduction to Data Abstraction
21 节- 71 2.1 Introduction to Data Abstraction section 中英对照
- 72 2.1.1 Example: Arithmetic Operations for Rational Numbers subsection 中英对照
- 73 Exercise 2.1 · 习题 2.1.1 Example: Arithmetic Operations for Rational Numbers
- 74 2.1.2 Abstraction Barriers subsection 中英对照
- 75 Exercise 2.2 · 习题 2.1.2 Abstraction Barriers
- 76 Exercise 2.3 · 习题 2.1.2 Abstraction Barriers
- 77 2.1.3 What Is Meant by Data? subsection 中英对照
- 78 Exercise 2.4 · 习题 2.1.3 What Is Meant by Data?
- 79 Exercise 2.5 · 习题 2.1.3 What Is Meant by Data?
- 80 Exercise 2.6 · 习题 2.1.3 What Is Meant by Data?
- 81 2.1.4 Extended Exercise: Interval Arithmetic subsection 中英对照
- 82 Exercise 2.7 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 83 Exercise 2.8 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 84 Exercise 2.9 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 85 Exercise 2.10 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 86 Exercise 2.11 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 87 Exercise 2.12 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 88 Exercise 2.13 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 89 Exercise 2.14 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 90 Exercise 2.15 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
- 91 Exercise 2.16 · 习题 2.1.4 Extended Exercise: Interval Arithmetic
2.2
2.2 Hierarchical Data and the Closure Property
41 节- 92 2.2 Hierarchical Data and the Closure Property section 中英对照
- 93 2.2.1 Representing Sequences subsection 中英对照
- 94 Exercise 2.17 · 习题 2.2.1 Representing Sequences
- 95 Exercise 2.18 · 习题 2.2.1 Representing Sequences
- 96 Exercise 2.19 · 习题 2.2.1 Representing Sequences
- 97 Exercise 2.20 · 习题 2.2.1 Representing Sequences
- 98 Exercise 2.21 · 习题 2.2.1 Representing Sequences
- 99 Exercise 2.22 · 习题 2.2.1 Representing Sequences
- 100 Exercise 2.23 · 习题 2.2.1 Representing Sequences
- 101 2.2.2 Hierarchical Structures subsection 中英对照
- 102 Exercise 2.24 · 习题 2.2.2 Hierarchical Structures
- 103 Exercise 2.25 · 习题 2.2.2 Hierarchical Structures
- 104 Exercise 2.26 · 习题 2.2.2 Hierarchical Structures
- 105 Exercise 2.27 · 习题 2.2.2 Hierarchical Structures
- 106 Exercise 2.28 · 习题 2.2.2 Hierarchical Structures
- 107 Exercise 2.29 · 习题 2.2.2 Hierarchical Structures
- 108 Exercise 2.30 · 习题 2.2.2 Hierarchical Structures
- 109 Exercise 2.31 · 习题 2.2.2 Hierarchical Structures
- 110 Exercise 2.32 · 习题 2.2.2 Hierarchical Structures
- 111 2.2.3 Sequences as Conventional Interfaces subsection 中英对照
- 112 Exercise 2.33 · 习题 2.2.3 Sequences as Conventional Interfaces
- 113 Exercise 2.34 · 习题 2.2.3 Sequences as Conventional Interfaces
- 114 Exercise 2.35 · 习题 2.2.3 Sequences as Conventional Interfaces
- 115 Exercise 2.36 · 习题 2.2.3 Sequences as Conventional Interfaces
- 116 Exercise 2.37 · 习题 2.2.3 Sequences as Conventional Interfaces
- 117 Exercise 2.38 · 习题 2.2.3 Sequences as Conventional Interfaces
- 118 Exercise 2.39 · 习题 2.2.3 Sequences as Conventional Interfaces
- 119 Exercise 2.40 · 习题 2.2.3 Sequences as Conventional Interfaces
- 120 Exercise 2.41 · 习题 2.2.3 Sequences as Conventional Interfaces
- 121 Exercise 2.42 · 习题 2.2.3 Sequences as Conventional Interfaces
- 122 Exercise 2.43 · 习题 2.2.3 Sequences as Conventional Interfaces
- 123 2.2.4 Example: A Picture Language subsection 中英对照
- 124 Exercise 2.44 · 习题 2.2.4 Example: A Picture Language
- 125 Exercise 2.45 · 习题 2.2.4 Example: A Picture Language
- 126 Exercise 2.46 · 习题 2.2.4 Example: A Picture Language
- 127 Exercise 2.47 · 习题 2.2.4 Example: A Picture Language
- 128 Exercise 2.48 · 习题 2.2.4 Example: A Picture Language
- 129 Exercise 2.49 · 习题 2.2.4 Example: A Picture Language
- 130 Exercise 2.50 · 习题 2.2.4 Example: A Picture Language
- 131 Exercise 2.51 · 习题 2.2.4 Example: A Picture Language
- 132 Exercise 2.52 · 习题 2.2.4 Example: A Picture Language
2.3
2.3 Symbolic Data
25 节- 133 2.3 Symbolic Data section 中英对照
- 134 2.3.1 Quotation subsection 中英对照
- 135 Exercise 2.53 · 习题 2.3.1 Quotation
- 136 Exercise 2.54 · 习题 2.3.1 Quotation
- 137 Exercise 2.55 · 习题 2.3.1 Quotation
- 138 2.3.2 Example: Symbolic Differentiation subsection 中英对照
- 139 Exercise 2.56 · 习题 2.3.2 Example: Symbolic Differentiation
- 140 Exercise 2.57 · 习题 2.3.2 Example: Symbolic Differentiation
- 141 Exercise 2.58 · 习题 2.3.2 Example: Symbolic Differentiation
- 142 2.3.3 Example: Representing Sets subsection 中英对照
- 143 Exercise 2.59 · 习题 2.3.3 Example: Representing Sets
- 144 Exercise 2.60 · 习题 2.3.3 Example: Representing Sets
- 145 Exercise 2.61 · 习题 2.3.3 Example: Representing Sets
- 146 Exercise 2.62 · 习题 2.3.3 Example: Representing Sets
- 147 Exercise 2.63 · 习题 2.3.3 Example: Representing Sets
- 148 Exercise 2.64 · 习题 2.3.3 Example: Representing Sets
- 149 Exercise 2.65 · 习题 2.3.3 Example: Representing Sets
- 150 Exercise 2.66 · 习题 2.3.3 Example: Representing Sets
- 151 2.3.4 Example: Huffman Encoding Trees subsection 中英对照
- 152 Exercise 2.67 · 习题 2.3.4 Example: Huffman Encoding Trees
- 153 Exercise 2.68 · 习题 2.3.4 Example: Huffman Encoding Trees
- 154 Exercise 2.69 · 习题 2.3.4 Example: Huffman Encoding Trees
- 155 Exercise 2.70 · 习题 2.3.4 Example: Huffman Encoding Trees
- 156 Exercise 2.71 · 习题 2.3.4 Example: Huffman Encoding Trees
- 157 Exercise 2.72 · 习题 2.3.4 Example: Huffman Encoding Trees
2.4
2.4 Multiple Representations for Abstract Data
8 节- 158 2.4 Multiple Representations for Abstract Data section 中英对照
- 159 2.4.1 Representations for Complex Numbers subsection 中英对照
- 160 2.4.2 Tagged data subsection 中英对照
- 161 2.4.3 Data-Directed Programming and Additivity subsection 中英对照
- 162 Exercise 2.73 · 习题 2.4.3 Data-Directed Programming and Additivity
- 163 Exercise 2.74 · 习题 2.4.3 Data-Directed Programming and Additivity
- 164 Exercise 2.75 · 习题 2.4.3 Data-Directed Programming and Additivity
- 165 Exercise 2.76 · 习题 2.4.3 Data-Directed Programming and Additivity
2.5
2.5 Systems with Generic Operations
25 节- 166 2.5 Systems with Generic Operations section 中英对照
- 167 2.5.1 Generic Arithmetic Operations subsection 中英对照
- 168 Exercise 2.77 · 习题 2.5.1 Generic Arithmetic Operations
- 169 Exercise 2.78 · 习题 2.5.1 Generic Arithmetic Operations
- 170 Exercise 2.79 · 习题 2.5.1 Generic Arithmetic Operations
- 171 Exercise 2.80 · 习题 2.5.1 Generic Arithmetic Operations
- 172 2.5.2 Combining Data of Different Types subsection 中英对照
- 173 Exercise 2.81 · 习题 2.5.2 Combining Data of Different Types
- 174 Exercise 2.82 · 习题 2.5.2 Combining Data of Different Types
- 175 Exercise 2.83 · 习题 2.5.2 Combining Data of Different Types
- 176 Exercise 2.84 · 习题 2.5.2 Combining Data of Different Types
- 177 Exercise 2.85 · 习题 2.5.2 Combining Data of Different Types
- 178 Exercise 2.86 · 习题 2.5.2 Combining Data of Different Types
- 179 2.5.3 Example: Symbolic Algebra subsection 中英对照
- 180 Exercise 2.87 · 习题 2.5.3 Example: Symbolic Algebra
- 181 Exercise 2.88 · 习题 2.5.3 Example: Symbolic Algebra
- 182 Exercise 2.89 · 习题 2.5.3 Example: Symbolic Algebra
- 183 Exercise 2.90 · 习题 2.5.3 Example: Symbolic Algebra
- 184 Exercise 2.91 · 习题 2.5.3 Example: Symbolic Algebra
- 185 Exercise 2.92 · 习题 2.5.3 Example: Symbolic Algebra
- 186 Exercise 2.93 · 习题 2.5.3 Example: Symbolic Algebra
- 187 Exercise 2.94 · 习题 2.5.3 Example: Symbolic Algebra
- 188 Exercise 2.95 · 习题 2.5.3 Example: Symbolic Algebra
- 189 Exercise 2.96 · 习题 2.5.3 Example: Symbolic Algebra
- 190 Exercise 2.97 · 习题 2.5.3 Example: Symbolic Algebra
Chapter 3 overview
第 3 章概览
1 节 3.1
3.1 Assignment and Local State
12 节- 192 3.1 Assignment and Local State section 中英对照
- 193 3.1.1 Local State Variables subsection 中英对照
- 194 Exercise 3.1 · 习题 3.1.1 Local State Variables
- 195 Exercise 3.2 · 习题 3.1.1 Local State Variables
- 196 Exercise 3.3 · 习题 3.1.1 Local State Variables
- 197 Exercise 3.4 · 习题 3.1.1 Local State Variables
- 198 3.1.2 The Benefits of Introducing Assignment subsection 中英对照
- 199 Exercise 3.5 · 习题 3.1.2 The Benefits of Introducing Assignment
- 200 Exercise 3.6 · 习题 3.1.2 The Benefits of Introducing Assignment
- 201 3.1.3 The Costs of Introducing Assignment subsection 中英对照
- 202 Exercise 3.7 · 习题 3.1.3 The Costs of Introducing Assignment
- 203 Exercise 3.8 · 习题 3.1.3 The Costs of Introducing Assignment
3.2
3.2 The Environment Model of Evaluation
8 节- 204 3.2 The Environment Model of Evaluation section 中英对照
- 205 3.2.1 The Rules for Evaluation subsection 中英对照
- 206 3.2.2 Applying Simple Procedures subsection 中英对照
- 207 Exercise 3.9 · 习题 3.2.2 Applying Simple Procedures
- 208 3.2.3 Frames as the Repository of Local State subsection 中英对照
- 209 Exercise 3.10 · 习题 3.2.3 Frames as the Repository of Local State
- 210 3.2.4 Internal Definitions subsection 中英对照
- 211 Exercise 3.11 · 习题 3.2.4 Internal Definitions
3.3
3.3 Modeling with Mutable Data
32 节- 212 3.3 Modeling with Mutable Data section 中英对照
- 213 3.3.1 Mutable List Structure subsection 中英对照
- 214 Exercise 3.12 · 习题 3.3.1 Mutable List Structure
- 215 Exercise 3.13 · 习题 3.3.1 Mutable List Structure
- 216 Exercise 3.14 · 习题 3.3.1 Mutable List Structure
- 217 Exercise 3.15 · 习题 3.3.1 Mutable List Structure
- 218 Exercise 3.16 · 习题 3.3.1 Mutable List Structure
- 219 Exercise 3.17 · 习题 3.3.1 Mutable List Structure
- 220 Exercise 3.18 · 习题 3.3.1 Mutable List Structure
- 221 Exercise 3.19 · 习题 3.3.1 Mutable List Structure
- 222 Exercise 3.20 · 习题 3.3.1 Mutable List Structure
- 223 3.3.2 Representing Queues subsection 中英对照
- 224 Exercise 3.21 · 习题 3.3.2 Representing Queues
- 225 Exercise 3.22 · 习题 3.3.2 Representing Queues
- 226 Exercise 3.23 · 习题 3.3.2 Representing Queues
- 227 3.3.3 Representing Tables subsection 中英对照
- 228 Exercise 3.24 · 习题 3.3.3 Representing Tables
- 229 Exercise 3.25 · 习题 3.3.3 Representing Tables
- 230 Exercise 3.26 · 习题 3.3.3 Representing Tables
- 231 Exercise 3.27 · 习题 3.3.3 Representing Tables
- 232 3.3.4 A Simulator for Digital Circuits subsection 中英对照
- 233 Exercise 3.28 · 习题 3.3.4 A Simulator for Digital Circuits
- 234 Exercise 3.29 · 习题 3.3.4 A Simulator for Digital Circuits
- 235 Exercise 3.30 · 习题 3.3.4 A Simulator for Digital Circuits
- 236 Exercise 3.31 · 习题 3.3.4 A Simulator for Digital Circuits
- 237 Exercise 3.32 · 习题 3.3.4 A Simulator for Digital Circuits
- 238 3.3.5 Propagation of Constraints subsection 中英对照
- 239 Exercise 3.33 · 习题 3.3.5 Propagation of Constraints
- 240 Exercise 3.34 · 习题 3.3.5 Propagation of Constraints
- 241 Exercise 3.35 · 习题 3.3.5 Propagation of Constraints
- 242 Exercise 3.36 · 习题 3.3.5 Propagation of Constraints
- 243 Exercise 3.37 · 习题 3.3.5 Propagation of Constraints
3.4
3.4 Concurrency: Time Is of the Essence
15 节- 244 3.4 Concurrency: Time Is of the Essence section 中英对照
- 245 3.4.1 The Nature of Time in Concurrent Systems subsection 中英对照
- 246 Exercise 3.38 · 习题 3.4.1 The Nature of Time in Concurrent Systems
- 247 3.4.2 Mechanisms for Controlling Concurrency subsection 中英对照
- 248 Exercise 3.39 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 249 Exercise 3.40 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 250 Exercise 3.41 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 251 Exercise 3.42 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 252 Exercise 3.43 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 253 Exercise 3.44 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 254 Exercise 3.45 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 255 Exercise 3.46 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 256 Exercise 3.47 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 257 Exercise 3.48 · 习题 3.4.2 Mechanisms for Controlling Concurrency
- 258 Exercise 3.49 · 习题 3.4.2 Mechanisms for Controlling Concurrency
3.5
3.5 Streams
39 节- 259 3.5 Streams section 中英对照
- 260 3.5.1 Streams Are Delayed Lists subsection 中英对照
- 261 Exercise 3.50 · 习题 3.5.1 Streams Are Delayed Lists
- 262 Exercise 3.51 · 习题 3.5.1 Streams Are Delayed Lists
- 263 Exercise 3.52 · 习题 3.5.1 Streams Are Delayed Lists
- 264 3.5.2 Infinite Streams subsection 中英对照
- 265 Exercise 3.53 · 习题 3.5.2 Infinite Streams
- 266 Exercise 3.54 · 习题 3.5.2 Infinite Streams
- 267 Exercise 3.55 · 习题 3.5.2 Infinite Streams
- 268 Exercise 3.56 · 习题 3.5.2 Infinite Streams
- 269 Exercise 3.57 · 习题 3.5.2 Infinite Streams
- 270 Exercise 3.58 · 习题 3.5.2 Infinite Streams
- 271 Exercise 3.59 · 习题 3.5.2 Infinite Streams
- 272 Exercise 3.60 · 习题 3.5.2 Infinite Streams
- 273 Exercise 3.61 · 习题 3.5.2 Infinite Streams
- 274 Exercise 3.62 · 习题 3.5.2 Infinite Streams
- 275 3.5.3 Exploiting the Stream Paradigm subsection 中英对照
- 276 Exercise 3.63 · 习题 3.5.3 Exploiting the Stream Paradigm
- 277 Exercise 3.64 · 习题 3.5.3 Exploiting the Stream Paradigm
- 278 Exercise 3.65 · 习题 3.5.3 Exploiting the Stream Paradigm
- 279 Exercise 3.66 · 习题 3.5.3 Exploiting the Stream Paradigm
- 280 Exercise 3.67 · 习题 3.5.3 Exploiting the Stream Paradigm
- 281 Exercise 3.68 · 习题 3.5.3 Exploiting the Stream Paradigm
- 282 Exercise 3.69 · 习题 3.5.3 Exploiting the Stream Paradigm
- 283 Exercise 3.70 · 习题 3.5.3 Exploiting the Stream Paradigm
- 284 Exercise 3.71 · 习题 3.5.3 Exploiting the Stream Paradigm
- 285 Exercise 3.72 · 习题 3.5.3 Exploiting the Stream Paradigm
- 286 Exercise 3.73 · 习题 3.5.3 Exploiting the Stream Paradigm
- 287 Exercise 3.74 · 习题 3.5.3 Exploiting the Stream Paradigm
- 288 Exercise 3.75 · 习题 3.5.3 Exploiting the Stream Paradigm
- 289 Exercise 3.76 · 习题 3.5.3 Exploiting the Stream Paradigm
- 290 3.5.4 Streams and Delayed Evaluation subsection 中英对照
- 291 Exercise 3.77 · 习题 3.5.4 Streams and Delayed Evaluation
- 292 Exercise 3.78 · 习题 3.5.4 Streams and Delayed Evaluation
- 293 Exercise 3.79 · 习题 3.5.4 Streams and Delayed Evaluation
- 294 Exercise 3.80 · 习题 3.5.4 Streams and Delayed Evaluation
- 295 3.5.5 Modularity of Functional Programs and Modularity of Objects subsection 中英对照
- 296 Exercise 3.81 · 习题 3.5.5 Modularity of Functional Programs and Modularity of Objects
- 297 Exercise 3.82 · 习题 3.5.5 Modularity of Functional Programs and Modularity of Objects
Chapter 4 overview
第 4 章概览
1 节 4.1
4.1 The Metacircular Evaluator
32 节- 299 4.1 The Metacircular Evaluator section 中英对照
- 300 4.1.1 The Core of the Evaluator subsection 中英对照
- 301 Exercise 4.1 · 习题 4.1.1 The Core of the Evaluator
- 302 4.1.2 Representing Expressions subsection 中英对照
- 303 Exercise 4.2 · 习题 4.1.2 Representing Expressions
- 304 Exercise 4.3 · 习题 4.1.2 Representing Expressions
- 305 Exercise 4.4 · 习题 4.1.2 Representing Expressions
- 306 Exercise 4.5 · 习题 4.1.2 Representing Expressions
- 307 Exercise 4.6 · 习题 4.1.2 Representing Expressions
- 308 Exercise 4.7 · 习题 4.1.2 Representing Expressions
- 309 Exercise 4.8 · 习题 4.1.2 Representing Expressions
- 310 Exercise 4.9 · 习题 4.1.2 Representing Expressions
- 311 Exercise 4.10 · 习题 4.1.2 Representing Expressions
- 312 4.1.3 Evaluator Data Structures subsection 中英对照
- 313 Exercise 4.11 · 习题 4.1.3 Evaluator Data Structures
- 314 Exercise 4.12 · 习题 4.1.3 Evaluator Data Structures
- 315 Exercise 4.13 · 习题 4.1.3 Evaluator Data Structures
- 316 4.1.4 Running the Evaluator as a Program subsection 中英对照
- 317 Exercise 4.14 · 习题 4.1.4 Running the Evaluator as a Program
- 318 4.1.5 Data as Programs subsection 中英对照
- 319 Exercise 4.15 · 习题 4.1.5 Data as Programs
- 320 4.1.6 Internal Definitions subsection 中英对照
- 321 Exercise 4.16 · 习题 4.1.6 Internal Definitions
- 322 Exercise 4.17 · 习题 4.1.6 Internal Definitions
- 323 Exercise 4.18 · 习题 4.1.6 Internal Definitions
- 324 Exercise 4.19 · 习题 4.1.6 Internal Definitions
- 325 Exercise 4.20 · 习题 4.1.6 Internal Definitions
- 326 Exercise 4.21 · 习题 4.1.6 Internal Definitions
- 327 4.1.7 Separating Syntactic Analysis from Execution subsection 中英对照
- 328 Exercise 4.22 · 习题 4.1.7 Separating Syntactic Analysis from Execution
- 329 Exercise 4.23 · 习题 4.1.7 Separating Syntactic Analysis from Execution
- 330 Exercise 4.24 · 习题 4.1.7 Separating Syntactic Analysis from Execution
4.2
4.2 Variations on a Scheme — Lazy Evaluation
14 节- 331 4.2 Variations on a Scheme — Lazy Evaluation section 中英对照
- 332 4.2.1 Normal Order and Applicative Order subsection 中英对照
- 333 Exercise 4.25 · 习题 4.2.1 Normal Order and Applicative Order
- 334 Exercise 4.26 · 习题 4.2.1 Normal Order and Applicative Order
- 335 4.2.2 An Interpreter with Lazy Evaluation subsection 中英对照
- 336 Exercise 4.27 · 习题 4.2.2 An Interpreter with Lazy Evaluation
- 337 Exercise 4.28 · 习题 4.2.2 An Interpreter with Lazy Evaluation
- 338 Exercise 4.29 · 习题 4.2.2 An Interpreter with Lazy Evaluation
- 339 Exercise 4.30 · 习题 4.2.2 An Interpreter with Lazy Evaluation
- 340 Exercise 4.31 · 习题 4.2.2 An Interpreter with Lazy Evaluation
- 341 4.2.3 Streams as Lazy Lists subsection 中英对照
- 342 Exercise 4.32 · 习题 4.2.3 Streams as Lazy Lists
- 343 Exercise 4.33 · 习题 4.2.3 Streams as Lazy Lists
- 344 Exercise 4.34 · 习题 4.2.3 Streams as Lazy Lists
4.3
4.3 Variations on a Scheme — Nondeterministic Computing
24 节- 345 4.3 Variations on a Scheme — Nondeterministic Computing section 中英对照
- 346 4.3.1 Amb and Search subsection 中英对照
- 347 Exercise 4.35 · 习题 4.3.1 Amb and Search
- 348 Exercise 4.36 · 习题 4.3.1 Amb and Search
- 349 Exercise 4.37 · 习题 4.3.1 Amb and Search
- 350 4.3.2 Examples of Nondeterministic Programs subsection 中英对照
- 351 Exercise 4.38 · 习题 4.3.2 Examples of Nondeterministic Programs
- 352 Exercise 4.39 · 习题 4.3.2 Examples of Nondeterministic Programs
- 353 Exercise 4.40 · 习题 4.3.2 Examples of Nondeterministic Programs
- 354 Exercise 4.41 · 习题 4.3.2 Examples of Nondeterministic Programs
- 355 Exercise 4.42 · 习题 4.3.2 Examples of Nondeterministic Programs
- 356 Exercise 4.43 · 习题 4.3.2 Examples of Nondeterministic Programs
- 357 Exercise 4.44 · 习题 4.3.2 Examples of Nondeterministic Programs
- 358 Exercise 4.45 · 习题 4.3.2 Examples of Nondeterministic Programs
- 359 Exercise 4.46 · 习题 4.3.2 Examples of Nondeterministic Programs
- 360 Exercise 4.47 · 习题 4.3.2 Examples of Nondeterministic Programs
- 361 Exercise 4.48 · 习题 4.3.2 Examples of Nondeterministic Programs
- 362 Exercise 4.49 · 习题 4.3.2 Examples of Nondeterministic Programs
- 363 4.3.3 Implementing the Amb Evaluator subsection 中英对照
- 364 Exercise 4.50 · 习题 4.3.3 Implementing the Amb Evaluator
- 365 Exercise 4.51 · 习题 4.3.3 Implementing the Amb Evaluator
- 366 Exercise 4.52 · 习题 4.3.3 Implementing the Amb Evaluator
- 367 Exercise 4.53 · 习题 4.3.3 Implementing the Amb Evaluator
- 368 Exercise 4.54 · 习题 4.3.3 Implementing the Amb Evaluator
4.4
4.4 Logic Programming
30 节- 369 4.4 Logic Programming section 中英对照
- 370 4.4.1 Deductive Information Retrieval subsection 中英对照
- 371 Exercise 4.55 · 习题 4.4.1 Deductive Information Retrieval
- 372 Exercise 4.56 · 习题 4.4.1 Deductive Information Retrieval
- 373 Exercise 4.57 · 习题 4.4.1 Deductive Information Retrieval
- 374 Exercise 4.58 · 习题 4.4.1 Deductive Information Retrieval
- 375 Exercise 4.59 · 习题 4.4.1 Deductive Information Retrieval
- 376 Exercise 4.60 · 习题 4.4.1 Deductive Information Retrieval
- 377 Exercise 4.61 · 习题 4.4.1 Deductive Information Retrieval
- 378 Exercise 4.62 · 习题 4.4.1 Deductive Information Retrieval
- 379 Exercise 4.63 · 习题 4.4.1 Deductive Information Retrieval
- 380 4.4.2 How the Query System Works subsection 中英对照
- 381 4.4.3 Is Logic Programming Mathematical Logic? subsection 中英对照
- 382 Exercise 4.64 · 习题 4.4.3 Is Logic Programming Mathematical Logic?
- 383 Exercise 4.65 · 习题 4.4.3 Is Logic Programming Mathematical Logic?
- 384 Exercise 4.66 · 习题 4.4.3 Is Logic Programming Mathematical Logic?
- 385 Exercise 4.67 · 习题 4.4.3 Is Logic Programming Mathematical Logic?
- 386 Exercise 4.68 · 习题 4.4.3 Is Logic Programming Mathematical Logic?
- 387 Exercise 4.69 · 习题 4.4.3 Is Logic Programming Mathematical Logic?
- 388 4.4.4 Implementing the Query System subsection 中英对照
- 389 Exercise 4.70 · 习题 4.4.4 Implementing the Query System
- 390 Exercise 4.71 · 习题 4.4.4 Implementing the Query System
- 391 Exercise 4.72 · 习题 4.4.4 Implementing the Query System
- 392 Exercise 4.73 · 习题 4.4.4 Implementing the Query System
- 393 Exercise 4.74 · 习题 4.4.4 Implementing the Query System
- 394 Exercise 4.75 · 习题 4.4.4 Implementing the Query System
- 395 Exercise 4.76 · 习题 4.4.4 Implementing the Query System
- 396 Exercise 4.77 · 习题 4.4.4 Implementing the Query System
- 397 Exercise 4.78 · 习题 4.4.4 Implementing the Query System
- 398 Exercise 4.79 · 习题 4.4.4 Implementing the Query System
Chapter 5 overview
第 5 章概览
1 节 5.1
5.1 Designing Register Machines
12 节- 400 5.1 Designing Register Machines section 中英对照
- 401 Exercise 5.1 · 习题 5.1 Designing Register Machines
- 402 5.1.1 A Language for Describing Register Machines subsection 中英对照
- 403 Exercise 5.2 · 习题 5.1.1 A Language for Describing Register Machines
- 404 5.1.2 Abstraction in Machine Design subsection 中英对照
- 405 Exercise 5.3 · 习题 5.1.2 Abstraction in Machine Design
- 406 5.1.3 Subroutines subsection 中英对照
- 407 5.1.4 Using a Stack to Implement Recursion subsection 中英对照
- 408 Exercise 5.4 · 习题 5.1.4 Using a Stack to Implement Recursion
- 409 Exercise 5.5 · 习题 5.1.4 Using a Stack to Implement Recursion
- 410 Exercise 5.6 · 习题 5.1.4 Using a Stack to Implement Recursion
- 411 5.1.5 Instruction Summary subsection 中英对照
5.2
5.2 A Register-Machine Simulator
18 节- 412 5.2 A Register-Machine Simulator section 中英对照
- 413 Exercise 5.7 · 习题 5.2 A Register-Machine Simulator
- 414 5.2.1 The Machine Model subsection 中英对照
- 415 5.2.2 The Assembler subsection 中英对照
- 416 Exercise 5.8 · 习题 5.2.2 The Assembler
- 417 5.2.3 Generating Execution Procedures for Instructions subsection 中英对照
- 418 Exercise 5.9 · 习题 5.2.3 Generating Execution Procedures for Instructions
- 419 Exercise 5.10 · 习题 5.2.3 Generating Execution Procedures for Instructions
- 420 Exercise 5.11 · 习题 5.2.3 Generating Execution Procedures for Instructions
- 421 Exercise 5.12 · 习题 5.2.3 Generating Execution Procedures for Instructions
- 422 Exercise 5.13 · 习题 5.2.3 Generating Execution Procedures for Instructions
- 423 5.2.4 Monitoring Machine Performance subsection 中英对照
- 424 Exercise 5.14 · 习题 5.2.4 Monitoring Machine Performance
- 425 Exercise 5.15 · 习题 5.2.4 Monitoring Machine Performance
- 426 Exercise 5.16 · 习题 5.2.4 Monitoring Machine Performance
- 427 Exercise 5.17 · 习题 5.2.4 Monitoring Machine Performance
- 428 Exercise 5.18 · 习题 5.2.4 Monitoring Machine Performance
- 429 Exercise 5.19 · 习题 5.2.4 Monitoring Machine Performance
5.3
5.3 Storage Allocation and Garbage Collection
6 节- 430 5.3 Storage Allocation and Garbage Collection section 中英对照
- 431 5.3.1 Memory as Vectors subsection 中英对照
- 432 Exercise 5.20 · 习题 5.3.1 Memory as Vectors
- 433 Exercise 5.21 · 习题 5.3.1 Memory as Vectors
- 434 Exercise 5.22 · 习题 5.3.1 Memory as Vectors
- 435 5.3.2 Maintaining the Illusion of Infinite Memory subsection 中英对照
5.4
5.4 The Explicit-Control Evaluator
13 节- 436 5.4 The Explicit-Control Evaluator section 中英对照
- 437 5.4.1 The Core of the Explicit-Control Evaluator subsection 中英对照
- 438 5.4.2 Sequence Evaluation and Tail Recursion subsection 中英对照
- 439 5.4.3 Conditionals, Assignments, and Definitions subsection 中英对照
- 440 Exercise 5.23 · 习题 5.4.3 Conditionals, Assignments, and Definitions
- 441 Exercise 5.24 · 习题 5.4.3 Conditionals, Assignments, and Definitions
- 442 Exercise 5.25 · 习题 5.4.3 Conditionals, Assignments, and Definitions
- 443 5.4.4 Running the Evaluator subsection 中英对照
- 444 Exercise 5.26 · 习题 5.4.4 Running the Evaluator
- 445 Exercise 5.27 · 习题 5.4.4 Running the Evaluator
- 446 Exercise 5.28 · 习题 5.4.4 Running the Evaluator
- 447 Exercise 5.29 · 习题 5.4.4 Running the Evaluator
- 448 Exercise 5.30 · 习题 5.4.4 Running the Evaluator
5.5
5.5 Compilation
30 节- 449 5.5 Compilation section 中英对照
- 450 5.5.1 Structure of the Compiler subsection 中英对照
- 451 Exercise 5.31 · 习题 5.5.1 Structure of the Compiler
- 452 Exercise 5.32 · 习题 5.5.1 Structure of the Compiler
- 453 5.5.2 Compiling Expressions subsection 中英对照
- 454 5.5.3 Compiling Combinations subsection 中英对照
- 455 5.5.4 Combining Instruction Sequences subsection 中英对照
- 456 5.5.5 An Example of Compiled Code subsection 中英对照
- 457 Exercise 5.33 · 习题 5.5.5 An Example of Compiled Code
- 458 Exercise 5.34 · 习题 5.5.5 An Example of Compiled Code
- 459 Exercise 5.35 · 习题 5.5.5 An Example of Compiled Code
- 460 Exercise 5.36 · 习题 5.5.5 An Example of Compiled Code
- 461 Exercise 5.37 · 习题 5.5.5 An Example of Compiled Code
- 462 Exercise 5.38 · 习题 5.5.5 An Example of Compiled Code
- 463 5.5.6 Lexical Addressing subsection 中英对照
- 464 Exercise 5.39 · 习题 5.5.6 Lexical Addressing
- 465 Exercise 5.40 · 习题 5.5.6 Lexical Addressing
- 466 Exercise 5.41 · 习题 5.5.6 Lexical Addressing
- 467 Exercise 5.42 · 习题 5.5.6 Lexical Addressing
- 468 Exercise 5.43 · 习题 5.5.6 Lexical Addressing
- 469 Exercise 5.44 · 习题 5.5.6 Lexical Addressing
- 470 5.5.7 Interfacing Compiled Code to the Evaluator subsection 中英对照
- 471 Exercise 5.45 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
- 472 Exercise 5.46 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
- 473 Exercise 5.47 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
- 474 Exercise 5.48 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
- 475 Exercise 5.49 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
- 476 Exercise 5.50 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
- 477 Exercise 5.51 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
- 478 Exercise 5.52 · 习题 5.5.7 Interfacing Compiled Code to the Evaluator
Derivation statistics
派生统计
1 节 Books
1 本书 营造工艺
从名物、尺度、工序和图样进入中国古代营造经典。
新上架 36 节
营造法式
營造法式
宋代官修营造制度经典，按总释、制度、功限、料例和图样组织建筑名物、尺度、工序与材料。
提要与总释 · 3制度 · 壕寨至大木 · 3制度 · 小木至彩画 · 10功限 · 10料例与用钉 · 3图样 · 6补遗 · 1
本书目录 7 组 · 36 节
提要 / 卷一 — 卷二
提要与总释
3 节 卷三 — 卷五
制度 · 壕寨至大木
3 节 卷六 — 卷十五
制度 · 小木至彩画
10 节 卷十六 — 卷二十五
功限
10 节 卷二十六 — 卷二十八
料例与用钉
3 节 卷二十九 — 卷三十四
图样
6 节 补遗