date:
HW:
date:
HW:
date:
HW:
date:
HW:
date:
HW:
May 15: ???
HW: None.
May 16: Modern Technology Reflection
HW: Submit questions for the Future Q&A.
May 17: Othello Tournament!
HW: Submit questions for the Future Q&A.
May 18: Future Q&A
HW: None.
May 19: Senior Finals begin.
HW: None.
May 8 - May 12: Reversi Project, week 3
HW: Your lastNamePlayer.java is due Friday.
May 1 - May 5: Reversi Project, week 2
HW: Your lastNamePlayer.java is due Friday of next week.
April 24 - April 28: Reversi Project, week 1
HW: Submit a working version of RandomPlayer.java by end-of-day Friday.
April 17: The Halting Problem, solved
HW: Read Godel and Turing (Penrose) (two days)
Prepare for Unit 10 Test
April 18: Ramifications of the Halting Problem
HW: Read Godel and Turing (Penrose)
Prepare for Unit 10 Test
April 19: Penrose Seminar
HW: None.
April 20: Unit 10 Review
HW: None.
April 21: Unit 10 Test
HW: None.
April 10: Finish the Polymorphism Lab
HW: None.
April 11: Turing Machine
HW: Turing Machine Exercises (two days)
April 12: Turing Machines, continued
HW: Turing Machine Exercises
April 13: The Universal Turing Machine and Von Neumann Architecture
HW: None.
April 14: An Attempt at the Halting Problem
HW: Read Godel and Turing (Penrose)
April 3: Polymorphism Lab, continued
HW: None.
April 4: Polymorphism Lab, continued
HW: None.
April 5: Polymorphism Lab, continued
HW: None.
April 6: Polymorphism Lab, due
HW: None.
April 7: No school.
HW: None.
March 27: TBD
HW: Email Mr. Redmond your takeaways from the posted reading.
March 28: Porphyry and Categorization; Inheritance
HW: Inheritance Exercises
March 29: Polymorphism
HW: Polymorphism Exercises (two days)
March 30: Polymorphism work day
HW: Polymorphism Exercises
March 31: Polymorphism Lab
HW: None.
March 20: Functions and Relations
HW:
March 21: Identities and Multiple Quantifiers
HW:
March 22: Specific Quantities
HW:
March 23: DeLancey Chapter 15 Review
HW: Study!
March 24: Logic Quiz
HW: Read Porphyry - On Aristotle
March 6:Objects
HW: Modifying Objects Worksheet (Starter Code version 1 and version 2)
March 7: Objects in Memory.
HW: Memory Exercises
March 8: Drive setup for next quarter.
HW: Make a Gmail account and email Mr. Redmond from it, if not done already.
March 9: DC Trip
HW: None.
March 10: DC Trip
HW: None.
February 27: Common Sentence Forms with Quantifiers, finish Unit 7 Test
HW: DeLancey 12.4 # 3, 4
February 28: The Square of Opposition
HW: Square of Opposition Exercises (two days).
March 1:Practice Day
HW: Square of Opposition Exercises.
March 2: Reasoning with Quantifiers
HW: Read the sample proof provided on pages 178-179 (starts with “All whales…”)
DeLancey 13.4 # 1a, 1d
Prepare for logic quiz (two days)
March 3: Practice Day
HW: DeLancey 13.4 # 1b, 1c, 1e, 2, 3
Prepare for logic quiz
February 20: No school (President's Day)
HW: None
February 21: Complete the NP/NP-Complete Lab.
HW: Make sure the lab is submitted.
February 22: Unit 7 Test
HW: None.
February 23: Names and Predicates
HW: DeLancey 11.5 # 1, 2
February 24: "All" and "Some"
HW: DeLancey 12.4 # 1, 2
February 13: Recursion Lab, solved.
HW: None.
February 14: Introduction to P/NP
HW: None.
February 15: NP-Complete
HW: Read over the lab materials for tomorrow.
February 16: NP-Complete Lab
HW: None.
February 17: NP-Complete Lab, continued
HW: Make sure the lab code is submitted.
February 6: Recursion
HW: Recursion Exercises.
February 7: Recursion Practice
HW: More Recursion Exercises (two days).
February 8: Recursion Practice, continued
HW: More Recursion Exercises (two days).
February 9: Merge Sort
HW: None.
February 10: Recursion Lab
HW: See if you can solve the problem!
January 30: Searching Lab completed; Selection Sort
HW: None
January 31: Selection Sort, Bubble Sort
HW: Modified Sorts (two days)
February 1: Modified Bubble Sort; Insertion Sort
HW: Modified Sorts
February 2: Intro to Recursion
HW: None.
February 3: Intro to Recursion, continued
HW: None.
January 16: No School (MLK Day)
HW: None.
January 17: Complexity review; start the Searching Lab
HW: None.
January 18: Finish the Searching Lab
HW: Make sure the Searching Lab is submitted.
January 19: Exploring Sorting; Selection Sort if there is time.
HW: Finish the Exploring Sorting worksheet.
January 20: Ethics Seminar: Data Collection
HW: None.
January 9: Arrays Lab
HW: Complete the Unit 5 Take-Home Test (four days).
January 10: Arrays Lab, continued.
HW: Submit the Arrays Lab if not done in class.
Complete the Unit 5 Take-Home Test (three days).
January 11: Searching
HW: Finish the Exploring Searching worksheet if not finished in class.
Complete the Unit 5 Take-Home Test (two days).
January 12: Linear and Binary Search
HW: Complete the Unit 5 Take-Home Test.
January 13: Complexity
HW: Finish the Complexity Worksheet.
January 2: No School.
HW: None.
January 3: Arrays.
HW: Arrays exercises (two days).
January 4: Arrays and Reference Types
HW: Arrays exercises.
January 5: The Sieve of Eratosthenes
HW: None, but make sure you know where this handout is for next week.
January 6: Strings; Begin working on Unit 5 Take-Home Test
HW: Complete the Take-Home test (seven days).
December 12: Review Day
HW: Study!
December 13: Study!
HW: Review Day
December 14: Finals, periods 1 and 2.
HW: None.
December 15: Finals, periods 3 and 4.
HW: None.
December 16: Finals, periods 5 and 6.
HW: Enjoy your break!
December 5: Methods Practice
HW: Finish the Thinking Methodically worksheet
December 6: Methods Practice, cont; Comments and Javadocs
HW: None
December 7: Comments and Javadocs
HW: Finish Methodizing Words.java (two days).
December 8: Arrays; ScoreLetter() and ScoreWord() Methods
HW: Finish Methodizing Words.java.
December 2: Words.java review
HW: Study.
November 28: Regex Lab
HW: Continue developing regular expressions by hand to solve lab problems.
November 29: Regex Lab
HW: Continue developing regular expressions by hand to solve lab problems.
Work on the Unit 4 take-home test (seven days).
November 30:
HW: Submit the Regex lab.
Work on the Unit 4 take-home test (six days).
December 1: Methods - in-class code
HW: Madness in our Methods worksheet
Work on the Unit 4 take-home test (five days).
December 2: Methods Practice
HW: Thinking Methodically worksheet
Work on the Unit 4 take-home test (four days).
November 21: Regex Lab.
HW: Attempt to write some of the regexs the lab asks for by hand.
November 22: Regex Lab.
HW: Attempt to write some of the regexs the lab asks for by hand.
November 23: No school.
HW: None.
November 24: No school.
HW: None.
November 25: No school.
HW: None.
November 14: Regular Expressions Practice
HW: More Regular Expressions
Complete the reading for Friday's seminar by Friday
November 15: Deterministic Finite Automate (DFAs)
HW: DFAs Worksheet (Due Thursday)
Complete the reading for Friday's seminar by Friday
November 16: More DFAs, NFAs, and Kleene's Theorem
HW: DFAs Worksheet (Due Thursday)
Complete the reading for Friday's seminar by Friday
November 17: DFA Practice Day
HW: Complete the reading for Friday's seminar by Friday
November 18: Seminar: Data Collection
HW: None.
November 7: Review Day
HW: Study for the test!
November 8: Unit 3 Test
HW: None.
November 9: Formal Languages reading and discussion
HW: Finish reading Formal Languages
November 10: Regular Expressions
HW: Regular Expressions Worksheet
November 11: No School (Veteran's Day)
HW: None.
October 31: Finish While Loops Lab
HW: Ensure the lab is properly uploaded to Google Drive.
November 1: Review Day
HW: Study for next week's test.
November 2: Iteration Lab
HW: None.
November 3: Iteration Lab, continued
HW: None.
November 4: Finish Iteration Lab
HW: Ensure the lab is properly uploaded to Google Drive.
October 24: Revamping the submission system (hopefully for the last time)
HW: Email Mr. Redmond from the Google email you would like to use for class.
October 25: while loops
HW: while loops worksheet
October 26: Scanners and homework review
HW: correct any errors on the while loops worksheet.
October 27: while loops lab
HW: None.
October 28: while loops lab
HW: Ensure that the while loops lab is properly submitted.
October 17: for Loops
HW: Complete the for Loops worksheet
October 18: for Loops Lab
HW: None.
October 19: for Loops Lab, continued
HW: Finish the lab and make sure the files are accessible to Mr. Redmond.
October 20: while Loops
HW: Complete the while Loops worksheet
October 21: Scanners and HW review
HW: Correct any errors on the previous night's assignment.
October 3: If and Only If (Biconditionals)
HW: DeLancey 9.8 #1a-e
October 4: Using Theorems
HW: DeLancey 9.8 #2b, 2e
October 5: Exploring Iteration
HW: Submit what you have completed of the Exploring Iteration assignment
October 6: for Loops
HW: Complete the for loops worksheet
October 7: for Loops Lab
HW: None.
September 26: No school.
HW: None.
September 27: Review Day
HW: Study!
September 28: Unit 2 Test
HW: None.
September 29: Reductio Ad Absurdum
HW: Read DeLancey 8.3
DeLancey 8.4 #1a-f, 2a-g (two days)
September 30: Reductio Ad Absurdum, continued
HW: DeLancey 8.4 #1a-f, 2a-g
September 19: Logical "Or"
HW: DeLancey 7.6 # 2
Read Hillis chapter 2 (two days)
September 20: Logical "Or" Inference Rules
HW: DeLancey 7.6 # 1, 4
September 21: Circuit Boards
HW: Review circuit notes for tomorrow's lab.
Study for the upcoming test.
September 22: Rock-Paper-Scissors Circuit Diagram
HW: Finish the diagram, if not finished in class.
Study for the upcoming test.
September 23: Logic Gates
HW: Logic Gates Exercises.
September 12: Proofs Day 2 / Logical "And"
HW: DeLancey 5.6 # 1, 2
September 13: Complex Sentences
HW: DeLancey 5.6 # 3, 4 a-h
September 14: Conditional Derivations
HW: DeLancey 6.5 # 1
September 15: Tautologies and Theorems
HW: DeLancey 6.5 # 2, 3a-c
September 16: Logical "Or"
HW: DeLancey 7.6 # 2
Read Hillis chapter 2 (two days)
September 5: Labor Day
HW: None.
September 6: Seminar: Ethics of the Uber Self-Driving Car Fatality
HW: None
September 7: Hillis, Chapter 1 and Target's Marketing Models
HW: Finish Hillis Chapter 1.
September 8: Proofs
HW: DeLancey 4.5 # 2, 3
September 9: Proofs, Continued
HW: DeLancey 4.5 # 1, 4
August 29: Good Arguments
HW: Read DeLancey sections 3.1 and 3.4
DeLancey section 3.7 # 1 a-d, 2 a-d, and 5 (two days)
August 30: Other Kinds of Good Arguments
HW: Read DeLancey p. 53-55
DeLancey section 3.7 # 1 a-d, 2 a-d, and 5
August 31: Proofs
HW: DeLancey 4.5 # 2, 3
September 1: Proofs, continued
HW: DeLancey 4.5 # 1, 4
September 2: Seminar: Ethics of the Uber Self-Driving Car Fatality
HW: None. Enjoy your R&R weekend!
August 22: Review of Improved L&C Support Systems & Protocols
HW: Study for the test.
August 23: Unit 1 Test
HW: None; get rest.
August 24: Conditional Programming Lab
HW: None; get rest.
August 25: Conditional Programming Lab
HW: None; get rest.
August 26: Conditional Programming Lab
HW: None; get rest.
August 15: Data Types
HW: Data Types worksheet (two days)
Study for the upcoming test.
August 16: Review Data Types Worksheet and Exploring Conditional Programming
HW: Data Types worksheet
Study for the upcoming test.
August 17: Conditional Programming Lab
HW: Submit the Exploring Conditional Programming assignment.
Study for the upcoming test.
August 18: Conditional Programming Lab, continued
HW: Study for the upcoming test.
August 19: Conditional Programming Lab, continued
HW: Submit the Conditional Programming Lab.
Study for the upcoming test.
August 8: Seminar: The First Act of the Mind
HW: Read The First Act of the Mind by Peter Kreeft
August 9: Developing a Precise Language
HW: DeLancey 1.5 # 2, 3, 4, 6
Read The First Act of the Mind by Peter Kreeft
August 10: If-Then (Conditionals)
HW: DeLancey 2.7 # 1, 2 (two days)
Read The First Act of the Mind by Peter Kreeft
August 11: Alternate Writings of If-Then
HW: DeLancey 2.7 # 1, 2
August 12: Negation
HW: Delancey 2.7 # 3-7
August 3: Course Introduction and Expectations
HW: Read The Natures and Divisions of Logic by Daniel Sullivan (Friday)
Read syllabus with parents, return signed (Friday)
August 4: Installing BlueJ; "Hello, World!"
HW: Read The Natures and Divisions of Logic by Daniel Sullivan
Read syllabus with parents, return signed
August 5: Seminar: The Nature and Divisions of Logic
HW: Read The First Act of the Mind by Peter Kreeft