Foundations of Logical Thought

CS 301k

Dr. Mary Eberlein

Department of Computer Science

The University of Texas at Austin

*Who Am I?*

CS 301k

Dr. Mary Eberlein

Department of Computer Science

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 with two children, two dogs and a cat

- 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-- 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."

- 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.
- You learn by doing.

- Ask for help:
- instructor, TAs, proctor

- 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.

CS
301k:
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 301k
Prerequisites

- 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 or year 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/cs301k/
- 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
- Introduce topics, examples, Q&A

- NO laptops or phones out during lecture
- discussion section
- with teaching assistant on Thursdays
- Q&A on assignments
- practice problems
- quizzes very likely
- discussion board
- piazza

- 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

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

- done individually

- homework assignments must be done alone
- Sharing solutions is cheating --> F in course
- graded by TA or proctor
- scores posted on blackboard
- discussion assignments
- discussion assignments are due at the beginning of your Thursday discussion section
- sometimes collected and graded as a take-home quiz
- exams
- two midterms and a final exam
- study materials and old exams posted on class webpage
- scores posted on blackboard