Chat_28_10_21

VƯƠNG LIỄU MINH4:05 PM
câu hỏi : em chưa hiểu rõ phần chứng minh lemma 20
You4:05 PM
Chuẩn bị: Xem Petri-Net và nội dung BTL.
ĐẠT NGUYỄN ĐÌNH MINH4:05 PM
Em về xem lại video record đã học, xem btl và chương 4, em chưa có câu hỏi ạ.
Nguyên Trần Vĩnh4:05 PM
em ôn lại cách viết tableau proof, xem lại những phần thầy đã dạy,
em chưa có câu hỏi ạ
ĐẠT NGUYỄN TẤN4:05 PM
em đã đọc xong phần lý thuyeets  Program Verification và đang nghiên cứu về petrinet ạ
SANG NGUYỄN THANH4:05 PM
Đã ôn bài cũ, học cơ bản về process mining, các khái niệm, định nhĩa... . Thầy cho em hỏi về btl này mình có được tham khảo soure code trên mạng có thể thu gọn để phù hợp với cái petri nets trong btl không ạ
Khang Lý Vĩnh4:05 PM
em đọc các phần ví dụ và xem lại record. em chưa có câu hỏi
Hải Nguyễn Duy4:06 PM
em xem lại những phần thầy đã dạy,
em chưa có câu hỏi ạ
KHANG LÊ DUY4:06 PM
Em chỉ xem lại bài cũ trên lớp, đọc thêm petri net, đến giữa petri net ạ, em chưa có câu hỏi
TUẤN TRẦN MINH4:06 PM
Em đang đọc phần đầu giới thiệu PetriNet và chưa thấy thắc mắc, em đang đọc hướng dẫn bài tập chương 4.6 và những phần em đã đọc xong thì em chưa thấy khó nên không có câu hỏi ạ.
QUYẾN NGUYỄN TUẤN4:06 PM
em xem lại record đọc qua bài mới và chưa có câu hỏi
Hòa Phạm Quốc4:06 PM
em có xem lại ví dụ thầy giảng thắc mắc cho bạn, bài tập chương 4
LONG ĐOÀN DUY4:06 PM
dạ có ạ
mic em hỏng ạ
Tân Phan Minh4:06 PM
em đã đọc tới phần proof tableaus của chương 4, em chưa có câu hỏi.
LONG ĐOÀN DUY4:07 PM
mic em hỏng ạ
PHÚC LÂM PHẠM TRỌNG4:07 PM
Em đọc hơn một nửa phần petri net và ôn lại bài cũ, hiện tại em chưa có câu hỏi.
TRÍ HOÀNG NGỌC4:07 PM
em có đọc phần petri net. Trong đó cái event em vẫn chưa hiểu được ạ, thầy cho em ví dụ được không ạ
VINH NGUYỄN ĐÌNH4:08 PM
em ôn lại bài cũ ạ, em chưa có câu hỏi ạ
LONG ĐOÀN DUY4:08 PM
ý em là cho 1 hàm đệ quy tính fibonacci thì mình xác định tính đúng đắn của nó như nào ạ
PHÚ TRẦN TRỌNG4:09 PM
dạ đươkc
nó bị lặp vĩnh viễn ạ
dạ em hiểu rồi ạ
LONG ĐOÀN DUY4:13 PM
dạ em cảm ơn ạ
TƯỜNG LÀU LÂM4:14 PM
dạ em chưa có câu hỏi ạ
TRÍ TRẦN MINH4:16 PM
dạ trnag 48 ạ
You4:16 PM
bật mic nói bro
TRÍ TRẦN MINH4:16 PM
hic em cũng không có mic, máy em cũ quá ạ
dạ ở slide ạ
slide program verthification ạ
dạ vâng
TRÍ TRẦN MINH4:17 PM
dạ bộ 3 cuối ạ
dạ chắc để em vô thêm 1 cái điện thoại nữa ạ
dạ vâng thầy
TRÍ TRẦN MINH4:20 PM
à, dạ vâng em cảm ơn thầy ạ, em hiểu rồi ạ
buổi học sau em sẽ chuẩn bị mic tốt hơn ạ