» Từ khóa: Cơ Sở Ngôn Ngữ Học

Kết quả 13-15 trong khoảng 15

Bài giảng Tin học cơ sở (Basics of Informatics) - Chương 9: Lập trình (Programming)

Bài giảng Tin học cơ sở (Basics of Informatics) - Chương 9 trình bày những nội dung: Ngôn ngữ lập trình và trình biên dịch, các bước lập trình, phương pháp lập trình cấu trực, kiểu dữ liệu, câu lệnh (statement), cấu trực (khung) của một chương trình, các khai báo trong chương trình, các cấu trúc điều khiển chương trình.

17 p dtu 25/02/2021 176 0

Từ khóa: Tin học cơ sở, Basics of Informatics, Bài giảng Tin học cơ sở, Tin học văn phòng, Ngôn ngữ lập trình, Trình biên dịch
Đặ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