贰岛

Mar 26, 2022 + 558 字

HackerRank Python + Problem Solving

HackerRank Python & Problem Solving

Mar 22, 2022 + 1099 字

CS173: Two way bounding & Simple Induction

Discrete Structure Two way bounding & Simple Induction

Mar 16, 2022 + 686 字

Racket 文档 Chapter 1- 6 笔记

refer from Racket doc

Mar 08, 2022 + 877 字

CS173: Graph

Discrete Structure Graph

Feb 28, 2022 + 1622 字

Z3 解决农夫过河问题

逻辑运算在生活中的运用

Feb 21, 2022 + 683 字

CS173: Relation

Discrete Structure Relation