Xem 1-20 trên 851 kết quả Lập trình logic
  • Luận văn này sẽ trình bày các kết quả nghiên cứu về cú pháp và ngữ nghĩa của chương trình logic, bao gồm các lập trình logic thông thường và lập trình logic mở rộng, tiếp đó sẽ đề cập môi trường lập trình logic DLV và được chạy trong mã nguồn hướng đối tượng Java, cuối cùng trình bày hai bài toán minh họa (bài toán N quân hậu và bài toán cây khung nhỏ nhất) được cài đặt trên DLV và được chạy trong mã nguồn hướng đối tượng Java...

    pdf114p cancer23 24-08-2012 121 55   Download

  • LẬP TRÌNH LOGIC MODAL ĐỖ THANH THUỶ. Bộ môn Mạng và các hệ thống thông tin Khoa Công nghệ thông tin Trường Đại học Giao thông Vận tải Tóm tắt: Lập trình logic modal là một mở rộng của lập trình logic cổ điển bằng cách thêm vào các toán tử modal (□, ◊) để suy diễn về các luật có thêm yếu tố độ tin cậy (belief), tri thức (knowledge), thay đổi động (dynamic change)…Bài báo trình bày tổng quan về lập trình logic modal.

    pdf9p linhdan05016 24-01-2011 117 42   Download

  • Ứng dụng lập trình logic trong rolog xây dựng shell cho hệ chuyên gia giúp các chuyên gia người có thể sử dụng sản phẩm này tạo ra mộ hệ chuyên gia nhằm phục vụ cho nhu cầu tư vấn.

    pdf13p mobile_12 28-12-2013 43 8   Download

  • 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.

    ppt24p cocacola_06 06-11-2015 17 6   Download

  • Trong bài giảng này, chúng ta sẽ cùng tìm hiểu về lập trình logic Prolog. Trong chương này gồm có các nội dung chính sau: Biễu diễn cấu trúc danh sách, một số vị từ xử lí danh sách, các thao tác cơ bản trên danh sách,... Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

    pdf18p namthangtinhlang_04 15-11-2015 20 5   Download

  • Tài liệu " Hướng dẫn thiết kế và lập trình PLC " phục vụ rộng rãi cho các bạn đọc từ các học viên, sinh viên để làm tài liệu học tập, đến các thầy cô giáo để tham khảo. Ngoài ra, mọi bạn đọc yêu thích điện điều khiển và lập trình logic đều có thể tìm thấy ở tài liệu này nhiều điều thú vị

    pdf23p dibovaodoi03 15-10-2011 847 464   Download

  • Prolog là ngôn ngữ được sử dụng phổ biến nhất trong dòng các ngôn ngữ lập trình logic ( Prolog có nghĩa là Programming in logic). Ngôn ngữ Prolog do giáo sư người Pháp Alain colmerauer in logic.

    pdf0p ntgioi120406 30-11-2009 278 160   Download

  • Nội dung chương 9 gồm: Giới thiệu: Bài toán được mô tả dưới dạng biểu thức logic các vị từ. Để giải được bài toán, cần có một cơ sở tri thức. Khi có một yêu cầu, hệ thống sẽ dựa vào cơ sở tri thúc để suy diễn; Ngôn ngữ PROLOG

    ppt11p chuotphatxit 19-09-2010 311 115   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...

    pdf120p cancer23 24-08-2012 42 14   Download

  • Tóm tắt: Lập trình logic modal là một mở rộng của lập trình logic cổ điển bằng cách thêm vào các toán tử modal (□, ◊) để suy diễn về các luật có thêm yếu tố độ tin cậy (belief), tri thức (knowledge), thay đổi động (dynamic change)…Bài báo trình bày tổng quan về lập trình logic modal.

    pdf9p thulanh1 06-09-2011 29 4   Download

  • Bài giảng "Tầng tri thức dựa luật và logic" do Lê Thanh Hương biên soạn cung cấp cho người học các kiến thức: Biểu diễn tri thức, luật Horn, các biểu thức đơn, lập trình logic – logic programming, các đặc tính của DLP, lập trình logic, các biểu thức đơn,... Mời các bạn cùng tham khảo.

    pdf10p doinhugiobay_04 27-11-2015 15 2   Download

  • Giới thiệu ngôn ngữ Pascal, các khái niệm cơ bản của ngôn ngữ Pascal,Ngôn ngữ lập trình Pascal có đặc điểm: ngữ pháp, ngữ nghĩa đơn giản và có tính logic; cấu trúc chương trình rõ ràng, dễ hiểu (thể hiện tuy duy lập trình cấu trúc); dễ sử chữa, cải tiến....

    pdf90p badkid 10-03-2009 6929 3262   Download

  • Ebook Kỹ thuật về điều khiển lập trình PLC Simatic S7-200 (Tập 1) trình bày các nội dung như: Tổng quan về điều khiển, bộ điều khiển lập trình PLC - Cấu trúc và phương thức hoạt động, cảm biến và cơ cấu chấp hành trong điều khiển logic,... Cuốn sách bao gồm các phần cơ bản phù hợp với các bạn mới bắt đầu làm quen với PLC, tuy nhiên nó cũng có thể là tài liệu tham khảo cho các bạn đã có kiến thức cơ bản về PLC.

    pdf286p thanhtrungcodien 30-08-2010 2503 1318   Download

  • Ebook Lập trình Matlab gồm 23 chương. Nội dung trình bày các kiến thức về các bài toán kỹ thuật, đặc điểm các cửa sổ lệnh trong Matlab, thao tác với mảng, phép tính logic và quan hệ, vòng lặp điều khiển, các phép tính đối với đa thức,... Tham khảo để nắm bắt nội dung chi tiết.

     

    pdf312p linhvt3i 09-05-2010 970 749   Download

  • Cùng với sự phát triển của ngành công nghiệp đất nước đặc biệt là sự phát triển của Công nghệ điện tử - tin học. Có thể coi là một cuộc cách mạng công nghệ trên toàn thế giới. Ở nước ta, ngành kĩ thuật điện tử - tin học đã được ứng dụng vào lĩnh vực điều khiển tự động, đặc biệt là kĩ thuật vi xử lí. Hiện nay, người ta đã sản xuất ra những thiết bị có thể lập trình được.

    doc84p vipqua 10-09-2010 1219 647   Download

  • Giáo trình được viết theo nội dung môn học "Kỹ thuật lập trình nâng cao" với mục đích làm tài liệu tham khảo chính cho môn học. Trình bày các kiến thức ban đầu về logic mệnh đề và logic tân từ. Phụ ;ục cung cấp một tài liệu cô đọng về các kiến thức logic áp dụng trực tiếp...

    pdf108p womanhood911_06 02-11-2009 1065 537   Download

  • Tham khảo luận văn - đề án 'đồ án tốt nghiệp giới thiệu chung về điều khiển logic khả lập trình (plc)', luận văn - báo cáo phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả

    pdf173p tanlang 19-03-2010 878 513   Download

  • Lập trình cho S7 200 và các PLC khác của hãng Siemens dựa trên 3 phương pháp cơ bản: Phương pháp hình thang (Ladder logic _ LAD). Phương pháp khối hàm (Function Block Diagram _ FBD). Phương pháp liệt kê câu lệnh (Statement List _ STL). Chương này sẽ giới thiệu các thành phần cơ bản của ba phương pháp và cách sử dụng chúng trong lập trình

    pdf80p ntgioi120405 17-11-2009 607 479   Download

  • Cuốn sách Hướng dẫn thiết kế mạch và lập trình PLC trình bày dưới dạng các bài tập lớn (24 bài) chia làm 2 phần. Phần I: Điều khiển động cơ bằng cơ điện tử; phần này có năm bài tập lớn, trình bày tóm tắt lý thuyết và thực hành các mạch điều khiển cơ bản. Phần II: Lập trình, phần này gồm 19 bài tập lớn. Tất cả các bài tập được sắp xếp theo thứ tự từ dễ đến khó, từ đơn giản đến phức tạp và có tính thực tiễn.

    pdf228p ngocluu84 17-03-2014 550 355   Download

  • Máy tính (máy vi tính hay máy điện toán) là thiết bị hay hệ thống được dùng để tính toán hay kiểm soát các hoạt động mà có thể biểu diễn dưới dạng số hay quy luật lôgic.Phần mềm (Software) là một tập hợp những câu lệnh được viết bằng một hoặc nhiều ngôn ngữ lập trình theo một trật tự xác định nhằm tự động thực hiện một số chức năng hoặc giải quyết một bài toán nào đó....

    ppt51p dongson_hongduc 30-08-2009 981 326   Download

Đồng bộ tài khoản