INTRO TO LOGIC IN COMPUTER SCIENCE (Stanford)
This course introduces students to formal logic within the context of what computers are asked to do with natural language and human understanding of the world. The sequence of this introductory course parallels and uses text by Michael Genesereth, Ph.D., of the Stanford University Computer Science Department, in addition to curriculum developed by Mrs. Frazier. Students will use logical formalism and various graphical organizers to explore the limitations of computer science today with respect to semantics, communicating human knowledge, and gaming. Each morning, Mrs. Frazier will provide instruction and modeling analysis of several cases. In the afternoon, students will apply their learning to additional cases, learning to toe the line of what computers cannot do well. These activities will generate fluency in how digital worlds work from a logical viewpoint and will generate interesting discussions on the state of design in the digital realm.
Daily Schedules: Morning Schedule: Instruction and modeling analysis of several cases 9:00 – 10:00 Teaching Session 1 10:00 – 10:10 Break 10:10 – 11:30 Teaching Session 2 Lunch 11:30 – 12:30 Afternoon Schedule: Problem solving of several cases, interactive proofs, game analysis, and more 2:30 – 1:30 Problem Session 1 1:30 – 1:40 Break 1:40 – 2:40 Problem Session 2 2:40 – 2:50 Break 2:50 – 3:30 Debrief /Sharing Detailed Syllabus for Course |
Resources: |
Intro to Logic readings, Stanford site including exercises and puzzles, and reading questions:
Chapter 1
Chapter 2 and Logic Gate Intro (classwork/notes)
Chapter 3 and Cheat Sheet
Chapter 4
Chapter 5
Chapter 6 part 1 and 2
Chapter 7
Chapter 8
Ambiguous Language Examples: Ambiguous Headlines and More Articles and Reading Questions
Peanut Allergy Case
Old Quiz using Venn Diagrams, matrices: Chapter 1 Logic Quiz and Key
First Circuit Practice, Circuit Gates Worksheet, Circuit Practice, More Logic Gate Practice, Logic Gate/TruthTable/SatisFalsifImplicQuiz
Interactive Circuit Building/Testing Tool
Semantics: Drug-Drug Interactions and Twitter Sentiment (Hate Speech), Noun Compounds & Synonyms, Irony & Oxymoron, Rumor vs. Truth, Emergency Services/Construction, Humor vs. Hate, Friend vs. Love
Fitch Proofs Practice Sheets: More Fitch Practice, Mixed Logic Practice (includes Mastermind, a little choice, mainly Fitch)
Propositional Resolution Examples: Robodog, Halloween Candy (Practice for Representation Conversion, Privacy, Propositional Resolution Exam, Chi Squared and Propositional Resolution Practice)
Propositional Resolution Practice (also option for Logic Trees)
Mixed Proof Practice: see last problem of this handout
Mastering Mastermind with Formal Logic
Mastermind Exam/Quiz Questions: Method, Logic (includes Mastermind) Practice Exam
Taxonomies and Ontologies
AURA Relations and Properties
Wolfram Alpha and Wolfram Alpha Analysis Directions
Khan Academy's Knowledge Map
Applying Ontologies and Taxonomies, Natural Language Processing and Logic: Taxon/Ontol, Relational Logic Quiz (Yeti); Text Analysis, Taxon/Ontol, Relational Logic Quiz (Baked Alaska); Taxon/Ontol, Relational Logic Quiz (Weather & Climate)
Trees and Logical Deduction: UMSE's online tool, Sorority World interactive problem
Three guided symbolic problems (Semantic Trees and Deduction)
Light Switches and Trees
Enlightenment and Prisoners Puzzles (from Stanford Logic Textbook)
Two more "cheat sheets" and some tips, examples from RPI: Decomposition Rules and Rules of KE Calculus
Logic Tree/ Propositional Resolution Practice
Safecracking Problem (from Stanford Logic Textbook)
Is Heavy Metal really so violent and morbid? (Word Cloud, Chi-Squared, and RegEx/GREP-Based Comparisons of Large Text Corpi)
Logic Film Questions (Inception)
Chapter 1
Chapter 2 and Logic Gate Intro (classwork/notes)
Chapter 3 and Cheat Sheet
Chapter 4
Chapter 5
Chapter 6 part 1 and 2
Chapter 7
Chapter 8
Ambiguous Language Examples: Ambiguous Headlines and More Articles and Reading Questions
Peanut Allergy Case
Old Quiz using Venn Diagrams, matrices: Chapter 1 Logic Quiz and Key
First Circuit Practice, Circuit Gates Worksheet, Circuit Practice, More Logic Gate Practice, Logic Gate/TruthTable/SatisFalsifImplicQuiz
Interactive Circuit Building/Testing Tool
Semantics: Drug-Drug Interactions and Twitter Sentiment (Hate Speech), Noun Compounds & Synonyms, Irony & Oxymoron, Rumor vs. Truth, Emergency Services/Construction, Humor vs. Hate, Friend vs. Love
Fitch Proofs Practice Sheets: More Fitch Practice, Mixed Logic Practice (includes Mastermind, a little choice, mainly Fitch)
Propositional Resolution Examples: Robodog, Halloween Candy (Practice for Representation Conversion, Privacy, Propositional Resolution Exam, Chi Squared and Propositional Resolution Practice)
Propositional Resolution Practice (also option for Logic Trees)
Mixed Proof Practice: see last problem of this handout
Mastering Mastermind with Formal Logic
Mastermind Exam/Quiz Questions: Method, Logic (includes Mastermind) Practice Exam
Taxonomies and Ontologies
AURA Relations and Properties
Wolfram Alpha and Wolfram Alpha Analysis Directions
Khan Academy's Knowledge Map
Applying Ontologies and Taxonomies, Natural Language Processing and Logic: Taxon/Ontol, Relational Logic Quiz (Yeti); Text Analysis, Taxon/Ontol, Relational Logic Quiz (Baked Alaska); Taxon/Ontol, Relational Logic Quiz (Weather & Climate)
Trees and Logical Deduction: UMSE's online tool, Sorority World interactive problem
Three guided symbolic problems (Semantic Trees and Deduction)
Light Switches and Trees
Enlightenment and Prisoners Puzzles (from Stanford Logic Textbook)
Two more "cheat sheets" and some tips, examples from RPI: Decomposition Rules and Rules of KE Calculus
Logic Tree/ Propositional Resolution Practice
Safecracking Problem (from Stanford Logic Textbook)
Is Heavy Metal really so violent and morbid? (Word Cloud, Chi-Squared, and RegEx/GREP-Based Comparisons of Large Text Corpi)
Logic Film Questions (Inception)
Project Requirements:
- Work must be novel (cannot simply reproduce analysis already done elsewhere).
- Relevant to a large subset of people that is appropriate for their age and a high school learning context (no sex, drugs).
- There is background knowledge about this topic such that it is easy to find "essential truths," common knowledge, and/or assumptions.
- Multiple large word-count corpi must exist; we'll be doing semantic analysis AND word cloud/GREP/chi-squared analysis.
- The overarching problem must be able to be broken down into smaller problems or relationships that can be explored, with multiple hypotheses (null and alternate).
- Students will make novel "proofs" using 2 or more of the following: Fitch Proof, Propositional Resolution, Logic Tree, Incomplete Induction (proof through instantiation).
- An existing digital tool will be used to "check work" in this project, but the tool need not work well. More on that later! :)
Project Review/Planning Document
Presentation Submission Form (form is closed)
Final Survey for Course