Logic and discrete mathematics

Côd 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.

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Winfried Karl Grassmann
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	New Jersey Prentice Hall 1996
Pynciau:	Computer science - mathematics
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Discrete mathematics /
gan: Johnsonbaugh, Richard, 1941-
Cyhoeddwyd: (2009)

Discrete mathematics /
gan: Biggs, Norman.
Cyhoeddwyd: (1989)

Discrete algorithmic mathematics /
gan: Maurer, Stephen B.
Cyhoeddwyd: (2004)

Discrete mathematical structures
gan: Kolman, Bernard
Cyhoeddwyd: (2004)

Discrete mathematical structures
gan: Kolman, Bernard
Cyhoeddwyd: (2009)

Discrete mathematics demystified /
gan: Krantz, Steven G. 1951-
Cyhoeddwyd: (2009)

Mathematics: A discrete introduction
gan: Scheinerman, Edward R.
Cyhoeddwyd: (2000)

Discrete mathematics and its applications
gan: Rosen, Kenneth H.
Cyhoeddwyd: (1999)

Discrete mathematics and its applications
gan: Rosen, Kenneth H.
Cyhoeddwyd: (1995)

Discrete mathematics and its applications
gan: Rosen, Kenneth H.
Cyhoeddwyd: (2007)

Discrete mathematics and its applications /
gan: Rosen, Kenneth H.
Cyhoeddwyd: (1999)

Discrete and combinatorial mathematics :
gan: Grimaldi, Ralph P.
Cyhoeddwyd: (2004)

Discrete and combinatorial mathematics
gan: Ralph P Grimaldi
Cyhoeddwyd: (1994)

A first course in discrete mathematics /
gan: Anderson, Ian, Ph. D.
Cyhoeddwyd: (2001)

Discrete mathematics with graph theory
gan: Goodaire, Edgar G.
Cyhoeddwyd: (2006)

Exploring discrete mathematics with maple
gan: Kenneth H Rosen...[et al.]
Cyhoeddwyd: (1997)

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

Discrete mathematics of neural networks : selected topics /
gan: Anthony, Martin.
Cyhoeddwyd: (2001)

Discrete mathematics of neural networks : selected topics /
gan: Anthony, Martin.
Cyhoeddwyd: (2001)

Algorithms and Discrete Applied Mathematics
gan: Panda, B.S., et al.
Cyhoeddwyd: (2020)

Algorithms and Discrete Applied Mathematics
gan: Changat, Manoj, et al.
Cyhoeddwyd: (2020)

Theoretical Computer Science and Discrete Mathematics
gan: Arumugam, S., et al.
Cyhoeddwyd: (2020)

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

Discrete mathematics
gan: Johnsonbaug, Richard
Cyhoeddwyd: (2019)

Discrete mathematics
gan: Biggs, Norman L.
Cyhoeddwyd: (2002)

Discrete mathematics
gan: Biggs, Norman L.
Cyhoeddwyd: (1998)

Mathematical logic for computer science.
gan: Lu Zhungwan
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Guide to Discrete Mathematics. 1st ed.
gan: O'Regan, Gerard
Cyhoeddwyd: (2020)

Algorithms and Discrete Applied Mathematics. 1st ed. 2017
gan: Gaur, Daya, et al.
Cyhoeddwyd: (2020)

Discrete mathematics with applications
gan: Susanna S. Epp
Cyhoeddwyd: (2004)

Discrete mathematics with applications
gan: Epp, Susanna S.
Cyhoeddwyd: (2004)

Discrete mathematics with applications
gan: Epp, Susanna S.
Cyhoeddwyd: (2004)

Discrete mathematics with applications
gan: Susanna S. Epp
Cyhoeddwyd: (2004)

Introduction to discrete mathematics /
gan: Dymacek, Wayne M.
Cyhoeddwyd: (1998)

Discrete mathematics with applications /
gan: Epp, Susanna S.
Cyhoeddwyd: (1995)

Discrete Mathematics (Photo) /
gan: RMIT University
Cyhoeddwyd: (2005)

Discrete Mathematics
gan: Lovász, László, et al.
Cyhoeddwyd: (2020)

Discrete mathematical structures for computer scientists and engineers
gan: Das, M. K.
Cyhoeddwyd: (2007)