Ưu đãi trong tuần: Nhập mã UD50 giảm 50k cho đơn từ 300k!
Trang chủ
Menu

Discrete Mathematics 1

Toán Rời Rạc 1

Toán Rời Rạc 1

Khóa học đầu tiên của bạn về Toán Rời Rạc và kiến thức toán học cơ bản: logic, tập hợp, chứng minh, hàm số, quan hệ, và giới thiệu về tổ hợp

4.9
(165 đánh giá)
1,959 học viên
Giảng viên
Hania Uscka-Wehlou
Phụ đề Việt chất lượng cao Phụ đề tiếng Anh Bán chạy Đánh giá cao
79.000đ 399.000đ -80%
✓ Xem giỏ hàng và thanh toán
Bao gồm phụ đề tiếng Việt, tiếng Anh
61.0 giờ video
273 bài giảng
Truy cập vĩnh viễn
Học trên mọi thiết bị
Cập nhật: 07/06/2026

Bạn sẽ học được gì

Cách giải quyết các bài toán trong các chủ đề Toán Rời Rạc đã chọn (minh họa với 395 bài toán đã giải) và lý do tại sao các phương pháp này hiệu quả, từng bước một.
Logic cơ bản, bao gồm chứng minh các hằng đúng liên quan đến phép kéo theo, phép hội và phép tuyển; điều kiện cần và đủ.
Lý thuyết tập hợp cơ bản, bao gồm làm việc với phép giao và phép hợp của các tập hợp, và các chủ đề liên quan đến tập hợp khác.
Giới thiệu về các lý thuyết toán học, với các khái niệm như tiên đề, định lý, khái niệm nguyên thủy, v.v.
Khái niệm hàm số giữa hai tập hợp rời rạc: đơn ánh, toàn ánh, song ánh.
Khái niệm (quan hệ nhị phân) như một tập con của tích Descartes của hai tập hợp: quan hệ RST, quan hệ thứ tự, v.v.
Quan hệ RST và khái niệm lớp tương đương; minh họa cho quan hệ đồng dư modulo giữa các số nguyên.
Hàm số như một quan hệ; các cách khác nhau để mô tả hàm số giữa hai tập hợp rời rạc; các tập hợp lực lượng bằng nhau.
Giới thiệu về chủ đề dãy số, chỉ các khái niệm cơ bản có thể cần trong Tổ hợp; chúng ta sẽ quay lại chủ đề dãy số trong DM3.
Các kỹ thuật chứng minh khác nhau, bao gồm chứng minh trực tiếp, chứng minh bằng phản chứng, chứng minh bằng phản đảo, Quy nạp Toán học và Nguyên lý Chuồng Chim Bồ Câu.
Chuẩn bị cho Tổ hợp: khái niệm chỉ số, ký hiệu sigma (với các quy tắc tính toán), n giai thừa, n chọn k, Tam giác Pascal, Định lý Nhị thức.
Giới thiệu ngắn gọn về Tổ hợp: nghệ thuật đếm. Hoán vị, tổ hợp, đường đi, v.v.; chủ đề này sẽ được tiếp tục trong các phần đầu của DM2.
Các bài toán logic và câu đố vui, bao gồm Câu đố Ngựa vằn nổi tiếng (Câu đố của Einstein), và một số câu đố cổ điển về kẻ nói dối và người nói thật.
Đây là khóa học đầu tiên về Toán Rời Rạc, vì vậy đừng lo lắng rằng Lý thuyết Số hay Lý thuyết Đồ thị không được đề cập; chúng sẽ được đề cập trong phần tiếp theo.

Yêu cầu

Toán học cấp ba cơ bản (chủ yếu là số học)
Bạn luôn được chào đón với các câu hỏi của mình. Nếu có điều gì trong bài giảng không rõ ràng, vui lòng hỏi. Tốt nhất là sử dụng phần Hỏi & Đáp, để tất cả các sinh viên khác có thể xem phần giải thích bổ sung của tôi về các chủ đề chưa rõ. Hãy nhớ: bạn không bao giờ đơn độc với những nghi ngờ của mình, và sẽ có lợi cho tất cả mọi người nếu...

Đối tượng phù hợp

