|
Dòng
|
Nội dung
|
|
1
|
Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications / Gerard O'Regan.
Cham : Springer International Publishing, 2016
378 pages
Cung cấp cho người đọc cái nhìn tổng quan về toán học rời rạc và các ứng dụng của nó trong lĩnh vực máy tính. Mục tiêu là cung cấp một hướng dẫn rộng rãi và dễ hiểu về các nguyên tắc cơ bản của toán học rời rạc, đồng thời chỉ ra cách thức áp dụng nó vào các lĩnh vực khác nhau trong máy tính như mật mã, lý thuyết mã hóa, phương pháp hình thức, lý thuyết ngôn ngữ, khả năng tính toán, trí tuệ nhân tạo, lý thuyết cơ sở dữ liệu và độ tin cậy của phần mềm. Trọng tâm là cả lý thuyết và ứng dụng, thay vì chỉ nghiên cứu toán học một cách đơn thuần.
Đầu mục:0
(Lượt lưu thông:0)
Tài liệu số:1
(Lượt truy cập:0)
|
|
2
|
Towards a design flow for reversible logic / Robert Wille, Rolf Drechsler.
Dordrecht ; Springer Verlag, 2010.
xiii, 184 p. : ; cm.
Trình bày quy trình thiết kế logic thuận nghịch, bao gồm các phương pháp tiên tiến để tổng hợp, tối ưu hóa, xác minh và gỡ lỗi. Các phương pháp hình thức như tính thỏa mãn Boolean và sơ đồ quyết định được khai thác. Bằng cách kết hợp các kỹ thuật được đề xuất trong sách, có thể tổng hợp các mạch thuận nghịch biểu diễn các hàm lớn. Các phương pháp tối ưu hóa đảm bảo rằng các mạch thu được có chi phí thấp. Cuối cùng, một phương pháp kiểm tra tương đương và gỡ lỗi tự động cho phép xác minh các kết quả thu được và giúp tăng tốc độ tìm kiếm lỗi trong trường hợp có sai sót trong thiết kế. Bằng cách kết hợp các phương pháp tương ứng, một quy trình thiết kế đầu tiên cho các mạch thuận nghịch có kích thước đáng kể được hình thành. Tài liệu dành cho các nhà khoa học máy tính và kiến trúc sư máy tính và không yêu cầu kiến thức trước đó về vật lý của logic thuận nghịch hoặc tính toán lượng tử.
Đầu mục:0
(Lượt lưu thông:0)
Tài liệu số:1
(Lượt truy cập:0)
|
|
|
|
|