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

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	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)