Logic and discrete mathematics

Mã QR

Logic and discrete mathematics A computer science perspective

Propositional calculus; Predicate calculus; Induction and recursion; Prolog; Sets and relations; More about functions; Graphs and trees; Formal requirement specification in Z; Program correctness proofs; Grammars languages, and parsing; Derivations; An overview of relational database systems.

Đã lưu trong:

书目详细资料
主要作者:	Winfried Karl Grassmann
格式:	图书
语言:	Undetermined
出版:	New Jersey Prentice Hall 1996
主题:	Computer science - mathematics
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

Discrete mathematics /
由: Johnsonbaugh, Richard, 1941-
出版: (2009)

Discrete mathematics /
由: Biggs, Norman.
出版: (1989)

Discrete algorithmic mathematics /
由: Maurer, Stephen B.
出版: (2004)

Discrete mathematical structures
由: Kolman, Bernard
出版: (2004)

Discrete mathematical structures
由: Kolman, Bernard
出版: (2009)

Discrete mathematics demystified /
由: Krantz, Steven G. 1951-
出版: (2009)

Mathematics: A discrete introduction
由: Scheinerman, Edward R.
出版: (2000)

Discrete mathematics and its applications
由: Rosen, Kenneth H.
出版: (1999)

Discrete mathematics and its applications
由: Rosen, Kenneth H.
出版: (1995)

Discrete mathematics and its applications
由: Rosen, Kenneth H.
出版: (2007)

Discrete mathematics and its applications /
由: Rosen, Kenneth H.
出版: (1999)

Discrete and combinatorial mathematics :
由: Grimaldi, Ralph P.
出版: (2004)

Discrete and combinatorial mathematics
由: Ralph P Grimaldi
出版: (1994)

A first course in discrete mathematics /
由: Anderson, Ian, Ph. D.
出版: (2001)

Discrete mathematics with graph theory
由: Goodaire, Edgar G.
出版: (2006)

Exploring discrete mathematics with maple
由: Kenneth H Rosen...[et al.]
出版: (1997)

Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992.
出版: (1994)

Discrete mathematics of neural networks : selected topics /
由: Anthony, Martin.
出版: (2001)

Discrete mathematics of neural networks : selected topics /
由: Anthony, Martin.
出版: (2001)

Algorithms and Discrete Applied Mathematics
由: Panda, B.S., et al.
出版: (2020)

Algorithms and Discrete Applied Mathematics
由: Changat, Manoj, et al.
出版: (2020)

Theoretical Computer Science and Discrete Mathematics
由: Arumugam, S., et al.
出版: (2020)

Discrete mathematics across the curriculum, K-12
出版: (1991)

Discrete mathematics
由: Johnsonbaug, Richard
出版: (2019)

Discrete mathematics
由: Biggs, Norman L.
出版: (2002)

Discrete mathematics
由: Biggs, Norman L.
出版: (1998)

Mathematical logic for computer science.
由: Lu Zhungwan
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Guide to Discrete Mathematics. 1st ed.
由: O'Regan, Gerard
出版: (2020)

Algorithms and Discrete Applied Mathematics. 1st ed. 2017
由: Gaur, Daya, et al.
出版: (2020)

Discrete Mathematics
由: Jean Gallier
出版: (2026)

Discrete mathematics with applications
由: Susanna S. Epp
出版: (2004)

Discrete mathematics with applications
由: Epp, Susanna S.
出版: (2004)

Discrete mathematics with applications
由: Epp, Susanna S.
出版: (2004)

Discrete mathematics with applications
由: Susanna S. Epp
出版: (2004)

Introduction to discrete mathematics /
由: Dymacek, Wayne M.
出版: (1998)

Discrete mathematics with applications /
由: Epp, Susanna S.
出版: (1995)

Discrete Mathematics (Photo) /
由: RMIT University
出版: (2005)

Discrete mathematical structures for computer scientists and engineers
由: Das, M. K.
出版: (2007)