BT种子基本信息
- 种子哈希:4576e8570d2599f1723230a292b6ec93ab7065f1
- 文档大小:1.1 GB
- 文档个数:52个文档
- 下载次数:2272次
- 下载速度:极快
- 收录时间:2022-11-24
- 最近下载:2024-11-10
- DMCA/屏蔽:DMCA/屏蔽
文档列表
- 03 Haskell Equations/002 Map and Filter Functions.mp4 77.8 MB
- 06 Sets, Types and Lists/008 List Comprehension and Database Query Continues.mp4 52.6 MB
- 02 Basic Equations/002 Prime Number and Conditions.mp4 44.8 MB
- 06 Sets, Types and Lists/007 List Comprehension and Database Query.mp4 41.6 MB
- 02 Basic Equations/003 WINGHCI.mp4 37.7 MB
- 06 Sets, Types and Lists/011 Data types for Sets Continues.mp4 33.3 MB
- 06 Sets, Types and Lists/010 Data types for Sets.mp4 29.4 MB
- 05 Logics and Proofs/003 Rules of Proof.mp4 27.1 MB
- 02 Basic Equations/001 Prime Number Test.mp4 27.0 MB
- 07 Sets of Pairs/002 Sets of Pairs Introduction.mp4 26.6 MB
- 02 Basic Equations/004 Identifiers in Haskell Basics.mp4 26.2 MB
- 03 Haskell Equations/003 Haskell Equations and Reasoning.mp4 26.1 MB
- 07 Sets of Pairs/003 Insert Lists.mp4 25.7 MB
- 03 Haskell Equations/001 Types in Haskell.mp4 25.1 MB
- 01 Introduction/001 Introduction.mp4 24.1 MB
- 04 Mathematical Objects/002 Disjunction.mp4 23.5 MB
- 07 Sets of Pairs/001 Notion of Relations.mp4 22.5 MB
- 06 Sets, Types and Lists/005 Special Sets.mp4 21.6 MB
- 06 Sets, Types and Lists/009 Representing Sets with Lists.mp4 21.4 MB
- 04 Mathematical Objects/001 Logical Connectives.mp4 21.2 MB
- 05 Logics and Proofs/002 Proof Style.mp4 21.1 MB
- 02 Basic Equations/006 Empty List.mp4 21.0 MB
- 06 Sets, Types and Lists/006 List Comprehension.mp4 20.0 MB
- 09 Successions/006 Induction over Natural Numbers.mp4 19.8 MB
- 06 Sets, Types and Lists/004 Paradoxes and Types Continues.mp4 19.7 MB
- 09 Successions/001 Brackets and Jectives.mp4 19.7 MB
- 07 Sets of Pairs/007 Relations as Characteristic Functions Continues.mp4 19.5 MB
- 09 Successions/004 Successions.mp4 19.4 MB
- 09 Successions/007 Conclusion.mp4 19.4 MB
- 04 Mathematical Objects/008 Parentheses and Operator Precedence.mp4 19.4 MB
- 09 Successions/005 Successions Continues.mp4 19.1 MB
- 06 Sets, Types and Lists/001 Sets.mp4 18.6 MB
- 08 Functions/001 Basic Notions.mp4 18.1 MB
- 07 Sets of Pairs/005 Transitivity.mp4 17.8 MB
- 07 Sets of Pairs/004 Sets of Pairs Continues.mp4 16.9 MB
- 04 Mathematical Objects/009 Symbolic Forms.mp4 16.5 MB
- 04 Mathematical Objects/006 Logical Validity and Equivalence.mp4 16.1 MB
- 04 Mathematical Objects/004 Implications and Equivalence.mp4 15.9 MB
- 04 Mathematical Objects/010 Quantifiers.mp4 15.8 MB
- 04 Mathematical Objects/003 Implications.mp4 15.2 MB
- 09 Successions/002 Injectives and Surjectives.mp4 15.1 MB
- 08 Functions/002 Unary Functions.mp4 14.4 MB
- 05 Logics and Proofs/001 Introduction.mp4 14.4 MB
- 09 Successions/003 Injectives and Surjectives Continues.mp4 13.5 MB
- 06 Sets, Types and Lists/003 Paradoxes and Types.mp4 13.4 MB
- 06 Sets, Types and Lists/002 Russel Paradox.mp4 13.3 MB
- 07 Sets of Pairs/006 Relations as Characteristic Functions.mp4 12.1 MB
- 04 Mathematical Objects/007 Parentheses.mp4 11.8 MB
- 04 Mathematical Objects/005 Logical Validity.mp4 11.5 MB
- 02 Basic Equations/005 Identifiers in Haskell Continues.mp4 8.9 MB
- 01 Introduction/001 Introduction.jpeg 125.3 kB
- Important ! Readme.txt 486 Bytes
==查看完整文档列表==