Logic, Sets and Functions

CS 313k

Dr. Mary V. Eberlein

Department of Computer Sciences

The University of Texas at Austin

*Who Am I?*

CS 313k

Dr. Mary V. Eberlein

Department of Computer Sciences

The University of Texas at Austin

- Education

- Undergrad: math major at Univ of South Alabama
- Math grad school: MS, Univ of Illinois, Champaign-Urbana
- CS grad school: PhD, University of Tennessee

- Family
- Married to Scott
- Two children, Nathan and Lily

- Professional
- Taught at Tennessee Technological University for a year after graduation from the other UT
- Worked at small software engineering company in Knoxville for several years
- Lecturer at
UT-Austin since 2000

How
to
Succeed
in
CS
313k

"I would like to offer some advice about how you can best learn [this subject]. You will learn the most by actively working exercises. I suggest that you solve as manyas you possibly can. After working the exercises your instructor has assigned, I encourage you to solve additional exercises..."

-- Kenneth H. Rosen, in foreword of his textbook Discrete Mathematics and Its Applications

"The key question to keep asking is,

Are you spending your time on the right things? Because time is all you have."

-- Randy Pausch, The Last Lecture

"I would like to offer some advice about how you can best learn [this subject]. You will learn the most by actively working exercises. I suggest that you solve as manyas you possibly can. After working the exercises your instructor has assigned, I encourage you to solve additional exercises..."

-- Kenneth H. Rosen, in foreword of his textbook Discrete Mathematics and Its Applications

"The key question to keep asking is,

Are you spending your time on the right things? Because time is all you have."

-- Randy Pausch, The Last Lecture

- Do the exercises, rework the examples and take your own notes
- You cannot learn to write proofs and understand sets and relations by just listening in class and reading the text!
- Don't just look at the exercises - do them.
- Ask for help:
- instructor, TAs, proctors, tutor
- other students (not on homework assignments!)

- Re-work in-class examples on your own.

- Experiment. Try a different proof technique and see
what happens.

- Come to Class. Pay Attention. Participate.
- Study regularly - most will need to invest at least 6-10 hours a week outside of class.
- Do the reading assignments.

- Start homework assignments early - most of your
learning comes from working on the homework and other exercises.

- Do the practice problems. Complete your discussion
assignment before your discussion section meeting.

- Get to know your classmates. Talk to them about the
course material and study with them.

- Come to office hours. The TAs, proctors and I will all
hold our office hours in the elements lab, PAI 5.38 (though you may
sometimes have to look for me in the conference room next door)

CS
313k:
A
First
Theory
Course for CS Majors

What Do We Cover?

What Do We Cover?

- Problem-solving and thinking abstractly
- Fundamentals for computer science theory
- Mathematical proof techniques
- direct proof
- indirect proof
- proof by contradiction
- existence proof
- mathematical induction
- Propositional and predicate logic
- Sets
- Relations
- Functions

CS 313k
Prerequisites

- Formal prerequisite: differential calculus (Math 408c
or 408k)

- I assume you have basic computer skills:
- navigate the web
- I assume that you are comfortable with mathematical
definitions like those you have seen in calculus (e.g., limit of a
function) and mathematical basics (e.g., factoring, definition of
factorial, rules of exponentiation)

- I assume that you have NEVER written
a proof

Course Materials
and Procedures

- This is very important!
- If this is your first semester in college, you may be surprised at how much responsibility is placed on you for knowing what to do in a class.
- Read the information on the course webpage and the
syllabus carefully, so that you know what is expected in this
class.

- website
- www.cs.utexas.edu/~eberlein/cs313k/cs313k.html
- most class materials are on website: class schedule, assignments, study materials, link to discussion board
- schedule
- schedule of class topics
- reading assignments
- links to in-class slides
- discussion meeting assignments
- syllabus
- very important
- like a contract between instructor and students
- class policies
- textbook
- required
- reading assignments and practice problems
- lecture
- MWF with instructor
- Q&A in class, not just lecture
- NO open laptops in lecture
- discussion section
- with teaching assistant on Thursdays
- Q&A on assignments
- practice problems
- quizzes very likely
- discussion board
- Blackboard

- post questions about class procedures and material
- answer classmates' questions
- announcements from me
- NO homework solutions or partial solutions are allowed on board
- NO discussion assignment solutions on the board

- assignments
- posted on the course webpage
- typically an assignment is due every week

- done individually

- individual assignments must be done alone
- Sharing solution code is cheating --> F in course
- graded by TA or proctor
- scores posted on egradebook
- exams
- two midterms and a final exam
- study materials and old exams posted on class webpage
- scores posted on blackboard