CMPS/MATH 2170 Discrete Mathematics
Fall 14
[ Home | Policies | Schedule | Slides, pictures | Homework | Resources ]

Slides, pictures

  • Monday 8/25/14: Propositional logic slides, annotations,
    serialCircuit, parallelCircuit,
  • Wednesday 8/27/14: Logical equivalences table,
    announcements, propositionalEquivalence, equivalence_truthTable, converse_contrapositive_inverse, onlyIf_icecream, proveEquivalencesUsingEquivalences,
  • Friday 8/29/14: BooleanAlgebra, BooleanFunction, numberOfBooleanFunctions, logicGates, functionalCompleteness, proof, proofExample, BooleanFunctions_twoVariables,
  • Wednesday 9/3/14: CNF_and_universalQuantifier, existentialQuantifier,
  • Friday 9/5/14: quantifiers, quantifiers_true_false, deMorgan_example, universalQuantifiers_domains, existentialQuantifier_domains, nestedQuantifiers, nestedQuantifiers2,
  • Monday 9/8/14: Rules of inference table,
    quantifierEx1, quantifierEx2, rulesOfInference, tautology, inferenceEx, inferenceExContinued,
  • Wednesday 9/10/14: Proof table,
    proofNotation, directProofEx, forAllTheorem, indirectProof, indirectProofEx, indirectProofEx2, proofOfEquivalence1, proofOfEquivalence2, evenOdd,
  • Friday 9/12/14: proofByContradiction_sqrt2, proofByContradiction_sqrt2_b, proofByContradiction_implication, proofByCases, existenceProof,
  • Monday 9/15/14: homework1_question1, nonConstructiveExistenceProof, backwardReasoning, proofFromBackwardReasoning, wrongProof, powers, commonlyUsedSets, setsAndTuples, setBuilderNotation,
  • Wednesday 9/17/14: Set identities table
    , setsEqualSubset, cardinality, CartesianProduct, bitstringExample, powerSet, powerSetTheorem, setOperations, deMorgans,
  • Friday 9/19/14: intersection_and_union1, intersection_and_union2, deMorgansSets, functions, functionsEx,
  • Monday 9/22/14: typo_hw3, image, examplesInjectiveSurjective, definitionInjectiveSurjectiveBijective, injective, surjective, exampleBijective, notInjectiveSurjective,
  • Wednesday 9/24/14: inverse, illustrations_injective_surjective_bijective, compositionOfFunctions, compositionEx, floor_ceiling, sequence, geometricProgression, summation,
  • Friday 9/26/14: arithmeticProgression, indexSubstitution, summationTheorems, finiteSetCardinality_bijection, cardinality, oddPositiveIntegers,
  • Monday 9/29/14: integers_countable, integers_countable2, countable_sequence, positiveRationalNumbers_countable, positiveRationalNumbers_countable2, realNumbers_uncountable, realNumbers_uncountable2,
  • Wednesday 10/1/14: forAll_statement, induction, inductionProofRecipe, arithmetic_and_geometric_series, arithmeticSeries_induction1, arithmeticSeries_induction2, inductionExample2,
  • Friday 10/3/14: geometricSeriesInduction, geometricSeriesInduction2, tilingWithLshapes, tilingWithLshapes2, tilingWithLshapesEx, wrongProof, wrongProof2,
  • Monday 10/6/14: f1, f2, f3, indexSubstitution, f4,
  • Monday 10/13/14: wrongProofExplained, factorialInduction, deMorgansInduction1, deMorgansInduction2, strongInduction, prime_strongInduction,
  • Wednesday 10/15/14: pow, test1_statistics, recursiveDefs_Fibonacci, Fibonacci2, FibonacciTheorem, FibonacciTheorem2, Hanoi, Hanoi_n_1_2, Hanoi_n_3,
  • Friday 10/17/14: Hanoi applet, Grammar examples
    hanoi_recursiveDef, hanoi_recursiveDef2, solveHanoiRecursion, otherRecursiveDefinition, trees, grammar_palindromes,
  • Monday 10/20/14: division, divisionTheorem, divisionProperties_and_gcd, computePrime, fundamentalThmArithmetic, primeFactorizationEx, proof, infinitelyManyPrimes,
  • Wednesday 10/22/14: gcd_relativelyPrime, gcd_lcm, gcd_lcm-Ex, divisionAlgorithm, congruence, congruence2,
  • Friday 10/24/14: divisionAlgorithmRecap, congruenceRecap, inverseEx, noInverseEx, Zm, Zm-properties, Zm-properties2, additiveInverse, gcd-lemma-for-EuclideanAlgorithm, EuclideanAlgorithm-Example, EuclideanAlgorithm,
  • Monday 10/27/14: linearCongruences_inverses, , inverse_modulo_m, inverseEx, solveLinearCongruence, cryptography1, cryptography2,
  • Wednesday 10/30/14: public_key_cryptography, RSA, RSA2, RSA_theorem_proof, RSA_example, RSA_example2_ChineseRemainderThm, Fermats_little_thm,
  • Monday 11/3/14: countingExamples, unionRules, additionPrinciple, multiplicationPrinciple, threeLetterWordExample, threeLetterWordExample2, solveCountingProblems, bitStringsExample, countingFunctions,
  • Friday 11/7/14: countingExamples, countingOverviewTable, binomialTheorem, binomialTheoremEx, binomialTheoremProof, PascalsTriangle_and_Identity, PascalsIdentityProof,
  • Monday 11/10/14: discreteProbability, fairDie_uniformProbability, fairDie2, loadedDie, lottery, twoDice,
  • Wednesday 11/12/14: fourOfAKind, fullHouse, propertiesOfProbabilities, randomVariable, flipCoin_countHeads, flipCoin_playGame, expectedValue, expectedValueEx,
  • Friday 11/14/14: Probability distribution slides (fixed)
    modularInverse, weak_vs_strong_induction1, weak_vs_strong_induction2, rollDie_expectedValue, linearityOfExpectation, rollTwoDies_expectedSum, rollTwoDies_expectedSum2,
  • Monday 11/17/14: infinitelyCountableSet_and_remainder, recursivelyDefinedSet_and_sequence, variance, bernoulliTrial,
  • Friday 11/21/14: conditionalProbability, flipCoinsExample, flipCoinsExample2, childrenExample, graphs, directedGraph,
  • Monday 11/24/14: test2_graphVariants, adjacencyMatrix, undirectedGraph, directedGraph, adjacencyLists, handshakingLemma,
  • Monday 12/1/14: cheatSheets, paths, connectivity, tree, rootedTree,
  • Wednesday 12/3/14: rootedTrees, examples, lemma-k-aryTree, lemmaExamples,
  • Friday 12/5/14: Topics for the final exam, Study problems for the final exam, Some graph problems to study
    probEx1, probEx2, subset_randomVariable,

    Last modified by Carola Wenk,   cwenk  -at-   tulane  -dot-   edu,