- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
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 pdu 25/12/2023 24 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 pdu 25/03/2023 54 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 đề
Bài giảng Đặc tả hình thức: Chương 1 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...
40 p pdu 31/01/2018 139 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình
Bài giảng Đặc tả hình thức: Chương 9 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 9 cung cấp cho người học các kiến thức: Từ mô hình đến cài đặt, design by contract (DBC), ý tưởng cơ bản, ngôn ngữ đặc tả hay ngôn ngữ lập trình, công cụ hỗ trợ,...
22 p pdu 31/01/2018 141 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Design by contract, Ngôn ngữ đặc tả, Công cụ hỗ trợ
Lý thuyết ngôn ngữ hình thức ôtômat
Mấy chục năm gần đây, chúng ta đã chứng kiến sự phát triển mãnh liệt trong các lĩnh vực nghiên cứu toán học liên quan đến máy tính và tin học. Sự phát triển phi thường của các máy tính và những thay đổi sâu sắc trong phương pháp luận khoa học đã mở ra những chân trời mới cho toán học với một tốc độ không thể sánh được trong suốt lịch sử...
107 p pdu 10/05/2012 113 2
Từ khóa: ngôn ngữ hình thức, Lý thuyết ôtômát, máy turing, trình biên dịch, ô tô mát hữu hạn, kỹ thuật điện tử, toán học
Đăng nhập