I201: Mathematical foundations of Informatics

Fall Semester 2008
Instructor: Haixu Tang
Office: INFO 225
Phone: 812-856-1859
Email: hatang@indiana.edu
Office hour: MW 2-3pm and by appointment


Shedule for final exam: 12:30-2:30 p.m., Wed., December 17.

This page is subject to change during the semester. Please check this webpage frequently for any changes!

27336 Lecture: MW 11:15am-12:30pm, BH005
27337 Lab Session 1: R 4:40-5:30pm, SB 230 (AI: Geoffery Chirgwin)
27339 Lab Session 2: F 11:15am-12:05pm, LH 023 (AI: Erik Wennstrome)
27338 Lab Session 3: F 2:30-3:20pm, LH 025 (AI: Lusha Wang)

Assistant instructors:

Erik Wennstrome
Email: ewennstr@indiana.edu
Office: Ph.D Office, 3rd floor, INFO Building 2 (919 E. 10th St.)
Office Hour: Thursdayss 2:30-3:30pm and by appointment
Lusha Wang
Email: luswang@indiana.edu
Office: Ph.D Office, 3rd floor, INFO Building 2 (919 E. 10th St.)
Office Hour: Thursdays 1:00-2:00pm and by appointment

Geoffery Chirgwin
Email: chirgwin@umail.iu.edu
Office: Room 001, Basement, INFO Building 2 (919 E. 10th St.)
Office Hour: Thursdays 11am-noon and by appointment

Textbook:
(Required) Mathematical Foundations of Informatics, 2nd Edition, E. Haghverdi
ClassPak Publishing, IU, Bloomington, Indiana, 2007. ISBN: 1-4211-0697-3 (MFI).

(Recommended) The Language of First-Order Logic, Jon Barwise and John Etchemendy
CSLI Lecture Notes Number 23, Third Edition, 1993. ISBN: 0-937073-99-7 (LFL).

Grading: HW assignments (25%), Quizzes (25%) mid-term exam I (15%), mid-term exam II (15%) final exam (20%)

Ground rules:

  • Link to The Code of Student Conduct of IU.
  • You should attend all the classes and take notes.
  • You are required to register in one lab session and are strongly encouraged to attend all the meetings.
  • Some lecture notes and all homework will be posted in this website. Please check the website frequently.
  • NO make up quizzes. However, the lowest quiz grade will be dropped.
  • Late homework will NOT be accepted. However, the lowest homework grade will be dropped.
  • NO make up exams (midterm and final).
  • Calculators are NOT allowed during the midterm and final exams. However, you can bring one piece of paper with notes.
  • The final grade will be curved to determine your letter grades. However if you get less than 25/100 on the final exam or your total grade is less than 45/100 your final grade will automatically be an F.
  • NO Incomplete grades will be given under any condition.
  • NO extra work, extra credit or anything outside the regular homeworks and quizzes will be assigned.
  • You may discuss the homework problems with your classmates. However, the homework you hand in must be your own work, IN YOUR OWN WORDS and your own explanation.
  • (Marking Errors) If during the semester you feel there has been a mistake made in your grading by the AIs, please contact them first. If after meeting with the AIs you still feel there is a problem with the marking, please contact me.

    EXAMS: Two midterm exams and one final will be closed book. No calculators are allowed, but you can bring a piece of paper with notes.

    HOMEWORK ASSIGNMENTS: There will be weekly homework. Each homework will be assigned on Wed (posted on this website before class) and will be due the next Wed in class. The first homework will be collected on 9/10 Wed. Solutions should be written LEGIBLY, and the papers must be STAPLED. NO Late homework will be accepted.

    QUIZZES: During each lab except for those during exam weeks there will be a 10-minute quiz, based on the homework assignment due that same week. There will be NO make up quizzes. Each lab session will include a discussion of the homework problems due that same week. In addition, you are welcome to discuss any other problems you need to with your AI.

    Midterms are scheduled on 10/13 (Mon, week 7) and 11/12 (Wed, week 11) in class (~1hr).


    Tentative syllabus [This is subject to minor changes!]:

     

    Week
    		 Date
    		 Contents
    		 Lecture notes
    1
    		 9/1 Mon.
    		 No meeting (labor day)



    		9/3 Wed.
    		 Introduction to the class;
    Propositions;
    Translation to propositions
    		 MFI pp9-10; pp 36
    Homework 1
    2
    		 9/8 Mon.
    		 Truth table MFI pp10-16

    		 9/10 Wed.
    		 Truth trees
    		 MFI pp16-21
    Homework 2
    3
    		 9/15 Mon.
    		 Truth trees: satisfiablity
    		 MFI pp21-25

    		 9/17 Wed.
    		 Logic laws
    		 MFI pp26-30
    Homework 3
    4
    		 9/22 Mon.
    		 Argument and Validity
    		MFI pp 30-34

    		 9/24 Wed.
    		 Translation to propositional logic
    		 MFI pp.36-41
    Homework 4
    5
    		 9/29 Mon.
    		 Logic puzzles
    		 MFI pp.34-36

    		 10/1 Wed.
    		 Formal proofs
    		MFI pp.41-60
    Homework 5
    6
    		 10/6 Mon.

    Formal proofs

    		10/8 Wed.
    		 Formal proofs
    7
    		 10/13 Mon.
    		 Midterm I

    		10/15 Wed.
    		 Predicate logic: Syntax
    		 MFI pp.69-72
    8

    10/20 Mon.

    		Basic set theory
    		MFI pp.61-66

    10/22 Wed.

    		Relations
    		 MFI pp.103-107
    Homework 6
    9
    		 10/27 Mon.
    		 Functions
    		 MFI pp.99-103

    		10/29 Wed.
    		 Predicate logic revisited
    Predicate logic semantics: model and function
    Logic equivalency     		MFI pp.72-75
    Homework 7
    (Note: due on 11/10 Monday)
    10 11/3 Mon.
    		 Semantics: defining models
    		 MFI pp.76-79

    		11/5 Wed.
    		 Semantics: validity
    		 MFI pp.79-81
    11
    		 11/10 Mon.
    		 Translation to Predicate logic
    		 MFI pp82-84

    		 11/12 Wed.
    		 Midterm II
    12
    		 11/17 Mon.
    		 Mathematical induction: Principle
    		 MFI pp.91-97

    		11/19 Wed.
    		 Mathematical induction: examples
    		 Homework 8
    (Note: due on 12/3 Wed)
    13
    		 11/24 Mon.
    		 Predicate logic: formal proof

    		11/26 Wed.
    		 No meeting (Thanksgiving Day)
    14
    		 12/1 Mon.
    		 Predicate logic: formal proof
    		 MFI 85-87
    Homework 9
    (Note: due on 12/10 Wed)

    		12/3 Wed.
    		 Predicate logic: formal and informal proof MFI 87-88
    15
    		 12/8 Mon.
    		 Basic graph theory
    		 Notes (written by Prof. Steven Myers)

    		12/10 Wed.
    		 Review
    16 TBD Final Exam

    Last updated : 8/18/2008