Mathematical Logic and Its Applications 2020

Số “Logic toán học và ứng dụng của nó 2020” gồm các bài viết liên quan đến 3 hướng sau: I. Lý thuyết tập hợp mô tả. Giải pháp cho các vấn đề tồn tại lâu dài, trong đó có vấn đề của A. Tarski và H. Friedman, được trình bày. II. Các thuật toán tối ưu hóa tổ hợp chính xác, trong đó độ phức tạp liên quan đến dữ liệu nguồn được đặc trưng bởi đa thức bậc thấp hoặc thậm chí bậc một. III. Ứng dụng logic toán học và lý thuyết thuật toán. Bài viết đầu tiên đề cập đến các phỏng đoán của Jacobian và M. Kontsevich cũng như tính không thể giải quyết được của thuật toán; cho những mục đích này, phân tích phi tiêu chuẩn được sử dụng. Bài viết thứ hai cung cấp một mô tả định lượng về sự cân bằng và nguồn lực thích ứng của con người

Mathematical Logic and Its Applications 2020

  • Thứ Tư, 08:36 23/07/2025

Tin tiêu điểm

Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024

Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024

Thứ Ba, 14:33 17/09/2024

PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện

Thứ Sáu, 07:37 24/05/2024
Hướng dẫn khai thác Bộ sưu tập tài nguyên giáo dục mở (OER)

Hướng dẫn khai thác Bộ sưu tập tài nguyên giáo dục mở (OER)

Thứ Bảy, 15:58 04/05/2024

Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page

Thứ Hai, 08:38 22/01/2024
5 khóa học miễn phí về thiết kế đồ họa

5 khóa học miễn phí về thiết kế đồ họa

Thứ Tư, 09:33 13/12/2023

Các bài đã đăng

High accuracy determination of skin friction differences in an air channel flow based on pressure drop measurements

High accuracy determination of skin friction differences in an air channel flow based on pressure drop measurements

Thứ Hai, 08:58 23/02/2026
Microbial Connections Between the Subsurface Sulfur Cycle and Other Elemental Cycles

Microbial Connections Between the Subsurface Sulfur Cycle and Other Elemental Cycles

Thứ Hai, 08:46 23/02/2026

New Digital Work II: Digital Sovereignty of Companies and Organizations

Thứ Hai, 08:39 23/02/2026
Global and local perspectives on language contact

Global and local perspectives on language contact

Thứ Hai, 08:09 23/02/2026
Origins of Human Language: Continuities and Discontinuities with Nonhuman Primates

Origins of Human Language: Continuities and Discontinuities with Nonhuman Primates

Thứ Hai, 08:03 23/02/2026
The Economics of Big Science:Essays by Leading Scientists and Policymakers

The Economics of Big Science:Essays by Leading Scientists and Policymakers

Thứ Tư, 08:33 23/07/2025
Trusted Artificial Intelligence in Manufacturing; Trusted Artificial Intelligence in Manufacturing: A Review of the Emerging Wave of Ethical and Human Centric AI Technologies for Smart Production

Trusted Artificial Intelligence in Manufacturing; Trusted Artificial Intelligence in Manufacturing: A Review of the Emerging Wave of Ethical and Human Centric AI Technologies for Smart Production

Thứ Tư, 08:30 23/07/2025
Applied Discrete Structures

Applied Discrete Structures

Thứ Tư, 08:27 23/07/2025
Foundation Models for Natural Language Processing

Foundation Models for Natural Language Processing

Thứ Tư, 08:23 23/07/2025
Human 4.0: From Biology to Cybernetic

Human 4.0: From Biology to Cybernetic

Thứ Tư, 08:22 23/07/2025