Trang chủ
Môn học
Kỳ thi
Báo lỗi
Giới thiệu
Đăng ký
Đăng nhập
Bài tập thuộc chủ đề undefined
0
Đã giải
16
Tổng số
0%
Tiến độ
Tất cả
Xem thêm
0/16 Hoàn thành
↓
Sắp xếp
Sort
(Ngày tạo)
Lọc
Filter
#1
▲ hard
1
[Toán rời rạc] Kiểm tra thỏa được công thức Horn-SAT
▲ hard
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#2
▲ hard
2
[Toán rời rạc] Tối thiểu số literal của hàm Boole
▲ hard
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#3
▲ hard
3
[Toán rời rạc] Đếm phép gán thỏa công thức 2-SAT
▲ hard
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#4
◆ medium
4
[Toán rời rạc] Một bước hợp giải (resolution)
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#5
◆ medium
5
[Toán rời rạc] Đánh giá mạch logic
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#6
◆ medium
6
[Toán rời rạc] Đếm bộ giá trị thỏa công thức DNF
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#7
◆ medium
7
[Toán rời rạc] Đối ngẫu của hàm Boole
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#8
◆ medium
8
[Toán rời rạc] Kiểm tra biểu thức mâu thuẫn
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#9
▲ hard
9
[Toán rời rạc] Lập bảng chân trị của biểu thức
▲ hard
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#10
◆ medium
10
[Toán rời rạc] Suy diễn modus ponens nhiều bước
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#11
◆ medium
11
[Toán rời rạc] Đếm số minterm thỏa biểu thức
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#12
◆ medium
12
[Toán rời rạc] Đếm dòng đúng trong bảng chân trị
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#13
◆ medium
13
[Toán rời rạc] Tính giá trị biểu thức logic
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#14
◆ medium
14
[Toán rời rạc] Kiểm tra hằng đúng (tautology)
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#15
◆ medium
15
[Toán rời rạc] Tương đương logic hai biểu thức
◆ medium
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
#16
▲ hard
16
[Toán rời rạc] Đếm phép gán thỏa CNF
▲ hard
Codelab
🏷️
Toán rời rạc
Toán rời rạc: Logic mệnh đề
0%
Thành công
0
Lượt submit
Trước
1
Sau