While these early programs worked o

While these early programs worked on a somewhat hitor-miss basic, later theorem-solving programs produced solutions different from the standard ones known to mathematicians, and sometimes more elegant. Thus the computer, which began as an aid to calculation. Became an aid to symbol manipulation and to some extent an independent creative source.

Results (Vietnamese) 1:

Trong khi các chương trình đầu làm việc trên một chương trình sau đó lý giải quyết phần nào hitor-Hoa hậu cơ bản ở cạnh các giải pháp ông nội từ những tiêu chuẩn được biết đến với các nhà toán học, và đôi thanh lịch hơn. Do đó, máy tính, mà bắt đầu như một trợ giúp tiếng tính toán. Đã trở thành một trợ giúp tiếng thảo NXB biểu tượng và một số phạm vi một nguồn độc lập dự chức.

Results (Vietnamese) 2:

During the program đầu làm việc on one chương trình then lý giải quyết phần nào hitor-miss cơ bản sản output giải pháp khác nhau từ those tiêu chuẩn known to with nhà toán học, and đôi thanh lịch than. Do that, tính máy, mà bắt đầu like a help for tính toán. Đã become one help for thao tác biểu tượng, so some phạm vi an nguồn độc lập sáng tạo.