Please use this identifier to cite or link to this item: http://thuvienso.thanglong.edu.vn/handle/DHTL_123456789/5454
Title: Logic induction and counting
Keywords: Toán rời rạc | Logic | Toán học | Toán ứng dụng | Giáo trình
Issue Date: 2017
Publisher: ĐH Thăng long
Abstract: 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
URI: http://thuvienso.thanglong.edu.vn/handle/DHTL_123456789/5454
Appears in Collections:Giáo trình các môn học đại cương

Files in This Item:
File Description SizeFormat 
Logic induction (chuan).pdfNội dung89.71 MBAdobe PDFView/Open    Request a copy


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.