- 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
Giáo trình Sử dụng phần mềm hỗ trợ dạy học Toán: Phần 1
Phần 1 cuốn giáo trình "Sử dụng phần mềm hỗ trợ dạy học Toán" trình bày các nội dung: Ứng dụng công nghệ thông tin và truyền thông trong dạy học ở nhà trường phổ thông, sử dụng phần mềm Graph trong dạy học toán, sử dụng phần mềm hình học động Cabri Geometry. Mời các bạn cùng tham khảo nội dung chi tiết.
96 p dtu 21/10/2024 27 2
Từ khóa: Phần mềm hỗ trợ dạy học, Phần mềm hỗ trợ dạy học Toán, Ứng dụng công nghệ thông tin, Phần mềm dạy học, Phương pháp dạy học, Phần mềm Graph, Phần mềm hình học động Cabri Geometry
Giáo trình Sử dụng phần mềm hỗ trợ dạy học Toán: Phần 2
Nối tiếp nội dung phần 1, phần 2 cuốn giáo trình "Sử dụng phần mềm hỗ trợ dạy học Toán" trình bày các nội dung chương 4 - Sử dụng Phần mềm Maple trong dạy học toán. Mời các bạn cùng tham khảo nội dung chi tiết.
95 p dtu 21/10/2024 18 2
Từ khóa: Phần mềm hỗ trợ dạy học, Phần mềm hỗ trợ dạy học Toán, Ứng dụng công nghệ thông tin, Phần mềm dạy học, Sử dụng Phần mềm Maple, Đại số tuyến tính
Trao đổi về ứng dụng Microsoft Excel trong giảng dạy chuyên ngành kế toán
Microft Excel là một công cụ hữu ích cho người dạy, người học và những ai có nhu cầu sử dụng và ứng dụng vào chuyên ngành kế toán hiện nay. Các kiến thức và kỹ năng ứng dụng phần mềm này thường được các trường đại học quan tâm trang bị cho người học trước khi ra trường. Trong phạm vi bài viết "Trao đổi về ứng dụng Microsoft Excel trong...
12 p dtu 23/10/2022 55 0
Từ khóa: Bài viết nghiên cứu khoa học, Nghiên cứu khoa học lĩnh vực Kế toán, Ứng dụng Microsoft Excel, Giảng dạy chuyên ngành kế toán, Giảng dạy phần mềm bảng tính
Bài viết cung cấp các khuyến nghị về cách tích cực thực hiện và hợp lý sử dụng các phần mềm địa kỹ thuật để giải quyết các vấn đề địa kỹ thuật và dự án không chỉ có hiệu quả góp phần vào nghiên cứu khoa học và trong các hoạt động mà còn cho việc khám phá quá trình vật lý trước đây chưa được biết do đó để làm sâu sắc thêm...
18 p dtu 30/05/2020 189 1
Từ khóa: Địa kỹ thuật, Bài viết về kỹ thuật, Bài toán Địa kỹ thuật, Phần mềm địa kỹ thuật, Tam giác Địa cơ học Burland, Biến dạng nền tháp đá Thiên Trù
Đặ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 232 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 225 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 229 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 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
Toán rời rạc là một lĩnh vực nghiên cứu và xử lý các đối tượng rời rạc dùng để đếm các đối tượng, và nghiên cứu mối quan hệ giữa các tập rời rạc. Một trong những yếu tố làm Toán rời rạc trở nên quan trọng là việc lưu trữ, xử lý thông tin trong các hệ thống máy tính về bản chất là rời rạc. Chính vì lý do đó, Toán học rời rạc...
198 p dtu 02/10/2012 321 9
Từ khóa: Toán rời rạc, toán tin học, kỹ thuật máy tính, phần mềm ứng dụng, phần mềm toán học, giao diện ma trận