- 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
Tư tưởng Logic học của Thomas Hobbe
Bài viết trình bày vai trò của Thomas Hobbe trong việc hình thành tư tưởng Logic Toán và một chuyên ngành mởi của Logic học có tên gọi là kí hiệu học. Ảnh hưởng của tư tưởng Thomas Hobbe đến sự phát triển Logic học giai đoạn tiếp theo.
8 p itc 26/02/2020 279 1
Từ khóa: Tư tưởng Logic học, Logic học của Thomas Hobbe, Tư tưởng Logic học của Thomas Hobbe, Hình thành tư tưởng Logic Toán, Ảnh hưởng của tư tưởng Thomas Hobbe
Bài giảng Toán rời rạc - Chương 1: Cơ sở Logic
Nội dung bài giảng gồm mệnh đề, dạng mệnh đề, vị từ và lượng từ, quy nạp Toán học, bảng chân trị của dạng mệnh đề, tương đương Logic, quy tắc phủ định của phủ định, quy tắc De Morgan, luật giao hoán, Luật kết hợp, luật phân phối, luật lũy đẳng, luật trung hòa, quy tắc suy diễn, quy tắc tam đoạn luận rời rạc, quy tắc chứng minh theo...
69 p itc 19/08/2019 307 1
Từ khóa: Toán rời rạc, Cơ sở logic, Dạng mệnh đề, Vị từ và lượng từ, Quy nạp Toán học, Chứng minh quy nạp
Giáo trình Ôtômát và ngôn ngữ hình thức: Phần 1
Giáo trình này giới thiệu một cách hệ thống những khái niệm cơ bản và các tính chất chung của ôtômát và ngôn ngữ hình thức. Phần 1 giáo trình gồm 4 chương đầu với nội dung sau: Chương mở đầu trình bày các khái niệm cơ bản, các tính chất quan trọng của các cấu trúc đại số, logic mệnh đề, logic tân từ và các phương pháp suy luận toán học làm...
108 p itc 23/04/2019 370 3
Từ khóa: Ôtômát và ngôn ngữ hình thức, Cấu trúc đại số, Logic mệnh đề, Logic tân từ, Phương pháp suy luận toán học, Lý thuyết ôtômát, Hoạt động của ôtômát
Bài giảng Cấu trúc máy tính - Chương 7: Toán tử
Bài giảng cung cấp cho người học các kiến thức: Tìm hiểu toán tử. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.
38 p itc 11/07/2018 280 1
Từ khóa: Bài giảng Cấu trúc máy tính, Cấu trúc máy tính, Toán tử số học, Toán tử logic, Toán tử quan hệ, Toán tử SEG, Độ ưu tiên toán tử, Toán tử Offset
Đăng nhập
Bộ sưu tập nổi bật