Analysis and logic

Mã QR

Analysis and logic

This volume comprises articles from three outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors t...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Cambridge, UK,New York Cambridge University Press 2002
Những chủ đề:	Mathematical analysis,Logic, Symbolic and mathematical,Toán học giải tích,Lôgic, Toán học và ký hiệu
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Những quyển sách tương tự

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Logic
Được phát hành: (1980)

Logic toán
Bỡi: S L Edenmar
Được phát hành: (1981)

An introduction to symbolic logic
Bỡi: Langer, Susanne Katherina
Được phát hành: (1953)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1997)

Các bài toán về suy luận logic
Bỡi: Trần, Diên Hiển
Được phát hành: (2000)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1999)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng Huy Ruận

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

Tập hợp và logic :
Bỡi: Hoàng, Xuân Sính
Được phát hành: (1998)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
Bỡi: Hoàng Chúng
Được phát hành: (1977)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Transition to higher mathematics :
Bỡi: Dumas , Bob A.
Được phát hành: (2007)

Discrete mathematics by example
Bỡi: Andrew Simpson
Được phát hành: (2002)

Discrete mathematics
Bỡi: Johnsonbaugh, Richard
Được phát hành: (2005)

Nonstandard logics and nonstandard metrics in physics /
Bỡi: Honig, William M.
Được phát hành: (1995)

Nonstandard logics and nonstandard metrics in physics /
Bỡi: Honig, William M.
Được phát hành: (1995)

Nhập môn lý thuyết tập hợp và logic
Bỡi: Phan Hữu Chân
Được phát hành: (1977)

Cơ sở toán trong lập trình
Bỡi: Đỗ Đức Giáo
Được phát hành: (1998)

Một số vấn đề về thuật toán
Bỡi: Nguyễn, Hữu Điển
Được phát hành: (2006)

Propositions, functions, and analysis
Bỡi: Hylton, Peter
Được phát hành: (2008)

Nonstandard logics and nonstandard metrics in physics
Bỡi: Honig, William M
Được phát hành: (1995)

Giáo trình Logic mờ & ứng dụng
Bỡi: Lê, Xuân Vinh
Được phát hành: (2019)

Cơ sở lí thuyết tập hợp và lôgic toán :
Bỡi: Trần, Diên Hiển
Được phát hành: (2007)

Giáo trình lý thuyết tập hợp và logic toán
Bỡi: Lê, Phương Thảo
Được phát hành: (2016)

Discrete-event system simulation
Được phát hành: (2001)

Logically determined design :
Bỡi: Fant, Karl M.
Được phát hành: (2005)

Nonstandard logics and nonstandard metrics in physics
Bỡi: Honig, William M
Được phát hành: (1995)

Bài giảng cơ sở logic và tập hợp
Bỡi: Lê, Văn Sáng
Được phát hành: (2000)

Paradox and paraconsistency :
Bỡi: Woods, John
Được phát hành: (2003)

Lôgich toán và cơ sở toán học
Bỡi: Phan, Đình Diệu
Được phát hành: (2003)

Toán rời rạc ứng dụng trong tin học =
Bỡi: Rosen, Kenneth H.
Được phát hành: (2002)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Bước đầu làm quen với logic toán /
Bỡi: Nguyễn Mạnh Trinh.
Được phát hành: (2003)

Logic toán : Tài liệu bồi dưỡng thường xuyên giáo viên Trung học; sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật /
Bỡi: Nguyễn Đức Đồng.