Logic and discrete mathematics

QR Kod

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.

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Winfried Karl Grassmann
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	New Jersey Prentice Hall 1996
Konular:	Computer science - mathematics
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Discrete mathematics /
Yazar:: Johnsonbaugh, Richard, 1941-
Baskı/Yayın Bilgisi: (2009)

Discrete mathematics /
Yazar:: Biggs, Norman.
Baskı/Yayın Bilgisi: (1989)

Discrete algorithmic mathematics /
Yazar:: Maurer, Stephen B.
Baskı/Yayın Bilgisi: (2004)

Discrete mathematical structures
Yazar:: Kolman, Bernard
Baskı/Yayın Bilgisi: (2004)

Discrete mathematical structures
Yazar:: Kolman, Bernard
Baskı/Yayın Bilgisi: (2009)

Discrete mathematics demystified /
Yazar:: Krantz, Steven G. 1951-
Baskı/Yayın Bilgisi: (2009)

Mathematics: A discrete introduction
Yazar:: Scheinerman, Edward R.
Baskı/Yayın Bilgisi: (2000)

Discrete mathematics and its applications
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (1999)

Discrete mathematics and its applications
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (1995)

Discrete mathematics and its applications
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2007)

Discrete mathematics and its applications /
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (1999)

Discrete and combinatorial mathematics :
Yazar:: Grimaldi, Ralph P.
Baskı/Yayın Bilgisi: (2004)

Discrete and combinatorial mathematics
Yazar:: Ralph P Grimaldi
Baskı/Yayın Bilgisi: (1994)

A first course in discrete mathematics /
Yazar:: Anderson, Ian, Ph. D.
Baskı/Yayın Bilgisi: (2001)

Discrete mathematics with graph theory
Yazar:: Goodaire, Edgar G.
Baskı/Yayın Bilgisi: (2006)

Exploring discrete mathematics with maple
Yazar:: Kenneth H Rosen...[et al.]
Baskı/Yayın Bilgisi: (1997)

Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992.
Baskı/Yayın Bilgisi: (1994)

Discrete mathematics of neural networks : selected topics /
Yazar:: Anthony, Martin.
Baskı/Yayın Bilgisi: (2001)

Discrete mathematics of neural networks : selected topics /
Yazar:: Anthony, Martin.
Baskı/Yayın Bilgisi: (2001)

Algorithms and Discrete Applied Mathematics
Yazar:: Panda, B.S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algorithms and Discrete Applied Mathematics
Yazar:: Changat, Manoj, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theoretical Computer Science and Discrete Mathematics
Yazar:: Arumugam, S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Discrete mathematics across the curriculum, K-12
Baskı/Yayın Bilgisi: (1991)

Discrete mathematics
Yazar:: Johnsonbaug, Richard
Baskı/Yayın Bilgisi: (2019)

Discrete mathematics
Yazar:: Biggs, Norman L.
Baskı/Yayın Bilgisi: (2002)

Discrete mathematics
Yazar:: Biggs, Norman L.
Baskı/Yayın Bilgisi: (1998)

Mathematical logic for computer science.
Yazar:: Lu Zhungwan
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Guide to Discrete Mathematics. 1st ed.
Yazar:: O'Regan, Gerard
Baskı/Yayın Bilgisi: (2020)

Algorithms and Discrete Applied Mathematics. 1st ed. 2017
Yazar:: Gaur, Daya, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Discrete Mathematics
Yazar:: Jean Gallier
Baskı/Yayın Bilgisi: (2026)

Discrete mathematics with applications
Yazar:: Susanna S. Epp
Baskı/Yayın Bilgisi: (2004)

Discrete mathematics with applications
Yazar:: Epp, Susanna S.
Baskı/Yayın Bilgisi: (2004)

Discrete mathematics with applications
Yazar:: Epp, Susanna S.
Baskı/Yayın Bilgisi: (2004)

Discrete mathematics with applications
Yazar:: Susanna S. Epp
Baskı/Yayın Bilgisi: (2004)

Introduction to discrete mathematics /
Yazar:: Dymacek, Wayne M.
Baskı/Yayın Bilgisi: (1998)

Discrete mathematics with applications /
Yazar:: Epp, Susanna S.
Baskı/Yayın Bilgisi: (1995)

Discrete mathematical structures for computer scientists and engineers
Yazar:: Das, M. K.
Baskı/Yayın Bilgisi: (2007)

Discrete Mathematics (Photo) /
Yazar:: RMIT University
Baskı/Yayın Bilgisi: (2005)