Thư viện tài liệu, ebook tham khảo dành cho học sinh, sinh viên

Là quá trình xuất phát từ sự kiện cần chứng minh và thay vào đó là những sự kiện ở vế trái của 1 luật có vế phải là sự kiện cần chứng minh. Quá trình này được thực hiện cho đến khi đưa về các sự kiện là tập sự kiện con của tập sự kiện giả thiết. (Nghĩa là: để đưa ra kết luận b, ta thử tìm tất cả các luật có dạng: a1  . an  b, để có b, phải ...

74 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 1156 | Lượt tải: 0

Ví dụ 1. Tìm đường đi từ đỉnh i0 đến đỉnh j0. Program Duong_di; Var A: array[1.50,1.50] of byte; Truoc: array [1.50] of byte; Dau: array [1.50] of boolean; n, i0, j0: byte; Procedure Khoitao; Var i, j : byte; f:text; tenfile:string; Begin write(‘ten file’);

93 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 1066 | Lượt tải: 0

Tiết kiệm điện có thể được lựa chọn ở các cấp độ khác nhau như vô hiệu hóa giao diện AT hoặc kích hoạt lại giao diện AT cho phép người sử dụng có thể truy cập thường xuyên các lệnh AT. - GSM IDLE Khi kích hoạt chế độ này, sau khi đăng ký với mạng GSM, module có thể được phân trang từ các trạm BTS và sẵn sàng để gửi và nhận tín hiệu. - GSM TAL...

142 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 770 | Lượt tải: 0

Cuộc CMCN 4.0 với xu hướng phát triển dựa trên nền tảng tích hợp cao độ của hệ thống kết nối số hóa với sự đột phá của Internet vạn vật và Trí tuệ nhân tạo mà đặc điểm là tận dụng một cách triệt để sức mạnh lan tỏa của số hóa với đặc trưng là CNTT. Thực tế này mở ra những cơ hội và cả thách thức rất lớn cho các cơ sở đào tạo nhằm đáp ứng nguồ...

5 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 958 | Lượt tải: 0

Bài tập 2: Hãy cho biết giá trị của các hằng nguyên sau trong chương trình: 0345, 0x168, 06356, 0xAF04  Bài tập 3: Cho biết biểu diễn dưới dạng số thực dấu phẩy tĩnh của các hằng số thực sau:  535.235 E+3  256.89 E-1  10.103 E-5

11 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 949 | Lượt tải: 0

Các nguyên lý  Nguyên lý vét cạn thông minh: trong bài toán tìm kiếm khi không gian tìm kiếm lớn => giới hạn không gian tìm kiếm hoặc thực hiện dò tìm đặc biệt dựa vào đặc thù của bài toán để nhanh chóng tìm ra mục tiêu  Nguyên lý tham lam: lấy tiêu chuẩn tối ưu toàn cục làm tiêu chuẩn chọn lựa hành động cục bộ của từng bước trong quá trìn...

6 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 719 | Lượt tải: 0

Bước 1: Xác định vấn đề-bài toán  Bước 2: Lựa chọn phương pháp giải  Bước 3: Xây dựng thuật toán hoặc thuật giải  Bước 4: Cài đặt chương trình  Bước 5: Hiệu chỉnh chương trình  Bước 6: Thực hiện chương trình

3 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 709 | Lượt tải: 0

Quản lý dữ liệu tồn tại lâu dài  Truy xuất dữ liệu một cách hiệu quả  Hỗ trợ ít nhất một mô hình dữ liệu  Đảm bảo tính độc lập dữ liệu, toàn vẹn dữ liệu  Hỗ trợ các ngôn ngữ cấp cao nhất định cho phép người sử dụng định nghĩa cấu trúc của dữ liệu, truy nhập và thao tác dữ liệu  Quản trị giao dịch  Điều khiển truy nhập  Sao lưu và ph...

6 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 685 | Lượt tải: 0

Chọn đối tượng muốn đổi tên  Thực hiện lệnh File/ Rename hoặc nhấn phím F2 hoặc R_Click trên đối tượng và chọn mục Rename.  Nhập tên mới, sau đó gõ Enter để kết thúc.  Chú ý : với tập tin đang sử dụng thì các thao tác di chuyển, xoá, đổi tên không thể thực hiện được.

18 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 769 | Lượt tải: 0

Trong thời đại của công nghệ thông tin hiện nay Internet có nhiều lợi ích như truyền tin, phổ biến tin, thu thập tin, trao đổi tin một cách nhanh chóng thuận tiện rẻ tiền hơn so với các phương tiện khác như điện thoại, fax. Internet ảnh hưởng đến toàn bộ thế giới đến mọi ngành, mọi lĩnh vực xã hội. Hiện nay Internet thành một yếu tố quan tr...

5 trang | Chia sẻ: huongthu9 | Ngày: 19/08/2021 | Lượt xem: 729 | Lượt tải: 0