Dự án FAB

Trong bài viết này, tác giả đề cập về 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 về dự án FAB “Formal Abstract in Mathematics”, một dự án mà Trường Đại học Thăng Long đã tham gia thực hiện cùng với hai trường đại học lớn của Mỹ là University of Pittsburgh và Carnegie Mellon University

21p kimphuong1129 25-09-2023 3 3   Download

Bài viết giới thiệu với bạn đọc một số vấn đề xuất hiện khi sử dụng máy tính trong chứng minh Toán học và hơn nữa, trong việc thay thế dần lao động của nhà Toán học.

4p ketaucho 08-11-2019 14 3   Download