https://aris-uu.github.io/math-notes Last 10 notes on arisu's math notes Quartz -- quartz.jzhao.xyz https://aris-uu.github.io/math-notes/Modul-2-First-Order-Logic https://aris-uu.github.io/math-notes/Modul-2-First-Order-Logic Modul 2 Logika Kuantor Tujuan Pembelajaran Memahami pembuktian yang menggunakan kuantor universal dan eksistensial. Fri, 18 Jul 2025 11:42:08 GMT https://aris-uu.github.io/math-notes/Modul-1-Logic https://aris-uu.github.io/math-notes/Modul-1-Logic Modul 1 Logika Proposisional Tujuan Pembelajaran Memahami dasar-dasar pembuktian menggunakan Lean. Fri, 18 Jul 2025 11:39:26 GMT https://aris-uu.github.io/math-notes/Modul-3-Set-Theory https://aris-uu.github.io/math-notes/Modul-3-Set-Theory Modul 3 Teori Himpunan Tujuan Pembelajaran Memahami konsep himpunan dalam Lean. Fri, 18 Jul 2025 11:39:26 GMT https://aris-uu.github.io/math-notes/Praktikum-Dasmat https://aris-uu.github.io/math-notes/Praktikum-Dasmat Modul Modul 1 Logic Modul 2 First Order Logic Modul 3 Set Theory . Fri, 18 Jul 2025 11:39:26 GMT https://aris-uu.github.io/math-notes/ https://aris-uu.github.io/math-notes/ Maps of Content Algebra Notes From the Underground Praktikum Dasmat. Fri, 18 Jul 2025 11:39:26 GMT https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.22 https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.22 Suppose the set R consists of four elements: R = \{0, 1, x, y\}, and two operations + and \cdot are defined on R, with the following multiplication tables: +01xy001xy110yxxxy01yyx10 \cdot01xy00000101xyx0xy1y0y1xProve that R is a field. Wed, 11 Jun 2025 07:56:08 GMT https://aris-uu.github.io/math-notes/Algebra-Notes-From-the-Underground https://aris-uu.github.io/math-notes/Algebra-Notes-From-the-Underground Checklist Chapter 1 Chapter 2 Chapter 3 Exercises Exercise 3.1 Exercise 3.2 [i] 3.3 [i] 3.4 Exercise 3.5 Exercise 3.6 Exercise 3.7 Exercise 3.8 Exercise 3.9 Exercise 3.10 Exercise 3.11 Exercise 3.12 Exercise 3.13 Exercise 3.14 [?] 3.15 [?] 3.16 [!] 3.17 [*] 3.18 [*] 3.19 [!] 3.20 [*] 3.21 [!] Exerci... Wed, 11 Jun 2025 06:15:45 GMT https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.12 https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.12 The ‘characteristic’ of a ring R is the smallest positive integer n such that n(1_R) = 0_R, or 0 if there is no such positive integer. Wed, 11 Jun 2025 06:10:44 GMT https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.13 https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.13 Prove that the characteristic of an integral domain is a prime integer. Answer Let R be an integral domain with characteristic n. Wed, 11 Jun 2025 06:10:44 GMT https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.14 https://aris-uu.github.io/math-notes/Exercises/Algebra-Notes-From-the-Underground/Exercise-3.14 Prove that if R is an integral domain, then R[x] is also an integral domain. Answer Let R be an integral domain. Now, consider R[x]. Wed, 11 Jun 2025 06:10:44 GMT