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: Wed. and Fri. 5pm - 6pm, 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. 1:30pm - 2:30pm 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.

Course materials

Section 1:

Lecture notes

Course discussion site: Piazza

Quizzes

Homeworks

Section 2:

Lecture notes

Course discussion site: Piazza

Quizzes

Homeworks

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