» Từ khóa: phat trien ngon ngu toan hoc

Kết quả 1-6 trong khoảng 6

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 18 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 16 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
Đặ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 217 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 207 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 - tổng quan

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 210 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 207 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