lecture-01 - CS313K: Logic, Sets, and Functions J Strother...

Info iconThis preview shows pages 1–9. Sign up to view the full content.

View Full Document Right Arrow Icon
CS313K: Logic, Sets, and Functions J Strother Moore Department of Computer Sciences University of Texas at Austin (Lecture 1) 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Syllabus http://www.cs.utexas.edu/users/moore/classes/cs313k 2
Background image of page 2
The Last Real Lecture This will be the last real lecture you get from me! The typical class will be you ask me questions I ask you questions (via iClicker quizzes) I talk about whatever your answers bring to mind 3
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Read the Book “Lecture! Then ask questions!” – Anonymous “You can’t ask questions about things you haven’t talked about.” – Anonymous 4
Background image of page 4
Read the Book! You are supposed to have read the assigned material before class . This is not high school. Read the material before class. I’m here to answer your questions, not read to you. 5
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Why Do We Study logic? sets? functions? 6
Background image of page 6
How do you know your programs are right? What does “right” even mean? If you’re building a bridge, putting a satellite into orbit, or balancing a beam you can use algebra and calculus to calculate whether your plan will work. 7
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
: Commensurable magnitudes are in equilibrium at distances reciprocally proportional to the weights. Archimedes m 1 m 2 x 1 x 2 m 1 × x 1 = m 2 × x 2 . 8
Background image of page 8
Image of page 9
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 42

lecture-01 - CS313K: Logic, Sets, and Functions J Strother...

This preview shows document pages 1 - 9. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online