Logic for computer scientists

Κώδικας 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, κ.ά.
Έκδοση: (2015)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
ανά: Banerjee, Mohua, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
ανά: Chakraborty, M, κ.ά.
Έκδοση: (2015)

Giáo trình cơ sở logic và lý thuyết tập hợp
ανά: Lê, Phương Thảo
Έκδοση: (2008)