Gỡ rối tơ lòng

Các thắc mắc về KHMT, về toán học máy tính, về cách ghi bình luận trên blog, … xin post ở đây. Chúng tôi sẽ cố gắng trả lời nếu khả năng và thời gian cho phép. Các bạn đọc cũng có thể trả lời và thảo luận các câu hỏi. Nếu câu hỏi có liên hệ sâu hơn thì ta chuyển thành một bài mới.

555 Comments

  1. thinhphan
    Posted 22/10/2007 at 2:47 am | Permalink

    Chào các anh chị trong Blog KHMT, tôi đang học về Common LISP và AI,
    Các anh chị có thể chỉ cho tôi chỗ nào có thể tìm quyển sách sau được không?

    Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
    của Peter Norvig

  2. Posted 22/10/2007 at 3:42 am | Permalink

    hi hi – lúc đầu Trò học rất tốt, nhưng sau năm cuối Trò học lại “lếch bết”, cái miệng nói nhiều hơn lúc trước (nghĩa là nói nhiều mà làm ít hu hu hu).
    Hiện Trò đang học năm thứ tư, ngành Tin học, trường đại học An Giang..
    Trò đam mê Java có lẽ vì tính “chậm tiêu” và thích la cà ngoài Coffee shop – hihi.
    Trò đang viết 2 projets (Trò thường gọi project nhỏ là projet) là Quản lý điểm học sinh THPT ứng dụng trên Desktop (Java App) môn Lập trình quản lý 2 và ứng dụng trên nền Web (Jsp/Servlet) môn Lập trình Web 2.
    Trò không dùng CSharp và Php để làm vì “so bad”.
    Trò đang gặp khó khăn về Hibernate. Đang “nghiên kiết” -tìm hiểu.

    Không biết Trò chọn ngôn ngữ có đúng không! Ask thầy cô thì “… tùy theo sức của em” – hic.
    (Trò là lớp phó học tập nên nhiều chuyện lắm)

  3. HaThuyAnh
    Posted 08/11/2007 at 7:16 pm | Permalink

    Các anh giải thích giup tôi về hàm envelop (hình như được gọi là hàm thân khai )
    Cám ơn rất nhiều
    HTA

  4. dongta
    Posted 09/11/2007 at 7:04 am | Permalink

    HTA có thể cho biết HTA dùng envelope function trong ngữ cảnh nào?

    Cái jargon “envelope function” mà bọn tôi hay dùng thực ra chỉ là 1 smooth function (lấy đạo hàm thoải mái bao nhiêu lần cũng được) và chỉ có giá trị khác 0 trong khoảng [a,b] và ….

    Nói chung, nó giống cái đường màu blue trong figure 2 ở đây: http://www.math.umn.edu/~reitich/BrunoEtAl04.pdf

  5. HaThuyAnh
    Posted 12/11/2007 at 9:57 pm | Permalink

    Cám ơn anh dongta
    Tôi đọc bài báo nhan đề “MultiAdaptive Bionic Wavelet Transform: Application to ECG Denoise and Baseline Wandering Reduction” của tác giả Iran là: Omid Sayadi và Mohammad B. Shamsollahi
    Đại ý của bài này là đề xuất phương pháp điều chỉnh Wavelet Transform dựa trên kết quả đạo hàm bậc nhất của WT đối với biến t, và dựa vào biên độ của tín hiệu
    ~
    Trong đó có công thức: h(t)=h(t) exp(j2 pi f0 t) (xin lỗi vì không gõ được CT)
    ~
    Trong đó f0 là tần số trung tâm của h(t) và h(t) là hàm envelop của nó
    ~
    (Where f0 is the frequency of h(t) and h(t) is its envelop function. Using a T value, the BWT mother function would be stated as follows: …)
    Chán quá tôi không gõ được công thức
    Có lẽ tôi phải học cách gõ Tex, ở VN có Thầy Điển rất thạo phần này
    Rát cảm ơn các anh đã quan tâm
    HTA

  6. Thang
    Posted 20/11/2007 at 6:59 am | Permalink

    Anh Hưng ôi, cho em hỏi cái về Logic mệnh đề:
    Em thấy có 2 kí hiệu sau:
    1).B là hệ quả logic của A kí hiệu là A |= B nghĩa là với các phép gán giá trị đúng sai cho các mệnh đề nguyên tố tạo nên A làm cho A đúng thì phép gán đó cũng làm cho mệnh đề B đúng.
    2). B được dẫn xuất từ A kí hiệu là A |– B. Cái này thì em không hiểu gì hết. Trong một cuốn sách em thì nó nói rằng nếu có cái điều kiện gì gì đó thì A |– B sẽ suy ra A |= B. Nhờ anh chỉ giùm cho em thấy sự khác biệt giữa 2 khái niệm A|–B và A|== B này cái, em đọc sách mãi mà không hiểu anh à.
    Cám ơn anh.

  7. Thang
    Posted 20/11/2007 at 7:14 am | Permalink

    PS: à mà em tìm được một đoạn nói về phân biệt 2 khái niệm trên rồi nhưng đọc vẫn chả hiểu gì luôn.

    The calculus |– is of the so-called Gentzen type and its rules are given with respect to pairs (X, α) of sets of formulas X and formulas α. Another calculus for |=, of the Hilbert type, will be considered in 1.6. In distinction to [Ge], we do not require that X be finite; our particular goals here make such a restriction dispensable. If |– applies on the pair (X, α) then we write X |– α and say that α is derivable or provable from X (made precise below); otherwise we write X |– α.

    Liệu anh có thể giải thích một cách đơn giản trực quan về sự khác biệt của A|–B so với A|==B được không (em đã hiểu về A|==B rồi). Trình độ của em chỉ là học xong logic mệnh đề thế mà nó nói gì về Gentzen type và Hilbert type nghe khiếp quá.

  8. Posted 22/11/2007 at 2:19 am | Permalink

    Kính chào anh Ngô Quang Hưng.
    Tôi là Thành, phóng viên báo Tiền phong. Tình cờ được đọc một bài viết ngắn của anh về kênh CNN. Vậy, cảm phiền anh có thể cho biết những thông tin về kênh CNN Châu Á, mà anh có, được kô ạ.
    Lý do là tôi đang tìm hiểu việc quảng cáo du lịch Việt Nam trên CNN để viết bài.
    Cảm ơn anh!

  9. Posted 22/11/2007 at 8:47 pm | Permalink

    Chào anh Thành,

    Rất tiếc là tôi không xem được CNN Châu Á ở đây. Những lần xem CNN Châu Á được là do đi công tác ở một nước … châu Á. (Ở chỗ tôi nếu muốn trả thêm tiền thì chắc sẽ xem được nhưng tôi chưa bao giờ thử.)

  10. AustinN
    Posted 22/11/2007 at 11:44 pm | Permalink

    Anh Hưng và các anh chị khác cho em hỏi 2 câu:
    1. Muốn đi theo CS thì có phải coding phải thật tốt ko?
    2. Có nên nghiên cứu khi còn đang học undergrad ko? Có 2 dạng em biết: vừa học vừa nghiên cứu (thiếu gì học đó); học basis thật chắc rồi mới bắt tay vào đọc paper và do research. Cách nào hiệu quả ạ?

    Em cám ơn

  11. Posted 23/11/2007 at 3:39 pm | Permalink

    Chào AustinN,

    1. Phải.
    2. Có. Vừa học vừa làm bao giờ cũng tốt hơn.

  12. smalteagle
    Posted 25/11/2007 at 2:50 am | Permalink

    Chào anh Hưng và các anh chị.
    Mọi người có thể nói sơ lược cho em biết về tình hình và chất lượng nghiên cứu trong ngành Computer Science ở các trường đại học bên Mỹ được không ? (Đặc biệt là trường các anh chị đang giảng dạy)
    Em đang có ý định sẽ xin sang Mỹ học PhD về Computer Science, nhưng ngoài các trường lớn như MIT, CMU, Standford… khá nổi tiếng, thì ở các trường khác em không biết thông tin cụ thể như thế nào cũng như điểm mạnh và yếu giữa các chương trình học. Và nhờ mọi người tư vấn cho em nên chọn trường và chuẩn bị thế nào cho tốt được không ? (Năm nay em đang học năm 2 undergrad thôi)
    Cám ơn mọi người nhiều.

  13. Thang
    Posted 26/11/2007 at 11:29 am | Permalink

    Chào anh Hưng,
    Em có “nỗi niềm” này (nhân đọc câu hỏi của bạn Austin). Em năm nay là năm 4th rồi, cũng muốn ri sớt này nọ nhưng lại có cái “mặc cảm”: coding skill, algorithm rất tồi, các môn học thì cũng chả ra đâu vào đâu do các năm trước học hành không nghiêm túc.
    Bây giờ em nghĩ đến chuyện ngồi review lại hết kiến thức cho chắc đã rồi mới bắt tay vào làm cái gì thì làm. Nhưng lại thấy như vậy thì “chậm” quá nên cứ do dự mãi.
    Liệu anh có thể confirm lại về việc:
    - cứ research luôn không cần chắc basis
    - hay là chắc basis rồi mới research
    để em còn vững tin mà đổi hướng đi cho mình.
    Cám ơn anh.

  14. Posted 26/11/2007 at 12:35 pm | Permalink

    Chào smalteagle: chất lượng nghiên cứu trong CS ở các trường đại học Mỹ thượng vàng hạ cám. Tôi nghĩ bạn cứ xin vào được top-50 là tốt, sau đó tự tìm hiểu thêm. Câu hỏi của bạn giống như hỏi “tình hình chất lượng âm nhạc Mỹ để đi mua đĩa CD”: không trả lời được (một cách ngắn gọn).

    Chào Thang: tôi không nói “không cần basis”, mà nói rằng “học đi đôi với hành” thì tốt. Cứ nghiên cứu, thấy thiếu gì thì bổ sung kiến thức cơ bản. Đôi khi làm một nghiên cứu 1 năm, mất 11 tháng “bổ sung” – but that’s perfectly ok!!!

  15. hoangvinh
    Posted 07/12/2007 at 2:14 am | Permalink

    Xin chào các anh chị trong blog,

    Nhân có người bạn hỏi em là nên mua laptop hiệu nào ? Em theo học mấy năm bên EU thấy hầu hết các Prof Computer Science trong Lab đều dùng laptop Dell cả. Nay em muốn thăm dò ý kiến đánh giá của các chuyên gia trong blog. Bản thân em thì cũng dùng Dell :)

    Vinh,

  16. little_cat
    Posted 09/12/2007 at 11:33 am | Permalink

    Các anh chị cho em hỏi liệu điểm trung bình ở đại học là bao nhiêu thì có hi vọng nộp đơn du học sau đại học (và có hỗ trợ tài chính) ạ. Em thấy trên mạng có nhiều bài báo viết các sinh viên Ấn Độ, Trung Quốc có điểm trung bình rất cao, vậy cơ hội cho sinh viên Việt Nam có thấp lắm không ạ. Em xin cảm ơn.

  17. vinh2b
    Posted 10/12/2007 at 10:13 am | Permalink

    Chào anh Hưng
    Em đang tìm hiều về R Tree, Hilbert curve, Priority R-Tree. Em không thể tìm được tài liệu về PR-tree (một số link đến ACM nhưng không có account nên em không download được). Anh có thể nói giúp em tư tưởng thuật toán của PR-Tree?
    Thanks anh nhiều.

  18. HaThuyAnh
    Posted 14/12/2007 at 2:12 am | Permalink

    Đã từ lâu tôi search được mấy quyển sách, nhìn mà thấy “thèm” quá. Đến bây giờ không nhịn nổi nữa, có anh nào download được hoặc bày cho tôi cách download được thì hay quá. Đó là:
    - Cuốn: Adaptive Filter Theory của Simon Haykin(Người Anh), nhà xuất bản Prentice Hall, 2001
    - Cuốn: Adaptive Filter Theory and Applications của B. Farhang-Boroujeny, Bản quyền của John Wiley & Son
    - Cuốn: Adaptive Filtering primer with Matlab của Alexander D.Poularicas và Zayed M. Ramadan
    Cám ơn nhiều
    HTA

  19. svDH
    Posted 14/12/2007 at 10:53 pm | Permalink

    Chào anh Hưng,

    Em đang có ý định tìm hiểu về Quantum Computing, nhưng lại chưa có kiến thức về Theory of computation trong khi thời gian làm khóa luận tốt nghiệp chỉ có vài tháng. Liệu anh có thể recommend cho em cuốn nào nói tổng quan về Theory of computation hiện giờ thì không cần sâu nhưng cần rộng để đảm bảo sau khi đọc xong mỗi thứ (computable, TM, Godel theorem, P-NP, Kolmogorov complexcity …) nắm được một ít.
    Em thấy cái danh sách sv KHMT nên đọc sách gì của anh chưa có mục Computation theory.

    Chúc anh mạnh khỏe.

    ——
    @ HaThuyAnh: anh Thuy Anh thử vào gigapedia.org xem sao

  20. Posted 15/12/2007 at 9:21 am | Permalink

    @svDH: quyển tốt nhất “rộng mà không sâu” là quyển Introduction to Theory of Computation của Micheal Siper. Rất trực quan, ít ký hiệu, nhiều ý tưởng!

  21. HaThuyAnh
    Posted 21/12/2007 at 1:50 am | Permalink

    Cám ơn anh svDH, nhưng tôi không vào được trang này, họ đòi hỏi phải có đăng ký

  22. AustinN
    Posted 21/12/2007 at 6:50 am | Permalink

    @HTAnh: vậy thì bác đăng ký đi, mất có vài min thôi mà. Sách ở đấy nhiều lắm. Sau khi đăng ký, bác dùng search tool là xong

  23. Moonlight
    Posted 10/01/2008 at 8:29 am | Permalink

    @HTAnh
    Sử dụng eMule tìm theo tên sách hoặc tác giả. Chắc chắn có chỉ tội download hơi bị lâu.
    Hi vọng sẽ đã thèm và còn tìm được thêm nhiều tài liệu khác.

  24. little_cat
    Posted 13/01/2008 at 2:48 pm | Permalink

    Các anh chị cho em hỏi muốn tìm hiểu về hệ điều hành thì nên đọc sách nào ạ? Em xin cảm ơn.

  25. Posted 15/01/2008 at 5:56 am | Permalink

    @Little cat: quyển Operating System Concepts là quyển kinh điển. Hồi còn đi học tôi vẫn học quyển này. Bây giờ ra đến 7th edition rồi. Tuy nhiên, một lớp Operating Systems không thể thiếu thành phần implementation. Quyển của Sylberschatz thiên về lý thuyết. Về implementation projects thì có rất nhiều hướng tiếp cận. Tôi cực thích BSD vì clean codes and designs, vì thế giới thiệu quyển kinh điển The Design and Implementation of the 4.4 BSD Operating System. Đa số mọi người dùng Nachos làm platform thực tập.

  26. someone
    Posted 15/01/2008 at 6:34 am | Permalink

    Hé, hé
    Anh Hưng nói “hồi còn đi học” là khi nào vậy. Em nhớ có lần anh bảo khi mới sang Mỹ, trình độ tiếng Anh của anh chỉ cỡ Streamline thôi. Không lẽ khi ở Việt nam tiếng anh mới ở mức streamline mà anh đã đọc cái cuốn tiếng Anh mấy trăm trang “OS concepts” kia sao.
    Mà em cũng thấy lạ, nếu chỉ ở cỡ streamline thì làm sao mà anh đến Mỹ được nhỉ. Có cách nào đến Mỹ mà không cần toeft vậy anh.
    Mấy lời “bới móc” mong anh thông cảm, cũng là quý anh nên em mới hỏi vậy.
    Thú thật với anh chứ, em sắp tốt nghiệp đại học về CNTT nhưng nhìn lại thấy suốt mấy năm qua mỗi lần kết thúc một môn học cũng không đọng lại trong đầu là bao. Giờ đây cũng có lúc em nghĩ nếu được học lại tất cả các môn thì tốt. Em thấy anh nói về môn OS, đọc sách Tây, lại còn implement trên Nachos platform nữa – có nghĩa là sau khi học môn này anh nắm rất chắc về OS rồi. Liệu có khi nào anh “chểnh mảng” học xong một môn học lại cảm thấy mình không nắm được gì không hay có khi nào khi không còn học một môn nào đó anh cảm thấy hổ thẹn về kiến thức của môn đó đến mức phải quay lại tự học lại môn đó không nhỉ.
    Thế nhé, quý anh nhiều.
    À mà còn nữa, em thấy anh học cả master về toán nữa. Chẳng nhẽ ở Mỹ có chuyện không cần học đại học về toán mà được phép học luôn cao học về toán hay sao vậy.

  27. Posted 15/01/2008 at 6:44 am | Permalink

    Chào Soneone

    1. Hồi còn đi học là hồi còn đi học graduate school (96 đến 2001). Tôi có học Hệ Điều Hành ở Bách Khoa nhưng không nhớ đã dùng sách gì.

    2. Tôi sang Mỹ năm 95 theo một chương trình học … Anh Văn. Sau đó mới thi TOEFL, GRE, và apply vào grad school. Những năm 94/95 ở VN làm sao mà thi (international) TOEFL với lại GRE? Phải ra nước ngoài mới thi được.

    3. Ở Mỹ, về nguyên tắc, có thể học MS, PhD về bất kỳ ngành nào cho dù ở đại học học ngành khác. Riêng ngành CS vẫn nhận sinh viên PhD với bằng đại học Toán, Vật Lý, điện, điện tử, viễn thông. Các ngành Kinh Tế và Tài Chính rất thích nhận PhD với bằng đại học ngành kỹ thuật (Toán, Lý, Điện, Máy Tính).

    4. Hình như tôi có viết đâu đó trên blog là đọc sách phải đọc ít nhất 3 lần mới hiểu. Học một môn học cũng vậy.

  28. little_cat
    Posted 15/01/2008 at 10:05 am | Permalink

    cám ơn anh nhiều lắm (gọi bằng anh có đúng không ạ)

  29. someStudent
    Posted 22/01/2008 at 8:30 am | Permalink

    Em chào anh Hưng và các anh chị
    Em hiện giờ mới học CTDL & GT có câu hỏi này hỏi các anh.
    Em nghĩ thế này:
    –1– Những bài toán nào giải được bằng đệ quy, tức là có công thức truy hồi tính nghiệm (tính thông qua nghiệm của các bài toán kích thước nhỏ hơn và dễ giải hơn) mà đã có công thức truy hồi tính nghiệm thì cũng tức là giải được bằng Quy hoạch động. Tóm lại bài nào giải được bằng đệ quy thì chuyển sang quy hoạch động rất dễ dàng.
    –2– Với cùng một bài toán thì thuật toán đệ quy luôn phức tạp hơn hẳn (không có chuyện bằng) thuật toán quy hoạch động.
    Nếu 2 điều trên luôn đúng thì nếu bài toán nào có công thức nghiệm truy hồi ta cài đặt luôn theo kiểu quy hoạch động không cài bằng đệ quy nữa cho nhanh. Nhưng trên thực tế khi học về thuật toán các sách vẫn nói về đệ quy vì nó dễ hiểu hơn là quy hoạch động.
    À em mới học về thuật toán ở trình độ a bờ cờ nên có câu hỏi kiểu này. Anh giải đáp giúp em nha.

  30. Posted 22/01/2008 at 9:24 am | Permalink

    Chào someStudent

    1. Không phải bài nào có công thức đệ quy cũng giải được bằng quy hoạch động một cách hiệu quả. Có 3 lý do: (a) tổng số các bài toán con có thể là hàm lũy thừa, và (b) quy hoạch động thường phải dùng thêm cấu trúc dữ liệu đi kèm, các tác vụ trên cấu trúc dữ liệu này có thể tốn thời gian, và (c) thuật toán quy hoạch động có thể giải các bài toán con mà ta không cần cho bài toán chính.

    2. Thuật toán đệ quy luôn đơn giản hơn thuật toán quy hoạch động! Tôi cam đoan là dễ lập trình hơn. Tuy nhiên thuật toán đệ quy viết không khéo thì có thể tốn nhiều thời gian hơn vì giải cùng một bài toán con nhiều lần. Cách giải quyết vấn đề là dùng kỹ thuật memoization. Memoization có thể hiểu là top-down dynamic programming.

    Với memoization thì thuật toán đệ quy và thuật toán quy hoạch động có thời gian chạy gần như nhau, tùy loại bài toán. Quy hoạch động sẽ chậm hơn memoization trong một số trường hợp vì lý do (c) ở trên. Ngược lại, memoization có thể chậm hơn quy hoạch động vì cấu trúc gọi đệ quy đòi hỏi nhiều tác vụ gọi hàm trên stack.

    Tóm lại, tùy theo bài toán đang xét. Không có clear winner giữa giải pháp top-down và bottom-up cho quy hoạch động.

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>