Item Infomation


Title: Toán học thời 4.0 và dự án "Formal abstract in mathematics" (FAB)
Authors: Hà Huy Khoái
Nguyễn Thị Huyền Châu
Nguyễn Thị Trà My
Mai Thúy Nga
Ngô Thị Thanh Nga
Keywords: Ngôn ngữ tự nhiên có kiểm soát; chứng minh hình thức
Issue Date: 2021
Publisher: Tạp chí Khoa học Đại học Thăng Long
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ỹ...
Description: Số A1 (1): Tr. 144-164
URI: http://thuvienso.thanglong.edu.vn//handle/TLU/4682
Appears in CollectionsSố 1 Tập A1 - 2021
ABSTRACTS VIEWS

85

VIEWS & DOWNLOAD

0

Files in This Item:
Thumbnail
  • TCTL.0000015.pdf
      Restricted Access
    • Size : 14,03 MB

    • Format : Adobe PDF