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 (Fitchstyle 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:
 Math Foundations of Informatics, 2nd Edition, E. Haghverdi,
ClassPak Publishing, IU, Bloomington, Indiana, 2007. ISBN: 1421106973.
 Tarski's World Revised and Expanded, D. BarkerPlummer, J. Barwise and J. Etchemendy,
CSLI Publications, Stanford, 2008. ISBN13 9781575864846, ISBN10 1575864843.
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:
 Regular problems: A set of problems chosen from several sources including the textbooks above.
 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
writeup.
 Quizzes: 20%
 During each lab except for those during exam weeks there
will be a 10minute 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, closednote exam. However, you are allowed to bring your lettersize
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 lettersize 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.
