yadunut/nus
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity

feat: w1 notes

Browse Source
This commit is contained in:
Yadunand Prem 2025-08-17 00:15:22 +08:00
parent c1eb56dc80
commit 204afd8bab
No known key found for this signature in database
3 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
cs3231/main.pdf
View File

Binary file not shown.

12
cs3231/main.typ
View File

@ -30,3 +30,15 @@
- $L_1 dot L_2 = L_1L_2 = {x y : x in L_1, y in L_2}$
- $L^* = {x_1x_2...x_n : x_1, x_2, ... x_n in L, n in NN}$
- $L^+ = {x_1x_2...x_n : x_1, x_2, ... x_n in L, n gt.eq 1}$
=== Proof Structure
==== Set A = Set B
1. Show $A subset.eq B$
- Take *arbitrary* element $x in A$
- Use definition of A to show $x in B$
- Therefore, $A subset.eq B$
2. Show $B subset.eq A$
- Take *arbitrary* element $x in B$
- Use definition of B to show $x in A$
- Therefore, $B subset.eq A$
3. Since $A subset.eq B$ and $B subset.eq A$, $A = B$

2
cs4212/hw1-hellocaml-yadunut

@ -1 +1 @@
Subproject commit a976b25ebb1434189ba15627bab1720fb345f518
Subproject commit a152b7a34c9b2038b1588a3e28a5d156d41db0bf