Sinh viên dự định học toán ở trình độ cao đẳng hoặc đại học, và muốn đạt được một số sự trưởng thành về toán học để thành công
Học sinh trung học tò mò về toán học đại học; khóa học dành cho người lớn mua cho những học sinh này
Tất cả những ai muốn ôn lại toán học cấp ba và hiểu sâu hơn về môn học
Sinh viên cao đẳng và đại học đang học các khóa học nâng cao, những người muốn hiểu tất cả các chi tiết mà họ có thể đã bỏ lỡ trong giáo dục trước đây
Sinh viên cần toán học cho Khoa học Máy tính, AI, ML hoặc các lĩnh vực khác cần đến toán học

Nội dung khóa học

13 phần • 273 bài giảng
1 Giới thiệu về khóa học
2 Toán Rời Rạc là gì
3 Khóa học này và cuốn sách
1 Ký hiệu toán học, cũ và mới
2 (P1 V75) Giới thiệu ngắn gọn về tập hợp
3 Suy ngẫm về các cấu trúc toán học
4 Hệ tọa độ Descartes và tích Descartes của hai tập hợp
5 Hai tập hợp rời rạc quan trọng
6 Tùy chọn, trừu tượng, lý thuyết: Metric rời rạc là gì
7 Tính chất quan trọng của tập hợp số tự nhiên
8 Quy tắc tính toán
9 (P1 V7) Minh họa trực quan cho tính giao hoán
10 (P1 V8) Minh họa trực quan cho tính kết hợp
11 (P1 V9) Minh họa trực quan cho tính phân phối
12 Mô tả chính thức của các lý thuyết toán học
13 (P1 V13) Số nguyên: phép cộng, phép trừ và phép nhân
14 Số nguyên tố và một số quy tắc chia hết
15 (P1 V14) Số hữu tỉ dưới dạng phân số
16 Biểu thức, hằng số, biến số, hệ số, v.v.
17 (P1 V24 và V25) Thứ tự thực hiện phép toán (quy tắc ưu tiên), một số ví dụ
18 (P1 V30) Tính giá trị biểu thức
19 (P1 V27) Rút gọn biểu thức
20 Chỉ số, ký hiệu sigma và ký hiệu pi
21 Hàm số trong Giải tích và trong Toán Rời Rạc
22 Dãy số trong DM1 và DM2
23 (P1 V161 và V162) Quan hệ trong cuộc sống và trong toán học
24 Đồ thị: một khái niệm mới (sẽ được học trong DM2)
25 (P1, V211) Các cấu trúc đại số sẽ được thảo luận trong DM2
1 Chứng minh công thức, Bài toán 1
2 (P1 V23) Chứng minh công thức, Bài toán 2
3 Chứng minh công thức, Bài toán 3
4 Chứng minh công thức, Bài toán 4
5 Động lực cho công thức, Bài toán 5
6 Tổng quát hóa công thức cho nhiều số hạng hoặc thừa số hơn, Bài toán 6
7 Suy ra công thức, Bài toán 7
8 Chứng minh công thức, khá không chính thức, Bài toán 8
9 Chứng minh bất đẳng thức (trực tiếp), Bài toán 9
10 Chứng minh bất đẳng thức (trực tiếp), Bài toán 10
11 Chứng minh bất đẳng thức (gián tiếp), Bài toán 11
12 Quay lại tính chia hết: làm việc với số dư, phân tích thừa số số và biểu thức
13 Chứng minh tính chia hết: làm việc với số dư, Bài toán 12
14 Chứng minh tính chia hết: làm việc với số dư, Bài toán 13
15 Chứng minh tính chia hết: làm việc với số dư, Bài toán 14
16 Chứng minh tính chia hết bằng cách phân tích thừa số, Bài toán 15
17 Chứng minh tính chia hết bằng cách phân tích thừa số, Bài toán 16
18 Chứng minh tính chia hết bằng cách phân tích thừa số, Bài toán 17
19 Chứng minh tính chia hết bằng cách phân tích thừa số, Bài toán 18
20 Tư duy logic với sự trợ giúp của biểu đồ, Bài toán 19
21 Tư duy logic và chiến lược, Bài toán 20
22 Tư duy logic và chiến lược, Bài toán 21
23 Tư duy logic, Bài toán 22
24 Nguyên lý Chuồng Chim Bồ Câu, một công cụ lập luận dễ dàng nhưng thực tế
25 Nguyên lý Chuồng Chim Bồ Câu, Bài toán 23
26 Nguyên lý Chuồng Chim Bồ Câu và modulo, Bài toán 24
27 Nguyên lý Chuồng Chim Bồ Câu và modulo, Bài toán 25
28 Nguyên lý Chuồng Chim Bồ Câu, Bài toán 26
29 Nguyên lý Chuồng Chim Bồ Câu và đồ thị, Bài toán 27
30 Mô hình hóa toán học và đồ thị
31 Đường đi, Bài toán 28
32 Mô hình hóa toán học và đường đi
33 Hoán vị: những đối tượng đẹp nhất để xử lý trong tổ hợp
34 Mô hình hóa toán học và hoán vị
35 Điểm bất động của hoán vị
36 Bài toán cuối cùng, Bài toán 29
1 Mệnh đề và giá trị logic là gì; mệnh đề mở và mệnh đề đóng
2 (P1 V109) Phép toán logic một ngôi: Phủ định NOT
3 (P1 V110) Phép toán logic hai ngôi 1: Phép hội AND
4 (P1 V111) Phép toán logic hai ngôi 2: Phép tuyển OR
5 (P1 V112) Các phép toán logic, Ví dụ 5
6 (P1 V113) Phép toán logic hai ngôi 3: Phép kéo theo IF THEN. Điều kiện cần
7 (P1 V114) Mệnh đề đảo, mệnh đề nghịch đảo và mệnh đề phản đảo
8 (P1 V115) Phép toán logic hai ngôi 4: Phép tương đương IFF. Điều kiện cần và đủ
9 (P1 V116) Phép tương đương so với đẳng thức
10 (P1 V117) Hằng đúng như một công thức logic
11 (P1 V118) Cách kiểm tra hằng đúng
12 (P1 V119) Hằng đúng, Bài toán 1
13 (P1 V120) Hằng đúng, Bài toán 2
14 (P1 V121) Hằng đúng, Bài toán 3
15 (P1 V122) Hằng đúng, Bài toán 4
16 (P1 V123) Hằng đúng, Bài toán 5
17 (P1 V125) Lượng từ tồn tại THERE EXISTS
18 (P1 V126, p1) Lượng từ phổ dụng FOR ALL. Thứ tự quan trọng
19 (P1 V126, p2) Lượng từ phổ dụng FOR ALL. Quy tắc ưu tiên
20 (P1 V84 và V127) Phủ định: Định luật De Morgan cho lượng từ, Bài toán 6
21 (P1 V129) Logic, Bài toán 7
22 (P1 V130) Logic, Bài toán 8
23 Logic, Bài toán 9
24 Tư duy logic, Bài toán 10
25 Tư duy logic, Bài toán 11
26 Tư duy logic, Bài toán 12
27 Tư duy logic và bảng chân trị, Bài toán 13
28 Tư duy logic và bảng chân trị, Bài toán 14
29 Câu đố Einstein, Bài toán 15
1 Khái niệm nguyên thủy: tập hợp, thuộc về một tập hợp, tập hợp rỗng
2 (P1 V135) Vũ trụ và các tập con của nó
3 (P1 V136) Nếu bạn biết logic, bạn biết lý thuyết tập hợp
4 (P1 V137) Phép giao được định nghĩa với sự trợ giúp của phép hội
5 (P1 V138) Phép hợp được định nghĩa với sự trợ giúp của phép tuyển
6 (P1 V139) Đẳng thức tập hợp được định nghĩa với sự trợ giúp của phép tương đương: Tiên đề Mở rộng
7 (P1 V140) Tập con được định nghĩa với sự trợ giúp của phép kéo theo
8 (P1 V141) Tập hợp rỗng cho một mệnh đề sai
9 (P1 V142) Vũ trụ cho một mệnh đề đúng
10 (P1 V143) Hiệu của tập hợp
11 (P1 V144) Hiệu đối xứng
12 (P1 V145) Phần bù được định nghĩa với sự trợ giúp của phép phủ định
13 (P1 V146) Các định luật của lý thuyết tập hợp và các định luật của logic
14 (P1 V147) Định luật De Morgan, minh họa và chứng minh
15 (P1 V148) Định luật phân phối, minh họa và chứng minh
16 (P1 V149) Hiệu tập hợp và hiệu đối xứng, Bài toán 1
17 Tích Descartes của các tập hợp, một số bài tập
18 (P1 V151) Tập lũy thừa của một tập hợp cho trước; một ví dụ về đại số Boolean
19 (P1 V152) Lực lượng của tập hợp
20 (P1 V153) Lực lượng của tập hợp, Bài toán 2
21 Các tập hợp cùng lực lượng; số lực lượng
22 (P1 V158) Nguyên lý Bao hàm - Loại trừ
23 (P1 V159) Nguyên lý Bao hàm - Loại trừ, Bài toán 3
24 (P1 V160) Định luật Chuyển vị và tập con, Bài toán 4
25 Thêm các bài toán đã giải trong Sách DM, Bài toán 5 và 6
26 Bài toán với ba bức tranh và đại số Boolean, Bài toán 7
1 Hàm số là gì: quay lại V24; sự khác biệt về thuật ngữ với Sách DM
2 Danh sách các chủ đề liên quan nhiều và ít
3 Tại sao một số vấn đề ít liên quan đến DM, và tìm chúng ở đâu
4 Các cách khác nhau để định nghĩa hàm số, một số ví dụ
5 Làm thế nào để nhận biết một quy tắc mô tả một hàm số
6 Hàm số được định nghĩa đệ quy, giới thiệu rất ngắn gọn
7 Đơn ánh, toàn ánh và song ánh
8 Cách phát hi
9 Function? Injection? Surjection? Some exercises
10 Surjections, injections, and logical symbols, Problem 1
11 Surjections and injections, Problem 2
12 Two classes of functions: identities and constant functions
13 Inverse functions
14 Compositions of functions
15 Optional: Compositions of functions, a Precalculus example
16 Compositions with identities, an exercise
17 Compositions of functions, Problem 3
18 Associativity of composition of functions
19 Really cool stuff, where compositions meet geometry, Problem 4
20 (P1 V184) Inverse functions and compositions of functions, Problem 5
21 Uniqueness of the inverse
22 A link between having an inverse and being a bijection
23 (P1 V186 p1) Surjections, injections, and compositions, Problem 6
24 (P1 V186 p2) Surjections, injections, and compositions, Problem 7
25 (P1 V186 p3) Surjections, injections, and compositions, Problem 8
26 (P1 V155) Optional: Finite, countable and uncountable sets
27 (P1 V156) Optional: Comparing cardinalities of sets, Problem 9
28 Optional, Advanced: Comparing cardinalities of sets, Problem 10
29 Images and inverse images of elements and subsets
30 Inverse function versus inverse image, Problem 11
31 Images and inverse images of elements and subsets, Problem 12
32 Images and inverse images, Problem 13
33 Images, unions, and intersections, Problem 14
34 Inverse images, unions, and intersections, Problem 15
35 Monotone (or: monotonic) functions, Example 1
36 Monotone (or: monotonic) functions, Example 2
37 Monotone (or: monotonic) functions, Example 3
38 Optional: A word about periodic functions
39 Optional: A word about even and odd functions
40 The last one, Problem 16
1 Three videos to watch (if you haven't yet)
2 Relations in the DM Book
3 Relation: a formal definition and notation
4 Various ways of depicting relations
5 (P1 V164) How to plot relations
6 (P1 V165) How to plot relations, Problem 1
7 (P1 V166) Relations on finite sets, and their graphs, Problem 2
8 (P1 V167) RST relations / equivalence relations
9 (P1 V168) How to recognize an RST relation from its plot?
10 (P1 V169) How to recognize an RST relation on a finite set from the graph?
11 (P1 V170) Relation congruence modulo n
12 (P1 V171) Các lớp tương đương và phân hoạch của một tập hợp
13 (P1 V172) Các tính chất của quan hệ: Phản xạ yếu, phản đối xứng, liên thông mạnh
14 (P1 V173) Quan hệ thứ tự
15 (P1 V174) Thứ tự bộ phận và biểu đồ Hasse
16 (P1 V175) Quan hệ, Bài toán 6
17 (P1 V176) Quan hệ, Bài toán 7
18 (P1 V209) Định nghĩa tập số nguyên với sự trợ giúp của một quan hệ tương đương, Bài 8
19 (P1 V178) Quan hệ, Bài toán 9
1 (P1 V179) Một vài dấu hiệu ban đầu
2 (P1 V180) Mỗi hàm số là một quan hệ, nhưng không phải mọi quan hệ đều là hàm số
3 (P1 V181) Mọi quan hệ đều có thể đảo ngược!
4 (P1 V182) Quan hệ và hàm số, Bài toán 1
5 (P1 V183) Quan hệ và hàm số, Bài toán 2
6 (P1 V185) Sự bằng nhau của các hàm số, Bài toán 3
7 Hợp thành của các quan hệ, Ví dụ 1
8 Hợp thành của các quan hệ, Ví dụ 2
9 Tùy chọn: (P1 V187) Luật giản ước cho hàm đơn ánh và tại sao nó quan trọng
10 Ba định lý về hợp thành và hàm ngược của hàm số
11 Ba định lý từ video trước được chuyển ngữ cho quan hệ
1 Dãy số như các hàm số được định nghĩa trên tập số tự nhiên
2 Công thức tường minh và đệ quy định nghĩa dãy số
3 Dãy số đơn điệu
1 Nhiều loại chứng minh và nơi tìm thấy chúng
2 (P1 V191) Ví dụ về các khái niệm nguyên thủy và định nghĩa
3 (P1 V192) Các tiên đề
4 (P1 V193) Định lý, mệnh đề, bổ đề, hệ quả
5 Chứng minh trực tiếp
6 Hai bài tập xây dựng chứng minh từ Sách DM
7 (P1 V195) Chứng minh trực tiếp (suy diễn và quy nạp), Ví dụ 1-3
8 Chứng minh và bác bỏ các phát biểu chứa lượng từ, Ví dụ 4-7
9 Chứng minh và bác bỏ các phát biểu chứa lượng từ, Ví dụ 8-10
10 (P1 V208 p1) Chứng minh hoặc bác bỏ, Ví dụ 11
11 (P1 V208 p2) Chứng minh hoặc bác bỏ, Ví dụ 12
12 (P1 V208 p3) Chứng minh hoặc bác bỏ, Ví dụ 13
13 Các định lý tồn tại, một số ví dụ
14 Chứng minh trực tiếp từ các tiên đề
15 Chứng minh tính duy nhất bằng cách chỉ ra nghiệm duy nhất, Ví dụ 14-16
16 Chứng minh tính duy nhất bằng cách chỉ ra nghiệm duy nhất, Ví dụ 17
17 Chứng minh bằng trường hợp, phần giới thiệu
18 Chứng minh bằng trường hợp, một số ví dụ từ hình học
19 (P1 V199) Chuỗi các tương đương logic
20 Hai loại chứng minh gián tiếp chính
21 Chứng minh trực tiếp và gián tiếp trong Sách DM
22 Chứng minh bằng phản đảo, Ví dụ 18
23 Chuẩn bị cho video tiếp theo
24 (P1 V197) Chứng minh bằng phản đảo, Ví dụ 19
25 (P1 V198) Phiên bản mở rộng của Luật giản ước từ V187, Ví dụ 20
26 Chứng minh bằng phản chứng, Ví dụ 21
27 (P1 V200) Chứng minh bằng phản chứng, Ví dụ 22
28 (P1 V207 p1) Chứng minh bằng phản chứng, Ví dụ 23
29 (P1 V215) Chứng minh bằng phản chứng, Ví dụ 24
30 (P1 V207 p2) Chứng minh bằng phản chứng, Ví dụ 25
31 (P1 V202) Chứng minh định lý phân hoạch từ Video 171, Ví dụ 26
32 (P1 V201) Hai chứng minh cho tính duy nhất, bằng phản chứng, Ví dụ 27
33 Nguyên lý Quy nạp Toán học trong ba khóa học khác của chúng tôi
34 (FI V2) Những loại phát biểu nào có thể chứng minh bằng quy nạp
35 (FI V3) Quy nạp: đây là cách nó hoạt động, Ví dụ 28
36 Chứng minh các công thức, Ví dụ 29 và 30
37 (FI V4) Cả hai trường hợp đều cần thiết
38 Quay lại V125 và V191: Hàm số định nghĩa đệ quy, Ví dụ 31
39 Quay lại V125: Hàm số định nghĩa đệ quy, Ví dụ 32-34
40 (P1 V206 p1) Chứng minh bằng quy nạp mạnh, Ví dụ 35
41 Quy nạp với hai trường hợp cơ sở, Ví dụ 36-38
42 (P1 V206 p2) Chứng minh bằng quy nạp mạnh, Ví dụ 39
43 Chứng minh tính chia hết, Ví dụ 40-42
44 Chứng minh tính chia hết, Ví dụ 43 và 44
45 Không nhất thiết cho mọi số tự nhiên: một bất đẳng thức, Ví dụ 45
46 Thêm các bất đẳng thức cần chứng minh, Ví dụ 46
47 Thêm các bất đẳng thức cần chứng minh, Ví dụ 47
48 Khi trường hợp cơ sở khó chứng minh hơn bước quy nạp, Ví dụ 48
49 Khi trường hợp cơ sở khó chứng minh hơn bước quy nạp, Ví dụ 49
50 Tổng quát hóa công thức thêm nữa, Ví dụ 50
51 (FI V10) Một chứng minh khó hơn, Ví dụ 51
52 Một chứng minh khó khác, Ví dụ 52
53 Các chứng minh bằng quy nạp, Tổng kết
54 Quy nạp so với Nguyên lý Sắp thứ tự Tốt, một tranh luận
55 Một số lời khuyên cho những người chứng minh định lý rất nâng cao
56 Các chứng minh gián tiếp, Bài toán 1
57 Một dạng Nguyên lý Chuồng bồ câu hơi kỳ lạ? Bài toán 2
58 Nguyên lý Chuồng bồ câu trong một chứng minh bằng phản chứng, Bài toán 3
1 Tổ hợp: vừa đủ để biện minh cho hình ảnh khóa học, và để giữ lời hứa
2 Ký hiệu tổng: ôn tập và một số tính chất
3 Ngắn gọn và dễ hiểu về Tam giác Pascal
4 Còn lũy thừa của một hiệu thì sao?
5 Hãy cùng luyện tập nâng nhị thức lên lũy thừa tự nhiên dương
6 Giai thừa và hệ số nhị thức
7 Ngắn gọn và dễ hiểu về Định lý Nhị thức
8 Làm sao chúng giống nhau?
9 Một chứng minh hình thức của Định lý Nhị thức: bằng quy nạp
10 Rất nhiều đẳng thức hệ số nhị thức (cơ bản): một lời hứa cho DM2
11 Nâng cao: Nơi tìm thấy rất nhiều đẳng thức hệ số nhị thức
1 Tổ hợp: nghệ thuật đếm
2 Quay lại hoán vị
3 Chỉnh hợp và tổ hợp; số tập con có k phần tử của một tập có n phần tử
4 Lực lượng của tập lũy thừa của một tập hữu hạn, một chứng minh hình thức
5 Hai bài toán đếm đã hứa trong V118
6 Hai chứng minh của công thức đếm tất cả tập con
7 Hai chứng minh của công thức tập con chẵn và lẻ
8 Một chứng minh tổ hợp của Định lý Nhị thức
9 Đếm đường đi
10 Mô hình hóa toán học với đường đi
11 Nhiều Tổ hợp hơn nữa trong DM2
1 Bài giảng thêm

Giới thiệu khóa học

Discrete Mathematics 1

Mathematics from high school to university


S1. Introduction to the course
You will learn: about this course: its content and the optimal way of studying it together with the book.


S2. Preliminaries: "paintbrushes and easels"
You will learn: some basics needed for understanding the new topics discussed in this course.


S3. A very soft start: "painting happy little trees"
You will learn: you will get the first glimpse into various types of problems and tricks that are specific to Discrete Mathematics: proving formulas, motivating formulas, deriving formulas, generalising formulas, a promise of Mathematical Induction, divisibility of numbers (by factoring, by analysing remainders / cases), various ways of dealing with problem solving (mathematical modelling, using graphs, using charts, using Pigeonhole Principle, using the Minimum Principle, [always] using logical thinking; strategies); you will also see some problems that we are not able to solve (yet) but which will be solved in Section 12 where we will learn more about counting; nothing here is based on big theories, just logical thinking; treat it as a "smörgåsbord" (Swedish buffet) of Discrete Mathematics.


S4. Logic
You will learn: the meaning of the symbols used in logic; conjunction, disjunction, implication, equivalence, negation; basic rules of logic (tautologies) and how to prove them; two kinds of quantifiers: existential and universal; necessary and sufficient conditions. This section is almost identical to Section 7 in "Precalculus 1: Basic notions"; I have only removed the material covering the epsilon-delta definition of limit, because it is irrelevant for Discrete Mathematics. I have also added several new problems (Videos 87-93) that were not present in the Precalculus course.


S5. Sets
You will learn: the basic terms and formulas from the Set Theory and the link to Logic; union, intersection, set difference, subset, complement; cardinality of a set; Inclusion-exclusion principle. This section is almost identical to Section 8 in "Precalculus 1: Basic notions".


S6. Functions
You will learn: about functions: various ways of defining functions; domain, codomain, range, graph; surjections, injections, bijections, inverse functions, inverse images; bijections and cardinality of sets; compositions of functions; some examples of monotone and periodic functions. You will get an information about other topics relevant for examining functions (in Calculus) and where to find them (in the Precalculus and Calculus series).


S7. Relations
You will learn: about binary relations generally, and specifically about RST (Reflexive-Symmetric-Transitive) relations, equivalence classes, and about order (partial order) relations. This section is almost identical to Section 9 in "Precalculus 1: Basic notions".


S8. Functions as relations
You will learn: definition of a function as relation between sets: domain and co-domain; injections, surjections, bijections, inverse functions. This section is almost identical to Section 10 in "Precalculus 1: Basic notions".


S9. A very brief introduction to sequences
You will learn: you will get an extremely brief introduction to the topic of sequences: just enough for the next sections in this course (proofs and combinatorics; for the latter we only need finite sequences) and to complete the discussion of functions defined on the set of natural numbers (adding and scaling sequences, monotone sequences); the topic of sequences will be covered very thoroughly and from scratch in DM2.


S10. Various proof techniques
You will learn: the meaning of words axiom, definition, theorem, lemma, proposition, corollary, proof; various types of proofs with some examples: direct proof, indirect proof (proof by contradiction, proof by contrapositive), proof by induction, proof by cases; proving or disproving statements (finding counterexamples).


S11. Factorial, n choose k, and Binomial Theorem
You will learn: some important properties of the sigma symbol; the factorial function, binomial coefficients, Pascal's Triangle; the Binomial Theorem (theorem telling you how to raise a sum of two terms to any positive natural power) with a motivation and a formal proof; I will show you (mostly without proving, as this is moved to DM2, where you will see plenty of proofs, both "regular" and combinatorial) several binomial identities and where you can find even more of them; all this will be really important for the next section (Combinatorics).


S12. Combinatorics: the art of counting, an introduction (TBC in DM2)
You will learn: some basic combinatorial concepts like permutation, variation, and combination; an explanation of the name of binomial coefficients ("n choose k"); counting subsets of a finite set; counting paths on a grid; some examples of combinatorial proofs. Much more follows in DM2, I promise.


Note: This is the first part of our trilogy in Discrete Mathematics. The following subjects will be covered in the next courses: an introduction to Number Theory with modular arithmetic, an introduction to algebraic structures (groups, rings, fields, etc), with groups of permutations and really cool geometrical applications (DM2); sequences (recurrences, generating functions, etc), an introduction to Graph Theory (DM3). The topic of Combinatorics will be further (after the introduction done in DM1) discussed in DM2, followed by a very brief introduction to (discrete) probability.


Make sure that you check with your professor what parts of the course you will need for your final exam. Such things vary from country to country, from university to university, and they can even vary from year to year at the same university.

A detailed description of the content of the course, with all the 272 videos and their titles, and with the texts of all the 395 problems solved during this course, is presented in the resource file

“001 List_of_all_Videos_and_Problems_Discrete_Mathematics_1.pdf”

under Video 1 ("Introduction to the course"). This content is also presented in Video 1.

Khóa học liên quan

Khám phá thêm các khoá học cùng chủ đề

Hiển thị tất cả khoá học Computer Science Fundamentals
Hiển thị tất cả khoá học Discrete Mathematics
Hiển thị tất cả khoá học Logic
Hiển thị tất cả khoá học Mathematics
Zalo
Tôi có thể tư vấn khoá học cho bạn 😊