Cursuri · College
Discrete Mathematics
Logic, proof, induction, relations, counting, recurrences, graphs, automata and complexity: the discrete maths of a first university course.
A complete first university course in discrete mathematics, in the order it is usually taught: propositional and predicate logic and the standard proof techniques; induction in all its forms; sets, relations and functions, including countable and uncountable sets; counting with the product rule, bijections and the pigeonhole principle; recurrence relations and how to solve them; graphs, trees, Euler and Hamilton paths and colouring; Boolean algebra, circuits and finite automata; and finally algorithms, asymptotic analysis, the master theorem, satisfiability and polynomial-time reductions.
It is for anyone comfortable with school algebra who wants to reason precisely about finite and countable structures, and it is the mathematical core of a computer science degree. Each unit ends with a quiz mixing computation, concepts and short proofs; the final exam covers the whole course.
Vine după: Algebra
Cursul
-
Logic and proof
25 lecțiiWhat is Discrete Mathematics?Discrete StructuresDiscrete mathematicsTruth tablesMathematical StatementsStatements and QuantifiersCompound StatementsConstructing Truth TablesTruth Tables for the Conditional and BiconditionalImplicationsEquivalent StatementsDe Morgan’s LawsRules of LogicLogical ArgumentsPredicate logic and quantifiersProofsDirect proof, contrapositive and contradictionProofs about Discrete StructuresChapter SummaryPropositional calculusLogical connectiveTruth tableFirst-order logicQuantifier (logic)Predicate (mathematical logic) -
Induction and sequences
11 lecții -
Sets, relations and functions
20 lecțiiSetsRelations: equivalence relations and partial ordersFunctionsFunctions and cardinalityIntroduction to Number TheoryCryptographyCartesian productPower setBinary relationEquivalence relationPartial orderFunction (mathematics)Injective functionSurjective functionBijectionComposite functionInverse functionCardinal numberCountable setUncountable set -
Counting
16 lecțiiCounting: rules, choices and bijectionsThe pigeonhole principleVoting MethodsFairness in Voting MethodsStandard Divisors, Standard Quotas, and the Apportionment ProblemApportionment MethodsFairness in Apportionment MethodsEnumerative combinatoricsPermutationCombinationBinomial coefficientPascal's trianglePigeonhole principleInclusion–exclusion principleBijective proofDouble counting (proof technique) -
Recursion and recurrence relations
7 lecții -
Graphs and trees
18 lecțiiGraphs: degrees, paths and connectivityTrees and spanning treesEuler and Hamilton pathsGraph colouringGraph theoryGraph (discrete mathematics)Degree (graph theory)Path (graph theory)Cycle (graph theory)Connectivity (graph theory)Tree (graph theory)Spanning treeEulerian pathHamiltonian pathBipartite graphPlanar graphGraph coloringAdjacency matrix -
Boolean algebra and automata
7 lecții -
Algorithms and complexity
15 lecțiiAlgorithms and growth of functionsAlgorithmRate of GrowthBig O notationAsymptotic analysis, recursion trees and the master theoremSorting algorithmComputational complexity theoryDecision problems, satisfiability and reductionsMath and ArtMath and the EnvironmentMath and MedicineMath and MusicMath and SportsComputability theoryHalting problem
Ultimul examen
Întrebări de la fiecare unitate, cele mai grele ultime. Răspunsurile tipate sunt marcate de sistemul algebra; dovezile și fotografiile de lucru sunt citite de un model; apoi o persoană revizuiește întregul hârtie înainte de rezultatul tău este lansat. Pass și obține un certificat cu propriul link. Marcă de trecere: 70%.
IntraţiPrețuri
Pas de curs
$39
Fiecare test unitar, examenul final cu o reluare, și 20 de verificări ale propriilor tale lucrări, pentru un singur curs.
Cumpără pasul de cursUn examen final
$15
O singură şedinţă a unui curs final, marcat şi reexaminat. Pentru cineva care ştie deja materialul şi vrea să-l testeze.
Cumpără o finalăFiecare curs
$19/mo
Toate testele și finalele în fiecare curs (doi finale pe curs pe lună) și 100 de cecuri de lucru pe lună. Anulează de la contul tău.
SubscriereVerificarea de lucru
$9
Zece cecuri: încărcă o fotografie de orice lucru, sau tastați-l, și să vezi unde a mers greșit.
Cumpără zece cecuri