However, we flattened this tree int

However, we flattened this tree into a linear presentation which necessitates
the use of pointers as seen in lines 3 and 4 above. These pointers allow
us to recreate the actual proof tree. Throughout this text, we will use the
flattened version of presenting proofs. That way you have to concentrate only
on finding a proof, not on how to fit a growing tree onto a sheet of paper.

Kết quả (Việt) 1:

Tuy nhiên, chúng tôi làm phẳng cây này vào một bài thuyết trình tuyến tính mà đòisử dụng con trỏ như trong dòng 3 và 4 ở trên. Những gợi ý cho phépchúng ta phải tạo lại cây bằng chứng thực tế. Trong văn bản này, chúng tôi sẽ sử dụng cácphẳng Phiên bản trình bày bằng chứng. Bằng cách đó, bạn cần phải tập trung chỉvề việc tìm kiếm một bằng chứng, không phải trên làm thế nào để phù hợp với một cây phát triển lên một tờ giấy.

Kết quả (Việt) 2:

Tuy nhiên, chúng ta dẹp cây này thành một bài thuyết trình tuyến tính mà đòi hỏi
việc sử dụng con trỏ như trong dòng 3 và 4 ở trên. Những gợi ý cho phép
chúng ta tái tạo lại cây bằng chứng thực tế. Trong suốt văn bản này, chúng tôi sẽ sử dụng
phiên bản phẳng trình bày chứng minh. Bằng cách đó bạn có để chỉ tập trung
vào việc tìm kiếm một bằng chứng, không làm thế nào để phù hợp với một cái cây đang lớn lên một tờ giấy.