» Từ khóa: ngôn ngữ hình thức

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

Kỹ năng giao tiếp tiếng Anh của sinh viên trường đại học Cảnh sát Nhân dân trong thời kỳ hội nhập

Bài viết này trình bày nghiên cứu kỹ năng giao tiếp (KNGT) tiếng Anh của sinh viên hệ chính quy đại học Cảnh sát Nhân dân để có cái nhìn tổng quan hơn về quy trình dạy và học tiếng Anh tại trường. Qua đó, bài viết đề xuất một số giải pháp nhằm nâng cao hơn nữa kỹ năng giao tiếp tiếng Anh cho sinh viên đáp ứng nhu cầu học tập và tham gia hợp tác...

17 p dtu 19/11/2024 3 0

Từ khóa: Kỹ năng giao tiếp tiếng Anh, Kỹ năng giao tiếp, Hình thức của kỹ năng giao tiếp, Nguyên tắc dạy và học ngôn ngữ giao tiếp, Thực trạng kỹ năng giao tiếp tiếng Anh, Nhận thức của sinh viên về việc học tiếng Anh, Yếu tố ảnh hưởng đến kỹ năng giao tiếp tiếng Anh, Giải pháp nâng cao kỹ năng giao tiếp tiếng Anh
Ebook Ngôn ngữ hình thức kiến trúc (Tập 1): Phần 1

Phần 1 của cuốn sách "Ngôn ngữ hình thức kiến trúc (Tập 1)" cung cấp cho bạn đọc những nội dung liên quan đến hình thức cơ bản của kiến trúc - điểm, tuyến, diện, hình khối,... Mời các bạn cùng tham khảo chi tiết nội dung cuốn sách!

84 p dtu 24/09/2024 52 1

Từ khóa: Ngôn ngữ hình thức kiến trúc, Ngôn ngữ hình thức kiến trúc Tập 1, La Văn Ái, Triệu Quang Diệu, Môi cảnh tự nhiên, Kiến trúc nhà ở kiểu tháp, Kiến trúc công cộng, Mặt bằng kiến trúc
Ebook Ngôn ngữ hình thức kiến trúc (Tập 1): Phần 2

Phần 2 của cuốn sách "Ngôn ngữ hình thức kiến trúc (Tập 1)" cung cấp cho bạn đọc những nội dung chính liên quan đến các yếu tố cơ bản về hình dáng, màu sắc, chất cảm và hoa văn,... Mời các bạn cùng tham khảo chi tiết nội dung cuốn sách!

82 p dtu 24/09/2024 32 0

Từ khóa: Ngôn ngữ hình thức kiến trúc, Ngôn ngữ hình thức kiến trúc Tập 1, La Văn Ái, Triệu Quang Diệu, Kiến trúc truyền thống, Kiến trúc hiện đại, Thiết kế hình dáng kiến trúc
Bài giảng Hệ cơ sở dữ liệu: Chương 4 - TS. Lê Thị Tú Kiên

Bài giảng Hệ cơ sở dữ liệu: Chương 4 Các ngôn ngữ thao tác trên quan hệ với mục tiêu là biểu diễn một câu hỏi (truy vấn) trên CSDL quan hệ dưới dạng; Nhận biết được sự tương đương giữa hai ngôn ngữ hình thức đại số quan hệ và ngôn ngữ tân từ; Hai ngôn ngữ hình thức là cơ sở của ngôn ngữ SQL. Mời các bạn cùng tham khảo!

103 p dtu 21/12/2023 50 0

Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Ngôn ngữ thao tác trên quan hệ, Ngôn ngữ hình thức, Truy vấn ngôn ngữ SQL, Ngôn ngữ đại số quan hệ
Tập bài giảng Ngôn ngữ hình thức

Tập bài giảng “Ngôn ngữ hình thức” được biên soạn theo chương trình chi tiết môn học “Ngôn ngữ hình thức” của trường Đại học Sư phạm Kỹ thuật Nam Định. Mục tiêu của tập đề cương bài giảng nhằm cung cấp các kiến thức cơ bản, tổng quan về ngôn ngữ, văn phạm và automat; Giúp sinh viên nắm vững các kiến thức cơ bản về văn phạm...

246 p dtu 07/12/2021 169 1

Từ khóa: Bài giảng công nghệ thông tin, Tập bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Automat hữu hạn, Automat hữu hạn đơn định, Văn phạm chính quy
Ebook Đaghextan của tôi (Tập 1): Phần 1

(BQ) Đaghextan của tôi là cuốn sách đậm chất trữ tình, được sưởi ấm bởi sự hài hước nhẹ nhàng, được chiếu sáng bởi sự láu lỉnh - cái láu lỉnh tinh nghịch dí dỏm - chẳng khác nào trong chiếc tháp cổ kính có nhiều đáy, mỗi đáy chứa đựng một bí mật riêng... Mời các bạn tham khảo phần 1 cuốn sách.

139 p dtu 27/09/2018 242 2

Từ khóa: Đaghextan của tôi, Kinh nghiệm viết văn, Hình thức Đaghextan của tôi, Ngôn ngữ viết văn, Đề tài viết văn, Thể loại viết vă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 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
Đặ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 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