Trường Đại học Khoa học, Đại học Huế
Phòng Khoa học, Công nghệ và Hợp tác quốc tế

Nghiệm thu đề tài cấp Bộ do TS. Trương Công Tuấn – Phó trưởng Khoa CNTT làm chủ nhiệm.

Sáng ngày 19/01, tại phòng họp G13, Trường Đại học Khoa học đã tổ chức buổi nghiệm thu đề tài “Nghiên cứu một số vấn đề về ngữ nghĩa mô hình của chương trình logic và mở rộng của nó” do TS. Trương Công Tuấn, Khoa CNTT làm chủ nhiệm cùng nhóm thực hiện ThS. Trần Thị Ngọc Trang, Khoa Du Lịch – Đại học Huế và ThS. Đoàn Thị Hồng Phước, Khoa CNTT, Đại học Khoa học.

Mục tiêu của đề tài là nghiên cứu việc mở rộng về ngữ nghĩa chương trình logic theo các cách tiếp cận trên xuống (top-down) và dưới lên (bottom-up) khi cho phép các quy tắc có chứa ký hiệu tuyển, ký hiệu phủ định và có chứa các ràng buộc. Với phương pháp nghiên cứu được thực hiện dựa trên cơ sở các tiếp cận ngữ nghĩa của chương trình logic đã có, các kết quả trong lĩnh vực lý thuyết điểm bất động, từ đó thực hiện nội dung nghiên cứu của đề tài.

Qua quá trình nghiên cứu, nhóm tác giả đã đưa ra các kết quả sau:

  • Mở rộng ngữ nghĩa mô hình bền vững 3-trị trên lớp chương trình Datalog dạng tuyển.
  • Xây dựng ngữ nghĩa chương trình logic có chứa ràng buộc theo kiểu tiếp cận trên xuống.
  • Xây dựng ngữ nghĩa chương trình Datalog có chứa ràng buộc theo kiểu tiếp cận dưới lên.
  •  Nghiên cứu ngữ nghĩa chương trình logic diễn giải và chương trình logic dạng tuyển cùng với mối quan hệ giữa các tiếp cận ngữ nghĩa này.
Bi?t Th? Gamuda Gardens,Bi?t Th? Gamuda Gardens,Chung C? 317 Tr??ng Chinh,Chung C? 36 Hong C?u D. Le Pont Dor,Chung C? C3 L V?n L??ng,Chung C? Capital Garden 102 Tr??ng Chinh,Chung C? Dolphin Plaza M? ?nh,Chung C? D. PALAIS DE LOUIS,Chung C? D??ng N?i Xun Mai Sparks Tower,Chung C? Ecolife Capitol L V?n L??ng,Chung C? Ecolife Capitol L V?n L??ng,Chung C? Gamuda Gardens,Chung C? Goldmark City 136 H? Tng M?u,chung c? gold season 47 nguy?n tun,chung c? gold season,Chung C? GoldSeason 47 Nguy?n Tun,Chung C? GoldSilk Complex,Chung C? H?i ??ng City HD Mon City,CHUNG C? HA BNH GREEN CITY,Chung C? Hoa?ng Tha?nh Tower,Chung C? Home City Trung Knh,Chung C? Imperial Plaza 360 Gi?i Phng,Chung C? Imperial Plaza 360 Gi?i Phng,Chung C? Mandarin Garden,Chung C? MBLand 219 Trung Knh,Chung C? Modern Interior 41 L V?n L??ng,Chung C? Mulberry Lane,Chung C? Nam ??ngTower Sunrise Tower 187 Ty S?n,Chung C? Park Hill Times City,Chung C? Seasons Avenue,Chung C? Sky City 88 Lng H?,Chung C? Th?ch Bn ,Chung C? The Artemis,Chung C? The Legend Tower 109 Nguy?n Tun,Chung C? The Two Residence,Chung C? The Two Residence,Chung C? Times City,Chung C? Valencia Garden,Chung C? Vinhomes Nguy?n Ch Thanh,Khu ? Th? The Manor Central Park,Khu ? Th? The Manor Central Park,Ti?u Khu PARK VIEW RESIDENCE,chung c? HDI sunrise,vinhomes dragon bay H? Long,vinhomes dragon bay,VINHOMES GARDENIA C?U DI?N,D? n Vinhomes Dragon Bay H? Long, Imperia Sky Garden, Chung c? The Golden Palm L V?n L??ng, d? n tn hong minh tr?n duy h?ng, chung c? riverside garden 349 v? tng phan, chung c? the link ciputra
Người đăng: Trần Thị Mai Thi
Được đăng ở: Website chính