A Problem Course in Mathematical Logic

Mã QR

A Problem Course in Mathematical Logic

This is a text for a problem-oriented course on mathematical logic and computability.

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Bilaniuk, Stefan
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	2010
Những chủ đề:	Logic Incompleteness Computability
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1966
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Thinking about Gödel and Turing : essays on complexity 1970-2007 /
Bỡi: Chaitin, Gregory J.
Được phát hành: (2007)

Results from a study using misoprostol for management of incomplete abortion in Vietnamese hospitals: implications for task shifting
Bỡi: Nguyen, Thi Nhu Ngoc

Algorithmic information theory
Bỡi: Gregory J. Chaitin
Được phát hành: (1987)

A first course in fuzzy logic
Bỡi: Nguyen, Hung T.
Được phát hành: (2006)

Fuzzy logic : An introductory course for engineering students
Bỡi: Trillas, Enric
Được phát hành: (2015)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Mathematical Logic. 1st ed.
Bỡi: Kossak, Roman
Được phát hành: (2020)

Philosophical and Mathematical Logic. 1st ed.
Bỡi: Swart, Harrie de
Được phát hành: (2020)

On codd families of keys over incomplete relations /
Bỡi: Hartmann, Sven.

A preface to logic
Bỡi: Cohen, Morris R.
Được phát hành: (1977)

Computer logic: Design principles and applications with 67 illustrations
Bỡi: Hsu, John Y.
Được phát hành: (2002)

Logic học :
Bỡi: Lê, Ngọc Triết
Được phát hành: (2013)

Hegel's logic :
Bỡi: Hegel, Georg Wilhelm Friedrich
Được phát hành: (1975)

Introduction to logic and computer design
Bỡi: Alan B. Marcovitz
Được phát hành: (2008)

Introduction to Logic and Computer Design /
Bỡi: Marcovitz Alan B
Được phát hành: (2007)

From Logic to Practice: Italian Studies in the Philosophy of Mathematics
Bỡi: Lolli, Gabriele, et al.
Được phát hành: (2015)

Multivariate Weibull mixtures with proportional hazard restrictions for dwell-time-based session clustering with incomplete data /
Bỡi: Mair, Patrick.

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

Petr Hájek on Mathematical Fuzzy Logic
Bỡi: Montagna, Franco
Được phát hành: (2015)

A guide to programming logic and design :
Bỡi: Farrell, Joyce
Được phát hành: (1999)

The power of logic
Bỡi: Layman, C. Stephen
Được phát hành: (2005)

Logic and Its Applications
Được phát hành: (2020)

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (2001)

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Logic học và phương pháp
Bỡi: Lê, Tử Thành
Được phát hành: (1991)

Tập bài giảng logic học
Bỡi: Lê, Duy Ninh
Được phát hành: (2014)

Logic
Bỡi: Priest, Graham
Được phát hành: (2000)

Logics
Bỡi: Nolt, John
Được phát hành: (1997)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Balduccini, Marcello, et al.
Được phát hành: (2020)

Logic
Bỡi: Wesley C. Salmon
Được phát hành: (1984)

Fundamentals of logic design
Bỡi: Roth, Charles H

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (2010)

Tìm hiểu lôgic học
Bỡi: Lê, Tử Thành
Được phát hành: (1991)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Logic học đại cương
Bỡi: Nguyễn, Như Hải
Được phát hành: (2014)

Giáo trình logic học
Bỡi: Lê, Thanh Thập
Được phát hành: (2013)