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:

Bibliografiske detaljer
Hovedforfatter:	Winfried Karl Grassmann
Format:	Bog
Sprog:	Undetermined
Udgivet:	New Jersey Prentice Hall 1996
Fag:	Computer science - mathematics
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Discrete mathematics /
af: Johnsonbaugh, Richard, 1941-
Udgivet: (2009)

Discrete mathematics /
af: Biggs, Norman.
Udgivet: (1989)

Discrete algorithmic mathematics /
af: Maurer, Stephen B.
Udgivet: (2004)

Discrete mathematical structures
af: Kolman, Bernard
Udgivet: (2004)

Discrete mathematical structures
af: Kolman, Bernard
Udgivet: (2009)

Discrete mathematics demystified /
af: Krantz, Steven G. 1951-
Udgivet: (2009)

Mathematics: A discrete introduction
af: Scheinerman, Edward R.
Udgivet: (2000)

Discrete mathematics and its applications
af: Rosen, Kenneth H.
Udgivet: (1999)

Discrete mathematics and its applications
af: Rosen, Kenneth H.
Udgivet: (1995)

Discrete mathematics and its applications
af: Rosen, Kenneth H.
Udgivet: (2007)

Discrete mathematics and its applications /
af: Rosen, Kenneth H.
Udgivet: (1999)

Discrete and combinatorial mathematics :
af: Grimaldi, Ralph P.
Udgivet: (2004)

Discrete and combinatorial mathematics
af: Ralph P Grimaldi
Udgivet: (1994)

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

Discrete mathematics with graph theory
af: Goodaire, Edgar G.
Udgivet: (2006)

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

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

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

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

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

Algorithms and Discrete Applied Mathematics
af: Changat, Manoj, et al.
Udgivet: (2020)

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

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

Discrete mathematics
af: Johnsonbaug, Richard
Udgivet: (2019)

Discrete mathematics
af: Biggs, Norman L.
Udgivet: (2002)

Discrete mathematics
af: Biggs, Norman L.
Udgivet: (1998)

Mathematical logic for computer science.
af: Lu Zhungwan
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

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

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

Discrete Mathematics
af: Jean Gallier
Udgivet: (2026)

Discrete mathematics with applications
af: Susanna S. Epp
Udgivet: (2004)

Discrete mathematics with applications
af: Epp, Susanna S.
Udgivet: (2004)

Discrete mathematics with applications
af: Epp, Susanna S.
Udgivet: (2004)

Discrete mathematics with applications
af: Susanna S. Epp
Udgivet: (2004)

Introduction to discrete mathematics /
af: Dymacek, Wayne M.
Udgivet: (1998)

Discrete mathematics with applications /
af: Epp, Susanna S.
Udgivet: (1995)

Discrete Mathematics (Photo) /
af: RMIT University
Udgivet: (2005)

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