SPLICE Catalog

Exercise Title	Description	Platform	Keywords
SATProof	Short Description...	OpenDSA	SATProof , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
NPCCoping	Short Description...	OpenDSA	NPCCoping , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
UnsolveableProblems1	Short Description...	OpenDSA	UnsolveableProblems1 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
UnsolveableProblems2	Short Description...	OpenDSA	UnsolveableProblems2 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
MajorConceptsFF	Short Description...	OpenDSA	MajorConceptsFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
GrammarIntroFF	Short Description...	OpenDSA	GrammarIntroFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
SetDefFF	Short Description...	OpenDSA	SetDefFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
SetCommonSymbolsFF	Short Description...	OpenDSA	SetCommonSymbolsFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
RelationsFF	Short Description...	OpenDSA	RelationsFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
MathProofFF	Short Description...	OpenDSA	MathProofFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
ContinuedMathProofFF	Short Description...	OpenDSA	ContinuedMathProofFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
InductionProofExample1FF	Short Description...	OpenDSA	InductionProofExample1FF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
Induction Visualization	Short Description...	OpenDSA	Induction Visualization , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
InductionProofExample2FF	Short Description...	OpenDSA	InductionProofExample2FF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
DFAFF	Short Description...	OpenDSA	DFAFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
FADefinitionsFF	Short Description...	OpenDSA	FADefinitionsFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
NFAtoDFAFF	Short Description...	OpenDSA	NFAtoDFAFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
DFAMinimizationFF	Short Description...	OpenDSA	DFAMinimizationFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
DFAMinimizationStepsFF	Short Description...	OpenDSA	DFAMinimizationStepsFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
MinimizationWithQuestionsFF	Short Description...	OpenDSA	MinimizationWithQuestionsFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
MinimizationWithQuestions2FF	Short Description...	OpenDSA	MinimizationWithQuestions2FF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
TransformGram	Short Description...	OpenDSA	TransformGram , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
Turing Machines Exercise	Short Description...	OpenDSA	Turing Machines Exercise , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
RegularExpressionsFF	Short Description...	OpenDSA	RegularExpressionsFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
RegEXandRegLangFF	Short Description...	OpenDSA	RegEXandRegLangFF , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments

SLC Item Catalog