Lập trình logic và ràng buộc

Bài giảng Lập trình logic và ràng buộc (Logic Programming and Constraint): Bài 1 do TS. Lê Mạnh Hải biên soạn cung cấp cho các bạn những kiến thức về lược sử Prolog và các dòng sản phẩm; cài đặt SWI-Prolog và SWI-Prolog editor. Mời các bạn tham khảo.

24p cocacola_06 06-11-2015 128 14   Download

Lập trình ràng buộc là một trong những phát triển thú vị và mạnh mẽ nhất của ngôn ngữ lập trình trong thập kỷ gần đây .Được xây dựng trên cơ sở lý thuyết toán học vững chắc , nó đang phát triển và đặc biệt là nó cũng đang thu hút sự quan tâm mạnh mẽ trong việc áp dụng vào lĩnh vực thương mại , nó trở thành phương pháp mô hình hóa cho nhiều loại bài toán tối ưu , cụ thể là trong các ràng buộc có sự hỗn tạp và các bài toán tìm kiếm...

120p cancer23 24-08-2012 108 20   Download

Lập trình logic ràng buộc (CLP) là một hướng mở rộng của lập trình logic, đã được nhiều người đầu tư nghiên cứu và có thể tìm thấy trong nhiều công trình [1], [2], [3], [8]. Cơ chế lập trình này đưa...

11p phalinh15 12-08-2011 83 9   Download

tổng hợp tất cả các thiết kế đối với họ FPGA, CPLD hoặc ASIC của các hãng như: Xilinx, Altera, Quicklogic, Atmel, …. Nó đưa ra các sơ đồ thiết kế, các thiết kế bằng ngôn ngữ Verilog và VHDL, chương trình gỡ lỗi (register transfer level) để tổng hợp logic, tối ưu hóa những ràng buộc cơ bản, phân tích định thời, đóng gói place and route và kiểm tra lại sơ đồ. LeonardoSpectrum có khả năng định cấu hình ở ba mức khác nhau: Mức 1: là một công nghệ FPGA riêng dễ sử dụng, công cụ...

10p zeroduong13 16-11-2010 257 70   Download