(navigation image)
Home Math Lectures from MSRI | Chinese University Lectures | UChannel | MIT OpenCourseWare | AP Courses from MITE
Search: Advanced Search
Anonymous User (login or join us)
Upload

Related Subjects

ars digita
computer science
discrete math
logic
proof techniques
recurrence relations
basic set theory

View educational material

[item image]

Readings

AX+By Puzzle
Bank Vault
Card Trick - Complete Solution
Card Trick - Generalizations
Card Trick - Hall's Theorem
Card Trick - Shyam's Outline
Card Trick - Shyam's Plan
Card Trick - Shyam's Solution
Card Trick - Solutions Trial Data
Card Trick - Weiping 53
Card Trick - Weiping 56
Card Trick Problem Set (MS Word)
Card Trick Problem Set (PDF)
Card Trick Problem Set - Solutions (PDF)
Chinese Rings
DG's Puzzle Solution
Exam #1 (MS Word)
Exam #1 (PDF)
Exam #2 (MS Word)
Exam #2 (PDF)
Exam #3 (PDF)
Exams Info (MS Word)
Final Exam (MS Word)
Final Exam (PDF)
Handout: Intro (MS Word)
Klein's Bank Vault
Klein's Puzzle
Klein's Puzzle - Origin
Lecture Notes (MS Word)
Lecture Notes (PDF)
MCohen
More Bank
More Bank Vault
More Weighing Puzzle
Ordered Subsets
Ordered Subsets II
Pairs in Poker
Problem Set #1
Problem Set #1 (PDF)
Problem Set #1 - Solutions (PDF)
Problem Set #2 (MS Word)
Problem Set #2 (PDF)
Problem Set #2 - Solutions (PDF)
Problem Set #3 (MS Word)
Problem Set #3 (PDF)
Problem Set #3 - Solutions (PDF)
Problem Set #4 (MS Word)
Problem Set #4 (PDF)
Problem Set #4 - Plus (PDF)
Problem Set #4 - Solutions (PDF)
Problem Set #5 (MS Word)
Problem Set #5 (PDF)
Problem Set #5 - Solutions (PDF)
Problem Set #6 (MS Word)
Problem Set #6 (PDF)
Problem Set #7 (MS Word)
Problem Set #7 (PDF)
Problem Set #7 - Solutions
Pset Problems (MS Word)
Syllabus (MS Word)
Syllabus (PDF)
Useful Links
Weiping's Adaptive Method
Weiping's Solution
Weiping Concedes
Whole Klein Puzzle

Video Files

Lecture 1: Intro (Real player)
Lecture 2: Boolean Algebra (Real player)
Lecture 3: More logic (Real player)
Lecture 4: Sets (Real player)
Lecture 5: Diagonalization (Real player)
Lecture 6: Basic arithmetic (Real player)
Lecture 7: Chinese rings puzzle (Real player)
Lecture 8: Solving recurrence equations 1 (Real player)
Lecture 9: Solving recurrence equations 2 (Real player)
Lecture 10: Mathematical induction (Real player)
Lecture 11: Combinations and permutations (Real player)
Lecture 12: Counting Problems I (Real player)
Lecture 13: Counting Problems II (Real player)
Lecture 14: Counting Problems III (Real player)
Lecture 15: Counting Problems IV (Real player)
Lecture 16: Pigeonhole Principle (Real player)
Lecture 17: Equivalence Relations (Real player)
Lecture 18: Euclid's Algorithm (Real player)
Lecture 19: Recitation (Real player)
Lecture 20: Cryptography (Real player)

Other Files

Card Trick Problem Set - Solutions (Scheme)
Card Trick Solutions (Tex)
Course Description
Problem Set #1 (Tex)
Problem Set #1 - Solutions [Scheme]
Problem Set #1 - Solutions [Tex]
Problem Set #2 (Tex)
Problem Set #2 - Solutions (Tex)
Problem Set #3 (Tex)
Problem Set #3 - Solutions (Scheme)
Problem Set #3 - Solutions (Tex)
Problem Set #4 (Tex)
Problem Set #4 - Plus (Doo)
Problem Set #4 - Solutions (Tex)
Problem Set #5 - Solutions (Scheme)
Problem Set #5 - Solutions (Tex)
Problem Set #6 - Solutions (Scheme)
Problem Set #7 - Solutions (Scheme)

