teaching machines

CS 148 Lab 6: Logical Expressions

Welcome to lab 6! 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 396: Meeting 6 – Jamf

Dear students, Today we welcome a team of panelists from Jamf to discover the software engineering process. These folks have been welcome partners. During my first summer in Eau Claire, I was looking to gain some experience with iOS, so they hired me on as Dr. Intern. They’ve hired an overwhelming number of our students. […]

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 […]

1 2 3 185