Logic induction and counting

Material type: TextTextLanguage: eng Description: 388 p. 30 cmSubject(s): Toán rời rạc | Logic | Toán học | Toán ứng dụng | Giáo trìnhDDC classification: 511 Online resources: Click here to access online Summary: Các quy tắc logic đưa ra ý nghĩa chính xác cho câu lệnh toán học. Các quy tắc này được sử dụng để phân biệt đối số toán học hợp lệ và không hợp lệ. Bởi vì một mục đích chính của cuốn sách này là dạy người đọc hiểu và làm thế nào để xây dựng các luận cứ toán học chính xác, chúng ta bắt đầu nghiên cứu của chúng ta về toán học rời rạc với một sự giới thiệu về logic. Ngoài tầm quan trọng của nó trong việc hiểu lý luận toán học, logic có nhiều ứng dụng trong khoa học máy tính. Các quy tắc này được sử dụng trong thiết kế mạch máy tính, xây dựng các chương trình máy tính, xác minh tính đúng đắn của các chương trình và bằng nhiều cách khác. Hơn nữa, hệ thống phần mềm đã được phát triển tự xây dựng bằng chứng. Chúng ta sẽ thảo luận về những ứng dụng logic này trong chương tiếp theo
Star ratings
    Average rating: 0.0 (0 votes)

This record has many physical items (856). View all the physical items.


Các quy tắc logic đưa ra ý nghĩa chính xác cho câu lệnh toán học. Các quy tắc này được sử dụng để phân biệt đối số toán học hợp lệ và không hợp lệ. Bởi vì một mục đích chính của cuốn sách này là dạy người đọc hiểu và làm thế nào để xây dựng các luận cứ toán học chính xác, chúng ta bắt đầu nghiên cứu của chúng ta về toán học rời rạc với một sự giới thiệu về logic.
Ngoài tầm quan trọng của nó trong việc hiểu lý luận toán học, logic có nhiều ứng dụng trong khoa học máy tính. Các quy tắc này được sử dụng trong thiết kế mạch máy tính, xây dựng các chương trình máy tính, xác minh tính đúng đắn của các chương trình và bằng nhiều cách khác. Hơn nữa, hệ thống phần mềm đã được phát triển tự xây dựng bằng chứng. Chúng ta sẽ thảo luận về những ứng dụng logic này trong chương tiếp theo

There are no comments on this title.

to post a comment.

Powered by Koha