Logic Toán
SÁCH THAM KHẢO
Số phân loại: 510
Tác giả: Nguyễn Đức Đồng
Nhà xuất bản:
Thanh Hoá
Năm xuất bản:
2001
Nơi xuất bản:
TPHCM
Đơn giá: 15000
Biểu ghi:
510
Logic Toán| Nguyễn Đức Đồng. – TPHCM: Thanh Hoá, 2001. –
Tình trạng bản sách tại thư viện
Tổng số bản:
1
Sẵn sàng mượn:
1
Đang đăng ký:
0
Đang mượn:
0
| # | Số ĐCKB | Trạng thái | Tình trạng sách |
|---|---|---|---|
| 1 | STK-00265 | Có sẵn | Bình thường |
Mô tả chung
Tài liệu "Logic Toán" là chuyên ngành nghiên cứu về nguyên tắc suy luận toán học và cơ sở hình thức (formal foundation) của Toán học. Nội dung bao gồm Logic Mệnh đề và Logic Vị từ (Predicate Logic), nghiên cứu về hệ thống tiên đề, tính đầy đủ (completeness) và tính nhất quán (consistency) của các lý thuyết toán học, đồng thời ứng dụng Lý thuyết Tập hợp và Lý thuyết Mô hình để thiết lập tính chặt chẽ cho toàn bộ Toán học.
