Cuốn sách này nhằm cung cấp cơ sở lý thuyết và những phương pháp lập trình cơ bản nhất của môn học "Lập trình lôgich". Bạn đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia,...

 99 p niem 10/05/2019 579 4 Download

Nối tiếp phần 1, phần 2 sách gồm: Chương 4 trình bày cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của prolog; chương 5 trình bày kỹ thuật lập trình nâng cao với prolog. Phần phụ lục giới thiệu ngôn ngữ lập trình SWI-Prolog, hướng dẫn cách cài đặt sử dụng phần mềm này và một số chương trình ví dụ tiêu biểu viết trong SWI Prolog đã...

 86 p niem 10/05/2019 434 4 Download

Bài giảng Kỹ thuật phần mềm - Phần 1: Giới thiệu chung về Công nghệ phần mềm. Những nội dung chính được trình bày trong chương này gồm có: Bản chất phần mềm, những vấn đề trong phát triển phần mềm, Quy trình phát triển phần mềm

 52 p niem 10/05/2019 366 3 Download

Bài giảng Kỹ thuật phần mềm - Phần 2: Quản lý dự án phần mềm. Những nội dung chính được trình bày trong chương này gồm có: Khái niệm về quản lý dự án; nguyên lý và quy trình quản lý dự án; kỹ năng, kỹ thuật quản lý dự án; các yếu tổ quyết định thành công của dự án.

 25 p niem 10/05/2019 391 2 Download

Bài giảng Kỹ thuật phần mềm - Phần 3: Phương pháp xác định yêu cầu người dùng. Những nội dung chính được trình bày trong chương này gồm có: Tổng quan về yêu cầu phần mềm, quy trình xác định yêu cầu phần mềm, công cụ và phương pháp đặc tả yêu cầu phần mềm, nguyên lý phân tích yêu cầu sử dụng.

 21 p niem 10/05/2019 372 2 Download

Bài giảng Kỹ thuật phần mềm - Phần 4: Thiết kế và lập trình design and programming. Những nội dung chính được đề cập trong chương này gồm có: Thiết kế hệ thống, thiết kế chương trình, lập trình. Mời các bạn cùng tham khảo.

 23 p niem 10/05/2019 399 2 Download

Chương này trình bày những nội dung chính sau: Khái niệm kiểm thử, phương pháp thử, kỹ thuật thiết kế trường hợp thử, kiểm thử module, kiểm thử hệ thống, kiểm thử chấp nhận, bảo trì. Mời các bạn cùng tham khảo.

 27 p niem 10/05/2019 355 2 Download

Phần 6 trình bày các chủ đề nâng cao như: Ước lượng chi phí phần mềm (SE Cost Estimation), quản lý chất lượng (Quality Management), cải tiến quy trình (Process Improvement). Mời các bạn cùng tham khảo.

 15 p niem 10/05/2019 343 2 Download

Bài giảng "Tin học cơ sở - Chương 4: Mạng máy tính và internet" cung cấp cho người học các kiến thức: Khái niệm mạng máy tính, các thành phần của mạng máy tính Switch, Wifi. Mời các bạn cùng tham khảo nội dung chi tiết.

 26 p niem 22/04/2019 369 2 Download

Bài giảng "Tin học cơ sở - Chương 2: Cấu trúc máy tính" giới thiệu tới người học những kiến thức cơ bản về máy tính, chức năng và sơ đồ cấu trúc của máy tính, các bộ phận cơ bản của máy tính. Mời các bạn cùng tham khảo.

 37 p niem 22/04/2019 315 2 Download

Bài giảng "Tin học cơ sở - Chương 3: Hệ điều hành" cung cấp cho người học các kiến thức: Khái niệm hệ điều hành; tệp và thư mục, hệ điều hành DOS, hệ điều hành Windows,... Mời các bạn cùng tham khảo nội dung chi tiết.

 8 p niem 22/04/2019 299 2 Download

Bài giảng "Tin học cơ sở - Chương 6: Giải thuật" cung cấp cho người học các kiến thức: Phương pháp giải quyết vấn đề bằng máy tính; khái niệm về giải thuật, các tính chất của giải thuật. Mời các bạn cùng tham khảo nội dung chi tiết.

 9 p niem 22/04/2019 371 1 Download