数理逻辑
杨睿之
复旦大学哲学学院
2021年秋季
前情提要
n元有序组、n维卡氏积,n元关系
自然数上的归纳法
函数、序列
函数
记法(序列)
令I是一个(下标)集合,s:I→X是一个函数,我们又
称s是一个序列。对i∈I,记si
您可能关注的文档
- LD路易达孚+食品科技产业园+无型号+说明书用户手册.pdf
- DZB蓝电AC电机驱动器DZB200M&J用户手册.pdf
- S15索尼电子设备说明书S15用户手册.pdf
- BTR5BTR5蓝牙耳机功率放大器BTR5NFC说明书用户手册.pdf
- FiiO FiiO 蓝牙耳机 BTR5 用户手册.pdf
- Fayao 飞傲电子科技有限公司 蓝牙降噪耳机 EH3 NC 入门指南.pdf
- FIIO飞奥用户手册K15 complete用户手册.pdf
- FiiO飞奥 桌面HiFi体验 R9 用户手册.pdf
- FiiO快速入门指南 蓝牙音频收发器 BTA30 入门指南.pdf
- R-SETUP R-SETUP 伺服系统设置软件 M0006934E 说明书用户手册.pdf
- 中国国家标准 GB/T 6675.9-2025玩具安全 第9部分:化学及类似活动的实验玩具.pdf
- 《GB/T 6675.9-2025玩具安全 第9部分:化学及类似活动的实验玩具》.pdf
- GB/T 46975-2025婴童用品 便携式婴儿睡篮技术要求.pdf
- 中国国家标准 GB/T 46975-2025婴童用品 便携式婴儿睡篮技术要求.pdf
- 《GB/T 46975-2025婴童用品 便携式婴儿睡篮技术要求》.pdf
- 《GB/T 6675.14-2025玩具安全 第14部分:指画颜料要求和测试方法》.pdf
- GB/T 6675.14-2025玩具安全 第14部分:指画颜料要求和测试方法.pdf
- 中国国家标准 GB/T 6675.14-2025玩具安全 第14部分:指画颜料要求和测试方法.pdf
- 中国国家标准 GB/T 33772.3-2025质量评定体系 第3部分:印制板及层压板最终产品检验及过程监督用抽样方案的选择和使用.pdf
- 《GB/T 33772.3-2025质量评定体系 第3部分:印制板及层压板最终产品检验及过程监督用抽样方案的选择和使用》.pdf
最近下载
- 2025年全真模拟房地产经纪人协理考试试题及答案.doc VIP
- GB∕T 2421-2020 环境试验 概述和指南.pdf
- 高中数学 《高中数学知识要点及解题方法精粹》.docx VIP
- 麦克维尔变频螺杆式风冷热泵机组PM-MHSV-C004.pdf
- 山东省济南市槐荫区2024-2025学年二年级上册期末测试数学试卷(含答案).pdf VIP
- 《GB_T 17626.5-2019电磁兼容 试验和测量技术 浪涌(冲击)抗扰度试验》专题研究报告.pptx
- CTT2000LM用户手册(维护分册)教程文件.docx VIP
- 2025年山东专升本计算机真题及答案.docx VIP
- 工业和信息化领域数据安全风险评估实施细则.pptx VIP
- 江西省“三新”协同教研共同体2025届高三12月联考生物学试卷(含答案).docx VIP
原创力文档

文档评论(0)