» Từ khóa: hinh thuc ngon ngu

Kết quả 25-29 trong khoảng 29

Ebook Logic học đại cương: Phần 1

Phần 1 cuốn sách "Logic học đại cương" cung cấp cho người đọc các nội dung 4 chương đầu bao gồm: Đối tượng và ý nghĩa của logic học, khái niệm, phán đoán, các quy luật cơ bản của logic hình thức. Mời các bạn cùng tham khảo nội dung chi tiết.

120 p actvn 24/06/2024 52 0

Từ khóa: Logic học đại cương, Phán đoán, Logic hình thức, Quy luật không mẫu thuẫn, Quy luật đồng nhất, Hình thức ngôn ngữ
Giáo trình Logic học ký hiệu: Phần 1

Giáo trình Logic học ký hiệu được biên soạn dùng tài liệu học tập cho học viên cao học ngành Lý luận và phương pháp dạy học bộ môn Lý luận chính trị và những người quan tâm khác bước đầu làm quen với bộ môn này, biết vận dụng để xử lý một số tình huống khoa học và thực tiễn cụ thể. Giáo trình được chia thành 2 phần, mời các bạn...

34 p actvn 29/11/2023 87 0

Từ khóa: Giáo trình Logic học ký hiệu, Logic học ký hiệu, Ngôn ngữ logic mệnh đề, Hình thức mệnh đề, Logic mệnh đề, Bảng giá trị công thức mệnh đề
Giáo trình Thị giác máy tính và ứng dụng: Phần 1

Giáo trình Thị giác máy tính và ứng dụng ra đời với mục đích giúp người học dễ dàng tiếp cận và thực hành thị giác máy tính. Cơ sở lý thuyết và thuật toán cơ bản được trình bày theo cách đơn giản nhất để sinh viên, nhà nghiên cứu và những đối tượng khác có cùng đam mê trong lĩnh vực này dễ dàng thực hành trên những ứng dụng cụ thể......

70 p actvn 24/04/2023 65 0

Từ khóa: Giáo trình Thị giác máy tính, Thị giác máy tính, Ứng dụng thị giác máy tính, Thực hành thị giác máy tính, Xử lý ảnh cơ bản, Ngôn ngữ lập trình Python, Phép ánh xạ hình ảnh
Bài giảng Đặc tả hình thức: Chương 1 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 1 Tổng quan, cung cấp cho người đọc những kiến thức như: Đặc tả hình thức và quy trình công nghệ phần mềm; Ngôn ngữ và đặc tả; Một số ngôn ngữ đặc tả hình thức; Đặc tả và công nghệ phần mềm. Mời các bạn cùng tham khảo!

21 p actvn 21/03/2023 55 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình Thế giới thực, Ngôn ngữ đặc tả hình thức, Quy trình công nghệ phần mềm, Ngôn ngữ hình thức
Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!

47 p actvn 21/03/2023 65 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ, Logic toán học, Logic mệnh đề

Đăng nhập

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

Bộ sưu tập Kỹ thuật lập trình

10 22122
Bộ sưu tập Lý luận chính trị

12 24239
Bộ sưu tập Kỹ thuật viễn thông

11 17061
Bộ sưu tập Tài liệu học tiếng Anh

14 84733
Bộ sưu tập Mật mã - An toàn thông tin

10 22718

Học viện Kỹ thuật Mật Mã

141 đường Chiến Thắng - Tân Triều - Thanh Trì - Hà Nội
ĐT : 024.38544244 – 024.38543024 – 024.385520251

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