CS 2233
Discrete Mathematical Structures
Fall 08
Pictures
- Wednesday 8/27/08:
Lecture-propositions-1.1
InstructorAndTA,
electronicCircuits,
- Friday 8/29/08:
Propositional equivalences
truthTablesForOperators,
equivalence,
equivalenceByTruthTables,
equivalenceProof,
- Wednesday 9/3/08:
announcement,
universalQuantifier,
universalQuantifierEx,
universalQuantifierEx2,
quantifierTable,
existentialQuantifier,
existentialQuantifierEx,
existentialQuantifierEx2,
deMorgan,
quantifierDeMorgan,
- Friday 9/5/08:
existsExample,
forAllExample,
quantifierExample,
commutativityLaw,
quantifierTable,
swapQuantifiers,
sumPosInts,
- Monday 9/8/08:
conjunctionDisjunction,
multipleQuantifiersEx,
multipleQuantifiersEx2,
rulesOfInference1,
inferenceEx1,
inferenceEx2,
inferenceEx2AndRules,
- Wednesday 9/10/08:
ProofTable,
proofTerminology,
directProof,
forAllProof,
indirectProof,
proofAttempt1,
proofAttempt2,
proofOfEquivalence1,
proofOfEquivalence2,
- Friday 9/12/08:
proofByContradiction,
sqrt2Irrational1,
sqrt2Irrational2,
proofByContradictionForImplication,
proofByContradictionForImplication2,
proofByContradictionForImplicationExample,
proofByCasesExample,
counterexampleAndConstructiveExistenceProof,
- Monday 9/15/08:
nonconstructiveExistenceProof,
sets,
commonlyUsedSets,
equalAndSubset,
emptySetAndCardinality,
powerSets,
- Wednesday 9/17/08:
powersetTheorem1,
powersetTheorem2,
setOperations,
setOperationsDefinitions,
deMorgansLaw,
union,
infiniteUnion,
- Friday 9/19/08:
rosenBook,
cartesianProduct,
functions,
notAFunction,
functionEx,
imageAndRange,
oneToOne,
oneToOne2,
onto,
examples,
bijectiveExample,
notOntoNotOneToOne,
- Monday 9/22/08:
homeworkAnnouncement,
inverse,
inverseEx,
composition,
compositionIllustration,
inverseOfComposition,
inverseOfCompositionEx,
floorAndCeiling,
sequences,
geometricProgression,
- Wednesday 9/24/08:
homeworkSolutions,
geometricAndArithmeticProgressions,
summations,
geometricSeriesTheorem,
geometricSeriesTheorem2,
algorithm,
describeAnAlgorithm,
exampleMax,
- Friday 9/26/08:
exampleMax2,
exampleMax3,
bestcaseWorstcase,
whyNotExactRuntimes,
big-Oh,
big-OhEx1,
big-OhEx2,
- Monday 9/29/08:
midterm1,
hw3-16b,
O-Omega-Theta,
OmegaLemma,
O-Omega-Theta-Example,
runtimeFunctions,
codeSnippet,
- Wednesday 10/1/08:
directProof,
perfectSquare,
moebiusStrip,
- Monday 10/6/08:
codeSnippets1,
codeSnippets2,
codeSnippets3,
induction,
induction2,
induction3,
ladderExample,
sumExample1,
sumExample2,
- Wednesday 10/8/08:
HW3,
inductionEx,
inductionEx2,
inductionEx2b,
checkerboard,
checkerboard2,
- Friday 10/10/08:
strongInduction,
primeNumberFactorization,
fibonacciNumbers,
loopInvariants,
loopInvariantProof,
- Monday 10/13/08:
loopInvariants,
loopInvariantsFactorialEx,
loopInvariantsFactorialEx-Proof2,
loopInvariantsMultiplyEx,
loopInvariantsMultiplyEx2,
loopInvariantsMultiplyEx3,
recursiveDefinitions-Sequences-Algorithms,
recursiveFunction,
recursiveAlgorithm,
fibonacciEx,
- Wednesday 10/15/08:
powExample,
powExample2,
powExampleRecStack,
powCorrectness,
factorial,
sumExample,
fibonacci,
- Friday 10/17/08:
Hanoi,
Hanoi2,
Hanoi3,
Hanoi4,
HanoiRecurrence,
HanoiProof,
expansionMethod,
expansionMethod2,
recSets,
arithmeticFormulae,
- Monday 10/20/08:
computePower,
computePowerRecursively,
solveRecurrence,
bigOhInduction,
bigOhInduction2,
- Wednesday 10/22/08:
readingMaterial,
computePowerof3,
computePowerof3WithDivideAndConquer,
algorithm,
divideAndConquer,
recursiveSquaringExample,
mergeSort,
mergeSort2,
- Friday 10/24/08:
Master Theorem slides
solvingRecurrences,
recursionTree,
bigOhInduction,
bigOhInduction2,
masterTheoremEx,
masterTheoremEx2,
- Monday 10/27/08:
homework4,
mergesortRecursionTree,
recursionTreeEx1,
recursionTreeEx1b,
geometricSeriesFormulas,
recursionTreeEx2,
recursionTreeEx2b,
recursionTreeEx3,
recursionTreeEx3b,
- Wednesday 10/29/08:
Material for Midterm 2
masterTheoremEx1,
masterTheoremEx2,
masterTheoremEx3,
masterTheoremEx4,
masterTheoremCounterEx,
masterTheoremEx5,
masterTheoremEx6,
- Friday 10/31/08:
solvingLinearRecurrences,
recurrenceExamples,
characteristicEquation,
recurrenceTheorem,
solveQuadraticEquations,
example,
exampleb,
examplec,
fibonacciExample,
- Monday 11/3/08:
binaryRelations,
example1,
example2AndFunctions,
example3,
relationOnA,
- Wednesday 11/5/08:
Formula page given in midterm 2,
divideAndConquerMethod,
runtimeRecurrence,
recursionTree,
bigOhInduction,
bigOhInductionBaseCase,
bigOhInductionInductiveStep,
recursionTree,
bigOhInduction,
- Monday 11/10/08:
binaryRelation,
naryRelation,
test2,
naryRelationOperations,
relationProperties,
examples1,
examples2,
equivalenceRelation,
- Wednesday 11/12/08:
congruenceClasses,
classesCancelled,
mod-equivRelation,
equivRelationProof,
equivRelationProof2,
equivalenceClass,
graphs,
undirectedGraphEx,
directedGraph,
,
- Friday 11/14/08:
Digraph-basic-terminology-1,
Digraph-basic-terminology-2,
Graph-definition,
handshaking-theorem,
Kinds-of-graphs,
Other-kinds-of-graphs,
undirected-graph-basic-terms-1,
undirected-graph-basic-terms-2,
- Monday 11/17/08:
undirectedGraphEx,
adjacencyLists,
adjacencyLists2,
adjacencyMatrix,
directedGraphEx,
path,
pathEx,
- Wednesday 11/19/08:
trees,
algorithmsAnnouncement,
rootedTree,
vertexEdgeTheorem,
definitions,
definitionsEx,
- Friday 11/21/08:
classScores,
classScores2,
full4aryTree,
fullTreeTheorem,
kAryTreeTheorem,
kAryTreeTheorem2,
kAryTreeTheoremEx,
language,
languageEx,
- Monday 11/24/08:
announcement,
grammar,
grammarEx1,
derivable,
generatedLanguage,
grammarEx2,
grammarEx3,
grammarEx3b,
- Wednesday 11/16/08:
announcements,
contextfreeGrammar,
bnf,
bnfEx,
finiteStateAutomata,
finiteStateAutomataEx,
- Materal for the Final
Last modified by Carola Wenk,
carola @ cs.utsa.edu ,
