Problems/0002750000006000510710000000000012457771304012313 5ustar apachewwadminProblems/Templates/0002750000006000510710000000000012140334650014235 5ustar apachewwadminProblems/Templates/Multiple_Select(checkboxes).pg0000644000006000510710000000263012104541141022036 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Choose all correct answers", "Correct Answer1", "Correct Answer2" ); # call the extra function to set the other options for the choices $mc->extra( "Choice 1", "Choice 2", "Choice 3", ); # add an option to be the last in the list $mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/Templates/Hints_Solutions.pg0000644000006000510710000000167512141466355017756 0ustar apachewwadmin# DESCRIPTION # A simple problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); $line = Compute("1"); TEXT(beginproblem()); BEGIN_TEXT Problem \{ ans_rule(3) \} END_TEXT $showHint = 1; HINT(EV3(<<'END_HINT')); Enter hint here END_HINT SOLUTION(EV3(<<'END_SOLUTION')); $PAR $BBOLD SOLUTION $EBOLD $PAR Enter solution here END_SOLUTION ANS( $line->cmp() ); ENDDOCUMENT();Problems/Templates/Image/0002750000006000510710000000000012127635524015270 5ustar apachewwadminProblems/Templates/Image/Image.pg0000644000006000510710000000263112141005625016634 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question", "Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Incorrect", "Incorrect", "Incorrect", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ image("Image.png",width=>300, height=>300,); \} $BR \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/Templates/Image/Image.png0000644000006000510710000001152212127635515017024 0ustar apachewwadmin塒NG  IHDR2灁豽sRGBgAMA睆 黙 pHYs莖╠鏘DATx^磔嫍湾襁?3R蚈&)種岊裏M+嵭峃卛H璨擪*工≒槁勡歕褠{鋘9>廹$蝉1调锵瀏驳縚办皑1限窜驳伢鼋<削GD!y @2慓D!y @2慓D!y @2慓D!儔c菐III墱:u蕪祰惲? 蚯狏2 d墣!CH &B"d0A! B啇L2凞萡倫!$B !2 d墣!CH &B"d0A! B啇L2凞萡倫!$B !2 d墣!CH &B"d0A! B啇L2凞萡倫!$B !2 d墣!CH &B"d0A! B啇LT3r噗2d餪|仰呗1蛑溦卜炭 !儔闏V&坜惧茈 鳛页wH椳fR茱商(Oq d0Q硱u揧{硒1U&=(熝Hl吖6 > +--晜瞐脝删}+濯 俟兾?fH梥/w躥9榍X2$d箧鸵彬-;;[鲮巽摺#鹽Vo商葦儈 !CB睇張昽EEE}黈!硈遾魃k婵BM萾nY.]d駘 d6涙>廵ee~5戹!S1.\鐶+B柛邁鸐4i"奎驄AM2稃锟w%秎兮G B枠J籿韉茖~ d懏g;|AM缠殚嵓<)**#!荒诚>+絳鱢qnY黴y琛國% !涌淽籿R煘dG镚P,>c菐曃;Gj 揀и窖部K迆鹠w7啉裩啸!m诖a瞝 Y祠髸晻%粀秭#褷n锦V9s籠'吠挧騙慁遾(/<豒rs籎⺧薲镝2髋|闉-9恮K;璫睲𳷃<#W]u曽`穙>捇?粋闯j?傟藏桤闯/.璤哭廌囶=镑蝉5铒办瘯崦囁锟畛瀛;4尝渤苍搨椘+齭贵︿犊镑邗*疧.鱘!犍膘#&!用毕?\锄蹶寰箣穳'簅<娵筝嘙橶:圻垓逅葸髦璠+}濏镯~掓蜎_|Q殡Q貑Z醙%K朤r貀DVj.篗^]w膷()夔~ 藒 讬]2砙4见39噢泟C鲚w呱 7躊釠bccK螹0霊e可3ゑ门R~繖顣F 核粢隅巭/系虗鞈%r恻HLL鋈6o,?糳ffV^z%w锆(o弙灰锛驨ク藙 苓鳜Y*}澀X辿=诡弘d匕a暰ロ椐煯鸪b"賻;螄≤焈J铽硋;萒G鍑鏪J絭&緇;药^CwG櫴P碴窊椝玼z患{k}苟鼒购^g橺緡#髶齁彂-[骀圃痏课險&]誓拪Y認KK胫ne]燢6l( 廣宕鞓轚\[ K.T玐蔿 瀁緡vL禆 迩8g$%d虞趟逞△塲俨%1!珳+嘗<購D叻邁+眢_]!Y鬑cix荓馘疐o斞?=赣;dzrU//淐婾褻V蜋3禽莑摘U~劕"齺撰搡yAr8閑f龕旯3睰殓B?z蒅爴f0.6膵慅磔w遳 齶爒閴\絁汼m齓m"d/r轸]蚏齃wX#d鬪R盒鼇p縉G2}脆/={鰯鈾泿D2#篖雲^pM菄F之]毽W鑎玉蛢Bb櫛y箧蝯gt挳!庸azR_譓"B:荓4;h袪磞.a簠Lo_3p郂樾[(彴Y掕r璆y=dU飗P抓S若訟菐N彁%Y贄_~佥浗甁噽檗>U%um!R!zP}@漝脝 ~磏╇!!4淈鼃俪gE d礖/鑵絆{]{k] 櫈 盂铊漁>3?奣C萰傥;#聃_髋璜![眀吇]M縹龢栤Y ,pf袸纯嵁2疥堙O77Lo"堅G覔&Mr嚊C 夢獉2樤擓.SgB赳s)褿枵[$!@tV巨哯o臀撴惀綋UW煱糍燪艕?闫峴{膬庈%7B杺鬭.z垼{骇吽齉 欈祒膱.`?l俨趴偍"d)L圄軝>U秏坻_I=QY鵶$埪侣旫驞lY94}$濐A鑃慿G醑T 欮9槁顩n荷-觃иG"D-旛壩鷾M]船s漅釂帺2}\>8Z鱢u颣g汶.BQ浄込Kn瑰7遡虡1钴Z(浊旈僣鮞.陗鍟W*>,u!艮鸷孎洉曞~榰享小C"d:M鈸O>懢}鸍闫崶G蜴沷r+ :F魇t.氜v933Sn魁v穏灀y饕橬GY簍┘衿?]?c茖灣埡垚誥z弗?:匔祎疎-犵>驰穘闭晱箯晆若楟75屎諵梥颈隔烒锄碍辩葶:u陞擙:c翳裯 因逅;佷"d垯N幷Y构甁^:鼴呺姚ⅱ"9z舁拝!&:7L鞫t挂懦+汫 pb缤涚G{ 5瞚&伤藫N:筯]悤訅:tp缥秎兮G; 找萌侣B7C蕯)UN.dJ4魷讪Qs S U={;寍蛏'e~磖 Y筣籿桑>*璠樊複蝷 d╜脝 n:匩玐絲瓰掎B鞲9釭l2w盄Wl呔輳!d窣# #uax瞘鐭:uJ茘7u5@<28:'L 4ㄖ譎钴筍蝮筝"髤 鶴犳Y=s绾C.]喝5k+a,^糥诙m氘鸔囹Y;}籯雮 Rf}菰筳:O )B #d"彁strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Enter True or False \{ ans_rule(6) \} END_TEXT ANS( $strAns->cmp() ); ENDDOCUMENT();Problems/Templates/Multiple_Choice_Many_Options.pg0000644000006000510710000000350112115202205022323 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup @wrongOptions = ("Option 1","Option 2","Option 3","Option 4","Option 5","Option 6","Option 7","Option 8","Option 9","Option 10"); # generate 3 random indexes to choose options from the array $opIndex1 = random(0,9,1); do{ $opIndex2 = random(0,9,1); } until ($opIndex1 != $opIndex2); do{ $opIndex3 = random(0,9,1); } until ($opIndex1 != $opIndex3 && $opIndex2 != $opIndex3); $op1 = $wrongOptions[$opIndex1]; $op2 = $wrongOptions[$opIndex2]; $op3 = $wrongOptions[$opIndex3]; # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question to answer", "Correct Answer" ); # call the extra function to set the other options for the choices $mc->extra( "$op1", "$op2", "$op3", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/Templates/Fill_in_Blank.pg0000644000006000510710000000153412123336152017256 0ustar apachewwadmin# DESCRIPTION # A simple problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); TEXT(beginproblem()); BEGIN_TEXT Enter $a +1 \{ ans_rule(3) \} END_TEXT ANS( $line->cmp() ); ENDDOCUMENT();Problems/Templates/Dynamic_Graph.pg0000644000006000510710000000352312130302405017270 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PGgraphmacros.pl", ); ################################### # Setup $a = random(2,9,1); do{$b = random(5,10,1);} until($b!=$a); $gr = init_graph(-2,-2,10,15, axes=>[0,0], grid=>[12,17], size=>[500,500] ); add_functions($gr, "-(x-$a)^2+$b for x in <-5,10>" . " using color:blue and weight:2"); # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "What is the equation of the axis of symmetry of the parabola shown in the accompanying diagram?", "\(x=$a\)" ); # call the extra function to set the other options for the choices $mc->extra( "\(x=$b\)", "\(x=\frac{1}{$a}\)", "\(x=\frac{1}{$b}\)", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT $BCENTER \{ image( insertGraph($gr), width=>300,height=>300,tex_size=>800 ) \} $BR (Click on graph to enlarge) $BCENTER END_TEXT BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/Templates/Multiple_Choice.pg0000644000006000510710000000253112122434370017636 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question", "Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Choice", "Choice", "Choice", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/Templates/Multi_Part_Problem.pg0000644000006000510710000000326712103274745020347 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # INITIALIZATION FOR PART 1 # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); # INITIALIZATION FOR PART 2 # set up for a multiple choice problem. # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question to answer", "Correct Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Choice 1", "Choice 2", "Choice 3", ); # add an option to be the last in the list $mc->makeLast("none of the above"); # INITIALIZATION FOR PART 3 Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); Context()->texStrings; BEGIN_TEXT ${BBOLD}Part 1$EBOLD $BR Enter \($a+1\) \{ ans_rule(3) \} $PAR ${BBOLD}Part 2$EBOLD $BR \{ $mc->print_q() \} \{ $mc->print_a() \} $PAR ${BBOLD}Part 3$EBOLD $BR (Enter True or False: )\{ ans_rule(6) \} END_TEXT Context()->normalStrings; ANS( $line->cmp() ); ANS( radio_cmp( $mc->correct_ans() ) ); ANS( $strAns->cmp() ); Context()->normalStrings; ENDDOCUMENT();Problems/Templates/True_False.pg0000644000006000510710000000251112103272714016621 0ustar apachewwadmin## DESCRIPTION ## True/False Template - as Multiple Choice ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question to answer", "True" ); # call the extra function to set the other options for the choices #$mc->extra( #"False", #); # add an option to be the last in the list $mc->makeLast("False"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/0002750000006000510710000000000012455305776014360 5ustar apachewwadminProblems/ProofSpace/Techniques/0002755000006000510710000000000013235660076016467 5ustar apachewwadminProblems/ProofSpace/Techniques/Def3.pg0000644000006000510710000000272312366005670017577 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following statements that are $BBOLD true $EBOLD. ", " \(-8 \equiv 19 \text{ (mod } 9) \). ", " \(0 \equiv 16 \text{ (mod } 4) \). ", " \(155 \equiv 140 \text{ (mod } 5) \). ", ); # call the extra function to set the other options for the choices $mc->extra( "\(18 \equiv 1287 \text{ (mod } 2) \). ", " \(29 \equiv 18 \text{ (mod } 22) \). ", " \(9 \equiv 10 \text{ (mod } 3) \). ", , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT(); Problems/ProofSpace/Techniques/Def1.pg0000644000006000510710000000243212366061203017564 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following statements that are $BBOLD true $EBOLD. ", " \( 388\) is even. ", ); # call the extra function to set the other options for the choices $mc->extra( " \( \pi \) is even.", "\( 127\) is even.", , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT(); Problems/ProofSpace/Techniques/Def2.pg0000644000006000510710000000253312366005521017570 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following statements that are $BBOLD true $EBOLD. ", " \( -8 \mid 64\). ", " \( 12 \mid 0 \). ", " \( -1 \mid 1\). ", " \( 15 \mid 15\). ", ); # call the extra function to set the other options for the choices $mc->extra( " \( 4 \mid 13\). ", " \( -18 \mid 9\). ", , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT(); Problems/ProofSpace/Logic/0002755000006000510710000000000013235660374015415 5ustar apachewwadminProblems/ProofSpace/Logic/NSQ2redo.pg0000644000006000510710000000306312372461675017346 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following is the best interpretation of the sentence,\((\nexists x \in \mathbb{Q})(x^2-2=0)\)?", "There is no rational \(x\) such that \(x^2-2=0\)." ); # call the extra function to set the other options for the choices $mc->extra( "For every rational \(x\), \(x^2-2=0\).", "It's not the case that \(x^2-2=0\) for some \(x\).", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/NSQQ1.pg0000644000006000510710000000275212370472665016617 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following statements that are $BBOLD true $EBOLD. ", "\( (\exists x \in \mathbb{N}) (1extra( " \( (\forall x \in \mathbb{R}) (x-4=8) \).", "\( (\exists x \in \mathbb{N}) (x+4=3) \).", "\( (\forall x \in \mathbb{N}) (x>2) \).", , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT(); Problems/ProofSpace/Logic/Implications1.pg0000644000006000510710000000312113422335144020444 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Implications') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Complete the following truth table by using ''T'' for true and ''F'' for false: $BR $BR \{begintable(4)\} \{row("\(P\\)","\(Q\\)","\(R\\)","\( P \Rightarrow (Q \land R) \) ")\} \{row("\(T\\)","\(T\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(T\\)","\(T\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(T\\)","\(F\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(T\\)","\(F\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(F\\)","\(T\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(T\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(F\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(F\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{endtable\} $PAR END_TEXT ################################### # Answers # no credit until all answers are correct install_problem_grader(~~&std_problem_grader); $showPartialCorrectAnswers = 0; ENDDOCUMENT();Problems/ProofSpace/Logic/Identities1.pg0000644000006000510710000000247312365040256020125 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Identities') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following is logically equivalent to \( P \Rightarrow Q\)?", "None of the above options." ); # call the extra function to set the other options for the choices $mc->extra( "\( Q \Rightarrow P\).", "\( \neg P \Rightarrow \neg Q\).", "\( P \land \neg Q \)." ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/Implications5.pg0000644000006000510710000000323412364334071020457 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # INITIALIZATION FOR PART 1 # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); # INITIALIZATION FOR PART 2 # set up for a multiple choice problem. # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the statement, ''If 3 is even, then 73 is odd.'' Which of the following is the best negation of this statement?", "3 is even and 73 is not odd." ); # call the extra function to set the other options for the choices $mc->extra( "If 3 is not even, then 73 is not odd.", "3 is not even and 73 is not even.", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); # INITIALIZATION FOR PART 3 Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); Context()->texStrings; BEGIN_TEXT $PAR \{ $mc->print_q() \} \{ $mc->print_a() \} END_TEXT Context()->normalStrings; ANS( radio_cmp( $mc->correct_ans() ) ); Context()->normalStrings; ENDDOCUMENT();Problems/ProofSpace/Logic/NSQ3.pg0000644000006000510710000000321312372461762016467 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following is the best $BBOLD negation $EBOLD of the sentence, \((\exists x \in \mathbb{Z})(x^2-2=0)\)", "None of the above options." ); # call the extra function to set the other options for the choices $mc->extra( "\( (\forall x \in \mathbb{Z})(x^2-2=0) \).", "\( (\forall x \notin \mathbb{Z})(x^2-2 \neq 0) \).", "\( (\exists x \in \mathbb{Z})(x^2-2 \neq 0) \).", "\( (\exists x \notin \mathbb{Z})(x^2-2 = 0) \).", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/StatementsTT3.pg0000644000006000510710000000312113422334656020421 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Complete the following truth table by using ''T'' for true and ''F'' for false: $BR $BR \{begintable(4)\} \{row("\(P\\)","\(Q\\)","\(R\\)","\( (\neg P \lor Q) \land \neg R\) ")\} \{row("\(T\\)","\(T\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(T\\)","\(T\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(T\\)","\(F\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(T\\)","\(F\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(F\\)","\(T\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(F\\)","\(T\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(F\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(F\\)","\(F\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{endtable\} $PAR END_TEXT ################################### # Answers # no credit until all answers are correct install_problem_grader(~~&std_problem_grader); $showPartialCorrectAnswers = 0; ENDDOCUMENT();Problems/ProofSpace/Logic/StatementQ2.pg0000644000006000510710000000267212364057766020130 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Decide if each of the following statements is true or false: $BR $BR (a) \( (\forall x \in \mathbb{R}) (x-4=8) \).\{ ans_rule(6) \} $BR (b) \( (\exists x \in \mathbb{N}) (x+4=3) \). \{ ans_rule(6) \} $BR (c) \( (\exists x \in \mathbb{N}) (12) \).\{ ans_rule(6) \} $BR (e) \( (\exists x \in \mathbb{R}) (x^2=4) \). \{ ans_rule(6) \} $BR (f) \( (\forall x \in \mathbb{R}) (x^2 \geq 0) \).\{ ans_rule(6) \} $BR END_TEXT ANS( String(False)->cmp() ); ANS( String(False)->cmp() ); ANS( String(True)->cmp() ); ANS( String(False)->cmp() ); ANS( String(True)->cmp() ); ANS( String(True)->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Logic/Implications2.pg0000644000006000510710000000312113422335202020440 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Implications') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Complete the following truth table by using ''T'' for true and ''F'' for false: $BR $BR \{begintable(4)\} \{row("\(P\\)","\(Q\\)","\(R\\)","\( (P \land Q) \Rightarrow R \) ")\} \{row("\(T\\)","\(T\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(T\\)","\(T\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("F"));""; \} \{row("\(T\\)","\(F\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(T\\)","\(F\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(T\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(T\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(F\\)","\(T\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(F\\)","\(F\\)",ans_rule(12))\} \{ANS(str_cmp("T"));""; \} \{endtable\} $PAR END_TEXT ################################### # Answers # no credit until all answers are correct install_problem_grader(~~&std_problem_grader); $showPartialCorrectAnswers = 0; ENDDOCUMENT();Problems/ProofSpace/Logic/NSQ2.pg0000644000006000510710000000253112364054342016461 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question", "Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Choice", "Choice", "Choice", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/StatementsTT.pg0000644000006000510710000000234313422334631020334 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Complete the following truth table by using ''T'' for true and ''F'' for false: $BR $BR \{begintable(3)\} \{row("\(P\\)","\(Q\\)","\( \neg(P \lor Q)\\)")\} \{row("\(T\\)","\(T\\)",ans_rule(7))\} \{ANS(str_cmp("F"));""; \} \{row("\(T\\)","\(F\\)",ans_rule(7))\} \{ANS(str_cmp("F"));""; \} \{row("\(F\\)","\(T\\)",ans_rule(7))\} \{ANS(str_cmp("F"));""; \} \{row("\(F\\)","\(F\\)",ans_rule(7))\} \{ANS(str_cmp("T"));""; \} \{endtable\} $PAR END_TEXT ################################### # Answers # no credit until all answers are correct install_problem_grader(~~&std_problem_grader); $showPartialCorrectAnswers = 0; ENDDOCUMENT();Problems/ProofSpace/Logic/Implicationsq6.pg0000644000006000510710000000365212366006364020650 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Implications') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the following sentence, ''If \(x=3\), then \(2x=5\).'' $BR $BR For what values of \(x\) is the statement false?", "\(x=3\)" ); # call the extra function to set the other options for the choices $mc->extra( "\( x \neq 3\)", "\( x = \frac{5}{2}\)", "\( x = \pi \)", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Setup # create new multiple choice object $mc2 = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc2->qa( "Consider the following statement, ''If \(3\) is even, then \(73\) is odd.'' $BR Which of the following is the best negation of the statement?", "3 is even and 73 is not odd." ); # call the extra function to set the other options for the choices $mc2->extra( "If 3 is not even, then 73 is not odd.", "3 is not even and 73 is not even.", ); # add an option to be the last in the list $mc2->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc2->print_q() \} $BR \{ $mc2->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc2->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/ImplicaitonsQ4.pg0000644000006000510710000000322012366060672020577 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following statements that are $BBOLD true $EBOLD. Rely on your prior knowledge about even and odd numbers.", "If Albany is the capital of New York, then 麻豆传媒团队 is a SUNY School.", "If Seoul is the capital of the United States, then Accra is the capital of Ghana.", "If \(3\) is odd, then \(9\) is odd.", "If \(12\) is odd, then \(9\) is odd.", "If \(3\) is even, then \(73\) is odd.", ); # call the extra function to set the other options for the choices $mc->extra( "If Neptune is a planet, then Germany is a country in South America.", "If \(19\) is odd, then \(26\) is odd." , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT(); Problems/ProofSpace/Logic/Implicationsq5a.pg0000644000006000510710000000257013424343452021004 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Implications') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Let \(x\) be a real number, and consider the statement, ''If \(x=3\), then \(2x=5\).'' $BR $BR For what values of \(x\) is the statement false?", "\(x=3\)" ); # call the extra function to set the other options for the choices $mc->extra( "\( x \neq 3\)", "\( x = \frac{5}{2}\)", "\( x = \pi \)", ); # add an option to be the last in the list $mc->makeLast("None of the above options.", "All of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} $BR END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/Identities.pg0000644000006000510710000000257512365040335020045 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Identities') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following are valid ways to prove two sentences logically equivalent? Select all those you think are appropriate.", "Use a truth table.", "Use logical identities.", ); # call the extra function to set the other options for the choices $mc->extra( "Consider an example.", "Show a counter example to their negations.", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/ImplicationTT.pg0000644000006000510710000000234613422335126020460 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Implications') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Complete the following truth table by using ''T'' for true and ''F'' for false: $BR $BR \{begintable(3)\} \{row("\(P\\)","\(Q\\)","\( P \Rightarrow Q\\)")\} \{row("\(T\\)","\(T\\)",ans_rule(7))\} \{ANS(str_cmp("T"));""; \} \{row("\(T\\)","\(F\\)",ans_rule(7))\} \{ANS(str_cmp("F"));""; \} \{row("\(F\\)","\(T\\)",ans_rule(7))\} \{ANS(str_cmp("T"));""; \} \{row("\(F\\)","\(F\\)",ans_rule(7))\} \{ANS(str_cmp("T"));""; \} \{endtable\} $PAR END_TEXT ################################### # Answers # no credit until all answers are correct install_problem_grader(~~&std_problem_grader); $showPartialCorrectAnswers = 0; ENDDOCUMENT();Problems/ProofSpace/Logic/StatementQ2redo.pg0000644000006000510710000000315312366060500020753 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the following definition: $BR $BR Definition: A natural number \(n\) is casual if it is greater than \(1\) and has no positive factors except \(1 , 2, \frac{n}{2}\) and \(n\). $BR $BR Using the information given in the definition, check all of the following statements that are $BBOLD true $EBOLD. ", "\(14\) is casual.", "\(-13\) is casual or \(8\) is casual.", ); # call the extra function to set the other options for the choices $mc->extra( "\(5\) is casual.", "\(1\) is casual.", "\(12\) is casual.", "\(-13\) is casual and \(8\) is casual.", , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/Identities2.pg0000644000006000510710000000243412365040270020117 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Identities') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following is logically equivalent to \( \neg ( P \Rightarrow Q) \)?", " \( P \land \neg Q \)." ); # call the extra function to set the other options for the choices $mc->extra( "\( \neg P \land Q \).", "\( \neg P \lor Q \).", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/Statements.pg0000644000006000510710000000315712370303524020066 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "For each of the following sentences, determine if it is a statement. Check all of the sentences that are statements. ", "''Attack of the Clones'' is the fourth Star Wars movie.", "The capital of Cambodia is Phnom Penh.", "The year is 1406 or Narendra Modi is the Prime Minister of India.", "\(2 \times 2 =4\).", "\(2+4 \neq 6\)." ); # call the extra function to set the other options for the choices $mc->extra( "''Attack of the Clones'' is the best Star Wars movie.", "The year is 1994 and you're pretty awesome.", "\(x+5=7\) and \(x=2\)", "\(2-7=9\) or \(x=2\)" , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Logic/IdentitiesMatching.pg0000644000006000510710000000370012365040314021504 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Identities') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PG.pl", "PGbasicmacros.pl", "PGchoicemacros.pl", "PGanswermacros.pl", "unionTables.pl", ); ################################### # Setup $ml = new_match_list(); $ml->qa( "\( (P \lor P) \equiv P \).", "Idempotence", "\( (P \iff Q) \equiv (P \Rightarrow Q) \land (Q \Rightarrow P) \) .", "Biconditional Statements", "\( \neg (P \land Q) \equiv (\neg P \lor \neg Q) \).", "DeMorgan's Laws", "\( \neg(\neg(\neg(P))) \equiv (\neg P) \).","Double Negation", " \( P \land (Q \lor R) \equiv (P \land Q) \lor (P \land R) \).","Distributive Laws" ); # use pop-up-lists $ml->rf_print_q(~~&pop_up_list_print_q); # you may need to add more letters D=>"D", etc. $ml->ra_pop_up_list([No_answer=>"?",A=>"A",B=>"B",C=>"C",D=>"D",E=>"E", F=>"F",G=>"G"]); $ml->choose(5); # to add extra answers that show up in the # matching list, we would uncomment # (remove the leading "# " from) the two # lines below: $ml->extra("Conditional Statements", "Conditional Statements with Disjunctions"); $ml->choose_extra(2); #$ml->makeLast("None of the above"); ################################### # Main text BEGIN_TEXT For each equivalence, choose the appropriate identity. Each answer may be used no more than once. $BR \{ $ml->print_q() \} $BR \{ $ml->print_a() \} END_TEXT ################################### # Answers # no credit until all answers are correct install_problem_grader(~~&std_problem_grader); $showPartialCorrectAnswers = 0; ANS( str_cmp( $ml->ra_correct_ans ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/0002755000006000510710000000000013235660042015266 5ustar apachewwadminProblems/ProofSpace/Sets/Intro2.pg0000644000006000510710000000350112372462312016771 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(A=>{},B=>{},BOTH=>{},N=>{}); $strAns = String('A'); TEXT(beginproblem()); BEGIN_TEXT Let \(A= $LBRACE 2,3,$LBRACE 2 $RBRACE, \mathbb{Z} $RBRACE\) and \(B= $LBRACE \emptyset, $LBRACE \mathbb{Z} $RBRACE , 4 $RBRACE\) $BR $BR $BR For each of the following, type "A" if it is an subset of \(A\) , "B" if it is an subset of \(B\), "Both" if it is an subset of both, and ''N'' if it is an subset of neither. $BR $BR (a) \($LBRACE 4 $RBRACE\) \{ ans_rule(6) \} $BR (b) \($LBRACE \emptyset, 2 $RBRACE\) \{ ans_rule(6) \} $BR (c) \($LBRACE 2 $RBRACE\) \{ ans_rule(6) \} $BR (d) \($LBRACE 2, $LBRACE 2 $RBRACE $RBRACE\) \{ ans_rule(6) \} $BR (e) \($LBRACE 1 $RBRACE \) \{ ans_rule(6) \} $BR (f) $SPACE \(\emptyset\) \{ ans_rule(6) \} $BR (g) \($LBRACE \emptyset $RBRACE \) \{ ans_rule(6) \} $BR (h) \(\mathbb{Z}\) \{ ans_rule(6) \} $BR (i) \($LBRACE \mathbb{Z} $RBRACE\) \{ ans_rule(6) \} $BR END_TEXT ANS( String(B)->cmp() ); ANS( String(N)->cmp() ); ANS( String(A)->cmp() ); ANS( String(A)->cmp() ); ANS( String(N)->cmp() ); ANS( String(BOTH)->cmp() ); ANS( String(B)->cmp() ); ANS( String(N)->cmp() ); ANS( String(A)->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Sets/SetMatchingIndentites.pg0000644000006000510710000000435412364321257022063 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PG.pl", "PGbasicmacros.pl", "PGchoicemacros.pl", "PGanswermacros.pl", "unionTables.pl", ); ################################### # Setup $ml = new_match_list(); $ml->qa( "\( $LBRACE x \in \mathbb{R} \mid x^2-2=0 $RBRACE\)", "\($LBRACE \sqrt{2},-\sqrt{2} $RBRACE \)", "\( $LBRACE x \in \mathbb{Q} \mid x^2-2=0 $RBRACE\)", "\( \emptyset \)", "\( $LBRACE x \in \mathbb{R} \mid x(x+1)(x+2)=0 $RBRACE\)", "\( $LBRACE 0,-1,-2 $RBRACE \)", "\( $LBRACE x \in \mathbb{N} \mid \exists y \in \mathbb{N}(x+y>4) $RBRACE\)", "\( \mathbb{N} \)", "\( $LBRACE x \in \mathbb{N} \mid \forall y \in \mathbb{N}(x+y>4) $RBRACE\)", "\($LBRACE 4,5,6 ... $RBRACE \)" ); # use pop-up-lists $ml->rf_print_q(~~&pop_up_list_print_q); # you may need to add more letters D=>"D", etc. $ml->ra_pop_up_list([No_answer=>"?",A=>"A",B=>"B",C=>"C",D=>"D",E=>"E", F=>"F",G=>"G"]); $ml->choose(5); # to add extra answers that show up in the # matching list, we would uncomment # (remove the leading "# " from) the two # lines below: $ml->extra("\(\mathbb{R}\)", "\( $LBRACE ... -5 ,-4,4,5,6 ... $RBRACE \)"); $ml->choose_extra(2); #$ml->makeLast("None of the above"); ################################### # Main text BEGIN_TEXT This item is a bit challenging; we recommend scrap paper. For each set choose the appropriate equivalent set from below. Each answer may be used no more than once. $BR \{ $ml->print_q() \} $BR \{ $ml->print_a() \} END_TEXT ################################### # Answers # no credit until all answers are correct $showPartialCorrectAnswers = 0; ANS( str_cmp( $ml->ra_correct_ans ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/SetProof.pg0000644000006000510710000000565012611721712017362 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the following proof that two sets are equal. $BR $BR $BFRAMED $BBOLD Theorem: $EBOLD For any sets \(A, B,\) and \(C\), $BR$BR $SPACE $SPACE $SPACE $SPACE $SPACE\(A \cup (B \cap C) = (A \cup B) \cap (A \cup C).\) $BR $BR $BBOLD Proof: $EBOLD Let \(x\) be an element of \(A \cup (B \cap C)\). Then, \(x \in A\) or \(x \in B \cap C\). Suppose \(x \in A\). Then, \(x \in A \cup B\) and \(x \in A \cup C\). Thus, \(x \in (A \cup B) \cap (A \cup C)\) and \(A \cup (B \cap C) \subseteq (A \cup B) \cap (A \cup C)\). $BR $BR Now, let \(y\) be an element of \((A \cup B) \cap (A \cup C)\). Then, \(y \in A \cup B\) and \(y \in A \cup C\). So, \(y \in A\) or \(y \in B\) and \(y \in A\) or \(y \in C\). Suppose \(y \in A\). Then, \(y \in A \cup (B \cap C)\), as desired. Now, suppose \(y \notin A\). Then, since \(y \in A\) or \(y \in B\), it must be that \(y \in B\). Similarly, since \(y \in A\) or \(y \in C\) and \(y \notin A\), it's true that \(y \in C\). Thus, \(y \in B \cap C\) and \(y \in A \cup (B \cap C).\)Thus, \((A \cup B) \cap (A \cup C) \subseteq A \cup (B \cap C)\). $BR $BR Since \(A \cup (B \cap C) \subseteq (A \cup B) \cap (A \cup C)\) and \((A \cup B) \cap (A \cup C) \subseteq A \cup (B \cap C)\), it's true that \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\). \( \blacksquare \) $EFRAMED $BR $BR $BR Which of the following $BBOLD best $EBOLD explains the $BBOLD most significant error $EBOLD of this proof?", "In the first part, we did not consider if \(x \not \in A\)." ); # call the extra function to set the other options for the choices $mc->extra( "In the second part, we did not consider if \(y \not \in B\).", "Used an unproven fact.", "Did not attempt to prove one of the containments. ", ); # add an option to be the last in the list $mc->makeLast("This proof had no significant errors."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Indenties2.pg0000644000006000510710000000272412372476432017636 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following are equivalent to \( A \cup (B \cap C)\)?", "\((A \cup B) \cap (A \cup C)\)." ); # call the extra function to set the other options for the choices $mc->extra( "\( A \cup B \cap C\).", "\( A \cap (B \cup C)\).", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Indenties3.pg0000644000006000510710000000264312372475674017646 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following are equivalent to \( A \cup \emptyset\) ?", "\(A\)" ); # call the extra function to set the other options for the choices $mc->extra( "\(\emptyset\)", "\(A^c\)", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Intro1.pg0000644000006000510710000000375312611721237017001 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(A=>{},B=>{},BOTH=>{},N=>{}); $strAns = String('A'); TEXT(beginproblem()); BEGIN_TEXT Let \(A= $LBRACE 2,3,$LBRACE 2 $RBRACE, \mathbb{Z} $RBRACE\) and \(B= $LBRACE \emptyset, $LBRACE \mathbb{Z} $RBRACE , 4 $RBRACE\) $BR $BR (A) How many elements are in \(A\)? If infinite, type 'inf'. \{ ans_rule(10) \} $BR $BR (B) How many elements are in \(B\)? If infinite, type 'inf'. \{ ans_rule(10) \} $BR $BR For each of the following, type "A" if it is an element of \(A\) , "B" if it is an element of \(B\), "Both" if it is an element of both, and ''N'' if it is an element of neither. $BR $BR (a) \(2\) \{ ans_rule(6) \} $BR (b) \(4\) \{ ans_rule(6) \} $BR (c) \($LBRACE 2 $RBRACE\) \{ ans_rule(6) \} $BR (d) \(-1\) \{ ans_rule(6) \} $BR (e) \($LBRACE 1 $RBRACE\) \{ ans_rule(6) \} $BR (f) $SPACE \(\emptyset\) \{ ans_rule(6) \} $BR (g) \($LBRACE \emptyset $RBRACE\) \{ ans_rule(6) \} $BR (h) \(\mathbb{Z}\) \{ ans_rule(6) \} $BR (i) \($LBRACE \mathbb{Z} $RBRACE\) \{ ans_rule(6) \} $BR END_TEXT ANS( num_cmp(4, strings =>['inf']) ); ANS( num_cmp(3, strings =>['inf']) ); ANS( String(A)->cmp() ); ANS( String(B)->cmp() ); ANS( String(A)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(B)->cmp() ); ANS( String(N)->cmp() ); ANS( String(A)->cmp() ); ANS( String(B)->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Sets/Indexedmatching.pg0000644000006000510710000000520112364333401020703 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PG.pl", "PGbasicmacros.pl", "PGchoicemacros.pl", "PGanswermacros.pl", "unionTables.pl", ); ################################### # Setup $ml = new_match_list(); $ml->qa( "\( \bigcup\limits_{i \in I}A_ i \)." , "\($LBRACE 3,4,5,6,7,8,9 $RBRACE \)", "\( \bigcap\limits_{i \in I}A_ i\)", "\(\emptyset \)", "\( \bigcup\limits_{i \in J}A_ i\)", "\($LBRACE 7,8,9, 10,11,12,13,14, 15,16,17 $RBRACE \)", "\( \bigcap\limits_{i \in J}A_ i\)", "\($LBRACE 9,10,11 $RBRACE \)", "\( \bigcup\limits_{i \in \mathbb{N}}A_ i\)", "\($LBRACE 2,3,4,5 ... $RBRACE \)", "\( (\bigcap\limits_{i \in J}A_ i) \times A_2\)", "\($LBRACE(9,3),(10,3),(11,3) $RBRACE \)", ); # use pop-up-lists $ml->rf_print_q(~~&pop_up_list_print_q); # you may need to add more letters D=>"D", etc. $ml->ra_pop_up_list([No_answer=>"?",A=>"A",B=>"B",C=>"C",D=>"D",E=>"E", F=>"F",G=>"G",H=>"H",I=>"I",J=>"J",K=>"K",L=>"L", ]); $ml->choose(6); # to add extra answers that show up in the # matching list, we would uncomment # (remove the leading "# " from) the two # lines below: $ml->extra("\($LBRACE 1 $RBRACE \)","\($LBRACE (8,2),(8,3),(9,2), (9,3), (10,2),(10,3),(11,2),(11,3) $RBRACE \)", "\($LBRACE 2,3,4 $RBRACE \)","\($LBRACE 1,2,3,4,5 ... $RBRACE \)", "\($LBRACE 6,7,8,9, 10,11,12,13,14, 15,16,17,18 $RBRACE \)","\($LBRACE 1,2,3,4,5,6,7,8,9,10 $RBRACE \)",); $ml->choose_extra(6); #$ml->makeLast("None of the above"); ################################### # Main text BEGIN_TEXT Let \( A_i = $LBRACE x \in \mathbb{N} \mid i < x < 2i $RBRACE \) be defined for all \( i \in \mathbb{N}\).$BR Let \( I= $LBRACE 1,2,3,4,5 $RBRACE \). Let \( J= $LBRACE 6,7,8 $RBRACE \). $BR $BR For each indexed set, choose the appropriate equivalent set from below. Each set from below may be used no more than once. $BR \{ $ml->print_q() \} $BR \{ $ml->print_a() \} END_TEXT ################################### # Answers # no credit until all answers are correct $showPartialCorrectAnswers = 0; ANS( str_cmp( $ml->ra_correct_ans ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Indexed1.pg0000644000006000510710000000323412475107114017260 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following is the set \(A_5\)?", "None of the above answers." ); # call the extra function to set the other options for the choices $mc->extra( "\($LBRACE 5,6,7,8,9 $RBRACE \)", "\($LBRACE 5,6,7,8,9,10 $RBRACE \)", "\($LBRACE 5,6,7,8 $RBRACE \)", "\($LBRACE 7 $RBRACE \)", ); # add an option to be the last in the list $mc->makeLast("None of the above answers."); ################################### # Main text BEGIN_TEXT Let \( A_i = $LBRACE x \in \mathbb{N} \mid i < x < 2i $RBRACE \) be defined for all \( i \in \mathbb{N}\).$BR Let \( I= $LBRACE 1,2,3,4,5 $RBRACE \). $BR $BR \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Operations2.pg0000644000006000510710000000414712372463245020036 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", "parserMultiAnswer.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(N=>{},Z=>{},Q=>{},R=>{},C=>{},A=>{},B=>{},Empty=>{},U=>{}); $strAns = String('N'); $s= Set(5,8); $s1= Set(6,7,9); TEXT(beginproblem()); BEGIN_TEXT Consider the following sets: $BR $BR Let \(A = $LBRACE 5,6,7,8,9 $RBRACE\). $BR Let \(B = $LBRACE x \in \mathbb{N}\) such that \( 3 \mid (x+1) $RBRACE\). $BR Let the universal set \(U\) be \(\mathbb{Z}\). $BR $BR $BR Write out each of the following sets. Use the following letters to represent sets: For \(A\) type "A", \(B\) type "B", \(\mathbb{N}\) type "N", \(\mathbb{Z}\) type "Z", \(\mathbb{Q}\) type "Q", \(\mathbb{R}\) type "R", and for \(\emptyset\) type "Empty". If the set is not represented by one of the letters, type out the finite set within braces, such as \(\lbrace 1,2,3\rbrace \). $BR $BR (a) \( A \cup \mathbb{N}=\)\{ ans_rule(50) \} $BR $BR (b) \( B \cup \mathbb{N}=\)\{ ans_rule(50) \} $BR $BR (c) \( A \cap B=\) \{ ans_rule(50) \} $BR $BR (d) \( A \cap \mathbb{N}=\)\{ ans_rule(50) \} $BR $BR (e) \( B \cap \mathbb{N}=\)\{ ans_rule(50) \} $BR $BR (f) \( A - B=\) \{ ans_rule(50) \} $BR $BR (g) \( B - U=\) \{ ans_rule(50) \} $BR $BR (h) \(\emptyset^c=\) \{ ans_rule(50) \} $BR END_TEXT ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( List($s)->cmp(showTypeWarnings => 0)); ANS( String(A)->cmp() ); ANS( String(B)->cmp() ); ANS( List($s1)->cmp(showTypeWarnings => 0)); ANS( String(Empty)->cmp() ); ANS( String(Z)->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Sets/IntroPower.pg0000644000006000510710000000370213422375164017734 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following statements that are $BBOLD true $EBOLD. ", "\($LB 3,3,3,3, $LB 3 $RB , $LB 3 $RB $RB=$LB 3, $LB 3$RB $RB\).", "\($LB $LB 3 $RB $RB \) is a subset of \($LB $LB 3 $RB $RB\).", "\($LB 3 $RB \) is an element of \($LB $LB 3 $RB $RB\).", ); # call the extra function to set the other options for the choices $mc->extra( "\($LB 3, $LB 3 $RB $RB = $LB 3 $RB\).", "\($LB 3, $LB 3 $RB $RB = $LB $LB 3 $RB $RB\).", "\($LB 3 $RB = $LB $LB 3 $RB $RB\).", "\($LB $LB 3 $RB $RB \) is an element of \($LB $LB 3 $RB $RB\).", "\(3\) is an element of \($LB $LB 3 $RB $RB\).", "\($LB 3 $RB \) is a subset of \($LB $LB 3 $RB $RB\).", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT Let \(A= $LBRACE 2,3,$LBRACE 2 $RBRACE, \mathbb{Z} $RBRACE\) and \(B= $LBRACE \emptyset, $LBRACE \mathbb{Z} $RBRACE , 4 $RBRACE\) $BR $BR $BBOLD THIS QUESTION WILL BE TURNED IN AT THE BEGINNING OF CLASS. $EBOLD $BR Write out each of the following sets in $BITALIC list form. $EITALIC $BR $BR (a) \( \mathcal{P}(A)\) $BR $BR (b) \( \mathcal{P}(B)\) END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ENDDOCUMENT();Problems/ProofSpace/Sets/SetMatching.pg0000644000006000510710000000436512665624351020043 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PG.pl", "PGbasicmacros.pl", "PGchoicemacros.pl", "PGanswermacros.pl", "unionTables.pl", ); ################################### # Setup $ml = new_match_list(); $ml->qa( "\( $LBRACE x \in \mathbb{R} \mid x^2-2=0 $RBRACE\)", "\($LBRACE \sqrt{2},-\sqrt{2} $RBRACE \)", "\( $LBRACE x \in \mathbb{Q} \mid x^2-2=0 $RBRACE\)", "\( \emptyset \)", "\( $LBRACE x \in \mathbb{R} \mid x(x+1)(x+2)=0 $RBRACE\)", "\( $LBRACE 0,-1,-2 $RBRACE \)", "\( $LBRACE x \in \mathbb{N} \mid (\exists y \in \mathbb{N})(x+y>4) $RBRACE\)", "\( \mathbb{N} \)", "\( $LBRACE x \in \mathbb{N} \mid (\forall y \in \mathbb{N})(x+y>4) $RBRACE\)", "\($LBRACE 4,5,6 ... $RBRACE \)" ); # use pop-up-lists $ml->rf_print_q(~~&pop_up_list_print_q); # you may need to add more letters D=>"D", etc. $ml->ra_pop_up_list([No_answer=>"?",A=>"A",B=>"B",C=>"C",D=>"D",E=>"E", F=>"F",G=>"G"]); $ml->choose(5); # to add extra answers that show up in the # matching list, we would uncomment # (remove the leading "# " from) the two # lines below: $ml->extra("\(\mathbb{R}\)", "\( $LBRACE ... -5 ,-4,4,5,6 ... $RBRACE \)"); $ml->choose_extra(2); #$ml->makeLast("None of the above"); ################################### # Main text BEGIN_TEXT This item is a bit challenging; we recommend scrap paper. For each set listed in 1-5, determine which set A-G is equal to it. Each answer may be used no more than once. $BR \{ $ml->print_q() \} $BR \{ $ml->print_a() \} END_TEXT ################################### # Answers # no credit until all answers are correct $showPartialCorrectAnswers = 0; ANS( str_cmp( $ml->ra_correct_ans ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/IntroHeap1.pg0000644000006000510710000000354012611720340017563 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following statements that are $BBOLD true $EBOLD. ", "\($LB 3,3,3,3, $LB 3 $RB , $LB 3 $RB $RB=$LB 3, $LB 3$RB $RB\).", "\($LB $LB 3 $RB $RB \) is a subset of \($LB $LB 3 $RB $RB\).", "\($LB 3 $RB \) is an element of \($LB $LB 3 $RB $RB\).", ); # call the extra function to set the other options for the choices $mc->extra( "\($LB 3, $LB 3 $RB $RB = $LB 3 $RB\).", "\($LB 3, $LB 3 $RB $RB = $LB $LB 3 $RB $RB\).", "\($LB 3 $RB = $LB $LB 3 $RB $RB\).", "\($LB $LB 3 $RB $RB \) is an element of \($LB $LB 3 $RB $RB\).", "\(3\) is an element of \($LB $LB 3 $RB $RB\).", "\($LB 3 $RB \) is a subset of \($LB $LB 3 $RB $RB\).", ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT The point of this problem is to help us better understand sets and to help us understand the difference between an element of a set and a subset of a set. $BR $BR \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Operations1.pg0000644000006000510710000000304312477560344020033 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(N=>{},Z=>{},Q=>{},R=>{},C=>{},A=>{},B=>{},Empty=>{}); $strAns = String('N'); TEXT(beginproblem()); BEGIN_TEXT Consider the following sets: $BR $BR Let \(A = $LBRACE 5,6,7,8,9 $RBRACE\). $BR Let \(B = $LBRACE x \in \mathbb{N}\) such that \( 3 \mid (x+1) $RBRACE\). $BR Let the universal set \(U\) be \(\mathbb{Z}\). $BR $BR $BR $BBOLD THIS QUESTION WILL BE TURNED IN AT THE BEGINNING OF CLASS. $EBOLD $BR List the elements in each of the following sets. For infinite sets, list enough elements to make it clear that you understand what the set is. $BR $BR (a) \( B =\) $BR $BR (b) \( A \cup B=\) $BR $BR (c) \( \mathbb{N}-A=\) $BR $BR (d) \( B - A=\) $BR $BR (e) \( A^c=\) $BR $BR (f) \( B^c\) $BR $BR (g) \( \mathbb{N}^c=\) $BR $BR (h) \( (A \cup B)\cap \mathbb{N}=\) $BR $BR (i) \((A \cup B)^c=\) $BR $BR (j) \( A \times A=\) END_TEXT ENDDOCUMENT();Problems/ProofSpace/Sets/IntroHeap.pg0000644000006000510710000000322112460233444017504 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Logic') ## BookSection('Statements') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the following definition: $BR $BR $BBOLD Definition:$EBOLD A natural number \(n\) is $BBOLD casual $EBOLD if it is greater than \(1\) and its positive integer factors are exactly \(1 , 2, \frac{n}{2}\) and \(n\). $BR $BR Using the information given in the definition, check all of the following statements that are $BBOLD true $EBOLD. ", "\(14\) is casual.", "\(-13\) is casual or \(8\) is casual.", ); # call the extra function to set the other options for the choices $mc->extra( "\(5\) is casual.", "\(1\) is casual.", "\(12\) is casual.", "\(-13\) is casual and \(8\) is casual.", , ); # add an option to be the last in the list $mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Indexed2.pg0000644000006000510710000000327212475107300017260 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup 2 # create new multiple choice object $mc2 = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc2->qa( "Which of the following is the set \(A_5 \cup A_4\)?", "\($LBRACE 5,6,7,8,9 $RBRACE \)" ); # call the extra function to set the other options for the choices $mc2->extra( "\($LBRACE 6,7,8 $RBRACE \)", "\($LBRACE 6,7 $RBRACE \)", "\($LBRACE 4,5,6,7,8,9,10 $RBRACE \)", ); # add an option to be the last in the list $mc2->makeLast("None of the above answers."); ################################### ################################### # Main text BEGIN_TEXT Let \( A_i = $LBRACE x \in \mathbb{N} \mid i < x < 2i $RBRACE \) be defined for all \( i \in \mathbb{N}\).$BR Let \( I= $LBRACE 1,2,3,4,5 $RBRACE \). $BR $BR \{ $mc2->print_q() \} $BR \{ $mc2->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc2->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/SetMatchingIdentities.pg0000644000006000510710000000434612667342212022057 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PG.pl", "PGbasicmacros.pl", "PGchoicemacros.pl", "PGanswermacros.pl", "unionTables.pl", ); ################################### # Setup $ml = new_match_list(); $ml->qa( "\( (A \cup B) \cap (A \cup B) = A \cup B \)." , "Idempotent Laws", "\( (A \cup B) \cap (C \cup A) = (C \cup A) \cap (A \cup B).\)", "Commutative Laws", "\( (A \cup B) ^{c^{c^c}}= (A \cup B)^c.\)", " Basic Complement Properties ", "\( (A \cup B)^c=A^c \cap B^c.\)", " DeMorgan's Laws ", "\( U^c = \emptyset.\)", "Universal Set Complements" ); # use pop-up-lists $ml->rf_print_q(~~&pop_up_list_print_q); # you may need to add more letters D=>"D", etc. $ml->ra_pop_up_list([No_answer=>"?",A=>"A",B=>"B",C=>"C",D=>"D",E=>"E", F=>"F",G=>"G",H=>"H",I=>"I",J=>"J",K=>"K"]); $ml->choose(5); # to add extra answers that show up in the # matching list, we would uncomment # (remove the leading "# " from) the two # lines below: $ml->extra("Associative Laws", "Empty Set Complement","Distributive Laws", "Empty Set Properties", "Subsets Properties","Universal Set Properties"); $ml->choose_extra(6); #$ml->makeLast("None of the above"); ################################### # Main text BEGIN_TEXT Let \(A\), \(B\), and \(C\) be arbitrary sets in the universal set \(U\). For each equivalence, choose the appropriate identity used from below. Each identity may be used no more than once. $BR \{ $ml->print_q() \} $BR \{ $ml->print_a() \} END_TEXT ################################### # Answers # no credit until all answers are correct $showPartialCorrectAnswers = 0; ANS( str_cmp( $ml->ra_correct_ans ) ); ENDDOCUMENT();Problems/ProofSpace/Sets/Indexed3.pg0000644000006000510710000000374212420740320017256 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(N=>{},Z=>{},Q=>{},R=>{},C=>{},A=>{},B=>{},Empty=>{}); $strAns = String('N'); $s= Set(3,4,5,6,7,8,9); $s1= Set(7,8,9,10,11,12,13,14,15); $s2= Set(9,10,11); TEXT(beginproblem()); BEGIN_TEXT Let \( A_i = $LBRACE x \in \mathbb{N} \mid i < x < 2i $RBRACE \) be defined for all \( i \in \mathbb{N}\).$BR Let \( I= $LBRACE 1,2,3,4,5 $RBRACE \).$BR Let \( J= $LBRACE 6,7,8 $RBRACE \). $BR $BR $BR Write out each of the following indexed sets. For \(\mathbb{N}\) type "N", \(\mathbb{Z}\) type "Z", \(\mathbb{Q}\) type "Q", \(\mathbb{R}\) type "R", and for \(\emptyset\) type "Empty". $BR $BR (a) \( \bigcup\limits_{i \in I}A_ i \) \{ ans_rule(50) \} $BR $BR (b) \( \bigcap\limits_{i \in I}A_ i\) \{ ans_rule(50) \} $BR $BR (c) \( \bigcup\limits_{i \in J}A_ i\) \{ ans_rule(50) \} $BR $BR (d) \( \bigcap\limits_{i \in J}A_ i\) \{ ans_rule(50) \} $BR $BR (e) \( \bigcap\limits_{i \in \mathbb{N}}A_ i\) \{ ans_rule(50) \} $BR $BR (f) \( (\bigcap\limits_{i \in J}A_ i) \times A_1\) \{ ans_rule(50) \} $BR END_TEXT ANS( List($s)->cmp(showTypeWarnings => 0)); ANS( String(Empty)->cmp(showTypeWarnings => 0) ); ANS( List($s1)->cmp(showTypeWarnings => 0)); ANS( List($s2)->cmp(showTypeWarnings => 0)); ANS( String(Empty)->cmp(showTypeWarnings => 0) ); ANS( String(Empty)->cmp(showTypeWarnings => 0) ); ENDDOCUMENT();Problems/ProofSpace/Induction/0002755000006000510710000000000013235657071016314 5ustar apachewwadminProblems/ProofSpace/Induction/Quesiton3.pg0000644000006000510710000000542313437252656020544 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the following proof by induction. $BR $BR $BFRAMED $BBOLD Theorem: $EBOLD For all natural numbers, \(1+2+...+n=\frac{(n)(n+1)}{2}\). $BR $BR $BBOLD Proof: $EBOLD We will prove the proposition by induction on \(n\). Let \(P(n)\) be the statement $BR $SPACE $SPACE $SPACE $SPACE $SPACE \(1+2+...+n=\frac{(n)(n+1)}{2}.\)$BR$BR Observe that $BR $SPACE $SPACE $SPACE $SPACE $SPACE \(1=\frac{2}{2}=\frac{(1)(2)}{2}=\frac{1(1+1)}{2},\) $BR $BR so clearly \(P(1)\) holds. Now, assume that \(P(r)\) holds for some \(r\). That is, assume that $BR $BR $SPACE $SPACE $SPACE $SPACE $SPACE \(1+2+...+r=\frac{(r)(r+1)}{2}.\)$BR $BR Then, \(P(r+1)\) is $BR $SPACE $SPACE $SPACE $SPACE $SPACE \(1+2+...+r+(r+1)=\frac{(r+1)(r+2)}{2}.\)$BR$BR So by the induction hypothesis, $BR $BR $SPACE $SPACE $SPACE $SPACE $SPACE\(\begin{aligned} \frac{(r)(r+1)}{2}+(r+1) &= \frac{(r+1)(r+2)}{2}\\ \frac{(r)(r+1)}{2}+\frac{2(r+1)}{2} &= \frac{(r+1)(r+2)}{2}\\ \frac{(r+1)(r+2)}{2} &= \frac{(r+1)(r+2)}{2} \end{aligned}\)$BR $BR which is true, so therefore \(P(r+1)\) is true. Now, (use the concluding sentence you selected in question 1). \( \blacksquare \) $EFRAMED", "Assumed \(P(r+1)\) is true and worked backwards to show it was true. " ); # call the extra function to set the other options for the choices $mc->extra( "Did not label the assumption as the induction hypothesis.", "Used \(r\) instead of \(k\).", "The proof had no significant errors.", "Assumed \(P(1)\) is true, instead of proving it.", ); # add an option to be the last in the list $mc->makeLast("The proof had no significant errors."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $PAR Which of the following best explains the most significant error of this proof? $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Induction/Quesiton2.pg0000644000006000510710000000260312473373332020532 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Rank the steps below in the order you would do them in a proof by induction, where "1" is the first step and "5" is the last step. $BR $BR (a) We will show \(P(1)\) is true (the base case). \{ ans_rule(6) \} $BR (b) We will use the inductive hypothesis to show \(P(k+1)\) is true. \{ ans_rule(6) \} $BR (c) We will state that we are using a proof by induction. \{ ans_rule(6) \} $BR (d) We will assume \(P(k)\) is true. \{ ans_rule(6) \} $BR (e) We will conclude the proof. \{ ans_rule(6) \} $BR END_TEXT ANS( num_cmp(2) ); ANS( num_cmp(4) ); ANS( num_cmp(1) ); ANS( num_cmp(3) ); ANS( num_cmp(5) ); ENDDOCUMENT();Problems/ProofSpace/Induction/Quesiton1.pg0000644000006000510710000000347112663056204020532 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following is the $BBOLD most appropriate $EBOLD way to end a proof by induction? ", "Since \(P(k)\) implies \(P(k+1)\), and \(P(1)\) holds, the proposition is true by induction. " ); # call the extra function to set the other options for the choices $mc->extra( "Since \(P(k)\) implies \(P(k+1)\), the proposition is true by induction.", "Since the induction hypothesis is true, the proposition is true by induction. ", "Since \(P(k+1)\) is true and \(P(1)\) is true, the proposition is true by induction.", "Since \(P(1), P(k)\) and \(P(k+1)\) all are true, the proposition is true by induction.", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/0002755000006000510710000000000013235657030016323 5ustar apachewwadminProblems/ProofSpace/Functions/image_def.pg0000644000006000510710000000346012455313543020555 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Let \(f : X \to Y \) be a function, and let \(A\) be a subset of \(X\). Consider the following statement: $BR $BR $BCENTER If \(s \in f[A]\), then _______________________________ $ECENTER $BR $BR Which of the following options can we put in the conclusion? Choose all correct answers.", "There is some \( t \in A \) such that \( f(t)=s \).", "\(s \in Y\)" ); # call the extra function to set the other options for the choices $mc->extra( "\( f^{-1}[\{s\}] \subseteq A \)", "\( f^{-1}(s) \in A \)", "There is some \( s \in A \) such that \( f(s)=t \).", "If \( f(t)=s \), then \( t \in A\).", ); # add an option to be the last in the list $mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/preimage_def.pg0000644000006000510710000000345612455316003021263 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Let \(f : X \to Y \) be a function, and let \(B\) be a subset of \(Y\). Consider the following statement: $BR $BR $BCENTER If \(s \in f^{-1}[B]\), then _______________________________ $ECENTER $BR $BR Which of the following options can we put in the conclusion? Choose all correct answers.", "\( f(s) \in B \)", "If \( f(s)=t \), then \( t \in B\).", "\(s \in X\)" ); # call the extra function to set the other options for the choices $mc->extra( "\( s \in B \)", "\( s \in Y \)", "There is some \( s \in B \) such that \( f(t)=s \).", "There is some \( t \in X \) such that \( f(t)=s \)." ); # add an option to be the last in the list $mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/Card3.pg0000644000006000510710000000455712365327314017622 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Choose all of the equivalence classes that are the same as \([0]\). ", "\([4]\)", "\([20]\)", "\([-8]\)", ); # call the extra function to set the other options for the choices $mc->extra( "\([1]\)", "\([2]\)", "\([-2]\)", "\([3]\)", "\([53]\)", "\([-17]\)", ); # add an option to be the last in the list $mc->makeLast("none of the above"); #Second MC # Setup # create new multiple choice object $mc2 = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc2->qa( "Choose all of the equivalence classes that are the same as \([1]\). ", "\([3]\)", "\([5]\)", "\([17]\)", "\([-6]\)", ); # call the extra function to set the other options for the choices $mc2->extra( "\([\pi]\)", "\([4]\)", "\([-16]\)", "\([\frac{1}{2}]\)", ); # add an option to be the last in the list $mc2->makeLast("none of the above"); #Third MC # Setup # create new multiple choice object $mc3 = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc3->qa( "Choose all of the equivalence classes that are the same as \([2]\). ", "\([1]\)", "\([9]\)", "\([-2]\)", ); # call the extra function to set the other options for the choices $mc3->extra( "\([e]\)", "\([4]\)", "\([16]\)", "\([\frac{4}{5}]\)", ); # add an option to be the last in the list $mc3->makeLast("none of the above"); # random number TEXT(beginproblem()); BEGIN_TEXT Let \( B= $LBRACE x \in \mathbb{Z} \mid x^2 <1 $RBRACE \). The \( | B | =\) \{ ans_rule(6) \} $BR END_TEXT ANS( num_cmp(1) ); ENDDOCUMENT();Problems/ProofSpace/Functions/Fill_in_Blank2.pg0000644000006000510710000000436512455303704021425 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", "parserPopUp.pl", ); # make sure we're in the context we want # Context("Numeric"); # random number Context()->strings->add(Empty=>{},Z=>{},N=>{},R=>{}); $n= Real(16); Context("Interval"); Context()->strings->add(Empty=>{},Z=>{},N=>{},R=>{}); $n= Real(16); $n1= Set("{16}"); $s= Set("{4,16}"); $s1= Set("{-1,1}"); # the arguments of PopUp are [list of answers], # correct answer $popup = PopUp(["?", "N", "Z", "R","{1,4,9,16,25,...}","{0,1,4,9,16,...}","{-16,-9,-4,-1,0,1,4,9,16,...}","{..., -16, -9 ,-4 ,-1}"], "{0,1,4,9,16,...}"); TEXT(beginproblem()); BEGIN_TEXT Let \(f : \mathbb{Z} \rightarrow \mathbb{Z}\) be given by \(f(x)=x^2\). $BR $BR If the answer is \(\mathbb{N}\) type "N", \(\mathbb{Z}\) type "Z", \(\mathbb{R}\) type "R", and \(\emptyset\) type "Empty". $BR $BR (a) What is the domain of the function? \{ ans_rule(10) \} $BR $BR (b) What is the codomain of the function? \{ans_rule(10) \} $BR $BR (c) What is the range of the function? \{ $popup->menu() \} $BR $BR (d) What is \(f(4)\)?\{ ans_rule(10) \} $BR $BR (e) What is \(f[$LBRACE 4 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (f) What is \(f[$LBRACE -2,4 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (g) What is \(f^{-1}[$LBRACE 1 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (h) What is \(f^{-1}[$LBRACE 1, -1 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (i) What is \(f^{-1}[$LBRACE 2,3 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR END_TEXT ANS( String(Z)->cmp() ); ANS( String(Z)->cmp() ); ANS( $popup->cmp() ); ANS( $n->cmp()); ANS( $n1->cmp); ANS( List($s)->cmp(showTypeWarnings => 0)); ANS( List($s1)->cmp(showTypeWarnings => 0) ); ANS( List($s1)->cmp(showTypeWarnings => 0) ); ANS( String(Empty)->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Functions/Card2.pg0000644000006000510710000000327712372460111017606 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which one of the following is the $BBOLD best $EBOLD statement of Cantor's Theorem?", "For any set \(A\), \(f : A \rightarrow \mathcal{P}(A)\\) is never a surjection." ); # call the extra function to set the other options for the choices $mc->extra( "For any set \(A\), \(f : A \rightarrow \mathcal{P}(A)\\) is never an injection.", "For any set \(A\), \(f : A \rightarrow A \times A \) is an injection.", "For any set \(A\), \(f : A \rightarrow \mathcal{P}(A)\\) is uncountable." ); # add an option to be the last in the list $mc->makeLast("None of the above options. "); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/Fill_in_Blank.pg0000644000006000510710000000424413447234552021345 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", "parserPopUp.pl", ); # make sure we're in the context we want Context("Interval"); # random number Context()->strings->add(Empty=>{},Z=>{},N=>{},R=>{}); $n= Real(15); $n1= Set("{15}"); $s= Set("{8,15}"); $s1= Set("{1,2}"); $s2= Set("{2}"); # the arguments of PopUp are [list of answers], # correct answer $popup = PopUp(["?", "N", "Z", "R","{0,3,8,15,24...}","{-1,0,1,4,9,16...}","{-1,0,3,8,15...}","{-17,-10,-5,-2,-1,0,3,8,15...}","{... -17, -10 ,-5 ,-2, -1}"], "{0,3,8,15,24...}"); TEXT(beginproblem()); BEGIN_TEXT Let \(f : \mathbb{N} \rightarrow \mathbb{Z}\) be given by \(f(x)=x^2-1\). $BR $BR If the answer is \(\mathbb{N}\) type "N", \(\mathbb{Z}\) type "Z", \(\mathbb{R}\) type "R", and \(\emptyset\) type "Empty". $BR $BR (a) What is the domain of the function? \{ ans_rule(10) \} $BR $BR (b) What is the codomain of the function? \{ans_rule(10) \} $BR $BR (c) What is the range of the function? \{ $popup->menu() \} $BR $BR (d) What is \(f(4)\)?\{ ans_rule(10) \} $BR $BR (e) What is \(f[$LBRACE 4 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (e) What is \(f[$LBRACE 3,4 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (f) What is \(f^{-1}[$LBRACE 1 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (g) What is \(f^{-1}[$LBRACE 0, 3 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR (h) What is \(f^{-1}[$LBRACE 2,3 $RBRACE]\)? \{ ans_rule(10) \} $BR $BR END_TEXT ANS( String(N)->cmp() ); ANS( String(Z)->cmp() ); ANS( $popup->cmp() ); ANS( $n->cmp()); ANS( $n1->cmp()); ANS( List($s)->cmp(showTypeWarnings => 0)); ANS( String(Empty)->cmp() ); ANS( List($s1)->cmp(showTypeWarnings => 0)); ANS( $s2->cmp()); ENDDOCUMENT();Problems/ProofSpace/Functions/BijectionMatching.pg0000644000006000510710000000450612621134263022233 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PG.pl", "PGbasicmacros.pl", "PGchoicemacros.pl", "PGanswermacros.pl", "unionTables.pl", ); ################################### # Setup $ml = new_match_list(); $ml->qa( "Injection", " \( (\forall x_1,x_2 \in D)(x_1 \neq x_2 \Rightarrow f(x_1) \neq f(x_2))\). $BR", "Surjection", "\( \forall y \in G, \exists x \in D\) such that \(y=f(x)\).$BR", "Bijection", "\(f\) is both injective and surjective.$BR", ); # use pop-up-lists $ml->rf_print_q(~~&pop_up_list_print_q); # you may need to add more letters D=>"D", etc. $ml->ra_pop_up_list([No_answer=>"?",A=>"A",B=>"B",C=>"C",D=>"D",E=>"E", F=>"F",G=>"G",H=>"H",I=>"I"]); $ml->choose(3); # to add extra answers that show up in the # matching list, we would uncomment # (remove the leading "# " from) the two # lines below: $ml->extra("\( \forall x \in D, \exists y \in G\) such that \(y=f(x)\)$BR","\(\forall y_1,y_2 \in G, \exists x_1,x_2 \in D\) such that \(f(x_1) \neq f(x_2)\). $BR","\(f\) is both injective or surjective but not both.$BR","\(f\) is neither injective nor surjective.$BR","\( (\forall y \in G)(f(x)=y \Rightarrow x=f^{-1}[\{y\}])\).$BR","\( (\forall y_1,y_2 \in G)(y_1 \in G \Rightarrow f(y_2)\neq y_1)\).$BR") ; $ml->choose_extra(6); #$ml->makeLast("None of the above"); ################################### # Main text BEGIN_TEXT For each word choose the appropriate definition from below. Each answer may be used no more than once. For all definitions, assume \(f: D \to G\). $BR \{ $ml->print_q() \} $BR \{ $ml->print_a() \} END_TEXT ################################### # Answers # no credit until all answers are correct $showPartialCorrectAnswers = 0; ANS( str_cmp( $ml->ra_correct_ans ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/Card3a.pg0000644000006000510710000000245612372472267017765 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Functions') ## BookSection('Cardinality') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following sets that are uncountable?", "\(\mathcal{P}(\mathbb{N})\)", ); # call the extra function to set the other options for the choices $mc->extra( "\(\emptyset\)", "\(\mathbb{N}\)", "\( $LBRACE 1,2,3 $RBRACE \)" ); # add an option to be the last in the list #$mc->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} $BR END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/Introduction.pg0000644000006000510710000000334412364007360021333 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the natural language relation on the set of math classes at 麻豆传媒团队 this semester given by, $BR $BR \((x,y) \in R\) if and only \(x\) and \(y\) are taught by the same professor. $BR $BR This is an equivalence relation. Which best represents its equivalence classes?", "The set of all professors" ); # call the extra function to set the other options for the choices $mc->extra( "The set of all math classes at 麻豆传媒团队 this semester", "The set of all classes taught by Dr. Jones", "The set of all calculus classes", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/question1.pg0000644000006000510710000000153412364264354020611 0ustar apachewwadmin# DESCRIPTION # A simple problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); TEXT(beginproblem()); BEGIN_TEXT Enter $a +1 \{ ans_rule(3) \} END_TEXT ANS( $line->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Functions/Comp_Inv2.pg0000644000006000510710000000446713455650055020464 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the following proof. $BR $BR $BFRAMED $BBOLD Theorem: $EBOLD Let \(A\), \(B\), and \(C\) be sets, and let \(f: A \to B\) and \(g: B \to C\) be surjections. Then, \(g \circ f\) is a surjection. $BR $BR $BBOLD Proof: $EBOLD Let \(A\), \(B\), and \(C\) be sets, and let \(f\) and \(g\) be as stated. Let \(y \in C\). Then, since \(g\) is surjective, there is an \(z \in B\) such that \(g(z)=y\). Since \(z \in B\) and \(f\) is surjective, there exists an \(x \in A\) such that \(f(x)=z\). Thus, since \(g(z)=y\), by substitution, \(g(f(x))=y\). Observe, therefore, that for any \(y \in C\) there exists an \(x \in A\) such that \(g(f(x))=y\). Therefore, \(g \circ f\) is surjective, as desired. \( \blacksquare \) $EFRAMED $BR $BR $BR Which of the following $BBOLD best $EBOLD explains the $BBOLD most significant error $EBOLD of this proof?", "This proof had no significant errors. " ); # call the extra function to set the other options for the choices $mc->extra( "Used the wrong domain.", "Used an unproven fact.", "Failed to take into account \(f \circ g\).", "Used the wrong codomain.", ); # add an option to be the last in the list # $mc->makeLast("This proof had no significant errors."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/Comp_Inv1.pg0000644000006000510710000000574312372465060020456 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(A=>{},B=>{},C=>{},N=>{}); $strAns = String('A'); TEXT(beginproblem()); BEGIN_TEXT Consider the following bijective functions: $BR $BR \(f: A \rightarrow B\) $BR \(g: B \rightarrow C\) $BR \(h: C \rightarrow A\) $BR $BR $BR For each of the following, decide if the entry given is a function. If it is, fill in its domain and codomain. If it is not a function, fill in ''N'' for both the domain and codomain. $BR $BR (a) \(f^{-1}\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (b) \(g^{-1}\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (c) \(h^{-1}\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (d) \(f(h(x))\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (e) \(g \circ f\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (f) \(h \circ f\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (g) \(f \circ f\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (h) \(h(g(x))\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (i) \(g \circ h\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (j) \(g \circ g\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (k) \(g \circ g^{-1}\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (l) \(g \circ f^{-1}\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (m) \(g^{-1} \circ f^{-1}\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} $BR $BR (n) \(h^{-1} \circ f\) $PAR Domain:\{ ans_rule(6) \} Codomain:\{ ans_rule(6) \} END_TEXT ANS( String(B)->cmp() ); ANS( String(A)->cmp() ); ANS( String(C)->cmp() ); ANS( String(B)->cmp() ); ANS( String(A)->cmp() ); ANS( String(C)->cmp() ); ANS( String(C)->cmp() ); ANS( String(B)->cmp() ); ANS( String(A)->cmp() ); ANS( String(C)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(B)->cmp() ); ANS( String(A)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(C)->cmp() ); ANS( String(C)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ANS( String(N)->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Functions/Card1.pg0000644000006000510710000000453512372471645017621 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Functions') ## BookSection('Cardinality') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following sets that are finite.", "\( $LBRACE 1,2,3 $RBRACE \)" ); # call the extra function to set the other options for the choices $mc->extra( "\( A = $LBRACE x \in \mathbb{Q} \mid x^2 > 1 $RBRACE\)", "\( \mathbb{N}\)", "\( \mathcal{P}(\mathbb{N})\)", ); # add an option to be the last in the list #mc->makeLast("None of the above options."); ################################### # Setup # create new multiple choice object $mc2 = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc2->qa( "Which one of the following sets is countably infinite?", "\(\mathbb{N}\)", ); # call the extra function to set the other options for the choices $mc2->extra( "\(\emptyset\)", "\(\mathcal{P}(\mathbb{N})\)", "\( $LBRACE 1,2,3 $RBRACE \)" ); # add an option to be the last in the list #$mc2->makeLast("None of the above options."); ################################### # Setup # create new multiple choice object $mc3 = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc3->qa( "Which one of the following sets is countably infinite?", "\(\mathcal{P}(\mathbb{N})\)", ); # call the extra function to set the other options for the choices $mc3->extra( "\(\emptyset\)", "\(\mathbb{N}\)", "\( $LBRACE 1,2,3 $RBRACE \)" ); # add an option to be the last in the list #$mc3->makeLast("None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/bijection2.pg0000644000006000510710000000553212426465256020716 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "\(f(x)=x\)", "Injective", "Surjective", "Bijective", ); # call the extra function to set the other options for the choices $mc->extra( "None", ); # add an option to be the last in the list $mc->makeLast("None"); # Setup # create new multiple choice object $mc2 = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc2->qa( "\(g(x)=x^2\)", "None" ); # call the extra function to set the other options for the choices $mc2->extra( "Injective", "Surjective", "Bijective", ); # add an option to be the last in the list $mc2->makeLast("None"); # Setup # create new multiple choice object $mc3 = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc3->qa( "\(h(x)=e^x\)", "Injective", ); # call the extra function to set the other options for the choices $mc3->extra( "None", "Surjective", "Bijective", ); # add an option to be the last in the list $mc->makeLast("None"); # Setup # create new multiple choice object $mc4 = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc4->qa( "\(i(x)=\pi\)", "None", ); # call the extra function to set the other options for the choices $mc4->extra( "Injective", "Surjective", "Bijective", ); # add an option to be the last in the list $mc4->makeLast("None"); # random number TEXT(beginproblem()); BEGIN_TEXT For each function from \( \mathbb{R}\) to \( \mathbb{R}\) below, decide if the function is injective, surjective, bijective, and/or none. $BBOLD Choose all that apply. $EBOLD $BR $BR $BR (a)$SPACE\{ $mc->print_q() \} $BR \{ $mc->print_a() \} $BR $BR (b)$SPACE\{ $mc2->print_q() \} $BR \{ $mc2->print_a() \} $BR $BR (c)$SPACE \{ $mc3->print_q() \} $BR \{ $mc3->print_a() \} $BR $BR (d)$SPACE\{ $mc4->print_q() \} $BR \{ $mc4->print_a() \} END_TEXT ANS( checkbox_cmp( $mc->correct_ans() ) ); ANS( checkbox_cmp( $mc2->correct_ans() ) ); ANS( checkbox_cmp( $mc3->correct_ans() ) ); ANS( checkbox_cmp( $mc4->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/Multi_Part_Problem.pg0000644000006000510710000000326712364003724022416 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # INITIALIZATION FOR PART 1 # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); # INITIALIZATION FOR PART 2 # set up for a multiple choice problem. # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question to answer", "Correct Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Choice 1", "Choice 2", "Choice 3", ); # add an option to be the last in the list $mc->makeLast("none of the above"); # INITIALIZATION FOR PART 3 Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); Context()->texStrings; BEGIN_TEXT ${BBOLD}Part 1$EBOLD $BR Enter \($a+1\) \{ ans_rule(3) \} $PAR ${BBOLD}Part 2$EBOLD $BR \{ $mc->print_q() \} \{ $mc->print_a() \} $PAR ${BBOLD}Part 3$EBOLD $BR (Enter True or False: )\{ ans_rule(6) \} END_TEXT Context()->normalStrings; ANS( $line->cmp() ); ANS( radio_cmp( $mc->correct_ans() ) ); ANS( $strAns->cmp() ); Context()->normalStrings; ENDDOCUMENT();Problems/ProofSpace/Functions/Card2a.pg0000644000006000510710000000247012372472136017753 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('MATH 239: Introduction to Mathematical Proof') ## BookTitle('ProofSpace') ## BookChapter('Functions') ## BookSection('Cardinality') ## Date('08/01/2014') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Check all of the following sets that are countably infinite.", "\(\mathbb{N}\)", ); # call the extra function to set the other options for the choices $mc->extra( "\(\emptyset\)", "\(\mathcal{P}(\mathbb{N})\)", "\( $LBRACE 1,2,3 $RBRACE \)" ); # add an option to be the last in the list #$mc->makeLast("None of the above options.") ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} $BR END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Functions/image_def2.pg0000644000006000510710000000326712455313451020642 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Let \(f : X \to Y \) be a function, and let \(A\) be a subset of \(X\). Which of the following options are EQUIVALENT to \(s \in f[A]\)? Choose all correct answers.", "There is some \( t \in A \) such that \( f(t)=s \)." ); # call the extra function to set the other options for the choices $mc->extra( "\( f^{-1}[\{s\}] \subseteq A \)", "\( f^{-1}(s) \in A \)", "There is some \( s \in A \) such that \( f(s)=t \).", "If \( f(t)=s \), then \( t \in A\).", "\(s \in Y\)" ); # add an option to be the last in the list $mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Relations/0002755000006000510710000000000013235661330016311 5ustar apachewwadminProblems/ProofSpace/Relations/EquivalenceClasses1.pg0000644000006000510710000000324413100124072022466 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the natural language relation on the set of cities in the United States given by, $BR $BR \((x,y) \in R\) if and only \(x\) and \(y\) are in the same state. $BR $BR This is an equivalence relation. Which best represents its equivalence classes ?", "The set of states" ); # call the extra function to set the other options for the choices $mc->extra( "The Canadian Provinces", "The collection of cities in New York", "All cities in the United States", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Relations/Eq2.pg0000644000006000510710000000333112372473350017272 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following relations on \(A =$LBRACE 1,2,3 $RBRACE \) is reflexive?", "None of the above options." ); # call the extra function to set the other options for the choices $mc->extra( "\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)", "\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)", "\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)", ); # add an option to be the last in the list $mc->makeLast("\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)","\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)","\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)","None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Relations/Eq1.pg0000644000006000510710000000333312433412414017263 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following relations on \(A =$LBRACE 1,2,3 $RBRACE \) is transitive?", "\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)" ); # call the extra function to set the other options for the choices $mc->extra( "\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)", "\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)", "None of the above options.", ); # add an option to be the last in the list $mc->makeLast("\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)","\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)","\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)","None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Relations/EquivalenceClasses.pg0000644000006000510710000000351613100124275022414 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Consider the natural language relation \(R\) given below on the set of math classes at this school this semester. (Note that two different sections of the same course are considered different classes.) $BR $BR \((x,y) \in R\) if and only \(x\) and \(y\) are taught by the same professor. $BR $BR This is an equivalence relation. Which best represents its equivalence classes?", "The set of all professors" ); # call the extra function to set the other options for the choices $mc->extra( "The set of all math classes at this school this semester", "The set of all classes taught by Dr. Jones", "The set of all calculus classes", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Relations/EqClassesq4.pg0000644000006000510710000000555612710170440020774 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Choose all of the equivalence classes that are the same as \([0]\). ", "\([4]\)", "\([20]\)", "\([-8]\)", ); # call the extra function to set the other options for the choices $mc->extra( "\([1]\)", "\([2]\)", "\([-2]\)", "\([3]\)", "\([53]\)", "\([-17]\)", ); # add an option to be the last in the list $mc->makeLast("none of the above"); #Second MC # Setup # create new multiple choice object $mc2 = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc2->qa( "Choose all of the equivalence classes that are the same as \([1]\). ", "\([3]\)", "\([5]\)", "\([17]\)", "\([-6]\)", ); # call the extra function to set the other options for the choices $mc2->extra( "\([\pi]\)", "\([4]\)", "\([-16]\)", "\([\frac{1}{2}]\)", "\([100]\)", ); # add an option to be the last in the list $mc2->makeLast("none of the above"); #Third MC # Setup # create new multiple choice object $mc3 = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc3->qa( "Choose all of the equivalence classes that are the same as \([2]\). ", "\([1]\)", "\([9]\)", "\([-2]\)", "\([3]\)" ); # call the extra function to set the other options for the choices $mc3->extra( "\([e]\)", "\([4]\)", "\([16]\)", "\([\frac{4}{5}]\)", "\([-20]\)", ); # add an option to be the last in the list $mc3->makeLast("none of the above"); # random number TEXT(beginproblem()); BEGIN_TEXT Consider the relation on \(\mathbb{Z}\) given by: $BR $BR $BR \( (x,y) \in R\) if and only if \( ( 4 \mid x\) and \(4 \mid y)\) or \( ( 4 \nmid x\) and \(4 \nmid y)\) . $BR $BR $BR (a) How many different equivalence classes does this relation have?\{ ans_rule(6) \} $BR $BR (b) \{ $mc->print_q() \} $BR \{ $mc->print_a() \} $BR $BR (c) \{ $mc2->print_q() \} $BR \{ $mc2->print_a() \} $BR $BR (d) \{ $mc3->print_q() \} $BR \{ $mc3->print_a() \} END_TEXT ANS( num_cmp(2) ); ANS( checkbox_cmp( $mc->correct_ans() ) ); ANS( checkbox_cmp( $mc2->correct_ans() ) ); ANS( checkbox_cmp( $mc3->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Relations/Question3.pg0000644000006000510710000000351312710170325020527 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # INITIALIZATION FOR PART 1 # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); # INITIALIZATION FOR PART 3 Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); Context()->texStrings; BEGIN_TEXT Consider the equivalence relation on \(A= $LBRACE 1,2,3,4,5 $RBRACE\) given by, $BR $BR \(R = $LBRACE(1,1),(1,2),(1,3),(2,2),(2,3),(2,1),(3,3),(3,1),(3,2),(4,4),(4,5),(5,5),(5,4)$RBRACE\) $BR $BR Clearly, \([1]=[2]\) $BR $BR ${BBOLD}Part 1$EBOLD $BR How many different equivalence classes does this relation have? \{ ans_rule(3) \} $PAR ${BBOLD}Part 2$EBOLD $BR Decide if the following statements are true or false (Enter 'true' or 'false'): $BR $BR (a) \([1]=[3]\). \{ ans_rule(6) \} $BR $BR (b) \([4]=[3]\). \{ ans_rule(6) \} $BR $BR (c) \([5]=[3]\). \{ ans_rule(6) \} $BR $BR (d) \([4]=[5]\). \{ ans_rule(6) \} $BR $BR (e) \([2]=[3]\). \{ ans_rule(6) \} $BR $BR (f) \([2]=[4]\). \{ ans_rule(6) \} END_TEXT Context()->normalStrings; ANS( num_cmp(2) ); ANS( String(true)->cmp ); ANS( String(false)->cmp ); ANS( String(false)->cmp ); ANS( String(true)->cmp ); ANS( String(true)->cmp ); ANS( String(false)->cmp ); Context()->normalStrings; ENDDOCUMENT();Problems/ProofSpace/Relations/Eq3.pg0000644000006000510710000000327712372473305017304 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following relations on \(A =$LBRACE 1,2,3 $RBRACE \) is symmetric?", "\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)", ); # call the extra function to set the other options for the choices $mc->extra( "\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)", "\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)", ); # add an option to be the last in the list $mc->makeLast("\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)","\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)","\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)","None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Relations/Eqq5.pg0000644000006000510710000000265013461607323017460 0ustar apachewwadmin# DESCRIPTION # A simple T/F problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number Context()->strings->add(Yes=>{},No=>{}); $strAns = String('Yes'); TEXT(beginproblem()); BEGIN_TEXT Consider the relation on \(\mathbb{Z}\) given by: $BR $BR \( (x,y) \in R\) if and only if there exist \(z \in \mathbb{N}\) such that \(x-y=z\).$BR $BR $BR For the questions below, answer ''Yes'' or ''No'' and be able to provide a justification. $BR $BR (a) Is \((1,-5)\) in \(R\)? \{ ans_rule(6) \} $BR (b) Is \(R\) transitive? \{ ans_rule(6) \} $BR (c) Is \(R\) symmetric? \{ ans_rule(6) \} $BR (d) Is \(R\) reflexive? \{ ans_rule(6) \} $BR (e) Is \(R\) an equivalence relation? \{ ans_rule(6) \} $BR END_TEXT ANS( String(Yes)->cmp() ); ANS( String(Yes)->cmp() ); ANS( String(No)->cmp() ); ANS( String(No)->cmp() ); ANS( String(No)->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Relations/Eq4.pg0000644000006000510710000000335012372473406017277 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Which of the following relations on \(A =$LBRACE 1,2,3 $RBRACE \) is an equivalence relation?", "None of the above options." ); # call the extra function to set the other options for the choices $mc->extra( "\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)", "\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)", "\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)", ); # add an option to be the last in the list $mc->makeLast("\(R= $LBRACE (1,1),(2,2),(3,2),(2,3) $RBRACE \)","\(R= $LBRACE (1,1),(2,2),(3,2),(3,1) $RBRACE \)","\(R= $LBRACE (1,1),(1,2),(1,3),(3,2),(2,3) $RBRACE \)","None of the above options."); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Templates/0002750000006000510710000000000012140334650016276 5ustar apachewwadminProblems/ProofSpace/Templates/Multiple_Select(checkboxes).pg0000644000006000510710000000263012372472446024121 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_checkbox_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Choose all correct answers", "Correct Answer1", "Correct Answer2" ); # call the extra function to set the other options for the choices $mc->extra( "Choice 1", "Choice 2", "Choice 3", ); # add an option to be the last in the list $mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers # see if the correct answer was chosen $showPartialCorrectAnswers = 0; ANS( checkbox_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Templates/Hints_Solutions.pg0000644000006000510710000000167512141466355022017 0ustar apachewwadmin# DESCRIPTION # A simple problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); $line = Compute("1"); TEXT(beginproblem()); BEGIN_TEXT Problem \{ ans_rule(3) \} END_TEXT $showHint = 1; HINT(EV3(<<'END_HINT')); Enter hint here END_HINT SOLUTION(EV3(<<'END_SOLUTION')); $PAR $BBOLD SOLUTION $EBOLD $PAR Enter solution here END_SOLUTION ANS( $line->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Templates/Image/0002750000006000510710000000000012127635524017331 5ustar apachewwadminProblems/ProofSpace/Templates/Image/Image.pg0000644000006000510710000000263112141005625020675 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question", "Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Incorrect", "Incorrect", "Incorrect", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ image("Image.png",width=>300, height=>300,); \} $BR \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Templates/Image/Image.png0000644000006000510710000001152212127635515021065 0ustar apachewwadmin塒NG  IHDR2灁豽sRGBgAMA睆 黙 pHYs莖╠鏘DATx^磔嫍湾襁?3R蚈&)種岊裏M+嵭峃卛H璨擪*工≒槁勡歕褠{鋘9>廹$蝉1调锵瀏驳縚办皑1限窜驳伢鼋<削GD!y @2慓D!y @2慓D!y @2慓D!儔c菐III墱:u蕪祰惲? 蚯狏2 d墣!CH &B"d0A! B啇L2凞萡倫!$B !2 d墣!CH &B"d0A! B啇L2凞萡倫!$B !2 d墣!CH &B"d0A! B啇L2凞萡倫!$B !2 d墣!CH &B"d0A! B啇LT3r噗2d餪|仰呗1蛑溦卜炭 !儔闏V&坜惧茈 鳛页wH椳fR茱商(Oq d0Q硱u揧{硒1U&=(熝Hl吖6 > +--晜瞐脝删}+濯 俟兾?fH梥/w躥9榍X2$d箧鸵彬-;;[鲮巽摺#鹽Vo商葦儈 !CB睇張昽EEE}黈!硈遾魃k婵BM萾nY.]d駘 d6涙>廵ee~5戹!S1.\鐶+B柛邁鸐4i"奎驄AM2稃锟w%秎兮G B枠J籿韉茖~ d懏g;|AM缠殚嵓<)**#!荒诚>+絳鱢qnY黴y琛國% !涌淽籿R煘dG镚P,>c菐曃;Gj 揀и窖部K迆鹠w7啉裩啸!m诖a瞝 Y祠髸晻%粀秭#褷n锦V9s籠'吠挧騙慁遾(/<豒rs籎⺧薲镝2髋|闉-9恮K;璫睲𳷃<#W]u曽`穙>捇?粋闯j?傟藏桤闯/.璤哭廌囶=镑蝉5铒办瘯崦囁锟畛瀛;4尝渤苍搨椘+齭贵︿犊镑邗*疧.鱘!犍膘#&!用毕?\锄蹶寰箣穳'簅<娵筝嘙橶:圻垓逅葸髦璠+}濏镯~掓蜎_|Q殡Q貑Z醙%K朤r貀DVj.篗^]w膷()夔~ 藒 讬]2砙4见39噢泟C鲚w呱 7躊釠bccK螹0霊e可3ゑ门R~繖顣F 核粢隅巭/系虗鞈%r恻HLL鋈6o,?糳ffV^z%w锆(o弙灰锛驨ク藙 苓鳜Y*}澀X辿=诡弘d匕a暰ロ椐煯鸪b"賻;螄≤焈J铽硋;萒G鍑鏪J絭&緇;药^CwG櫴P碴窊椝玼z患{k}苟鼒购^g橺緡#髶齁彂-[骀圃痏课險&]誓拪Y認KK胫ne]燢6l( 廣宕鞓轚\[ K.T玐蔿 瀁緡vL禆 迩8g$%d虞趟逞△塲俨%1!珳+嘗<購D叻邁+眢_]!Y鬑cix荓馘疐o斞?=赣;dzrU//淐婾褻V蜋3禽莑摘U~劕"齺撰搡yAr8閑f龕旯3睰殓B?z蒅爴f0.6膵慅磔w遳 齶爒閴\絁汼m齓m"d/r轸]蚏齃wX#d鬪R盒鼇p縉G2}脆/={鰯鈾泿D2#篖雲^pM菄F之]毽W鑎玉蛢Bb櫛y箧蝯gt挳!庸azR_譓"B:荓4;h袪磞.a簠Lo_3p郂樾[(彴Y掕r璆y=dU飗P抓S若訟菐N彁%Y贄_~佥浗甁噽檗>U%um!R!zP}@漝脝 ~磏╇!!4淈鼃俪gE d礖/鑵絆{]{k] 櫈 盂铊漁>3?奣C萰傥;#聃_髋璜![眀吇]M縹龢栤Y ,pf袸纯嵁2疥堙O77Lo"堅G覔&Mr嚊C 夢獉2樤擓.SgB赳s)褿枵[$!@tV巨哯o臀撴惀綋UW煱糍燪艕?闫峴{膬庈%7B杺鬭.z垼{骇吽齉 欈祒膱.`?l俨趴偍"d)L圄軝>U秏坻_I=QY鵶$埪侣旫驞lY94}$濐A鑃慿G醑T 欮9槁顩n荷-觃иG"D-旛壩鷾M]船s漅釂帺2}\>8Z鱢u颣g汶.BQ浄込Kn瑰7遡虡1钴Z(浊旈僣鮞.陗鍟W*>,u!艮鸷孎洉曞~榰享小C"d:M鈸O>懢}鸍闫崶G蜴沷r+ :F魇t.氜v933Sn魁v穏灀y饕橬GY簍┘衿?]?c茖灣埡垚誥z弗?:匔祎疎-犵>驰穘闭晱箯晆若楟75屎諵梥颈隔烒锄碍辩葶:u陞擙:c翳裯 因逅;佷"d垯N幷Y构甁^:鼴呺姚ⅱ"9z舁拝!&:7L鞫t挂懦+汫 pb缤涚G{ 5瞚&伤藫N:筯]悤訅:tp缥秎兮G; 找萌侣B7C蕯)UN.dJ4魷讪Qs S U={;寍蛏'e~磖 Y筣籿桑>*璠樊複蝷 d╜脝 n:匩玐絲瓰掎B鞲9釭l2w盄Wl呔輳!d窣# #uax瞘鐭:uJ茘7u5@<28:'L 4ㄖ譎钴筍蝮筝"髤 鶴犳Y=s绾C.]喝5k+a,^糥诙m氘鸔囹Y;}籯雮 Rf}菰筳:O )B #d"彁strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); BEGIN_TEXT Enter True or False \{ ans_rule(6) \} END_TEXT ANS( $strAns->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Templates/Multiple_Choice_Many_Options.pg0000644000006000510710000000350112115202205024364 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup @wrongOptions = ("Option 1","Option 2","Option 3","Option 4","Option 5","Option 6","Option 7","Option 8","Option 9","Option 10"); # generate 3 random indexes to choose options from the array $opIndex1 = random(0,9,1); do{ $opIndex2 = random(0,9,1); } until ($opIndex1 != $opIndex2); do{ $opIndex3 = random(0,9,1); } until ($opIndex1 != $opIndex3 && $opIndex2 != $opIndex3); $op1 = $wrongOptions[$opIndex1]; $op2 = $wrongOptions[$opIndex2]; $op3 = $wrongOptions[$opIndex3]; # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question to answer", "Correct Answer" ); # call the extra function to set the other options for the choices $mc->extra( "$op1", "$op2", "$op3", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Templates/Fill_in_Blank.pg0000644000006000510710000000153412123336152021317 0ustar apachewwadmin# DESCRIPTION # A simple problem where a user must fill in the answer to a question. # ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); TEXT(beginproblem()); BEGIN_TEXT Enter $a +1 \{ ans_rule(3) \} END_TEXT ANS( $line->cmp() ); ENDDOCUMENT();Problems/ProofSpace/Templates/Dynamic_Graph.pg0000644000006000510710000000352312130302405021331 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", "PGgraphmacros.pl", ); ################################### # Setup $a = random(2,9,1); do{$b = random(5,10,1);} until($b!=$a); $gr = init_graph(-2,-2,10,15, axes=>[0,0], grid=>[12,17], size=>[500,500] ); add_functions($gr, "-(x-$a)^2+$b for x in <-5,10>" . " using color:blue and weight:2"); # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "What is the equation of the axis of symmetry of the parabola shown in the accompanying diagram?", "\(x=$a\)" ); # call the extra function to set the other options for the choices $mc->extra( "\(x=$b\)", "\(x=\frac{1}{$a}\)", "\(x=\frac{1}{$b}\)", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT $BCENTER \{ image( insertGraph($gr), width=>300,height=>300,tex_size=>800 ) \} $BR (Click on graph to enlarge) $BCENTER END_TEXT BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Templates/Multiple_Choice.pg0000644000006000510710000000253112122434370021677 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question", "Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Choice", "Choice", "Choice", ); # add an option to be the last in the list #$mc->makeLast("none of the above"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();Problems/ProofSpace/Templates/Multi_Part_Problem.pg0000644000006000510710000000326712103274745022410 0ustar apachewwadmin## DESCRIPTION ## Multiple Choice Question Template ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') DOCUMENT(); loadMacros( "PGstandard.pl", "MathObjects.pl", "PGchoicemacros.pl", ); # make sure we're in the context we want Context("Numeric"); # INITIALIZATION FOR PART 1 # random number $a = random(2,9,1); # answer it is looking for $line = Compute("$a+1"); # INITIALIZATION FOR PART 2 # set up for a multiple choice problem. # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question to answer", "Correct Answer" ); # call the extra function to set the other options for the choices $mc->extra( "Choice 1", "Choice 2", "Choice 3", ); # add an option to be the last in the list $mc->makeLast("none of the above"); # INITIALIZATION FOR PART 3 Context()->strings->add(True=>{},False=>{}); $strAns = String('True'); TEXT(beginproblem()); Context()->texStrings; BEGIN_TEXT ${BBOLD}Part 1$EBOLD $BR Enter \($a+1\) \{ ans_rule(3) \} $PAR ${BBOLD}Part 2$EBOLD $BR \{ $mc->print_q() \} \{ $mc->print_a() \} $PAR ${BBOLD}Part 3$EBOLD $BR (Enter True or False: )\{ ans_rule(6) \} END_TEXT Context()->normalStrings; ANS( $line->cmp() ); ANS( radio_cmp( $mc->correct_ans() ) ); ANS( $strAns->cmp() ); Context()->normalStrings; ENDDOCUMENT();Problems/ProofSpace/Templates/True_False.pg0000644000006000510710000000251112103272714020662 0ustar apachewwadmin## DESCRIPTION ## True/False Template - as Multiple Choice ## ENDDESCRIPTION ## KEYWORDS('') ## DBsubject('Subject') ## BookTitle('Book Title') ## DBchapter('DB Chapter') ## BookChapter('Book Chapter') ## DBsection('DB Section') ## BookSection('Book Section') ## Date('01/01/2013') ## Author('Aaron Heap') ## Institution('麻豆传媒团队') ## TitleText1('Title Text') ## EditionText1('Edition Number') ## AuthorText1('Authors') ## Section1('Section Number') ## Problem1('Problem Number') ################################## # Initialization DOCUMENT(); loadMacros( "PGstandard.pl", "PGunion.pl", "MathObjects.pl", "PGcourse.pl", "parserMultiAnswer.pl", "PGchoicemacros.pl", ); ################################### # Setup # create new multiple choice object $mc = new_multiple_choice(); # call the qa function to set the question and the correct answer $mc->qa( "Question to answer", "True" ); # call the extra function to set the other options for the choices #$mc->extra( #"False", #); # add an option to be the last in the list $mc->makeLast("False"); ################################### # Main text BEGIN_TEXT \{ $mc->print_q() \} $BR \{ $mc->print_a() \} END_TEXT ################################### # Answers $showPartialCorrectAnswers = 0; # see if the correct answer was chosen ANS( radio_cmp( $mc->correct_ans() ) ); ENDDOCUMENT();ProofSpaceQuizzes/0002750000006000510710000000000014357631612014162 5ustar apachewwadminProofSpaceQuizzes/set4_2_Functions-Injection_Surjection.def0000644000006000510710000000147114357631370024126 0ustar apachewwadminassignmentType = default openDate = 04/04/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 04/11/2019 at 08:30am EDT answerDate = 04/12/2019 at 08:30pm EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Functions/BijectionMatching.pg value = 3 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Functions/bijection2.pg value = 2 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set1_5_Preliminaries-Number_Systems_Quantifiers.def0000644000006000510710000000175214357631370026165 0ustar apachewwadminassignmentType = default openDate = 01/31/2019 at 08:00am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 02/12/2019 at 08:30am EST answerDate = 02/13/2019 at 08:30am EST enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Logic/NSQQ1.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Logic/NSQ2redo.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Logic/NSQ3.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set5_1_Relations-Equivalence_Relations.def0000644000006000510710000000260314357631370024246 0ustar apachewwadminassignmentType = default openDate = 04/23/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 04/30/2019 at 08:30am EDT answerDate = 04/30/2019 at 08:30pm EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Relations/Eq2.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Relations/Eq3.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Relations/Eq1.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Relations/Eq4.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 5 source_file = Problems/ProofSpace/Relations/Eqq5.pg value = 2 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set3_2_Sets-Relationships.def0000644000006000510710000000144714357631370021573 0ustar apachewwadminassignmentType = default openDate = 03/05/2019 at 08:30am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 03/14/2019 at 08:30am EDT answerDate = 03/15/2019 at 08:30am EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Sets/SetMatching.pg value = 2 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Sets/SetProof.pg value = 2 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set4_3_Functions-Inverses_Composition.def0000644000006000510710000000146014357631370024157 0ustar apachewwadminassignmentType = default openDate = 04/11/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 04/18/2019 at 08:30am EDT answerDate = 04/19/2019 at 08:30am EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Functions/Comp_Inv1.pg value = 4 max_attempts = 3 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Functions/Comp_Inv2.pg value = 2 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set2_1_Proof_Techniques-Unraveling_Definitions.def0000644000006000510710000000176414357631370025753 0ustar apachewwadminassignmentType = default openDate = 02/05/2019 at 08:30am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 02/14/2019 at 08:30am EST answerDate = 02/15/2019 at 08:30am EST enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Techniques/Def1.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Techniques/Def2.pg value = 2 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Techniques/Def3.pg value = 2 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set1_4_Preliminaries-Logical_Equivalences.def0000644000006000510710000000263714357631370024714 0ustar apachewwadminassignmentType = default openDate = 01/29/2019 at 08:00am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 02/07/2019 at 08:30am EST answerDate = 02/08/2019 at 08:30am EST enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Logic/Identities1.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Logic/Identities2.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Logic/IdentitiesMatching.pg value = 2 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Logic/Identities.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 5 source_file = Problems/ProofSpace/Logic/Implicationsq6.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set1_1_Preliminaries-Logic_Introduction.def0000644000006000510710000000230714357631370024423 0ustar apachewwadminassignmentType = default openDate = 01/23/2019 at 08:00am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 01/29/2019 at 08:30am EST answerDate = 02/11/2019 at 08:30am EST enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Logic/Statements.pg value = 1 max_attempts = 8 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Sets/IntroHeap.pg value = 1 max_attempts = 8 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Logic/StatementsTT.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Logic/StatementsTT3.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set3_3_Sets-Operations.def0000644000006000510710000000263214357631370021070 0ustar apachewwadminassignmentType = default openDate = 03/14/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 03/26/2019 at 08:30am EDT answerDate = 03/27/2019 at 08:30am EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Sets/Operations2.pg value = 3 max_attempts = 3 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Sets/Operations1.pg value = 3 max_attempts = -1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Sets/Indenties3.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Sets/Indenties2.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 5 source_file = Problems/ProofSpace/Sets/SetMatchingIdentities.pg value = 2 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set2_4_Proof_Techniques-Induction.def0000644000006000510710000000200014357631370023225 0ustar apachewwadminassignmentType = default openDate = 02/21/2019 at 08:30am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 03/05/2019 at 08:30am EST answerDate = 03/06/2019 at 08:30am EST enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Induction/Quesiton1.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Induction/Quesiton2.pg value = 2 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Induction/Quesiton3.pg value = 2 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set4_1_Functions-Introduction.def0000644000006000510710000000265514357631370022464 0ustar apachewwadminassignmentType = default openDate = 03/21/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 03/28/2019 at 08:30am EDT answerDate = 03/29/2019 at 08:30am EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Functions/Fill_in_Blank2.pg value = 3 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Functions/Fill_in_Blank.pg value = 3 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Functions/image_def.pg value = 2 max_attempts = 4 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Functions/image_def2.pg value = 2 max_attempts = 4 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 5 source_file = Problems/ProofSpace/Functions/preimage_def.pg value = 2 max_attempts = 4 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set5_2_Relations-Equivalence_Classes.def0000644000006000510710000000234514357631370023707 0ustar apachewwadminassignmentType = default openDate = 04/25/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 05/02/2019 at 08:30am EDT answerDate = 05/02/2019 at 08:30pm EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Relations/EquivalenceClasses1.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Relations/EquivalenceClasses.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Relations/Question3.pg value = 2 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Relations/EqClassesq4.pg value = 4 max_attempts = 4 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set4_4_Functions-Cardinality.def0000644000006000510710000000230214357631370022236 0ustar apachewwadminassignmentType = default openDate = 04/16/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 04/23/2019 at 08:30am EDT answerDate = 04/23/2019 at 08:30pm EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Functions/Card1.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Functions/Card2a.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Functions/Card3a.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Functions/Card2.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set1_2_Preliminaries-Conditionals.def0000644000006000510710000000264314357631370023257 0ustar apachewwadminassignmentType = default openDate = 01/23/2019 at 08:00am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 02/05/2019 at 08:30am EST answerDate = 02/11/2019 at 08:30am EST enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Logic/ImplicationTT.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Logic/Implications1.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Logic/Implications2.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Logic/ImplicaitonsQ4.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 5 source_file = Problems/ProofSpace/Logic/Implicationsq5a.pg value = 1 max_attempts = 2 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set3_1_Sets-Introduction.def0000644000006000510710000000227114357631370021423 0ustar apachewwadminassignmentType = default openDate = 02/28/2019 at 08:30am EST reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 03/12/2019 at 08:30am EDT answerDate = 03/13/2019 at 08:30am EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Sets/IntroHeap1.pg value = 2 max_attempts = 4 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Sets/Intro1.pg value = 2 max_attempts = 4 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Sets/Intro2.pg value = 2 max_attempts = 4 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 4 source_file = Problems/ProofSpace/Sets/IntroPower.pg value = 2 max_attempts = -1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end ProofSpaceQuizzes/set3_4_Sets-Indexed_Sets.def0000644000006000510710000000175614357631370021332 0ustar apachewwadminassignmentType = default openDate = 03/14/2019 at 08:30am EDT reducedScoringDate = 12/31/1969 at 07:00pm EST dueDate = 03/28/2019 at 08:30am EDT answerDate = 03/29/2019 at 08:30am EDT enableReducedScoring = N paperHeaderFile = setHeader_paper.pg screenHeaderFile = setHeader.pg description = restrictProbProgression = 0 emailInstructor = 0 problemListV2 problem_start problem_id = 1 source_file = Problems/ProofSpace/Sets/Indexed1.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 2 source_file = Problems/ProofSpace/Sets/Indexed2.pg value = 1 max_attempts = 1 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end problem_start problem_id = 3 source_file = Problems/ProofSpace/Sets/Indexed3.pg value = 2 max_attempts = 3 showMeAnother = -1 prPeriod = -1 counts_parent_grade = 0 att_to_open_children = 0 problem_end