- 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 Một số biện pháp phát triển Ngôn ngữ Toán học cho học sinh dự bị đại học: Phần 1
Cuốn sách "Một số biện pháp phát triển Ngôn ngữ Toán học cho học sinh dự bị đại học" phần 1 cung cấp cho người đọc những kiến thức như: Tổng quan về ngôn ngữ toán học; chương trình toán học cho học sinh dự bị đại học;...Mời các bạn cùng tham khảo!
86 p dtu 24/02/2024 32 0
Từ khóa: Ngôn ngữ Toán học, Phát triển ngôn ngữ toán học, Tư duy toán học, Kĩ năng giao tiếp toán học, Dự bị đại học
Ebook Một số biện pháp phát triển Ngôn ngữ Toán học cho học sinh dự bị đại học: Phần 2
Tiếp nội dung phần 1, cuốn sách "Một số biện pháp phát triển Ngôn ngữ Toán học cho học sinh dự bị đại học" phần 2 cung cấp cho người đọc những kiến thức như: Một số nguyên tắc trong việc xây dựng và thực hiện biện pháp; Một số định hướng trong việc xây dựng và thực hiện biện pháp; Một số biện pháp phát triển ngôn ngữ toán học cho...
112 p dtu 24/02/2024 28 0
Từ khóa: Ngôn ngữ Toán học, Phát triển ngôn ngữ toán học, Nguyên tắc dạy học môn Toán, Môi trường học tập hợp tác tích cực, Đặc điểm dạy học môn Toán
Ebook Ngôn ngữ của đối xứng: Phần 2
Ebook Ngôn ngữ của đối xứng: Phần 2 thể hiện việc đối xứng là một công cụ chủ yếu để bắc cầu qua cái hố ngăn cách giữa khoa học và nghệ thuật, giữa tâm lý học và toán học. Vì đối xứng đã xuyên suốt nhiều lĩnh vực, từ nghệ thuật thị giác và âm nhạc tới tâm lý học và các lĩnh vực khoa học tự nhiên, nên sẽ không có gì là quá đáng...
193 p dtu 28/01/2019 195 3
Từ khóa: Ebook Ngôn ngữ của đối xứng, Khám phá khoa học, Nghệ thuật toán học, Lĩnh vực khoa học tự nhiên, Vẻ đẹp ngôn ngữ toán học
Bài giảng Lập trình cơ bản bài 8: Mảng, con trỏ và xâu ký tự
Bài giảng Mảng, con trỏ và xâu ký tự bao gồm những nội dung chính như sau: Các phần tử của mảng và các chỉ số, khai báo mảng, cách quản lý mảng trong C, cách khởi tao mảng, tìm hiểu chuỗi/ mảng ký tự, mảng hai chiều, cách khởi tạo mạng hai chiều...
67 p dtu 30/04/2017 381 3
Từ khóa: Học lập trình C, Bài giảng Lập trình cơ bản, Ngôn ngữ lập trình C, Mảng hai chiều, Quản lý mảng trong C, Khởi tạo mảng trong C, Phép toán trên con trỏ
Phần 2 ebook 101 thuật toán và chương trình - Bài toán khoa học kỹ thuật và kinh tế bằng ngôn ngữ Pascal trình bày nội dung chương 4 - 101 chương trình. Tham khảo nội dung giáo trình để nắm bắt nội dung chi tiết.
131 p dtu 30/11/2016 341 8
Từ khóa: Bài toán khoa học kỹ thuật, Bài toán kinh tế, Ngôn ngữ Pascal, 101 thuật toán và chương trình, Kỹ thuật lập trình, Ngôn ngữ lập trình
Phần 1 ebook 101 thuật toán và chương trình - Bài toán khoa học kỹ thuật và kinh tế bằng ngôn ngữ Pascal gồm nội dung 3 chương đầu tài liệu, trình bày những khái niệm chung về thuật toán, cách mô tả bài toán bằng ngôn ngữ máy tính; 101 bài toán; phân tích các thuật toán và lưu đồ của 101 bài toán.
140 p dtu 30/11/2016 383 7
Từ khóa: Bài toán khoa học kỹ thuật, Bài toán kinh tế, Ngôn ngữ Pascal, Kỹ thuật lập trình, Ngôn ngữ lập trình, Thuật toán lập trình
Nghiên cứu khoa học: Tìm hiểu về thuật toán sắp xếp
Trong hai thập kỷ qua, mô phỏng thuật toán đã đƣợc các nhà sư phạm của ngành công nghệ thông tin sử dụng như một công cụ có tính chất giúp đỡ trong việc dạy các thuật toán đồ thị, các thuật toán sắp xếp, … khác nhau bằng máy tính. Nguyên nhân của việc mô phỏng thuật toán đƣợc sử dụng như một công cụ trợ giúp cho việc giảng dạy là do...
48 p dtu 19/11/2012 273 4
Từ khóa: Mô phỏng thuật toán, Nghiên cứu khoa học, toán sắp xếp, ngôn ngữ lập trình, thuật toán sắp xếp, cấu trúc dữ liệu
Đặ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 233 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 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
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 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 - 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 228 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