Logic for computer scientists

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

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Uwe Schoning
Format:	Llibre
Idioma:	Undetermined
Publicat:	Boston, Massachusetts Birkhauser 1989
Matèries:	logic programming,logic, symbolic and mathematical
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Logic for mathematics and computer sicence
per: Burris, Stanley N.
Publicat: (1998)

Logic
Publicat: (1980)

Logic toán
per: S L Edenmar
Publicat: (1981)

An introduction to symbolic logic
per: Langer, Susanne Katherina
Publicat: (1953)

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

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

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

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

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

Mathematical logic for computer science.
per: Lu Zhungwan
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Computability and logic
per: Boolos, George
Publicat: (2002)

Symbolic logic
per: Agler, David W
Publicat: (2013)

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

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

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

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

Discrete-event system simulation
Publicat: (2001)

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

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

Transition to higher mathematics :
per: Dumas , Bob A.
Publicat: (2007)

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

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

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

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

Logic and language models for computer science
per: Henry Hamburger
Publicat: (2002)

Logically determined design :
per: Fant, Karl M.
Publicat: (2005)

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

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

Discrete mathematics by example
per: Andrew Simpson
Publicat: (2002)

Discrete mathematics
per: Johnsonbaugh, Richard
Publicat: (2005)

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

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

Analysis and logic
Publicat: (2002)

Logical Foundations of Computer Science
per: Artemov, Sergei, et al.
Publicat: (2020)

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

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

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

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