Logic for computer scientists

QR-Code

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Uwe Schoning
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Boston, Massachusetts Birkhauser 1989
Schlagworte:	logic programming,logic, symbolic and mathematical
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

Logic for mathematics and computer sicence
von: Burris, Stanley N.
Veröffentlicht: (1998)

Logic
Veröffentlicht: (1980)

Logic toán
von: S L Edenmar
Veröffentlicht: (1981)

An introduction to symbolic logic
von: Langer, Susanne Katherina
Veröffentlicht: (1953)

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

Các bài toán về suy luận logic
von: Trần, Diên Hiển
Veröffentlicht: (2000)

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

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

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

Mathematical logic for computer science.
von: Lu Zhungwan
Veröffentlicht: (1989)

Mathematical logic for computer science /
von: Lu, Zhongwan.
Veröffentlicht: (1989)

Mathematical logic for computer science /
von: Lu, Zhongwan.
Veröffentlicht: (1989)

Computability and logic
von: Boolos, George
Veröffentlicht: (2002)

Symbolic logic
von: Agler, David W
Veröffentlicht: (2013)

How to read and do proofs : an introduction to mathematical thought processes /
von: Solow, Daniel.
Veröffentlicht: (1990)

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

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

Tập hợp và logic :
von: Hoàng, Xuân Sính
Veröffentlicht: (1998)

Discrete-event system simulation
Veröffentlicht: (2001)

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

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

Transition to higher mathematics :
von: Dumas , Bob A.
Veröffentlicht: (2007)

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

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

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

Applied Logic for Computer Scientists . 1st ed. 2017
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2020)

Logic and language models for computer science
von: Henry Hamburger
Veröffentlicht: (2002)

Logically determined design :
von: Fant, Karl M.
Veröffentlicht: (2005)

Tìm đường trong mê cung
von: Nguyễn Xuân Huy
Veröffentlicht: (1997)

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

Discrete mathematics by example
von: Andrew Simpson
Veröffentlicht: (2002)

Discrete mathematics
von: Johnsonbaugh, Richard
Veröffentlicht: (2005)

Nonstandard logics and nonstandard metrics in physics /
von: Honig, William M.
Veröffentlicht: (1995)

Nonstandard logics and nonstandard metrics in physics /
von: Honig, William M.
Veröffentlicht: (1995)

Analysis and logic
Veröffentlicht: (2002)

Logical Foundations of Computer Science
von: Artemov, Sergei, et al.
Veröffentlicht: (2020)

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

Logical Foundations of Computer Science. 1st ed. 2018
von: Artemov, Sergei, et al.
Veröffentlicht: (2020)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
von: Chakraborty, M, et al.
Veröffentlicht: (2015)

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