Analysis and logic

QR Kod

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...

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	Cambridge, UK,New York Cambridge University Press 2002
Konular:	Mathematical analysis,Logic, Symbolic and mathematical,Toán học giải tích,Lôgic, Toán học và ký hiệu
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Symbolic logic
Yazar:: Agler, David W
Baskı/Yayın Bilgisi: (2013)

Logic for mathematics and computer sicence
Yazar:: Burris, Stanley N.
Baskı/Yayın Bilgisi: (1998)

Logic
Baskı/Yayın Bilgisi: (1980)

Logic toán
Yazar:: S L Edenmar
Baskı/Yayın Bilgisi: (1981)

An introduction to symbolic logic
Yazar:: Langer, Susanne Katherina
Baskı/Yayın Bilgisi: (1953)

Logic for computer scientists
Yazar:: Uwe Schoning
Baskı/Yayın Bilgisi: (1989)

Bước đầu làm quen với logic toán
Yazar:: Nguyễn Mạnh Trinh
Baskı/Yayın Bilgisi: (1997)

Các bài toán về suy luận logic
Yazar:: Trần, Diên Hiển
Baskı/Yayın Bilgisi: (2000)

Bước đầu làm quen với logic toán
Yazar:: Nguyễn Mạnh Trinh
Baskı/Yayın Bilgisi: (1999)

Bảy phương pháp giải các bài toán logic
Yazar:: Đặng, Huy Ruận
Baskı/Yayın Bilgisi: (2002)

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

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Yazar:: Koslow, Arnold, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

How to read and do proofs : an introduction to mathematical thought processes /
Yazar:: Solow, Daniel.
Baskı/Yayın Bilgisi: (1990)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Yazar:: Banerjee, Mohua, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Tập hợp và logic :
Yazar:: Hoàng, Xuân Sính
Baskı/Yayın Bilgisi: (1998)

Computability and logic
Yazar:: Boolos, George
Baskı/Yayın Bilgisi: (2002)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
Yazar:: Hoàng Chúng
Baskı/Yayın Bilgisi: (1977)

Mathematical logic for computer science.
Yazar:: Lu Zhungwan
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Transition to higher mathematics :
Yazar:: Dumas , Bob A.
Baskı/Yayın Bilgisi: (2007)

Discrete mathematics by example
Yazar:: Andrew Simpson
Baskı/Yayın Bilgisi: (2002)

Discrete mathematics
Yazar:: Johnsonbaugh, Richard
Baskı/Yayın Bilgisi: (2005)

Cơ sở toán trong lập trình
Yazar:: Đỗ Đức Giáo
Baskı/Yayın Bilgisi: (1998)

Một số vấn đề về thuật toán
Yazar:: Nguyễn, Hữu Điển
Baskı/Yayın Bilgisi: (2006)

Nonstandard logics and nonstandard metrics in physics /
Yazar:: Honig, William M.
Baskı/Yayın Bilgisi: (1995)

Nonstandard logics and nonstandard metrics in physics /
Yazar:: Honig, William M.
Baskı/Yayın Bilgisi: (1995)

Nhập môn lý thuyết tập hợp và logic
Yazar:: Phan Hữu Chân
Baskı/Yayın Bilgisi: (1977)

Propositions, functions, and analysis
Yazar:: Hylton, Peter
Baskı/Yayın Bilgisi: (2008)

Discrete-event system simulation
Baskı/Yayın Bilgisi: (2001)

Cơ sở lí thuyết tập hợp và lôgic toán :
Yazar:: Trần, Diên Hiển
Baskı/Yayın Bilgisi: (2007)

Giáo trình Logic mờ & ứng dụng
Yazar:: Lê, Xuân Vinh
Baskı/Yayın Bilgisi: (2019)

Nonstandard logics and nonstandard metrics in physics
Yazar:: Honig, William M
Baskı/Yayın Bilgisi: (1995)

Giáo trình lý thuyết tập hợp và logic toán
Yazar:: Lê, Phương Thảo
Baskı/Yayın Bilgisi: (2016)

Bài giảng cơ sở logic và tập hợp
Yazar:: Lê, Văn Sáng
Baskı/Yayın Bilgisi: (2000)

Logically determined design :
Yazar:: Fant, Karl M.
Baskı/Yayın Bilgisi: (2005)

Toán rời rạc ứng dụng trong tin học =
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2002)

Nonstandard logics and nonstandard metrics in physics
Yazar:: Honig, William M
Baskı/Yayın Bilgisi: (1995)

Paradox and paraconsistency :
Yazar:: Woods, John
Baskı/Yayın Bilgisi: (2003)

Data engineering: Fuzzy mathematics in systems theory and data analysis
Yazar:: Olaf Wolkenhauer
Baskı/Yayın Bilgisi: (2001)