Logic, Sets and Functions
CS 313k



Dr. Mary V. Eberlein
Department of Computer Sciences
The University of Texas at Austin


















Who Am I?

    • 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

  • 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?

  •  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:
    • email
    • 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