saundersp
|
b517b6318c
|
contents/ring_theory.tex : Added ideal, ring morphism kernel definition and associated theorems
|
2025-03-30 22:44:27 +02:00 |
|
saundersp
|
38880b1f21
|
Added proofs and fixed typos
|
2025-03-30 22:05:09 +02:00 |
|
saundersp
|
f95eee7d29
|
contents/topology_dm1.tex : Fixed named subsubsection to unnamed
|
2025-03-30 22:04:16 +02:00 |
|
saundersp
|
0ebe926d7c
|
Moved group theory and ring theory to seperate files
|
2025-03-30 21:59:54 +02:00 |
|
saundersp
|
8da130cf2c
|
contents/differentiability.tex : Fixed typos and added lipsum next to TODOs
|
2025-03-29 17:17:23 +01:00 |
|
saundersp
|
52fd077cb5
|
packages/macros.sty : Added suchthat operator && typos fixes
|
2025-03-11 14:43:31 +01:00 |
|
saundersp
|
b23bc3bd4d
|
contents/algebra.tex : Better linear group generated by transvection and dilatation proof && added special linear group definition
|
2025-03-02 23:50:06 +01:00 |
|
saundersp
|
acda1d8bab
|
contents/dynamic_systems.tex : Fixed wrong indices of decimal expansion
|
2025-03-02 23:48:46 +01:00 |
|
saundersp
|
06ae8a1238
|
contents/number_theory.tex : Fixed some typos
|
2025-03-02 23:48:24 +01:00 |
|
saundersp
|
d817ce9980
|
contents/algebra.tex : added normal subgroup, quotient definitions and theorems
|
2025-02-27 17:53:47 +01:00 |
|
saundersp
|
41e80ec73d
|
contents/algebra.tex : Lots of group theory && formatting && replaced 0_{E,G,H} to Identity macro && and fixed some typos
|
2025-02-26 21:52:12 +01:00 |
|
saundersp
|
f7adda7678
|
contents/number_theory.tex : Small typo fix
|
2025-02-26 21:45:57 +01:00 |
|
saundersp
|
27a23d004b
|
contents/topology.tex : fixed wrong proof closure of intersection
|
2025-02-21 22:52:00 +01:00 |
|
saundersp
|
580318ac13
|
contents/algebra.tex : Space formatting
|
2025-02-12 22:02:26 +01:00 |
|
saundersp
|
00d34bb0eb
|
contents/algebra.tex : Added ring definition and groups monomorphism, isomorphism proofs
|
2025-02-12 22:00:01 +01:00 |
|
saundersp
|
e78d54c45f
|
contents/algebra.tex : Fixed unital magma definition and added unital element is unique proof
|
2025-02-12 19:02:13 +01:00 |
|
saundersp
|
fec2806d58
|
contents/category_theory.tex : Moved homomorphism before epimorphism and added monomorphism definition
|
2025-02-12 19:00:18 +01:00 |
|
saundersp
|
2f357e06fc
|
contents/algebra.tex : Added most undergraduate mandatory definitions
|
2025-02-09 22:14:32 +01:00 |
|
saundersp
|
79b578ad59
|
Added contents/complex_analysis.tex
|
2025-02-09 22:13:49 +01:00 |
|
saundersp
|
c27c8dd255
|
contents/differential_equations.tex : Added introductory definitions
|
2025-02-09 22:13:32 +01:00 |
|
saundersp
|
03b2bf6613
|
contents/dynamic_systems.tex : Fixed some errors and typos
|
2025-02-09 22:12:59 +01:00 |
|
saundersp
|
4dedc60bd7
|
contents/suites.tex : Added elementary remarks
|
2025-02-09 22:12:01 +01:00 |
|
saundersp
|
8ca8f213f9
|
contents/category_theory.tex : Added homomorphism definition and useful macros
|
2025-02-09 22:10:22 +01:00 |
|
saundersp
|
eb8249b4b7
|
Fixed typos and some formatting
|
2025-02-09 22:07:58 +01:00 |
|
saundersp
|
d704f3ed4c
|
contents/GaussianParadigm.tex : Fixed some typing
|
2025-02-09 22:04:41 +01:00 |
|
saundersp
|
230be3b629
|
contents/algebra.tex : Added inversible matrix, diagonalizable matrix and hermitian space definitions && tweaked bilinear form definition
|
2025-01-23 12:36:47 +01:00 |
|
saundersp
|
19958a8ebd
|
contents/topology.tex : Added disjoints compacts make disjoints open
|
2025-01-23 12:21:34 +01:00 |
|
saundersp
|
3d57aa2e65
|
contents/topology.tex : Tweaked topological space, metric and norm definition
|
2025-01-23 12:20:47 +01:00 |
|
saundersp
|
cd4cd50e94
|
Fixed many typos
|
2025-01-19 23:04:57 +01:00 |
|
saundersp
|
6c61520ad6
|
contents/dynamic_systems.tex : Added metric space proof
|
2025-01-04 00:24:16 +01:00 |
|
saundersp
|
39959b96ea
|
Added contents/dynamic_systems.tex
|
2024-12-20 22:53:52 +01:00 |
|
saundersp
|
4f1047f182
|
contents/topology.tex : Updated to fit course and moved DM to seperate file
|
2024-12-20 22:13:39 +01:00 |
|
saundersp
|
1ba329e82d
|
contents/computer_science.tex : Renamed 'denumbrability' to countability and added more theorems and properties
|
2024-12-20 21:49:14 +01:00 |
|
saundersp
|
5d794e7137
|
contents/computer_science.tex : Better definitions and description && Added AOC implies LEM proof
|
2024-12-20 21:34:20 +01:00 |
|
saundersp
|
4e09eca481
|
contents/computer_science.tex : Added introduction
|
2024-12-20 21:08:47 +01:00 |
|
saundersp
|
e7d6bdb371
|
contents/computer_science.tex : Changed int type to uint64_t in the C example
|
2024-12-20 20:29:34 +01:00 |
|
saundersp
|
1ec8f26b78
|
contents/algebra.tex : Fixed some typos and wrong symbols and moved DM1 to seperate file
|
2024-12-20 20:29:07 +01:00 |
|
saundersp
|
a1591dc233
|
contents/logic.tex : Updated symbols and subsubsection
|
2024-12-20 20:23:52 +01:00 |
|
saundersp
|
1c4011a1c1
|
contents/definitions.tex : Added palatability and apocryphal definitions
|
2024-12-03 19:44:48 +01:00 |
|
saundersp
|
5bdb4ca5c2
|
contents/category_theory.tex : Added some basics properties and definitions
|
2024-12-03 19:44:15 +01:00 |
|
saundersp
|
cbe308698c
|
contents/differentiability.tex : Added some basics properties and definitions
|
2024-12-03 19:43:20 +01:00 |
|
saundersp
|
816c8d3f6a
|
contents/latex.tex : Added differents math fonts
|
2024-12-03 19:42:45 +01:00 |
|
saundersp
|
4be8cf3538
|
Added algebra_dm{1,2}, combinatorics, fourier, suites and topology_dm1
|
2024-12-03 18:24:32 +01:00 |
|
saundersp
|
7af7ed82f4
|
contents/trigonometry.tex : Added Euler's formula
|
2024-12-03 18:15:11 +01:00 |
|
saundersp
|
d0c9dab330
|
contents/algebra.tex : Added basic definitions and axioms && first DM
|
2024-11-07 05:30:57 +01:00 |
|
saundersp
|
aafcec6a3e
|
packages/macros.sty : Added convinences macros
|
2024-11-07 05:29:13 +01:00 |
|
saundersp
|
46b1cc6071
|
contents/algebra.tex : Changed composition law symbol to a more general one
|
2024-11-07 05:18:54 +01:00 |
|
saundersp
|
c8b77b2435
|
Fixed macros usage
|
2024-08-17 16:15:32 +02:00 |
|
saundersp
|
7bc99a71f4
|
philosphy : added Camus Sysyphe citation and Raz joke
|
2024-08-05 00:49:31 +02:00 |
|
saundersp
|
4df2923c6a
|
logic : added labels and excluding middle definition
|
2024-08-05 00:49:09 +02:00 |
|