Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
98 commits
Select commit Hold shift + click to select a range
87f390c
Update ifthen1.pg
jpaulterry Aug 5, 2026
3873721
Update ifthen1.pg
jpaulterry Aug 5, 2026
121e4fe
Update ifthen2.pg
jpaulterry Aug 5, 2026
8e05ef9
Update prop1.pg
jpaulterry Aug 5, 2026
6fccac4
Update truthtable1.pg
jpaulterry Aug 5, 2026
48375b8
Update truthtable2.pg
jpaulterry Aug 5, 2026
c16bc37
Update truthtable3.pg
jpaulterry Aug 5, 2026
3779c40
Update truthtable4.pg
jpaulterry Aug 5, 2026
7e8c3ee
Update truthtable5.pg
jpaulterry Aug 5, 2026
76edb9a
Update truthtable6.pg
jpaulterry Aug 5, 2026
9347caf
Update truthtable7.pg
jpaulterry Aug 5, 2026
c0ed191
Update truthtable8.pg
jpaulterry Aug 5, 2026
b7f5d0b
Update quantifiers1.pg
jpaulterry Aug 5, 2026
80c20bc
Update quantifiers2.pg
jpaulterry Aug 5, 2026
d61b63d
Update quantifiers3.pg
jpaulterry Aug 5, 2026
8d86047
Update roi1.pg
jpaulterry Aug 5, 2026
ab02fd5
Update roi2.pg
jpaulterry Aug 5, 2026
5d57168
Update roi3.pg
jpaulterry Aug 5, 2026
c9582fd
Update roi4.pg
jpaulterry Aug 5, 2026
8036dca
Update roi5.pg
jpaulterry Aug 5, 2026
07707e1
Update roi6.pg
jpaulterry Aug 5, 2026
331796b
Update proof1.pg
jpaulterry Aug 5, 2026
343f65e
Update set1.pg
jpaulterry Aug 5, 2026
6018ef0
Update set2.pg
jpaulterry Aug 5, 2026
84ec488
Update set3.pg
jpaulterry Aug 5, 2026
5e17991
Update setsize1.pg
jpaulterry Aug 5, 2026
e80f0de
Update setsize2.pg
jpaulterry Aug 5, 2026
fbe3146
Update setops1.pg
jpaulterry Aug 5, 2026
83b7ac6
Update setops2.pg
jpaulterry Aug 5, 2026
2e3733a
Update setops3.pg
jpaulterry Aug 5, 2026
f4af217
Update setops4.pg
jpaulterry Aug 5, 2026
46310f1
Update setops5.pg
jpaulterry Aug 5, 2026
18bb7df
Update fun1.pg
jpaulterry Aug 5, 2026
7feb394
Update fun2.pg
jpaulterry Aug 5, 2026
c93cfa4
Update fun3.pg
jpaulterry Aug 5, 2026
cdbca50
Update recrel1.pg
jpaulterry Aug 5, 2026
3427faa
Update recrel2.pg
jpaulterry Aug 5, 2026
61cb718
Update recrel3.pg
jpaulterry Aug 5, 2026
ec18e19
Update recrel4.pg
jpaulterry Aug 5, 2026
b398b4b
Update boolmatrix1.pg
jpaulterry Aug 5, 2026
db706c1
Update boolmatrix2.pg
jpaulterry Aug 5, 2026
e6fcd1d
Update boolmatrixrep1.pg
jpaulterry Aug 5, 2026
3862454
Update boolmatrixrep2.pg
jpaulterry Aug 5, 2026
6c6f07a
Update boolmatrixrep3.pg
jpaulterry Aug 5, 2026
e71d99f
Update strings_language1.pg
jpaulterry Aug 5, 2026
d5ee18f
Update strings_language2.pg
jpaulterry Aug 5, 2026
c89bd69
Update strings_language3.pg
jpaulterry Aug 5, 2026
8828019
Update strings_language4.pg
jpaulterry Aug 5, 2026
e9d15b4
Update dfa1.pg
jpaulterry Aug 5, 2026
0ec1990
Update dfa2.pg
jpaulterry Aug 5, 2026
3cdbbe7
Update dfa3.pg
jpaulterry Aug 5, 2026
8b9c1a1
Update nfa1.pg
jpaulterry Aug 5, 2026
2105a07
Create README.md
jpaulterry Aug 5, 2026
673f384
Update q1_arithmetic.pg
jpaulterry Aug 5, 2026
b9369c9
Update q2_ifthenelse.pg
jpaulterry Aug 5, 2026
f42b65e
Update q3_coercion.pg
jpaulterry Aug 5, 2026
d3c86b5
Update q4_validate1.pg
jpaulterry Aug 5, 2026
2d6ee9a
Update q5_validate2.pg
jpaulterry Aug 5, 2026
0fab9de
Update q1_values1.pg
jpaulterry Aug 5, 2026
de012bf
Update q2_tuplelisttype1.pg
jpaulterry Aug 5, 2026
bdf58b9
Update q3_tuplelisttype2.pg
jpaulterry Aug 5, 2026
5e43eff
Update q4_listtype1.pg
jpaulterry Aug 5, 2026
99bd011
Update q5_listtype2.pg
jpaulterry Aug 5, 2026
1bee494
Update q01_fun1.pg
jpaulterry Aug 5, 2026
47317b5
Update q02_fun2.pg
jpaulterry Aug 5, 2026
ce5e3bd
Update q03_fun3.pg
jpaulterry Aug 5, 2026
797a3ca
Update q04_fun4.pg
jpaulterry Aug 5, 2026
4925c1d
Update q05_fun5.pg
jpaulterry Aug 5, 2026
8b854d7
Update q06_fun6.pg
jpaulterry Aug 5, 2026
bd15ca9
Update q07_fun7.pg
jpaulterry Aug 5, 2026
98b98e3
Update q08_recursion1.pg
jpaulterry Aug 5, 2026
d3a5b10
Update q09_recursion2.pg
jpaulterry Aug 5, 2026
a347c13
Update q10_recursion3.pg
jpaulterry Aug 5, 2026
b5a4c1e
Update q1_mapreduce1.pg
jpaulterry Aug 5, 2026
4675e3b
Update q2_mapreduce2.pg
jpaulterry Aug 5, 2026
28658f1
Update q3_option1.pg
jpaulterry Aug 5, 2026
c15e2ae
Update q4_option2.pg
jpaulterry Aug 5, 2026
78d690d
Update q5_option3.pg
jpaulterry Aug 5, 2026
7697f55
Update q1_unify1.pg
jpaulterry Aug 5, 2026
1484f46
Update q2_unify2.pg
jpaulterry Aug 5, 2026
b0cd004
Update q3_goal1.pg
jpaulterry Aug 5, 2026
d08f57c
Update q4_goal2.pg
jpaulterry Aug 5, 2026
c6985c6
Update q5_goal3.pg
jpaulterry Aug 5, 2026
edb9577
Update q1_opsarith1.pg
jpaulterry Aug 5, 2026
b57bb9d
Update q2_opsarith2.pg
jpaulterry Aug 5, 2026
0a824a8
Update q3_opsarith3.pg
jpaulterry Aug 5, 2026
7a0d0e9
Update q4_opsarith4.pg
jpaulterry Aug 5, 2026
b411bb2
Update q5_chars1.pg
jpaulterry Aug 5, 2026
c8b3d6d
Update q1_list1.pg
jpaulterry Aug 5, 2026
cf76a99
Update q2_list2.pg
jpaulterry Aug 5, 2026
08a5243
Update q3_list3.pg
jpaulterry Aug 5, 2026
3a5d36e
Update q4_list4.pg
jpaulterry Aug 5, 2026
766a3b9
Update q5_maplistfoldl1.pg
jpaulterry Aug 5, 2026
fdf53d0
Update q1_recursion1.pg
jpaulterry Aug 5, 2026
ecde929
Update q2_recursion2.pg
jpaulterry Aug 5, 2026
6ae02fb
Update q3_recursion3.pg
jpaulterry Aug 5, 2026
9c60bd9
Update boolmatrix2.pg
jpaulterry Aug 7, 2026
967c1a4
Update boolmatrixrep2.pg
jpaulterry Aug 7, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Contrib/LaTech/DiscreteMath/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
This subfolder contains problems authored by Jason Terry (jterry@latech.edu) for a course in Discrete Mathematics in the Departments of Mathematics or Computer Science.
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s1_propositions/ifthen1.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible statement variations
Expand All @@ -40,8 +40,6 @@ $pop4 = PopUp(["Choose...",$a], 4);
$pop5 = PopUp(["Choose...",$a], 5);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the following statement:

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s1_propositions/ifthen2.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible statement variations
Expand All @@ -40,8 +40,6 @@ $pop4 = PopUp(["Choose...",$a], 4);
$pop5 = PopUp(["Choose...",$a], 5);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the following statement:

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s1_propositions/prop1.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -38,8 +38,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Determine the truth value of the following statements. *To discourage random guessing, you must answer all problems correctly to receive credit.*

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable1.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable2.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable3.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable4.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable5.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable6.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable7.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s2_statements/truthtable8.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"niceTables.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -30,8 +30,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Complete the following truth table.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s3_quantifiers/quantifiers1.pg
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible statement variations
Expand All @@ -40,8 +40,6 @@ $pop4 = PopUp(["Choose...",$a], 4);
$pop5 = PopUp(["Choose...",$a], 5);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the open statement *C(x,y): "Student x has taken math course y,"* where the domain for [``x``] is all students at your school and the domain for [``y``] is all math courses at your school.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s3_quantifiers/quantifiers2.pg
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,8 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -29,8 +29,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Suppose the domain for all variables is all real numbers. Determine the truth value of the following statements.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s3_quantifiers/quantifiers3.pg
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,8 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Do not reveal partial solutions for True/False questions.
Expand All @@ -29,8 +29,6 @@ $popTrue = PopUp(["Choose...","T","F"], 1);
$popFalse = PopUp(["Choose...","T","F"], 2);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Suppose the domain for all variables is all real numbers. Determine the truth value of the following statements.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s4_rulesofinference/roi1.pg
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"niceTables.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible reasons
Expand All @@ -44,8 +44,6 @@ $popStep1 = PopUp(["Choose...",$a], 2);
$popStep23 = PopUp(["Choose...",$a], 9);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the following premises and conclusion.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s4_rulesofinference/roi2.pg
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"niceTables.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible reasons
Expand All @@ -44,8 +44,6 @@ $popStep12 = PopUp(["Choose...",$a], 6);
$popStep34 = PopUp(["Choose...",$a], 11);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the following premises and conclusion.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s4_rulesofinference/roi3.pg
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"niceTables.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible reasons
Expand All @@ -49,8 +49,6 @@ $popStep23 = PopUp(["Choose...",$a], 7);
$popStep45 = PopUp(["Choose...",$a], 13);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the following premises and conclusion.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s4_rulesofinference/roi4.pg
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"niceTables.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible reasons
Expand Down Expand Up @@ -50,8 +50,6 @@ $popStep45 = PopUp(["Choose...",$a], 12);
$popStep67 = PopUp(["Choose...",$a], 15);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the following premises and conclusion.

Expand Down
6 changes: 2 additions & 4 deletions Contrib/LaTech/DiscreteMath/ch1s4_rulesofinference/roi5.pg
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@ DOCUMENT();
loadMacros(
"PGstandard.pl",
"parserPopUp.pl",
"PGcourse.pl",
"niceTables.pl",
"PGML.pl"
"PGML.pl",
"PGcourse.pl"
);

## Create an array of possible reasons
Expand All @@ -44,8 +44,6 @@ $popStep1 = PopUp(["Choose...",$a], 2);
$popStep23 = PopUp(["Choose...",$a], 9);

## Display question
TEXT(beginproblem());

BEGIN_PGML
Consider the following premises and conclusion.

Expand Down
Loading