Logic for computer scientists

QR Kodea

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

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Uwe Schoning
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	Boston, Massachusetts Birkhauser 1989
Gaiak:	logic programming,logic, symbolic and mathematical
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Logic for mathematics and computer sicence
nork: Burris, Stanley N.
Argitaratua: (1998)

Logic
Argitaratua: (1980)

Logic toán
nork: S L Edenmar
Argitaratua: (1981)

An introduction to symbolic logic
nork: Langer, Susanne Katherina
Argitaratua: (1953)

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

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

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

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

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

Mathematical logic for computer science.
nork: Lu Zhungwan
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Computability and logic
nork: Boolos, George
Argitaratua: (2002)

Symbolic logic
nork: Agler, David W
Argitaratua: (2013)

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

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

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

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

Discrete-event system simulation
Argitaratua: (2001)

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

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

Transition to higher mathematics :
nork: Dumas , Bob A.
Argitaratua: (2007)

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

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

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

Logic and language models for computer science
nork: Henry Hamburger
Argitaratua: (2002)

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

Logically determined design :
nork: Fant, Karl M.
Argitaratua: (2005)

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

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

Discrete mathematics by example
nork: Andrew Simpson
Argitaratua: (2002)

Discrete mathematics
nork: Johnsonbaugh, Richard
Argitaratua: (2005)

Nonstandard logics and nonstandard metrics in physics /
nork: Honig, William M.
Argitaratua: (1995)

Nonstandard logics and nonstandard metrics in physics /
nork: Honig, William M.
Argitaratua: (1995)

Analysis and logic
Argitaratua: (2002)

Logical Foundations of Computer Science
nork: Artemov, Sergei, et al.
Argitaratua: (2020)

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

Logical Foundations of Computer Science. 1st ed. 2018
nork: Artemov, Sergei, et al.
Argitaratua: (2020)

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

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