Giáo trình này được biên soạn để làm tài liệu giảng dạy lý thuyết cho môn chuyên ngành tự chọn Các kỹ thuật trong xử lý ngôn ngữ tự nhiên của chuyên ngành Xử lý ngôn ngữ tự nhiên trong chương trình đào tạo Cử nhân Khoa học máy tính của Trường ĐH Công nghệ Thông tin, ĐHQG TPHCM. Giáo trình này được biên soạn cho đối tượng là những sinh viên đã có kiến thức căn bản về ngữ pháp hình thức và phân tích cú pháp (những kiến thức này đã được giảng dạy trong môn Xử lý ngôn ngữ tự nhiên). Mặc dù những đề mục trong giáo trình này nhấn mạnh vào các vấn đề về biểu diễn và tính toán ngữ nghĩa hình thức, nhưng tất cả các vấn đề được nêu ra trong giáo trình này đều được tiếp cận dựa trên cơ sở của các xử lý ngữ pháp.

Giáo trình được biên soạn thành hai phần và năm chương: Phần I - CÁC CƠ SỞ CỦA TÍNH TOÁN NGỮ NGHĨA HÌNH THỨC Chương 1. Giới thiệu Chương 2. Nguyên lý Frege trong tính toán ngữ nghĩa hình thức Chương 3. Phương pháp tính toán ngữ nghĩa hình thức trong DCG Phần II - BIỂU DIỄN VÀ TÍNH TOÁN NGỮ NGHĨA CÂU, VĂN BẢN Chương 4. Ngữ nghĩa câu trong logic bậc nhất Chương 5. Cấu trúc biểu diễn diễn ngôn.