CSE 260 Discrete Structures in Computer Science

Spring 2013

Description

Propositional and first order logic. Equivalence, inference and method of proof. Mathematical induction, diagonalization principle. Basic counting. Set operations, relations, functions. Grammars and finite state automata. Applications to computer science and engineering.

Instructor: Juyang (John) Weng
Office: 3144 Engineering Building; phone: 353-4388; e-mail: weng@cse.msu.edu
Office hours: Mon. and Wed. 11:40am - 12:30pm, and by appointments
Lectures:
Section 1: 10:20am-11:40am, Mondays and Wednesdays, room 1234 Engineering Building
Section 2: 03:00pm-04:20pm, Mondays and Wednesdays, room 2243 Engineering Building
Recitations:
Section 1: 10:20am-11:40am, Fridays, room 2243 Engineering Building
Section 2: 03:00pm-03:50pm, Fridays, room 2243 Engineering Building
Text: Discrete Mathematics and its Applications, 7th edition  (Kenneth H. Rosen; 2012)
TA: Mr. Dennis Ross
Office: 3203 Engineering Building; e-mail: rossdenng@cse.msu.edu
Office hours: Tue. and Wed. noon - 1:00pm, and by appointments
 
 
Syllabus:
Section 1
Section 2

Course arrangement

Class exercises, homeworks, quizzes, exam 1, exam 2, final exam.

Back To Weng's Home Page: http://web.cse.msu.edu/~weng/