3 điểm bởi GN⁺ 9 giờ trước | 1 bình luận | Chia sẻ qua WhatsApp
  • Immersive Linear Algebra, được phát hành năm 2015, là một cuốn sách được xây dựng để giúp hiểu các khái niệm đại số tuyến tính thông qua các hình khối có thể thao tác trực tiếp, vượt ra ngoài những hình minh họa tĩnh
  • Đặt các hình khối hoàn toàn tương tác làm yếu tố cốt lõi của trải nghiệm học tập
  • Theo phần giới thiệu chính thức, sách tự giới thiệu là cuốn sách đại số tuyến tính đầu tiên trên thế giới áp dụng phương thức này
  • Phiên bản được cung cấp là v1.1, ISBN là 978-91-637-9354-7
  • Chỉ với thông tin được cung cấp, không thể xác nhận cơ chế hoạt động cụ thể của các tương tác hay môi trường thực thi được hỗ trợ

Học đại số tuyến tính tương tác

  • Immersive Linear Algebra trình bày các khái niệm đại số tuyến tính cùng với các hình khối hoàn toàn tương tác
  • Trong phần giới thiệu chính thức, sách tự giới thiệu là sách đại số tuyến tính đầu tiên trên thế giới áp dụng phương thức này

Thông tin phiên bản

  • Phiên bản được cung cấp là v1.1
  • ISBN là 978-91-637-9354-7

Phạm vi thông tin có thể xác nhận

  • Từ thông tin được cung cấp, có thể xác nhận các đặc điểm của sách và thông tin phiên bản
  • Chưa xác nhận được cơ chế hoạt động cụ thể của các hình khối tương tác và môi trường được hỗ trợ

1 bình luận

 
Ý kiến trên Hacker News
  • Tôi đã học buổi đầu tiên của môn đại số tuyến tính mà vẫn hoàn toàn mơ hồ, nhưng vài năm sau xem 3Blue1Brown thì mới có thể hiểu một cách trực quan
    https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQ...

    • Tôi dạy đại số tuyến tính ở đại học, và ngay từ buổi đầu tiên đã khuyên tất cả sinh viên xem loạt này càng sớm càng tốt. Nó xây dựng trực giác hình học rất tốt, tạo động lực để học các định lý và phép tính, đồng thời cũng giúp bồi dưỡng trước trực giác về lý do các định lý là đúng
  • Tôi thực sự rất thích cuốn sách này. Ước gì hồi trước khi học đại số cũng có một cuốn như thế, và tôi cũng muốn thấy thống kê, xác suất, robot học nâng cao được trình bày theo cùng cách này

  • Hay đến mức khiến tôi muốn quay lại đi học

    • Không nhất thiết phải đến trường mới học được
  • Bố cục rất gọn gàng, và vượt trội hơn phần lớn những nỗ lực tương tự ở chỗ nó cho biết chính xác bạn cần gì để chuyển từ mục này sang mục tiếp theo. Phần giải thích công cụ cũng hữu ích, và nếu phát triển thêm thì có lẽ còn có thể hiện popup ‘hãy giải thích điều này’ khi chọn một câu, phương trình hoặc ký hiệu riêng lẻ

  • Nhờ những đồ họa tương tác như thế này, video bài giảng, và trình soạn thảo Prism LaTeX mới của OpenAI, giáo dục toán học đang bước vào một giai đoạn rất thú vị. Đồng thời, nghiên cứu toán học cũng trở nên thú vị hơn nhờ sự tiến bộ của AI trong việc xử lý các bài toán nghiên cứu chưa được giải quyết và công nghệ LLM như Axiom

  • Việc tạo ra các minh họa và đồ thị trực quan từng tốn rất nhiều thời gian, nhưng giờ đây với LLM thì có thể làm nhanh và dễ hơn nhiều, nên tôi hy vọng sách vở cũng sẽ được viết lại theo hướng mới

    • Thực tế là sách đang được viết lại, nhưng tốc độ còn chậm. Machine Learning Systems của Harvard là một ví dụ: https://mlsysbook.ai/vol1/
  • Tôi nhớ là đã thấy tài liệu này từ lâu trên explorabl.es

  • Tôi luôn thắc mắc vì sao lập trình viên lại thường bị hút vào các tài liệu nhập môn tương tác, bị đơn giản hóa quá mức về đại số tuyến tính. Những tài liệu kiểu này thường chỉ tập trung vào mặt trực quan và lảng tránh phần cốt lõi như định lý và chứng minh

    • Với tư cách là một lập trình viên dùng toán khá nhiều, tôi thấy hiểu biết trực quan về thế giới là quan trọng hơn hết. Trực giác giúp nảy ra ý tưởng, loại bỏ những lời giải không khả thi, và ước lượng chi phí dự kiến cũng như chất lượng đầu ra
      Khả năng đào sâu cũng quan trọng, nhưng còn quan trọng hơn là có được sự hiểu biết trực quan về nhiều lĩnh vực như tâm lý học, kinh tế học, tài chính, vật lý, nghệ thuật, và nắm được ranh giới mình biết đến đâu. Điều đó giống như việc tôi từng dẫn dắt phần mềm hợp nhất ngân sách cho doanh nghiệp lớn nên nắm khá rõ các thực hành kế toán cơ bản, nhưng lại yếu ở những chi tiết như quy tắc thuế theo từng ngành
      Khi làm phần mềm tối ưu hóa cắt đá, tôi cũng hiểu đủ về thị giác máy tính, hình học tính toán và tối ưu hóa để đánh giá tính khả thi của lời giải, phân chia các bài học cần thiết cho đồng đội, và khi cần thì cùng tham gia triển khai, gỡ lỗi, tối ưu hóa. Dù vậy, tôi vẫn chưa đến mức tự tay viết mã hình học tính toán xử lý mọi trường hợp biên cực đoan
      Biết mọi thứ với độ chính xác vô hạn thì rất tốt, nhưng với lập trình viên điều đó không hiệu quả, nên cần biết nên dừng ở đâu
    • Các nhà toán học cũng thường bị thu hút bởi những tài liệu nhẹ nhàng, đơn giản hóa quá mức về lập trình. Rốt cuộc, thái độ chỉ cần dạy tôi những gì tôi cần cho công việc gần như là một nguyên tắc phổ quát của con người
    • Trên thực tế, đó có lẽ là mức đại số tuyến tính mà lập trình viên thường cần. Dĩ nhiên, bản thân đại số tuyến tính cũng là một lĩnh vực rất thú vị
    • Các LLM đang được bàn tán nhiều hiện nay cũng dùng lượng đại số tuyến tính khá cơ bản. Thực hiện đại số tuyến tính đơn giản ở quy mô khổng lồ hóa ra là một ý tưởng rất hay, và có lẽ đó là lý do nó thu hút sự quan tâm
    • Cũng giống như việc các nhà toán học không phải nhà khoa học máy tính hay nhà logic học thường bỏ qua lý thuyết kiểu và lý thuyết hệ thống, vốn là nền tảng của trợ lý chứng minh, nhưng lại bị thu hút bởi các công cụ hiện thực hóa ngôn ngữ đối tượng ZFC