Difference between revisions of "CS 303 Spring 2023"

From Computer Science
Jump to: navigation, search
(Announcements)
m (Jkinne moved page CS 303 to CS 303 Spring 2023)
 
(114 intermediate revisions by the same user not shown)
Line 29: Line 29:
 
* [https://cglab.ca/~michiel/TheoryOfComputation/TheoryOfComputation.pdf Introduction to Theory of Computation] by Anil Maheshwari and Michiel Smid
 
* [https://cglab.ca/~michiel/TheoryOfComputation/TheoryOfComputation.pdf Introduction to Theory of Computation] by Anil Maheshwari and Michiel Smid
 
* Additional sources - as needed
 
* Additional sources - as needed
 +
** [https://en.wikipedia.org/wiki/RSA_(cryptosystem)#Operation RSA Encryption (Operation)], [https://en.wikipedia.org/wiki/Extended_Euclidean_algorithm Extended Euclidean Algorithm], [https://en.wikipedia.org/wiki/Fermat%27s_little_theorem Fermat's Little Theorem], [https://en.wikipedia.org/wiki/Modular_exponentiation Modular Exponentiation]
 +
** [https://en.wikipedia.org/wiki/Master_theorem_(analysis_of_algorithms) Master Theorem]
 
** [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem#3-satisfiability 3SAT NP-complete problem], [https://www.geeksforgeeks.org/proof-that-clique-decision-problem-is-np-complete/ Clique NP-complete problem], [https://cgi.csc.liv.ac.uk/~igor/COMP309/3CP.pdf 3 Coloring NP-complete problem]
 
** [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem#3-satisfiability 3SAT NP-complete problem], [https://www.geeksforgeeks.org/proof-that-clique-decision-problem-is-np-complete/ Clique NP-complete problem], [https://cgi.csc.liv.ac.uk/~igor/COMP309/3CP.pdf 3 Coloring NP-complete problem]
  
Line 39: Line 41:
  
 
==Assignments==
 
==Assignments==
* '''q1 - [https://indstate.instructure.com/courses/12565/quizzes/231880/take Math Notation]''' - that link is a practice quiz, the real one will be in our course in Canvas.  Open book, open internet, not "open other person". Jan 13 around 1:25pm (quiz will be 1:25-1:50pm).
+
* hw's coming up...
 +
** graphs: run the algorithm, given graph answer questions about it
 +
* '''h5 - [[Asymptotics]]''' - due TBD.
 +
* '''h4 - [[Sets]]''' - due Apr 16.
 +
* '''h3 - [[Induction]]''' - due Apr 9.
 +
* '''q9 - [https://indstate.instructure.com/courses/12565/quizzes/231869 Big O asymptotics]''' - Mar 31. Score stats: max, median, min, average - 100, 100, 7.5, 80. Time to take the quiz stats: max, median, min, average = 21, 6.5, 2, 8.35.
 +
* '''[[CS 303 midterm]]'''
 +
* '''q8 - [https://indstate.instructure.com/courses/12565/quizzes/231877 graphs]''' - Mar 3.  Score stats: max, median, min, average = 100, 100, 75, 95.83333333.  Time stats: max, median, min, average = 19, 6, 2, 7.608695652 minutes.
 +
* '''q7 - [https://indstate.instructure.com/courses/12565/quizzes/231876 functions and relations]''' - Feb 24. Score stats: max, median, min, average = 100, 100, 16.625, 84.05434783. Time to take the quiz stats: max, median, min, average = 17, 5, 1, 6.565217391.
 +
* '''h2 - [[RSA]]''' - due Feb 26.
 +
* '''q6 - [https://indstate.instructure.com/courses/12565/quizzes/231881 Sets]''' - that is the practice quiz.  Feb 17, 1:25pm. Score stats: max, median, min, average = 100, 92.5, 0, 84.76944444. Time to take the quiz stats: max, median, min, average = 29, 11.5, 4, 13.54166667.
 +
* '''q5 - [https://indstate.instructure.com/courses/12565/quizzes/231883 Number Theory]''' - that is the practice quiz.  Feb 3, 1:25pm. Score stats: max, median, min, average = 100, 98.18181818, 49.09090909, 89.62450593. Time to take the quiz stats: max, median, min, average = 18, 9, 3, 9.304347826.
 +
* '''h1 - [[Truth table proofs]]''' - both assignments 1 and 2 listed there. For which logical identity and which logical fallacy you need to do, see the lecture from Jan 27 when this was shared on screen.  Due Feb 3, second attempt due Feb 22.
 +
* '''q4 - [https://indstate.instructure.com/courses/12565/quizzes/231878 Logic]''' - that is the practice quiz.  Jan 27, 1:25pm.  Score stats: max, median, min, average = 100, 75, 25, 69.79166667. Time to take the quiz stats: max, median, min, average = 30, 23, 5, 22.04166667.
 +
* '''q3 - [https://indstate.instructure.com/courses/12565/quizzes/231882 Miscellaneous Math]''' - that is the practice quiz, see the link in q1 for Math for CS Review.  Jan 20, 1:25pm.  Score stats: max, median, min, average = 100, 100, 25.94444444, 92.50529101.  Time to take the quiz stats: max, median, min, average = 13, 5, 2, 6.142857143.
 +
* '''q2 - [https://indstate.instructure.com/courses/12565/quizzes/231879 Math and Bases]''' - that is the practice quiz, see the link in q1 for Math for CS Review.  Jan 20, 1:25pm.  Score stats: max, median, min, average = 100, 100, 66.66666667, 97.10144928.  Time to take the quiz stats: max, median, min, average = 13, 5, 3, 6.173913043.
 +
* '''q1 - [https://indstate.instructure.com/courses/12565/quizzes/231880/take Math Notation]''' - that link is a practice quiz, the real one will be in our course in Canvas.  See also [[Math for CS Review]] for a study guide of sorts.  Open book, open internet, not "open other person". Jan 13 around 1:25pm (quiz will be 1:25-1:50pm).  Score stats: max, median, min, average = 100, 100, 87.75510204, 98.4028394.  Time to take the quiz stats: max, median, min, average = 22, 7, 5, 9.52173913.
  
 
==Announcements==
 
==Announcements==
 +
* Notes for next term... ''Overall grading scheme'' - perhaps rework things to give letter grade for 3 main categories - is responsible (comes to class, turns things in on time), can do things we did in class, can solve new problems - and possibly letter grades for the different topics that are most important in the course. ''Course outline'' - start with favorite / most important results or types of problems and go from there, a nice wiki page for each one.
 +
* Requested topics - quantum computing
 +
* Topics/assignments we did not get to but are important - discrete probability, graphs assignment, irrational proof, regular languages assignment and quiz, complexity theory assignment and quiz. When you are in need of some discrete math over the summer, check last semester's quizzes and assignments: [[CS 303 Fall 2022]]
 +
* For you to do still: resubmit h3, resubmit h4, submit h5, prepare for final exam, schedule exam interview if you choose to.
 +
* Grading: h3 and h4 resubmissions - let me know when you have submitted, graded and returned within 1 day (last chance due date May 3 by midnight). h5 - first grading based on what is submitted by May 1 midnight, sent to you by the end of May 2.
 +
* May 9 noon - grades are due.
 +
* May 4-8 - Jeff out of town traveling, not available to meet, limited replies to email/teams or new grading.
 +
* May 3 1-2:50 - final exam, see [[CS 303 final]].  See the course in canvas for the link.
 +
* May 1 12-2:50 - review, you ask questions about hw, exam, whatever.  See the course in canvas for the link.
 +
* May 1 10-11:50 - canvas quiz retakes, see [[CS 303 final]]. See the course in canvas for the link.
 +
* Apr 28 - hw and exam review questions, in the morning slot only. Note - lecture in the morning but not in the afternoon. Note - big O quiz was not included in the grading information sent out Apr 26. Note - some quiz scores were wrong in what was sent out Apr 26; will correct those and send out again.
 +
* Apr 26 - morning hour - h4.  afternoon hour - h5 (see link above, due for first round of grading May 1), the old grade cutoff spreadsheet (taking a look at it now, will have an email sent with where you stand tonight).
 +
* Apr 20 - maybe h5 big O and h6 graphs, but only if it's ready by the end of the weekend and caught up on grading h3, h4.
 +
* Apr 20 - final exam will be essay questions, can retake canvas quizzes but you need to request which ones you want, interview will be optional to demonstrate knowledge/skills for hw's not being graded any longer.  Required portion of the exam will be May 3 (Wed) 1-2:50.  Review (optional) for exam and whatever is still happening with hw will be May 1 (Mon) 10-11:50.
 +
* Apr 20 - letter grades will be calculated similar to how it was done after the midterm exam.  See the updated spreadsheet in the syllabus in the area about grades (after today's lecture).  You will get where you stand at the end of next week, Apr 27.
 +
* Apr 20 - no quizzes, just lectures. from last time, finish - simulating regular language options (DFA, NFA, RE), Turing machines (and Turing-complete), non-regular languages (pumping lemma for regular languages).
 +
* Apr 18 - comments on h3.  questions on h4.  next topics - regular languages, discrete probability. reading assignment - chapter 2 (regular languages) of [https://cglab.ca/~michiel/TheoryOfComputation/TheoryOfComputation.pdf Theory of Computation].
 +
* Apr 14 - no lecture.
 +
* Apr 12 - we just finished complexity class introduction, continue with that.  Today - NP.  Afternoon - NP-completeness reductions - see links above for NP-complete problems.
 +
* Apr 9 - some additional notes on h3, and a short video that is the same place in canvas that lectures are at.
 +
* Apr 7 - questions on h3?  h4 on sets due Apr 16.  Uncountability of the reals. Complexity classes.
 +
* Apr 5 - proofs by contradiction (infinitely many primes, proofs of irrationality, uncountability of the reals).  Questions on induction hw?
 +
* Mar 31 - hw assignments.  big O quiz.
 +
* Mar 31 - grade information sent out tomorrow/Sunday, including estimated letter grade.
 +
* Mar 29 - taking the midterm, good luck!
 +
* Mar 22 - letter grade calculations - see spreadsheet linked in the Grading section of this page (link at the top) and an email you will receive.
 +
* Mar 22 - big O asymptotics. last method to solve recurrence relations (master theorem). algorithm running times.
 +
* Mar 22 - midterm part 2 scheduling - use https://cs.indstate.edu/jkinne-meeting and select a 15 minute meeting.
 +
* Mar 17 - note last day to drop is April 3.
 +
* Mar 17 - summation formula we needed last time and plugging that in to that recurrence relation.  big O asymptotics.  Midterm - see link above in the assignments section.  No quiz today.
 +
* Mar 15 - recursive stuff.
 +
* Mar 13 - grading notes for h2 were sent by email. Corrections due by March 20 midnight.
 +
* Mar 3 - graphs quiz.  Next week is spring break.  Mid-term exam after break.
 +
* Mar 1 - 2-way bounding, induction.
 +
* Feb 24 - quiz on functions and relations at 1:25pm.  Continuing with graphs - last time we did the first page in OneNote, today we continue with the rest.
 +
* Feb 22 - continuing at pigeonhole principle. Interim grades - just put in based on your average from the quizzes.  These are inflated (higher average than there will be by the end) because there aren't any hw grades or exam grades yet. 
 +
* Feb 17 - h2 number theory.  Taking q6.  Functions and relations. Reminder - read the chapter in BB after we have done it in lecture.
 +
* Feb 15 - initial grading notes sent out about h1.  Make corrections and resubmit by Feb 22.  From BB, sets.
 +
* Feb 10 - no class, happy weekend.
 +
* Feb 8 - RSA, gcd, Fermat's little theorem, fast modular exponentiation. 
 +
* Feb 3 - reading assignment - BB up through Sets, RSA and Euclidean algorithm links under required texts above.
 +
* Feb 3 - faculty candidate teaching demo in the morning.  Number theory - RSA encryption, one of our favorite results, uses the extended Euclidean algorithm.  Fermat's little theorem, fast modular exponentiation.  See reading links in the section above for RSA and Extended Euclidean Algorithm.
 +
* Feb 1 - this week's quiz - number theory, see link above.  Faculty candidate teaching demo.  Continuing with number theory.
 +
* Jan 27 - Continuing with proofs in OneNote and BB. Introducing assignment h1.  Taking the q4 logic quiz in the afternoon.  Starting number theory (BB chapter 4).
 +
* Jan 20 - request to move the standard quiz day to be Wednesday. Nope, stick with Fridays.
 +
* Jan 20 - guest speaker for today, faculty candidate visiting today.
 +
* Jan 18 - reading assignment - Building Blocks chapters 3, 4.
 +
* Jan 18 - today's topic - Logic.  See practice quiz above.
 +
* Jan 13 - q1 set so you can see your answers and the correct answers, and stats on the scores and total time taken are above.
 +
* Jan 13 - reading assignment - Building Blocks chapter 2.
 +
* Jan 13 - math notation, the graph questions.  q1 math notation quiz.  Continuing through math background, including material for q2 and q3 - see links above.
 
* Jan 11 - note that q1 will be Friday, see above.  In general for quizzes, no makeups, but you'll have a chance on the midterm to take it again.
 
* Jan 11 - note that q1 will be Friday, see above.  In general for quizzes, no makeups, but you'll have a chance on the midterm to take it again.
 
* Jan 11 - reading assignment - Building Blocks chapter 1. First quizzes - Friday 1-2pm.
 
* Jan 11 - reading assignment - Building Blocks chapter 1. First quizzes - Friday 1-2pm.
* Jan 11 - first day of class, syllabus and such.
+
* Jan 11 - first day of class, syllabus and such.  It is good for you to take notes.
  
 
=Course Description and Content=
 
=Course Description and Content=
Line 74: Line 143:
  
 
We will be trying out what I am calling "achievements-based" grading. There are a series of skills, knowledge, and experiences that I want you to achieve.  Your final letter grades will be based strictly on which of these you have completed.  For each achievement, you can achieve the rating of incomplete, pass-, pass, pass+.  The following will be our starting point for how letter grades will be assigned. I will reevaluate this throughout the term to make sure we are on track. I will also be setting the standards for pass-, pass, and pass+ for each of the achievements as we get to them in the course.
 
We will be trying out what I am calling "achievements-based" grading. There are a series of skills, knowledge, and experiences that I want you to achieve.  Your final letter grades will be based strictly on which of these you have completed.  For each achievement, you can achieve the rating of incomplete, pass-, pass, pass+.  The following will be our starting point for how letter grades will be assigned. I will reevaluate this throughout the term to make sure we are on track. I will also be setting the standards for pass-, pass, and pass+ for each of the achievements as we get to them in the course.
 +
 +
'''Letter Grades as of April 2''' - for a rough draft of how the grades will be calculated, see the following spreadsheet and an email you will receive with a summary for you: https://cs.indstate.edu/~cs303/cs303%20grades%20letter%20grading.xlsx
  
 
'''D'''
 
'''D'''
Line 154: Line 225:
  
 
==Office hours (using Teams)==
 
==Office hours (using Teams)==
Office hours will be through Microsoft Teams by default. If you would like to meet in person you should reserve an appointment using http://cs.indstate.edu/scheduler to reserve an in person meeting with Jeff Kinne. I am normally in my office during my listed office hours, but by making an appointment you can be more certain. For meeting through Teams, you should start Teams in your browser or start the application. You should be logged in using your ISU credentials. Once you have Teams open you can message me to ask me questions or to ask to talk. We can use Teams to message (better than emailing back and forth repeatedly if you have questions about something that you just want to write about) or to talk and share screens (e.g., to take a look at your code). I normally have Teams open on my computer all of the time, including during my office hours. During my office hours I will normally reply right away; at other times I will reply when I get a chance.
+
Office hours will be through Microsoft Teams by default. If you would like to meet in person you should reserve an appointment using http://cs.indstate.edu/jkinne-meeting to reserve an in person meeting with Jeff Kinne. I am normally in my office during my listed office hours, but by making an appointment you can be more certain. For meeting through Teams, you should start Teams in your browser or start the application. You should be logged in using your ISU credentials. Once you have Teams open you can message me to ask me questions or to ask to talk. We can use Teams to message (better than emailing back and forth repeatedly if you have questions about something that you just want to write about) or to talk and share screens (e.g., to take a look at your code). I normally have Teams open on my computer all of the time, including during my office hours. During my office hours I will normally reply right away; at other times I will reply when I get a chance.
  
 
==Canvas==
 
==Canvas==

Latest revision as of 21:02, 20 August 2023

CS 303 Discrete Structures and Computing Theory is taken by CS majors after CS 151.

This page contains the syllabus for CS 303 and is used to keep track of assignments, etc. as well for the most recent offering (spring 2023). For announcements, click the link in the table of contents.

General Information

Course website - https://cs.indstate.edu/wiki/index.php/CS_303

Your Instructor

Jeff Kinne, jkinne@cs.indstate.edu
Office: Root Hall A-142 and in Microsoft Teams, phone 812-237-2126
Instructor Office Hours: TBD

Lecture, Exam

Lecture: WF 10-10:50am, 1-1:50pm in Root Hall A-019, over Zoom (link in Canvas, see below), and recorded
Mid-term exam: TBA
Final exam: Monday, May 1, 10-11:50am and/or Wednesday, May 3 1-2:50pm
Asynchronous students: For students who will be mostly participating asynchronously even though the course is being offered synchronously, it is best if you are able to watch the most recent lecture before the next one occurs. You should make note of any questions or comments and send them to me by email or Teams. I will start the next lecture by answering any questions/comments that came via email or Teams.

Prerequisites - C or higher in CS 151.

CRN numbers - 11380 for the 001 face to face section, 12450 for the 301 online section

Required text

Class notes - Notes during class will mostly be kept in the CS 303 OneNote notebook and might be made available later as a PDF. Note that you will need to authenticate with your ISU account to view the notebook.

Microsoft Teams - There is Team for our course. If you post questions there, these can be answered by anyone in the class, and everyone can see the Q&A that are coming up. You should see a CS 303 team in your teams list, or the direct link is CS 303 MS teams direct link

Announcements/Assignments/Quizzes

This section will be kept up to date with announcements of assigned reading, assignments, quizzes, etc. This will be kept as a "stack" with the most recent at the top of the list.

Assignments

  • hw's coming up...
    • graphs: run the algorithm, given graph answer questions about it
  • h5 - Asymptotics - due TBD.
  • h4 - Sets - due Apr 16.
  • h3 - Induction - due Apr 9.
  • q9 - Big O asymptotics - Mar 31. Score stats: max, median, min, average - 100, 100, 7.5, 80. Time to take the quiz stats: max, median, min, average = 21, 6.5, 2, 8.35.
  • CS 303 midterm
  • q8 - graphs - Mar 3. Score stats: max, median, min, average = 100, 100, 75, 95.83333333. Time stats: max, median, min, average = 19, 6, 2, 7.608695652 minutes.
  • q7 - functions and relations - Feb 24. Score stats: max, median, min, average = 100, 100, 16.625, 84.05434783. Time to take the quiz stats: max, median, min, average = 17, 5, 1, 6.565217391.
  • h2 - RSA - due Feb 26.
  • q6 - Sets - that is the practice quiz. Feb 17, 1:25pm. Score stats: max, median, min, average = 100, 92.5, 0, 84.76944444. Time to take the quiz stats: max, median, min, average = 29, 11.5, 4, 13.54166667.
  • q5 - Number Theory - that is the practice quiz. Feb 3, 1:25pm. Score stats: max, median, min, average = 100, 98.18181818, 49.09090909, 89.62450593. Time to take the quiz stats: max, median, min, average = 18, 9, 3, 9.304347826.
  • h1 - Truth table proofs - both assignments 1 and 2 listed there. For which logical identity and which logical fallacy you need to do, see the lecture from Jan 27 when this was shared on screen. Due Feb 3, second attempt due Feb 22.
  • q4 - Logic - that is the practice quiz. Jan 27, 1:25pm. Score stats: max, median, min, average = 100, 75, 25, 69.79166667. Time to take the quiz stats: max, median, min, average = 30, 23, 5, 22.04166667.
  • q3 - Miscellaneous Math - that is the practice quiz, see the link in q1 for Math for CS Review. Jan 20, 1:25pm. Score stats: max, median, min, average = 100, 100, 25.94444444, 92.50529101. Time to take the quiz stats: max, median, min, average = 13, 5, 2, 6.142857143.
  • q2 - Math and Bases - that is the practice quiz, see the link in q1 for Math for CS Review. Jan 20, 1:25pm. Score stats: max, median, min, average = 100, 100, 66.66666667, 97.10144928. Time to take the quiz stats: max, median, min, average = 13, 5, 3, 6.173913043.
  • q1 - Math Notation - that link is a practice quiz, the real one will be in our course in Canvas. See also Math for CS Review for a study guide of sorts. Open book, open internet, not "open other person". Jan 13 around 1:25pm (quiz will be 1:25-1:50pm). Score stats: max, median, min, average = 100, 100, 87.75510204, 98.4028394. Time to take the quiz stats: max, median, min, average = 22, 7, 5, 9.52173913.

Announcements

  • Notes for next term... Overall grading scheme - perhaps rework things to give letter grade for 3 main categories - is responsible (comes to class, turns things in on time), can do things we did in class, can solve new problems - and possibly letter grades for the different topics that are most important in the course. Course outline - start with favorite / most important results or types of problems and go from there, a nice wiki page for each one.
  • Requested topics - quantum computing
  • Topics/assignments we did not get to but are important - discrete probability, graphs assignment, irrational proof, regular languages assignment and quiz, complexity theory assignment and quiz. When you are in need of some discrete math over the summer, check last semester's quizzes and assignments: CS 303 Fall 2022
  • For you to do still: resubmit h3, resubmit h4, submit h5, prepare for final exam, schedule exam interview if you choose to.
  • Grading: h3 and h4 resubmissions - let me know when you have submitted, graded and returned within 1 day (last chance due date May 3 by midnight). h5 - first grading based on what is submitted by May 1 midnight, sent to you by the end of May 2.
  • May 9 noon - grades are due.
  • May 4-8 - Jeff out of town traveling, not available to meet, limited replies to email/teams or new grading.
  • May 3 1-2:50 - final exam, see CS 303 final. See the course in canvas for the link.
  • May 1 12-2:50 - review, you ask questions about hw, exam, whatever. See the course in canvas for the link.
  • May 1 10-11:50 - canvas quiz retakes, see CS 303 final. See the course in canvas for the link.
  • Apr 28 - hw and exam review questions, in the morning slot only. Note - lecture in the morning but not in the afternoon. Note - big O quiz was not included in the grading information sent out Apr 26. Note - some quiz scores were wrong in what was sent out Apr 26; will correct those and send out again.
  • Apr 26 - morning hour - h4. afternoon hour - h5 (see link above, due for first round of grading May 1), the old grade cutoff spreadsheet (taking a look at it now, will have an email sent with where you stand tonight).
  • Apr 20 - maybe h5 big O and h6 graphs, but only if it's ready by the end of the weekend and caught up on grading h3, h4.
  • Apr 20 - final exam will be essay questions, can retake canvas quizzes but you need to request which ones you want, interview will be optional to demonstrate knowledge/skills for hw's not being graded any longer. Required portion of the exam will be May 3 (Wed) 1-2:50. Review (optional) for exam and whatever is still happening with hw will be May 1 (Mon) 10-11:50.
  • Apr 20 - letter grades will be calculated similar to how it was done after the midterm exam. See the updated spreadsheet in the syllabus in the area about grades (after today's lecture). You will get where you stand at the end of next week, Apr 27.
  • Apr 20 - no quizzes, just lectures. from last time, finish - simulating regular language options (DFA, NFA, RE), Turing machines (and Turing-complete), non-regular languages (pumping lemma for regular languages).
  • Apr 18 - comments on h3. questions on h4. next topics - regular languages, discrete probability. reading assignment - chapter 2 (regular languages) of Theory of Computation.
  • Apr 14 - no lecture.
  • Apr 12 - we just finished complexity class introduction, continue with that. Today - NP. Afternoon - NP-completeness reductions - see links above for NP-complete problems.
  • Apr 9 - some additional notes on h3, and a short video that is the same place in canvas that lectures are at.
  • Apr 7 - questions on h3? h4 on sets due Apr 16. Uncountability of the reals. Complexity classes.
  • Apr 5 - proofs by contradiction (infinitely many primes, proofs of irrationality, uncountability of the reals). Questions on induction hw?
  • Mar 31 - hw assignments. big O quiz.
  • Mar 31 - grade information sent out tomorrow/Sunday, including estimated letter grade.
  • Mar 29 - taking the midterm, good luck!
  • Mar 22 - letter grade calculations - see spreadsheet linked in the Grading section of this page (link at the top) and an email you will receive.
  • Mar 22 - big O asymptotics. last method to solve recurrence relations (master theorem). algorithm running times.
  • Mar 22 - midterm part 2 scheduling - use https://cs.indstate.edu/jkinne-meeting and select a 15 minute meeting.
  • Mar 17 - note last day to drop is April 3.
  • Mar 17 - summation formula we needed last time and plugging that in to that recurrence relation. big O asymptotics. Midterm - see link above in the assignments section. No quiz today.
  • Mar 15 - recursive stuff.
  • Mar 13 - grading notes for h2 were sent by email. Corrections due by March 20 midnight.
  • Mar 3 - graphs quiz. Next week is spring break. Mid-term exam after break.
  • Mar 1 - 2-way bounding, induction.
  • Feb 24 - quiz on functions and relations at 1:25pm. Continuing with graphs - last time we did the first page in OneNote, today we continue with the rest.
  • Feb 22 - continuing at pigeonhole principle. Interim grades - just put in based on your average from the quizzes. These are inflated (higher average than there will be by the end) because there aren't any hw grades or exam grades yet.
  • Feb 17 - h2 number theory. Taking q6. Functions and relations. Reminder - read the chapter in BB after we have done it in lecture.
  • Feb 15 - initial grading notes sent out about h1. Make corrections and resubmit by Feb 22. From BB, sets.
  • Feb 10 - no class, happy weekend.
  • Feb 8 - RSA, gcd, Fermat's little theorem, fast modular exponentiation.
  • Feb 3 - reading assignment - BB up through Sets, RSA and Euclidean algorithm links under required texts above.
  • Feb 3 - faculty candidate teaching demo in the morning. Number theory - RSA encryption, one of our favorite results, uses the extended Euclidean algorithm. Fermat's little theorem, fast modular exponentiation. See reading links in the section above for RSA and Extended Euclidean Algorithm.
  • Feb 1 - this week's quiz - number theory, see link above. Faculty candidate teaching demo. Continuing with number theory.
  • Jan 27 - Continuing with proofs in OneNote and BB. Introducing assignment h1. Taking the q4 logic quiz in the afternoon. Starting number theory (BB chapter 4).
  • Jan 20 - request to move the standard quiz day to be Wednesday. Nope, stick with Fridays.
  • Jan 20 - guest speaker for today, faculty candidate visiting today.
  • Jan 18 - reading assignment - Building Blocks chapters 3, 4.
  • Jan 18 - today's topic - Logic. See practice quiz above.
  • Jan 13 - q1 set so you can see your answers and the correct answers, and stats on the scores and total time taken are above.
  • Jan 13 - reading assignment - Building Blocks chapter 2.
  • Jan 13 - math notation, the graph questions. q1 math notation quiz. Continuing through math background, including material for q2 and q3 - see links above.
  • Jan 11 - note that q1 will be Friday, see above. In general for quizzes, no makeups, but you'll have a chance on the midterm to take it again.
  • Jan 11 - reading assignment - Building Blocks chapter 1. First quizzes - Friday 1-2pm.
  • Jan 11 - first day of class, syllabus and such. It is good for you to take notes.

Course Description and Content

Course Description

The catalog description for this course is: "Mathematics content that is foundational to and useful for computer science. Topics include axioms and proofs, induction, graph theory, probability, finite automata, regular expressions, Turing machines, and the Church-Turing thesis." The two main goals are (a) being able to reason about computation (mathematical objects and algorithms), (b) familiarity with the topics listed in the description which are important in later courses.

Course Outline

  • We will start the course by following along in the order of Building Blocks for Theoretical Computer Science, see link above.

Learning Outcomes

  • Basic math - ability to use basic algebra, properties of numbers, rules of exponents and logarithms
  • Proofs - understanding of what a proof is, ability to use the following methods of proof as needed - direct proof / by construction, by contradiction, by induction, by decomposition
  • Logic - ability to use the rules of logic (truth tables, DeMorgan's laws, etc.) in arguments
  • Integers - can use the properties of the integers to write algorithms and reason about their correctness
  • Sets, relations, functions - can apply the definitions of these concepts in proofs
  • Graphs, trees - understanding of standard definitions related to graphs and trees, able to argue basic properties
  • Asymptotic resource analysis (big-O) - can apply the definitions of big-O notation to compare different running time formulae, to simplify expressions, and to determine the big-O running time of algorithms
  • Complexity theory - understanding of definitions of basic complexity classes (L, P, NP, PSPACE, EXP), understanding of canonical problems in each class, can reason about these complexity classes
  • Notions of infinity - understanding of difference between countably and uncountably infinite, can use these in proofs
  • Probability - knowledge of basic definitions and properties of discrete probability, can apply to the analysis of randomized algorithms and processes
  • Regular languages - understanding of DFAs, NFAs, regular expressions and ability to produce models for commonly encountered languages
  • General models of computation - understanding of Turing-complete models of computation (Turing machine, circuits, programming languages) and implications
  • Computability - can give arguments whether a given problem is computable or not (e.g., the halting problem)
  • Notation - proper use of math notation (sets, logic, functions, summations, proofs, etc.)

Grading and Assignments

We will be trying out what I am calling "achievements-based" grading. There are a series of skills, knowledge, and experiences that I want you to achieve. Your final letter grades will be based strictly on which of these you have completed. For each achievement, you can achieve the rating of incomplete, pass-, pass, pass+. The following will be our starting point for how letter grades will be assigned. I will reevaluate this throughout the term to make sure we are on track. I will also be setting the standards for pass-, pass, and pass+ for each of the achievements as we get to them in the course.

Letter Grades as of April 2 - for a rough draft of how the grades will be calculated, see the following spreadsheet and an email you will receive with a summary for you: https://cs.indstate.edu/~cs303/cs303%20grades%20letter%20grading.xlsx

D

  • Pass- or higher achievement for all of the following
  • Hello unix lab (at least 2/2)
  • Math notation (at least 80%)
  • Math bases (at least 80%)
  • Truth table proof (at least 1.5/2)
  • Proof that a number is irrational (at least 1.5/2)
  • Euclidean algorithm - demo of running the algorithm (at least 1.5/2)
  • We will be filling in the minimum standards here as we begin the course and start having assignments and quizzes.

C

  • Pass or higher achievement for all of the above (at least 90% on quizzes, at least 2/2 on assignment problems)
  • We will be filling in the minimum standards here as we begin the course and start having assignments and quizzes.

B

  • We will be filling in the minimum standards here as we begin the course and start having assignments and quizzes.

A

  • In addition to the above...
  • At least 1 puzzle/challenge problem solved correctly (pass rating)
  • Pass+ rating on most of the above
  • Pass or higher achievement for all of the following
  • We will be filling in the minimum standards here as we begin the course and start having assignments and quizzes.

Achievements can be earned based on quizzes, assignments, in-class work, and exams. Rather than having numerical scores for these, I will use them to mark off your achievements. Note that achievements can be "lost" if you demonstrate a skill early in the term and then demonstrate a lack of the skill later in the term. I expect this will not normally be the case, but I will continue to evaluate you based on all of the skills throughout the term.

Late Work - Assignments will generally be available to still handin for around a week after their due date. Once the solutions are posted and discussed, late submissions will no longer be graded. Quizzes will normally need to be taken on the day they are due, or perhaps within a few days of when they are due. Solutions will normally be discussed or posted within a week of their due date. Not accepting late work that is more than about a week old is in part because it takes much longer to grade quizzes/assignments that are no longer super fresh in the instructor's head, and in part to try to keep everyone in the class working on the same material.

Start Assignments and Quiz Studying Early - I suggest attempting an assignment the day it is given, or the day after, so that if you have a problem you can ask early. If you continue to have problems in trying to complete the assignment, you will have time to ask again. Many of the assignments require thought and problem solving, which takes "time on the calendar" not just "time on the clock". By that I mean that spending an hour on 3 consecutive days is likely to be more productive than trying to spend 3 hours at once on the assignment.

Expected Amount of Work - My expectation is that an average student will spend about 5-10 hours OUTSIDE of class each week (that is in addition to class time or viewing lecture videos) WORKING PRODUCTIVELY/EFFICIENTLY (not just staring at the computer) to complete their coursework for this class. Some students may spend less time than this, and some students will spend more.

This is the foundation for the rest of CS, so it definitely pays off to do your best here.

Note - please find a way to spend enough time on this class (the investment will pay off in terms of skills, being able to get a job, etc.).

Grade Meanings - The letter grades are intended to have the following rough meaning. The list of achievements needed for each was chosen with this in mind.

  • A+/A: You understand everything and probably could teach the course yourself.
  • B+/A-: You understand nearly everything, and should be all set to use this knowledge in other courses or in a job.
  • C/C+/B-/B: Some things you understand very well and others you don't (more towards the former for a B and more towards the latter for a C).
  • D-/D+/C-: You did put some effort in, and understand many things at a high level, but you haven't mastered the details well enough to be able to use this knowledge in the future.
  • F: Normally, students that get an F simply stopped doing the required work at some point.

CS-Specific Items

This section contains items that are generally the same for all CS courses (and in particular those taught by this instructor).

CS Course Policies

Note that this course follows all standard CS course policies. In particular, (a) cheating/plagiarism by graduate students results in an F in the course, (b) and there will be no makeup exams. See http://cs.indstate.edu/info/policies.html for details.

Lab Help

We have a few lab assistants who are available to help students in beginning computer science courses. Please see https://cs.indstate.edu/wiki/index.php/Unix_Lab_and_Help for details. The lab hours are in a calendar on the CS homepage, at http://cs.indstate.edu/info/index.php#lab_hours. You can join the lab when working on your programs. You can ask the lab assistants to look at your programs, and you can work with any other CS students that are there (you could use the lab as a regular meeting place to work with your classmates).

Course Announcements

Announcements regarding the course will be made both during class and via email to your @sycamores.indstate.edu email address. You should regularly check this email account or have it forwarded to an account that you check regularly. You can set the account to forward by logging into your indstate.edu email online (if you aren't able to find the option, try a different browser or search online for things like - outlook online forward email setting).

Classroom conduct

You may not use cell phones, iPods/music players, etc. during class. You should be civil and respectful to both the instructor and your classmates, and you should arrive to class a few minutes before the scheduled lecture so you are ready for lecture to begin on time. You may use your computer during class if you are using it to follow along with the examples that are being discussed. You should avoid spending time on email, Facebook, work on other courses, etc. during the lecture for this class (be fully present wherever you are, make the most of each experience).

Academic Integrity

Please follow these guidelines to avoid problems with academic misconduct in this course:

Homework: You may discuss the homework assignments, but should solve and finish them on your own. To make sure you are not violating this, if you discuss with someone, you should DESTROY any work or evidence of the discussion, go your separate ways, SPEND at least an hour doing something completely unrelated to the assignment, and then you should be able to RECREATE the program/solution on your own, then turn that in. If you cannot recreate the solution on your own, then it is not your work, and you should not turn it in.

Note on sources: if you use some other source, the web or whatever, you better cite it! Not doing so is plagiarism.

Exams: This should be clear no cheating during exams. Each instructor has different rules for what is allowed on exams in terms of notes, etc. If not noted otherwise, you should assume that a quiz or exam is closed notes, no computer, no calculator.

Projects: You should not copy from the Internet or anywhere else. The project should be your own work. It will be fairly obvious to me if you do copy code from the Internet, and the consequences will be at the least a 0 on the project. If cheating is observed, you will at the least receive a 0 for the assignment (and may receive an F for the course), and I will file a Notification of Academic Integrity Violation Report with Student Judicial Programs, as required by the university's policy on Academic Integrity. A student who is caught cheating twice (whether in a single course or different courses) is likely to be brought before the All University Court hearing panel, which can impose sanctions up to and including suspension/expulsion. See http://www.indstate.edu/sjp/docs/code.pdf and http://www.indstate.edu/academicintegrity/ for more information.

Please ask the instructor if you have doubts about what is considered cheating in this course.

Office hours (using Teams)

Office hours will be through Microsoft Teams by default. If you would like to meet in person you should reserve an appointment using http://cs.indstate.edu/jkinne-meeting to reserve an in person meeting with Jeff Kinne. I am normally in my office during my listed office hours, but by making an appointment you can be more certain. For meeting through Teams, you should start Teams in your browser or start the application. You should be logged in using your ISU credentials. Once you have Teams open you can message me to ask me questions or to ask to talk. We can use Teams to message (better than emailing back and forth repeatedly if you have questions about something that you just want to write about) or to talk and share screens (e.g., to take a look at your code). I normally have Teams open on my computer all of the time, including during my office hours. During my office hours I will normally reply right away; at other times I will reply when I get a chance.

Canvas

The course has a canvas site. Click https://indstate.instructure.com/ to go to canvas. You should see this course listed under your courses for the current term. If you don't you may need to click on the Courses icon and then click the "All courses" link. The canvas site is used for giving you your grades, for quizzes/exams, and for getting to online lectures (which are done using Zoom). Announcements will be sent through canvas and to your university email. Links and such will be kept on this website.

Lectures (using Zoom)

Here at ISU section numbers starting with the number 3 (e.g.3xx: 301, 302, etc.) are generally online sections. There are 2 types of online sections, synchronous online and asynchronous online. Sections that are synchronous should be joined at the regularly scheduled time of the course, whereas sections that are asynchronous generally keep up with the material independently without regularly scheduled meetings. In general async sections are more difficult to stay on top of, and require a great deal of self-discipline (it is much easier to think "I can watch the videos tomorrow" and just get behind). So if you are in one of these sections make sure you get off to a strong start, and ask for help sooner rather than later. If you are in an online section, check your course schedule for course meeting times; if you have a meeting time, then your section is synchronous, otherwise it is asynchronous (or there is an error in the system).

This course has a 301 section (synchronous online) and 001 section (face to face). Students in either section can participate in whatever way you need to.

For ISU's links to information on getting started with Zoom, see https://indstate.teamdynamix.com/TDClient/1851/Portal/KB/ArticleDet?ID=107534. You can also see the information linked at https://www.indstate.edu/services/student-success/cfss. You will get to the lectures for this course by going to Canvas, select this course, click Modules on the menu on the left, and click on the Zoom module. Once there you should see a schedule of lectures and be able to view recorded lectures. Note that you should install the Zoom application for your computer, and you will need to be logged into to Zoom with your ISU credentials to be able to connect. Also note that the lectures are recorded and only available to those in our class. Recorded lectures normally appear later the same day as the lecture.

Note that if you have not used Zoom with your ISU account previously, you need to go to https://indstate-edu.zoom.us and login with your ISU email address and password to get it setup.

Participating online

If you are participating online, please see the information at https://www.indstate.edu/services/student-success/cfss about participating in online courses. You are expected to either join lectures live through Zoom or watch the recordings once they are available. You will complete assignments, quizzes, and exams on the same schedule as the rest of the class. For quizzes and exams you will normally have a 24 hour period during which to take the quiz/exam (note that different students will have slightly different questions and any communication between students about quiz/exam content is academic misconduct).

So also the General Information section at the top of this page for setting up a normal check-in time with the instructor.

ISU Required Syllabus Items

The items in this section are required and are the same for every ISU course.

COVID-19 Information

Information specific to CS courses - Start of Term Announcements

Standard ISU language required in all syllabi (read this all once, then skim for your other courses)...


Students are expected to adhere to course attendance policies, as stated in the course syllabus. Documented COVID-related absences will be treated like any other serious medical issue. Following University policy, students with a documented, serious medical issue must contact the Office of the Dean of Students for assistance. The Office of the Dean of Students will supply documentation for faculty. Students with a documented serious medical issue should not be penalized and will be given a reasonable chance to complete exams or assignments. Once notification is made, faculty will make reasonable efforts to accommodate the student’s absence and will communicate that accommodation directly to the student. Please note that faculty are not required to accommodate a serious medical issue with virtual content options, like streaming or recorded lectures. To avoid the potential of missing significant class time, students are strongly encouraged to receive the COVID vaccination that has been made available on campus. For more information about the vaccines or to find a vaccination site, go to: https://ourshot.in.gov. The ISU Health Center also administers COVID-19 vaccines by appointment.

Students should contact the Office of the Dean of Students with questions by calling 812-237-3829.

The information provided in this section of the syllabus is subject to modification based on guidance by public health authorities. Changes to Covid-related policies or updated information will, as always, be posted on the ISU website and communicated in multiple ways.

Special Needs / Disability Services

Standard ISU language required in all syllabi...

Indiana State University recognizes that students with disabilities may have special needs that must be met to give them equal access to college programs and facilities. If you need course adaptations or accommodations because of a disability, please contact us as soon as possible in a confidential setting either after class or in my office. All conversations regarding your disability will be kept in strict confidence. Indiana State University's Student Support Services (SSS) office coordinates services for students with disabilities: documentation of a disability needs to be on file in that office before any accommodations can be provided. Student Support Services is located on the lower level of Normal Hall in the Center for Student Success and can be contacted at 812-237-2700, or you can visit the ISU website under A-Z, Disability Student Services and submit a Contact Form. Appointments to discuss accommodations with SSS staff members are encouraged.

Once a faculty member is notified by Student Support Services that a student is qualified to receive academic accommodations, a faculty member is obligated to provide or allow a reasonable classroom accommodation under ADA.

Disclosures Regarding Sexual Misconduct

Standard ISU language required in all syllabi...

Indiana State University Policy 923 strictly prohibits discrimination on the basis of: age, disability, genetic information, national origin, pregnancy, race/color, religion, sex, gender identity or expression, sexual orientation, veteran status, or any other class protected by federal and state statutes in ISU programs and activities or that interferes with the educational or workplace environment.

Title IX of the Educational Amendments of 1972 prohibits discrimination based on sex, including sexual harassment. Sexual harassment includes quid pro quo harassment, unwelcome verbal or physical conduct, sexual assault, dating violence, domestic violence, and stalking.

If you witness or experience any forms of the above discrimination, you may report to:

Office: Equal Opportunity & Title IX; (812) 237-8954; Rankin Hall, Room 426
Email: ISU-equalopportunity-titleix@mail.indstate.edu
Online: https://cm.maxient.com/reportingform.php?IndianaStateUniv&layout_id=10

Disclosures made to the following confidential campus resources will not be reported to the Office of Equal Opportunity and Title IX:
ISU Student Counseling Center: (812) 237-3939; Gillum Hall, 2nd Floor
Victim Advocate: (812) 237-3829; HMSU 7th Floor
UAP Clinic/ISU Health Center: (812) 237-3883; 567 N. 5th Street