- 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
Bài giảng Lập trình cơ bản: Bài 6 - Chu Thị Hường
Bài giảng Lập trình cơ bản: Bài 6 Con trỏ và xâu ký tự, cung cấp cho người đọc những kiến thức như: giới thiệu về con trỏ; các toán tử con trỏ; gọi hàm tham chiếu với đối số con trỏ; biểu thức con trỏ và các phép toán số học;...Mời các bạn cùng tham khảo!
38 p dtu 24/08/2023 70 0
Từ khóa: Bài giảng Lập trình cơ bản, Lập trình cơ bản, Con trỏ và xâu ký tự, Biến con trỏ, Khai báo con trỏ, Phép toán số học
Bài giảng Toán rời rạc - Chương 1: Cơ sở logic (Phạm Thế Bảo)
Bài giảng Toán rời rạc - Chương 1: Cơ sở logic (Phạm Thế Bảo) có nội dung trình bày các kiến thức về mệnh đề, dạng mệnh đề, qui tắc suy diễn, vị từ, lượng từ, tập hợp, ánh xạ, qui nạp toán học,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
99 p dtu 28/09/2021 149 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Qui tắc suy diễn, Qui nạp toán học, Mệnh đề phức hợp, Phép nối rời
Hướng dẫn tiêm an toàn trong các cơ sở khám bệnh, chữa bệnh - Bộ Y tế
Hướng dẫn tiêm an toàn trong các cơ sở khám bệnh, chữa bệnh - Bộ Y tế. Ban hành kèm theo Quyết định số: 3671/QĐ-BYT ngày 27 tháng 9 năm 2012 của Bộ Y tế. Nội dung của tài liệu Hướng dẫn bao gồm 5 phần: Các khái niệm mục đích phạm vi và đối tượng sử dụng tài liệu hướng dẫn, sinh bệnh học nhiễm khuẩn đường máu do tiêm không an toàn, các giải...
37 p dtu 11/04/2014 1767 11
Từ khóa: Hướng dẫn tiêm an toàn, Cơ sở khám bệnh, Nhiễm khuẩn bệnh viện, Điều dưỡng cơ bản, Sinh bệnh học nhiễm khuẩn đường máu, Dự phòng phơi nhiễm nghề nghiệp
Đặc tả hình thức - Đặc tả và tính đúng đắn của hàm
Phương pháp này chính là phương pháp kiểm thử chủ đạo được áp dụng trong giai đoạn lập trình và giai đoạn kiểm thử của quy trình phát triển phần mềm trên thế giới hiện nay. Các công cụ hỗ trợ phương pháp này: Công cụ phát sinh các dữ liệu thử nghiệm. Công cụ cho phép thực thi hàm và ghi nhận kết quả. Công cụ kiểm tra tính phù hợp của...
40 p dtu 11/10/2012 234 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Các cơ sở của đặc tả
Thực hiện các phép toán trên mệnh đề. Lập bảng chân trị của 1 dạng mệnh đề. Chứng minh dạng mệnh đề là hằng đúng/sai. Chứng minh 2 dạng mệnh đề tương đương logic. Chứng minh các phép suy diễn trên mệnh đề.
68 p dtu 11/10/2012 230 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
27 p dtu 11/10/2012 231 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Nội dung môn học
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
15 p dtu 11/10/2012 230 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Quy tắc song hành: hầu hết các BĐT đều có tính đối xứng do đó việc sử dụng các chứng minh một cách song hành, tuần tự sẽ giúp ta hình dung ra được kết quả nhanh chóng và định hướng cách giả nhanh hơn. Quy tắc dấu bằng: dấu bằng " " = trong BĐT là rất quan trọng. Nó giúp ta kiểm tra tính đúng đắn của chứng minh. Nó định hướng cho ta...
67 p dtu 16/05/2012 247 2
Từ khóa: sổ tay toán học, bài tập toán, giáo trình toán học, công thức toán học, toán học cơ bản, ôn thi tốt nghiệp
Quy tắc song hành: hầu hết các BĐT đều có tính đối xứng do đó việc sử dụng các chứng minh một cách song hành, tuần tự sẽ giúp ta hình dung ra được kết quả nhanh chóng và định hướng cách giả nhanh hơn. Quy tắc dấu bằng: dấu bằng " " = trong BĐT là rất quan trọng. Nó giúp ta kiểm tra tính đúng đắn của chứng minh. Nó định hướng cho ta...
67 p dtu 16/05/2012 244 2
Từ khóa: sổ tay toán học, bài tập toán, giáo trình toán học, công thức toán học, toán học cơ bản, ôn thi tốt nghiệp
Logic toán học là một công cụ để làm việc với báo cáo hợp chất phức tạp. Nó bao gồm: Một ngôn ngữ để thể hiện chúng. Một ký hiệu viết ngắn gọn cho họ. Một phương pháp khách quan lý luận về sự thật hay gia ̉ maọ của họ. Nó là nền tảng cho thể hiện bằng chứng chính thức trong tất cả các chi nhánh của toán học.
105 p dtu 16/05/2012 322 1
Từ khóa: cơ sở Logic, logic toán học, báo cáo hợp chất phức tạp, toán rời rạc, logic mệnh đề, chứng minh toán học, phép biện chứng toán học
Các chú ý và một số lời giải cho một số bài toán cơ bản
Để làm tốt bài thi môn toán, học sinh cần có kiến thức giáo khoa vững vàng và kỹ năng thực hiện lời giải thuần thục (tính toán nhanh, chính xác và trình bày lời giải rõ ràng). Về lý thuyết, điều quan trọng nhất là nắm vững các định nghĩa, các tính chất của từng khái niệm, nhớ và biết cách vận dụng của mỗi công thức. Việc tự mình lập...
25 p dtu 16/05/2012 232 1
Từ khóa: bài tập toán, tài liệu học môn toán, sổ tay toán học, phương pháp dạy học toán, bài toán cơ bản, kinh nghiệm giải toán
Tin học ứng dụng Microsoft Access 2000
Access là hệ quản trị cơ sở dữ liệu , rất phù hợp với các bài toán quản lý vừa và nhỏ kết kinh nghiệm của tác giả trong giảng dạy các khoá đào tạo về Access cũng như kinh nghiệm sử dụng Access làm hệ quản trị cơ sở dữ liệu và công cụ phát triển phần mềm. Hầu hết nội dung trình bày trong giáo trình đều bám theo những bài tập thực hành...
129 p dtu 16/05/2012 664 9
Từ khóa: tin học căn bản, dữ liệu máy tính, hệ quản trị, Tin học ứng dụng, Microsoft Access, bài toán quản lý vừa và nhỏ, quản trị cơ sở dữ liệu
Đăng nhập
Bộ sưu tập nổi bật