All Files: HTTPS

Resources

Bookmark

Course 02: Discrete Mathematics (Arsdigita University) (2000)

This course covers the mathematical topics most directly related to computer science. Topics include: logic, relations, functions, basic set theory, countability and counting arguments, proof techniques, mathematical induction, graph theory, combinatorics, discrete probability, recursion, recurrence relations, and number theory. Emphasis is placed on providing a context for the application of the mathematics within computer science. The analysis of algorithms requires the ability to count the number of operations in an algorithm. Recursive algorithms in particular depend on the solution to a recurrence equation, and a proof of correctness by mathematical induction. The design of a digital circuit requires the knowledge of Boolean algebra. Software engineering uses sets, graphs, trees and other data structures. Number theory is at the heart of secure messaging systems and cryptography. Logic is used in AI research in theorem proving and in database query systems. Proofs by induction and the more general notions of mathematical proof are ubiquitous in theory of computation, compiler design and formal grammars. Probabilistic notions crop up in architectural trade-offs in hardware design.

Instructor: Shai Simonson

Text: Discrete Mathematics and its Applications, Rosen.

Reference: Concrete Mathematics, Graham, Knuth and Patashnik

Requirements: Four exams, seven problem sets, one research problem set.


This educational material is part of the collection: ArsDigita Computer Science University

About this Item

Date: 2000


Write a review
Downloaded 54,471 times
Reviews
Average Rating: 4.43 out of 5 stars4.43 out of 5 stars4.43 out of 5 stars4.43 out of 5 stars4.43 out of 5 stars

Reviewer: Laraine_Lynn - - April 15, 2012
Subject: request for zip file?
Can the uploader make a zip file of all contents for those of us with slow DSL speed? Thanks

Reviewer: ashish verma - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - September 17, 2011
Subject: Download
How to download

Reviewer: dpereira - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - June 19, 2011
Subject: Thanks
Many many thanks for sharing your knowledge!
All the best,
Diego
Bogotá - Colombia

Reviewer: silentbang - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - December 29, 2010
Subject: perfect
thanks for delivering such comprehensive and intereting lectures

Reviewer: Mena Rezk - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - September 17, 2009
Subject: It is very good
This course is very good for all people ,Thanks alot.

Reviewer: liuzhi - 3.00 out of 5 stars3.00 out of 5 stars3.00 out of 5 stars - May 29, 2009
Subject: thanks
thanks

Reviewer: Mano Priya - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - May 5, 2009
Subject: Help me to dwonload materials
How can i download materials. Please help me out

Reviewer: group_sub - 4.00 out of 5 stars4.00 out of 5 stars4.00 out of 5 stars4.00 out of 5 stars - October 24, 2008
Subject: Course 02: Discrete Mathematics (Arsdigita University)
Kindly tell how to download this lecture...

Reviewer: waacoc0 - 4.00 out of 5 stars4.00 out of 5 stars4.00 out of 5 stars4.00 out of 5 stars - October 13, 2008
Subject: .
how can i download this?

Reviewer: bellrus - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - August 6, 2008
Subject: A good material
Funny lecturer.
Thank you so much.

Reviewer: vse - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - December 13, 2007
Subject: Very Good Course
Shai is a good intructor and teaches the material in a fun way.

I found a truth table tester that may help you train the concepts from lecture 1. It is in German but that shouldnt matter for that topic.
Here is the url http://www.uni-due.de/~gph120/wahrheitstafeln/ .

Reviewer: sivam.iitm - 4.00 out of 5 stars4.00 out of 5 stars4.00 out of 5 stars4.00 out of 5 stars - August 23, 2007
Subject: its a greeeeeeeeeeeeet work
thanks for giving a valuable informaaaaaaaaaaaation

Reviewer: wackyStudent - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - August 19, 2007
Subject: Great refresher
Wish I had knew this site before I took this class, but I downloaded it since my professor didn't cover half this stuff.

Reviewer: ramboisme - 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars - May 16, 2007
Subject: video lectures are really good
video lectures are really good. I am so glad to find them here.

Reviewer: Vaasu - 2.00 out of 5 stars2.00 out of 5 stars - February 12, 2007
Subject: GooD
Good Book


Terms of Use (10 Mar 2001)