Info I201
Mathematical Foundations of Informatics
Summer I 2013



Instructor
Esfandiar Haghverdi
Lindley Hall 330C
E-mail:ehaghver@indiana.edu

Office Hours: Monday 11:30-12:30 and by appointment

   

Lectures/Lab
MTWR/ TR
09:30-11:10 am/ 11:30 am-12:20 pm
Room: I2 130/ I 109

 

Home

Weekly schedule


Description: An introduction to methods of analytical, abstract, and critical thinking; deductive reasoning; and logical and mathematical tools used in information sciences. The topics include propositional and predicate logic, natural deduction proof system, sets, functions and relations, proof methods in mathematics, mathematical induction, and graph theory. Credit given for only one INFO I201, INFO H201.


Prerequisite:
Math M118, and Info I101.


Syllabus:

  • Propositional Logic
    • Truth tables
    • Truth trees
    • Checking tautologies
    • Logical equivalences
    • Consistent sets of formulas
    • Arguments and validity
    • Translation
    • Formal proofs (Fitch-style natural deduction)
  • Sets
    • Cartesian Product
    • Power set
    • Set operations
    • Set identities
  • Predicate Logic
    • Formulas
    • Meaning
    • Validity
    • Translation
  • Induction and Recursion
    • Weak Induction
    • Strong Induction
    • Structural Induction
    • Recursive Definition
  • Functions and Relations


Textbooks:

  1. Math Foundations of Informatics, 2nd Edition, E. Haghverdi, ClassPak Publishing, IU, Bloomington, Indiana, 2007. ISBN: 1-4211-0697-3.
  2. Tarski's World Revised and Expanded, D. Barker-Plummer, J. Barwise and J. Etchemendy, CSLI Publications, Stanford, 2008. ISBN-13 978-1-57586-484-6, ISBN-10 1-57586-484-3.

Handouts and Homework: All handouts and homework assignments will be posted on Oncourse.

Associate Instructor: Enrique Areyan
Office hours: TBD

Grading:

  • Homework assignments: 20%
    • There will be weekly homework.
    • Each homework will consist of the following parts:
      1. Regular problems: A set of problems chosen from several sources including the textbooks above.
      2. Computer problems: A set of problems chosen from several sources that require the use of the software package Tarski's World.
    • Homework will be assigned on T/R and will be due back the R/T after, in the lab.
    • Solutions must be written LEGIBLY.
    • It is encouraged to discuss the problem sets with others, but everyone needs to turn in a unique personal write-up.
  • Quizzes: 20%
    • 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.
    • The quizzes combined count more than a midterm.
    • There will be NO make up quizzes. However, the lowest quiz grade will be dropped.
    • 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.
    • Computer assignments will be discussed during the lab hour.
  • Midterm I: 15%
    • Midterm I is on May 23, 2013.
  • Midterm II: 15%
    • Midterm II is on June 11, 2013.
  • Final exam: 30%.
    • Final exam is scheduled for June 13, 2013.
    • We will have a closed book, closed-note exam. However, you are allowed to bring your letter-size cheat sheet to the exam.

Ground rules:

  • I strongly advise you to attend all the classes and take good notes.
  • 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.
  • There will be NO make up midterm exams.
  • Calculators are NOT allowed during the midterm and final exams. However, you can bring a letter-size sheet with notes and formulas.
  • The final grade will be calculated according to the evaluation scheme given above and these grades will then be curved to determine your letter grades. However if you get less that 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 any thing outside the regular homeworks and quizzes will be assigned. Please plan your study strategy during the term accordingly.
  • Collaborative work:
    One of the best ways to learn new material is to collaborate in groups. You may discuss the homework problems with your classmates, and in this way make the learning process more enjoyable. However, the homework you hand in must be your own work, in your own words and your own explanation.
  • Here is the link to The Code of Student Conduct.