Computer-Science

Nguồn: Hacker News Bài báo học thuật trên arXiv đề xuất một tổng quát hóa chính tắc của cấu trúc dữ liệu OBDD (Ordered Binary Decision Diagram) — một công cụ quan trọng trong verification hình thức và tổng hợp logic. Nghiên cứu này có tiềm năng mở rộng khả năng biểu diễn và xử lý các bài toán logic phức tạp hơn so với OBDD truyền thống. Xem bài gốc để biết thêm chi tiết về lý thuyết và bằng chứng toán học....

Nguồn: Hacker News Nghiên cứu toán học trên arXiv chứng minh rằng tất cả các hàm sơ cấp (elementary functions) như sin, cos, exp, log… đều có thể được xây dựng từ một toán tử nhị phân duy nhất. Kết quả này có ý nghĩa lý thuyết sâu sắc về nền tảng của toán học tính toán và có thể ảnh hưởng đến thiết kế của các hệ thống tính toán tượng trưng (symbolic computation)....