Subject - Discrete Math
Time Wed Jun 25, 6:00 PM - 7:30 PM UTC
No. of Lessons - 26
Lesson Days - Wed Sun
Total Seats - 3
Price - $780.00 ( $30.00 per lesson )
For a broad audience wishing to acquire foundational mathematical knowledge in axiomatic set theory, logic and group theory.
For high school students and Olympiad participants, who want to understand the concepts of probability, infinity, and learn to solve combinatorial problems using group theory.
For mathematics students and self-learners — the course highlights fundamental mathematical principles that will save time in studying any mathematical field.
For professionals from various scientific fields interested in mathematical modeling — the course demonstrates how to model real systems using hypergraphs, predicate logic, and group theory.
For mathematicians and programmers interested in automated theorem proving — the course will show how logic and set theory enable the formalization of definitions, theorems, and proofs. Topics on generative grammars and machine learning (neural networks and reinforcement learning) will also be covered.
Basic concepts in set theory and mathematical logic (relations, functions, truth tables, etc.)
Infinite sets and cardinal numbers
Hypergraphs
Probability and topological spaces
Elements of model theory
Gödel’s theorems, Lobachevskian geometry and the continuum hypothesis
Mathematical modeling using hypergraphs and logical modeling of real systems
Automated theorem proving via logic and machine learning
Groups
Definition of symmetry and its use in solving optimization data problems
Solving Diophantine, differential and recurrence equations
Group-theoretic solutions to combinatorial problems
The course consists of 26 sessions, each 90 minutes long, divided into three modules: set theory, logic and group theory. The only prerequisite for students is an understanding of simple theorem proofs.
