Subtitles ListPlay Video
Được tạo tự động bởi AI
Phụ đề & từ vựng
Được tạo tự động bởi AI
Bài 3 | MIT 6.042J Toán học cho Khoa học Máy tính, Mùa thu 2010 (Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010)
0
Dou Lin đăng vào Bạn có tò mò về nguồn gốc của các lỗi phần mềm hay cách chứng minh mọi thứ một cách chặt chẽ không? Bài giảng của MIT này sẽ đi sâu vào các kỹ thuật chứng minh như quy nạp mạnh và bất biến, kèm theo ví dụ thú vị về trò chơi 8-puzzle! Bạn sẽ học được từ vựng nâng cao và cách nhận biết các lỗi chứng minh phổ biến, rất hữu ích cho những ai yêu thích khoa học máy tính và tư duy logic nhé.
Từ vựng video
state
US /stet/
・
UK /steɪt/
- n. (c./u.)bang, nhà nước；tình trạng
- adj.thuộc nhà nước
- v.t.tuyên bố
A1 sơ cấpTOEIC
Thêm good
US /ɡʊd/
・
UK /ɡʊd/
- adj.đúng；đủ, khá nhiều；tốt, tuyệt；tử tế；vui vẻ
- n. (u.)có giá trị
A1 sơ cấpTOEIC
Thêm order
US /ˈɔrdɚ/
・
UK /'ɔ:də(r)/
- n.giáo phẩm；mệnh lệnh；thứ tự, ngăn nắp；sự đặt hàng；nội quy；thứ tự, trật tự
- v.t.sắp xếp；ra lệnh；đặt hàng, món
A1 sơ cấpTOEIC
Thêm Dùng năng lượng
Mở khóa toàn bộ từ vựng
Mở khóa phát âm, giải thích và bộ lọc
