CS 1: Lecture 17 – If Diversions
Dear students, We now turn to another model of logic: Venn diagrams. In the late 1800s, logician John Venn invented a diagram for showing ideas of logic. He writes: I began at once somewhat more steady work on the subjects and books which I should have to lecture on. I now first hit upon the […]
CS 145: Lab 5 – Logical Expressions
Welcome to lab 5! If you have checkpoints from the last lab to show your instructor or TA, do so immediately. No credit will be given if you have not already completed the work, nor will credit be given after the first 10 minutes of this lab. In this lab, we’ll explore the logical operators […]
CS 1: Lecture 16 – Shortcircuiting
Dear students, Let’s start with a little number I like to call What Do This Do?. I will show some code, you will inspect it silently for a moment, and then you will argue with your neighbor about what it does. Here we go: What Does This Do? #1 public static boolean isSomething(Random g) { […]
CS 1: Lecture 15 – Truth Tables
Dear students, Today we keep asking questions about data. Let’s start with some blackboxes! Blackbox #1 Blackbox #2 Blackbox #3 Let me be frank with you. Expressing a program’s logic can get really confusing, and this is probably the spot where we make the most mistakes when writing code. There are various tools to help […]
CS 396: Meeting 5 – Graduate School
Dear students, Today, Hannah Miller of the University of Minnesota will share with us about a different sort of future: graduate school, which may lead to academia, a research scientist position, or who knows what. Hannah and I collaborated on a research project several years ago. Our mission was to build a social network for […]
CS 1: Midterm 1
See the PDF.
CS 1: Homework 3 – Trutilities – due before October 20
See the PDF. You’ll need to Team / Pull… from the template repository to get the SpecChecker.
CS 1: Lecture 14 – Logical Operators
Dear students, Our computer can now ponder our data. It can examine order and equality, two operations at the root of all decision making. Before we sign up for something, we ask ourselves if the benefit exceeds the cost. We compare two brands of pasta on price and weight. We scan the details of our […]
CS 148: Lab 5 – More Methods
Welcome to lab 5! If you have checkpoints from the last lab to show your instructor or TA, do so immediately. No credit will be given if you have not already completed the work, nor will credit be given after the first 10 minutes of this lab. Checkpoint 1 Person A types. You’ve seen Practice-It!, […]
CS 1: Lecture 13 – Casting and Relational Operators
Dear students, Today we close out our focused discussion on methods. They will never go away; we will continue to write them all throughout the semester. But I want to tie up a few loose ends having to do with types. We will begin with a little science experiment to illustrate the need (or lack […]