CS 3233 Discrete Mathematical Structures
Pictures
- Wednesday 8/25/04:
1-proposition,
1-propositionEx,
1-logicalOps,
1-TTneg_and,
1-TTor_xor,
1-implication,
1-TTimpl,
1-TTbicond,
1-precRules,
1-english2logic,
1-contrapos,
1-womenX,
1-tautcontrad,
1-tautcontradEx,
- Monday 8/30/04:
Table of equivalence laws
- Wednesday 9/1/04:
3-typesofproofs,
3-proofnotations,
3-directproof,
3-indirectproof,
3-proofbycontradiction,
3-sqrt2irrational,
3-proofbycontradiction2,
3-proofbycontradiction2ex,
3-proofbycases,
3-proofbycasesEx,
3-proofofequivalence,
- Wednesday 9/8/04:
4-forallProofs,
4-forallProofs2,
4-existenceProofs,
4-constructiveProof,
4-nonconstructiveProof,
4-disprove,
4-counterExample,
4-sets,
4-subset,
4-powerset,
4-cardinalityofpowerset,
4-cardinalityofpowerset2,
4-cartesianProduct,
4-setOperations,
4-setOperations2,
4-deMorganForSets,
- Monday 9/13/04:
5-homeworksdue,
5-functions,
5-functionsEx,
5-functionsEx2,
5-onetooneAndOnto,
5-onetooneAndOntoEx,
5-onetooneAndOntoEx2,
5-onetooneAndOntoEx3,
5-inverse,
5-composition,
5-floorCeiling,
5-floorCeilingEx,
5-algorithm,
5-algorithmDescription,
5-maxProblem,
5-maxAlgo,
- Wednesday 9/15/04:
6-describeAlgo,
6-computeMax,
6-bestCaseworstCase,
6-asymptoticRuntime,
6-bigOh,
6-bigOhEx1,
6-bigOhEx2,
6-bigOhEx3,
6-bigOhEx4,
6-bigOhEx5,
6-insertionSort,
6-insertionSort2,
6-insertionSortRuntime,
6-binSearch,
6-binSearchRuntime,
- Monday 9/20/04:
7-bigOhOmegaTheta,
7-bigOhOmegaThetaEx,
7-codesnippets1,
7-codesnippets2,
7-codesnippets3,
7-codesnippets4,
7-divides,
7-divides2,
7-divmod,
7-congruent,
7-congruentEx,
7-congruentEx2,
7-congruentEx3,
7-power,
7-power2,
7-powerAlgo,
7-powerRuntime,
7-prime,
7-primeFactors,
7-101prime,
- Wednesday 9/22/04:
8-gcd,
8-gcdEx,
8-computeGcd,
8-EuclideanAlgorithm,
8-computeGcdEx,
8-lemmaProof,
8-lemmaProof2,
8-lemmaProof3,
8-cryptology,
8-publicKey,
8-RSA,
8-RSA2,
8-RSAEx,
8-RSAEx2,
- Monday 9/27/04:
9-Zn,
9-RSA,
9-RSA,
9-RSA2,
9-RSATheorem,
9-RSATheorem2,
9-FermatsTheorem,
9-Sequence,
9-geometric,
9-arithmetic,
9-indexSubstitution,
9-geometricSeries,
9-geometricSeries2,
- Wednesday 9/29/04:
10-induction1,
10-induction2,
10-example1a,
10-example1b,
10-example1c,
10-example2,
10-example2b,
10-example3,
10-example3b,
10-example4,
10-example4b,
10-example4c,
10-stronginduction,
10-fibonacciEx,
- Monday 10/4/04:
11-composition,
11-onto,
11-onetooneAndInverse,
11-onetooneAgain,
11-ontoAgain,
11-disproveTheorem,
11-Cartesianproduct,
11-powerset,
11-setExample,
11-thetaExample,
11-bigOhExample,
11-OmegaExample,
- Monday 10/11/04:
12-sumEvenIntegers,
12-sumEvenIntegers2,
12-fibonacci,
12-fibonacci2,
12-strongInduction,
12-postage,
12-postage2,
- Wednesday 10/13/04:
13-matrixmult,
13-wrongProof,
13-wrongProof2,
13-wrongProof3,
13-recursiveDefs,
13-fibAndPow,
13-pow,
13-pow2,
13-faktorialAndSum,
13-Hanoi,
13-Hanoi2,
13-Hanoi3,
13-HanoiRecurrence,
13-HanoiRecurrence2,
13-solveRecurrence,
13-solveRecurrence2,
13-proveRecurrence,
13-recDefStructures,
13-wellformedformulae,
- Monday 10/18/04:
14-chocolateBar,
14-doubleSummations,
14-countingIntro,
14-studentsExample,
14-unionRules,
14-additionPrinciple,
14-multiplicationPrinciple,
14-books,
14-3letterwords,
14-3letterwords2,
14-solveCountingProblems,
14-bitStrings,
14-functions,
14-onetooneFunctions,
14-pigeonhole,
14-englishWords,
- Wednesday 10/20/04:
15-pigeonhole,
15-pigeonholeEx,
15-numbers90,
15-numbers90b,
15-permutations,
15-combinations,
15-rankings,
15-cards,
15-committee,
15-bitsequences,
15-permutationsWrep,
15-combinationsWrep,
15-countingOverview,
15-binomialThm,
15-pascalstriangle,
- Monday 10/25/04:
16-binomialTheorem,
16-combinatorialProof,
16-pascalsTriangle,
16-pascalsIdentity,
16-doubleCounting,
16-applicationsBinomialTheorem,
16-sampleSpace,
16-probability,
16-equallyLikely,
16-pokerhand,
16-pokerhand2,
16-pokerhand3,
16-rules,
- Wednesday 10/27/04:
17-rollingdie,
17-tossCoinNtimes,
17-randomvariable,
17-randomvariableEx,
17-expectedValue,
17-expectedValueEx,
17-sumofdice,
17-raffle,
17-raffle2,
17-raffle3,
- Monday 11/1/04:
18-relations,
18-relationsEx,
18-midterm2,
18-functionsNrelations,
18-functionsNrelationsEx,
18-functionsNrelationsEx2,
18-numOfFunctions,
18-numOfRelations,
18-properties,
18-propertiesEx,
18-propertiesEx2,
18-propertiesEx3,
18-numOfReflexiveRelations,
- Wednesday 11/3/04:
19-database,
19-databaseEx,
19-operators,
19-selectEx,
19-projectEx,
19-joinEx,
19-closures,
19-reflexiveClosure,
19-symmetricClosure,
19-antisymmetric,
19-transitiveClosure,
19-equivRelations,
19-equivRelations2,
19-equivRelations3,
19-equivClasses,
- Monday 11/8/04:
20-recursiveDefs,
20-recursiveDefs2,
20-counting,
20-numOfBitstrings,
20-numNumberPlates,
20-binomialTheorem,
20-pigeonhole,
20-randomVariable,
20-expectedValue,
20-relation,
- Monday 11/15/04:
21-randomVariable,
21-induction,
21-inductionVariant1,
21-inductionVariant2,
21-inductionVariant3,
21-wrongProof,
- Wednesday 11/17/04:
22-graphs,
22-directedgraph,
22-directedgraphEx,
22-graphVariants,
22-numberOfEdges,
22-numberOfEdges2,
22-adjacent,
22-degree,
22-handshakingLemma,
22-adjacencyLists,
22-adjacencyLists,
- Wednesday 11/24/04:
23-representingGraphs,
23-bipartiteGraphs,
23-paths,
23-connectivity,
23-connectivityEx,
23-connectedComponents,
23-trees,
23-treeInduction,
23-treeInduction2,
- Monday 11/29/04:
24-rootedTree,
24-regularTree,
24-regularTreeEx,
24-leavesInduction,
24-internalVerticesNLeaves,
24-leavesInduction2,
24-in-pre-postorderTraversals,
24-infixNotation,
24-postfixNotation,
24-depthfirsttraversal,
24-depthfirsttraversalEx,
- Wednesday 12/1/04:
25-k33,
25-degreesNadjlists,
25-equivRelation,
25-throwFairCoin,
25-expectedValue,
25-heightOfTree,
25-heightOfTree2,
25-recursiveDef,
25-proveCorrectness,
25-proveCorrectness2,
25-bitstrings,
Last modified by Carola Wenk,
carola @ cs.utsa.edu ,
