» Từ khóa: lôgíc hình thức

Kết quả 1-2 trong khoảng 2

Sự xác lập quan điểm của Ph.Ăngghen về đối tượng của triết học trong tác phẩm chống Đuyrinh và biện chứng của tự nhiên

Trong bài viết này, người viết muốn đưa ra một vài nhận định khác trong cách xác định đối tượng nghiên cứu của triết học của Ăngghen, chủ yếu dựa vào hai tác phẩm Chống Đuyrinh và Biện chứng của tự nhiên. Với ông, triết học Hêghen là hệ thống triết học cuối cùng và hoàn bị nhất, sau Hêghen, triết học chỉ còn lại logic học và phép biện...

9 p thuvienquangninh 30/06/2021 192 0

Từ khóa: Đối tượng của triết học, Logic hình thức, Phép biện chứng, Chủ nghĩa duy vật biện chứng, Chống Đuyrinh, Triết học Hêghen
Một cách tiếp cận thuật toán GEN để giải bài toán phủ tập hợp

Bài toán phủ tập hợp là một mô hình toán học cho nhiều ứng dụng quan trọng như lập lịch biểu, quy hoạch dịch vụ, phân tích dữ liệu logic, đơn giản hóa biểu thức Boolean. Trong bài báo này, các tác giả đề xuất một cách tiếp cận dựa trên thuật toán gen để giải bài toán SCP và thử nghiệm đánh giá hiệu quả của nó trên các bài toán mẫu trong...

11 p thuvienquangninh 08/01/2018 340 1

Từ khóa: Tạo chí tin học, Điều khiển học, Mô hình toán học, Lập lịch biểu, Quy hoạch dịch vụ, Phân tích dữ liệu logic, Đơn giản hóa biểu thức Boolean

Đăng nhập

Bộ sưu tập nổi bật

Thư Viện Tỉnh Quảng Ninh

Địa chỉ: Đường Trần Quốc Nghiễn - Phường Hồng Hải - TP. Hạ Long - Quảng Ninh
Điện thoại: 0203.6500.163 Email: thuvienquangninh@gmail.com

Phát triển bởi Thư viện số