Skip to content

Commit 887acbf

Browse files
authored
Update README.md
1 parent dc2738a commit 887acbf

File tree

1 file changed

+10
-10
lines changed

1 file changed

+10
-10
lines changed

README.md

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1455,16 +1455,16 @@ A common subject that is essential to Computer Science students and some Math/El
14551455
_**Goal of learning Discrete Mathematics:**_ Embedded Systems Engineers should be able to grasp most of these information sooner or later based on their subspeciality; as it explains the scientific and theoretical basis of computer engineering (e.g., Coding Theory for Audio/Video Encoding/Decoding and Data Transmission - Automata Theory for event control and data transmission - Logic for digital circuit design and switching algebra - $$\Pi$$ Calculus and Automata Theory for Concurrency Modelling).
14561456

14571457
_Discrete Mathematics_ is a multi-semester course that involves subjects about the theoretical mathematical basis of computer science, including but not limited to:
1458-
* 🔵 Logic (Propositional, Quantificational and Normal Forms).
1459-
* 🔵 Axiomatic Set Theory (Sets, Operations on sets, and Power Sets).
1460-
* 🔵 Relation Sets and Function Theory (i.e., $$\lambda$$ Calculus).
1461-
* 🔵 Theory of combinatorics.
1462-
* 🔵 Matrix and Graph Theory.
1463-
* 🔵 Theory of computation (i.e., Computational Automata Theory, Computational Complexity, and Computational Computability).
1464-
* 🔵 Automata Theory (e.g., Finite-state Machines, Pushdown Automata, Turing Machines, and Cellular Automata).
1465-
* 🔵 Process Modelling/Calculi (i.e., $$\pi$$ Calculus).
1466-
* 🔵 Coding Theory.
1467-
* 🔵 Division Theorem Modular Arithmetics (Parts of Number Theory).
1458+
* Logic (Propositional, Quantificational and Normal Forms).
1459+
* Axiomatic Set Theory (Sets, Operations on sets, and Power Sets).
1460+
* Relation Sets and Function Theory (i.e., $$\lambda$$ Calculus).
1461+
* Theory of combinatorics.
1462+
* Matrix and Graph Theory.
1463+
* Theory of computation (i.e., Computational Automata Theory, Computational Complexity, and Computational Computability).
1464+
* Automata Theory (e.g., Finite-state Machines, Pushdown Automata, Turing Machines, and Cellular Automata).
1465+
* Process Modelling/Calculi (i.e., $$\pi$$ Calculus).
1466+
* Coding Theory.
1467+
* Division Theorem Modular Arithmetics (Parts of Number Theory).
14681468

14691469
- [📘💎 Discrete Mathematics and its applications by Rosen](https://dl.acm.org/doi/book/10.5555/579402)
14701470
- [📘💎 Discrete Mathematics with Applications by Susanna S. Epp](https://dl.acm.org/doi/book/10.5555/1941983)

0 commit comments

Comments
 (0)