Thông tin tài liệu
Thông tin siêu dữ liệu biểu ghi
| Trường DC | Giá trị | Ngôn ngữ |
|---|---|---|
| dc.contributor.author | Hà Huy Khoái | - |
| dc.contributor.author | Nguyễn Thị Huyền Châu | - |
| dc.contributor.author | Nguyễn Thị Trà My | - |
| dc.contributor.author | Mai Thúy Nga | - |
| dc.contributor.author | Ngô Thị Thanh Nga | - |
| dc.date.accessioned | 2022-12-01T09:24:35Z | - |
| dc.date.available | 2022-12-01T09:24:35Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.uri | http://thuvienso.thanglong.edu.vn//handle/TLU/4682 | - |
| dc.description | Số A1 (1): Tr. 144-164 | vi |
| dc.description.abstract | Bài viết đề cập đến vai trò của máy tính trong nghiên cứu toán học dưới tác động của cách mạng công nghiệp lần thứ 4 và giới thiệu dự án FAB Toán học thời 4.0 và dự án "Formal abstract in mathematics" một dự án mà Trường Đại học Thăng Long đã tham gia thực hiện với 2 trường đại học lớn của Mỹ... | vi |
| dc.language.iso | vi | vi |
| dc.publisher | Tạp chí Khoa học Đại học Thăng Long | vi |
| dc.subject | Ngôn ngữ tự nhiên có kiểm soát | vi |
| dc.subject | chứng minh hình thức | vi |
| dc.title | Toán học thời 4.0 và dự án "Formal abstract in mathematics" (FAB) | vi |
| dc.type | Article | vi |
| Bộ sưu tập | Số 1 Tập A1 - 2021 | |
Danh sách tệp tin đính kèm:
