Logic for computer scientists

Mã QR

Logic for computer scientists

This book introduces the notions and methods of formal logic from a computer science stanpoint, covering propositional logi, predicate logic, and foundations of logic programming. It presents such modern applications and themes of current computer science research as resolution, automated deduction,...

Đã lưu trong:

書目詳細資料
主要作者:	Uwe Schoning
格式:	圖書
語言:	Undetermined
出版:	Boston, Massachusetts Birkhauser 1989
主題:	logic programming,logic, symbolic and mathematical
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

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

相似書籍

Logic for mathematics and computer sicence
由: Burris, Stanley N.
出版: (1998)

Logic
出版: (1980)

Logic toán
由: S L Edenmar
出版: (1981)

An introduction to symbolic logic
由: Langer, Susanne Katherina
出版: (1953)

Bước đầu làm quen với logic toán
由: Nguyễn Mạnh Trinh
出版: (1997)

Các bài toán về suy luận logic
由: Trần, Diên Hiển
出版: (2000)

Bước đầu làm quen với logic toán
由: Nguyễn Mạnh Trinh
出版: (1999)

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

Bảy phương pháp giải các bài toán logic
由: Đặng, Huy Ruận
出版: (2002)

Mathematical logic for computer science.
由: Lu Zhungwan
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Computability and logic
由: Boolos, George
出版: (2002)

Symbolic logic
由: Agler, David W
出版: (2013)

How to read and do proofs : an introduction to mathematical thought processes /
由: Solow, Daniel.
出版: (1990)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
由: Koslow, Arnold, et al.
出版: (2015)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
由: Banerjee, Mohua, et al.
出版: (2015)

Tập hợp và logic :
由: Hoàng, Xuân Sính
出版: (1998)

Discrete-event system simulation
出版: (2001)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
由: Hoàng Chúng
出版: (1977)

Nhập môn lý thuyết tập hợp và logic
由: Phan Hữu Chân
出版: (1977)

Transition to higher mathematics :
由: Dumas , Bob A.
出版: (2007)

Cơ sở toán trong lập trình
由: Đỗ Đức Giáo
出版: (1998)

Một số vấn đề về thuật toán
由: Nguyễn, Hữu Điển
出版: (2006)

Cơ sở lí thuyết tập hợp và lôgic toán :
由: Trần, Diên Hiển
出版: (2007)

Applied Logic for Computer Scientists . 1st ed. 2017
由: Ayala-Rincón, Mauricio, et al.
出版: (2020)

Logic and language models for computer science
由: Henry Hamburger
出版: (2002)

Logically determined design :
由: Fant, Karl M.
出版: (2005)

Tìm đường trong mê cung
由: Nguyễn Xuân Huy
出版: (1997)

Bài giảng cơ sở logic và tập hợp
由: Lê, Văn Sáng
出版: (2000)

Discrete mathematics by example
由: Andrew Simpson
出版: (2002)

Discrete mathematics
由: Johnsonbaugh, Richard
出版: (2005)

Nonstandard logics and nonstandard metrics in physics /
由: Honig, William M.
出版: (1995)

Nonstandard logics and nonstandard metrics in physics /
由: Honig, William M.
出版: (1995)

Analysis and logic
出版: (2002)

Logical Foundations of Computer Science
由: Artemov, Sergei, et al.
出版: (2020)

Toán rời rạc ứng dụng trong tin học =
由: Rosen, Kenneth H.
出版: (2002)

Logical Foundations of Computer Science. 1st ed. 2018
由: Artemov, Sergei, et al.
出版: (2020)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
由: Chakraborty, M, et al.
出版: (2015)

Giáo trình cơ sở logic và lý thuyết tập hợp
由: Lê, Phương Thảo
出版: (2008)