- 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 Phương thức từ thiên nhiên tăng cường sức khỏe và tuổi thọ - Nước quả ép chữa bệnh: Phần 2
Nối tiếp nội dung của phần 1 Tài liệu Nước quả ép chữa bệnh - Phương thức từ thiên nhiên tăng cường sức khỏe và tuổi thọ, phần 2 trình bày các nội dung: Hiệu quả sử dụng nước ép làm từ rau quả tươi, thực phẩm tự nhiên cần thiết cho mỗi người, phương thức phối hợp nước rau quả ép với các thực phẩm tự nhiên tăng cường sức...
168 p dtu 31/03/2020 157 3
Từ khóa: Nước quả ép chữa bệnh, Tăng cường sức khỏe, Tăng cường tuổi thọ, Thực phẩn tự nhiên, Sử dụng nước ép rau quả, Nước rau quả ép cho trẻ em
Đặ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 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
Đặ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 224 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 227 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 224 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
Phương pháp giải toán Tích Phân
Phương pháp phân tích thực chất là việc sử dụng các đồng nhất thức để biến đổi biểu thức dưới dấu tích phân thành tổng các biểu thức mà nguyên hàm của mỗi biểu thức đó có thể nhận được từ bảng nguyên hàm hoặc chỉ bằng các phép biến đổi đơn giản đã biết.
152 p dtu 16/05/2012 274 6
Từ khóa: khoa học tự nhiên, toán học tích phân, bất đẳng thức, phương trình tích phân, phân tích tích phân, lượng giác giải toán
Phương pháp giải toán Tích Phân
Nhắc lại Giới hạn – Đạo hàm – Vi phân
152 p dtu 24/02/2012 237 5
Từ khóa: khoa học tự nhiên, toán học, bất đẳng thức, phương trình, tích phân, lượng giác