» Từ khóa: toán tử toán học

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 trình bày về luận lý mệnh đề. Các nội dung chính trong chương này gồm: Cấu trúc của luận lý mệnh đề, suy luận tự nhiên trong luận lý mệnh đề, ngữ nghĩa của luận lý mệnh đề. Phần 1 sau đây tập trung thảo luận về cấu trúc của luận lý mệnh đề. Mời các bạn cùng tham khảo.

 29 p husc 31/05/2019 279 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Cấu trúc của luận lý mệnh đề, Suy luận tự nhiên, Ngữ nghĩa của luận lý mệnh đề

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 2) tập trung thảo luận về suy luận tự nhiên trong luận lý mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 45 p husc 31/05/2019 287 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Suy luận tự nhiên, Luận lý mệnh đề, Mathematical Logic, Cấu trúc luận lý mệnh đề

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 3) trang bị cho người học những kiến thức về ngữ nghĩa của luận lý mệnh đề. Trong chương này người học sẽ tìm hiểu về: Gán thực trị, diễn dịch, thực trị của một công thức, bảng thực trị, thủ tục số học,... Mời các bạn cùng tham khảo.

 82 p husc 31/05/2019 349 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 4) tiếp tục trình bày những kiến thức liên quan đến ngữ nghĩa của luận lý mệnh đề. Các nội dung trong phần này gồm có: Soundness và Completeness, Proof theory. Mời các bạn cùng tham khảo.

 5 p husc 31/05/2019 281 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 trình bày về luận lý vị từ. Chương này gồm có 4 phần. Phần 1 sau đây sẽ tập trung giới thiệu về cấu trúc của luận lý vị từ. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 48 p husc 31/05/2019 274 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 3) cung cấp những kiến thức về ngữ nghĩa của luận lý vị từ. Trong chương này gồm có những nội dung cụ thể như sau: Diễn dịch của 1 công thức, đánh giá công thức trong 1 dd, ngữ nghĩa, công thức tương đương. Mời các bạn cùng tham khảo.

 48 p husc 31/05/2019 304 2 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 4) trình bày một số kiến thức về phân giải trong luận lý vị từ như: Tính hằng sai, dạng chuẩn Skolem, mệnh đề, nguyên tắc phân giải,...và một số nội dung liên quan khác. Mời các bạn cùng tham khảo.

 72 p husc 31/05/2019 275 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Toán tử và biểu thức, phép dịch và khối dịch không sử dụng toán tử. Mời các bạn cùng tham khảo!

 14 p husc 30/08/2018 229 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Toán tử dịch, Dịch số học, Khối dịch không sử dụng toán tử

Bài giảng "Tin học đại cương - Chương 6: Lập trình với Visual Basic 6.0" cung cấp cho người đọc các kiến thức: Soạn thảo chương trình, các kiểu dữ liệu cơ bản của VB, các toán tử thông dụng trong VB 6.0, các cấu trúc điều khiển,... Mời các bạn cùng tham khảo.

 36 p husc 31/10/2017 310 1 Download

Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Lập trình với Visual Basic 6.0, Soạn thảo chương trình, Kiểu dữ liệu cơ bản của VB, Toán tử thông dụng trong VB 6.0, Cấu trúc điều khiển

Làm rõ được cơ chế phản ứng Bingel − Hirsch giữa ion âm dimethyl bromomalonate và fullerene (C60). Trong bốn đường phản ứng thì đường phản ứng đi qua trạng thái chuyển tiếp TS(6,6)-1 để hình thành sản phẩm ở vị trí liên kết (6,6) là thuận lợi về mặt nhiệt động, điều này cũng phù hợp với kết quả thực nghiệm. Ghi chú: Tài liệu toàn văn liên...

 9 p husc 07/06/2017 484 3 Download

Từ khóa: Hóa học, Hóa lý thuyết, Hợp chất polyphenol, Khả năng phản ứng, Hóa lượng tử, Hàm mật độ, Phần mềm tính toán, Năng lượng điểm đơn, Dẫn xuất fullerene.

Bài giảng Vô tuyến điện đại cương, chương 12 trình bày về bộ trộn. Nội dung chính của chương gồm: Phần tử Gilbert, biểu diễn toán học của bộ lọc, đáp tuyến nhiễu, máy thu băng thông rộng, tiếng gõ phím. Mời các bạn cùng tham khảo.

 12 p husc 30/09/2016 326 2 Download

Từ khóa: Vô tuyến điện, Vô tuyến điện đại cương, Bài giảng Vô tuyến điện đại cương, Phần tử Gilbert, Biểu diễn toán học của bộ lọc, Đáp tuyến nhiễu

Giới thiệu tổng quan về ngôn ngữ tiếng Việt, các đặc trưng cơ bản của tiếng Việt và mọt số kỹ thuật xử lý ngôn ngữ tự nhiên. Khái quát về tách từ tiếng việt, lịch sử nghiên cứu và hướng tiếp cận bài toán tách từ và đề xuất một số phương pháp tách từ tiếng Việt. Tìm hiểu thực trạng việc ứng dụng Công nghệ thông tin trong văn...

 6 p husc 20/06/2016 378 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ tự nhiên, Xử lý ngôn ngữ, Ngôn ngữ tiếng Việt, Bài toán tách từ, Tách từ tiếng Việt, Loại bỏ từ dừng, Tự động hóa phân loại, Hỗ trợ phân loại, Khớp cực đại