Logic and discrete mathematics

QR kȏd

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.

Spremljeno u:

Bibliografski detalji
Glavni autor:	Winfried Karl Grassmann
Format:	Knjiga
Jezik:	Undetermined
Izdano:	New Jersey Prentice Hall 1996
Teme:	Computer science - mathematics
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

Discrete mathematics /
od: Johnsonbaugh, Richard, 1941-
Izdano: (2009)

Discrete mathematics /
od: Biggs, Norman.
Izdano: (1989)

Discrete algorithmic mathematics /
od: Maurer, Stephen B.
Izdano: (2004)

Discrete mathematical structures
od: Kolman, Bernard
Izdano: (2004)

Discrete mathematical structures
od: Kolman, Bernard
Izdano: (2009)

Discrete mathematics demystified /
od: Krantz, Steven G. 1951-
Izdano: (2009)

Mathematics: A discrete introduction
od: Scheinerman, Edward R.
Izdano: (2000)

Discrete mathematics and its applications
od: Rosen, Kenneth H.
Izdano: (1999)

Discrete mathematics and its applications
od: Rosen, Kenneth H.
Izdano: (1995)

Discrete mathematics and its applications
od: Rosen, Kenneth H.
Izdano: (2007)

Discrete mathematics and its applications /
od: Rosen, Kenneth H.
Izdano: (1999)

Discrete and combinatorial mathematics :
od: Grimaldi, Ralph P.
Izdano: (2004)

Discrete and combinatorial mathematics
od: Ralph P Grimaldi
Izdano: (1994)

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

Discrete mathematics with graph theory
od: Goodaire, Edgar G.
Izdano: (2006)

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

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

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

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

Algorithms and Discrete Applied Mathematics
od: Panda, B.S., i dr.
Izdano: (2020)

Algorithms and Discrete Applied Mathematics
od: Changat, Manoj, i dr.
Izdano: (2020)

Theoretical Computer Science and Discrete Mathematics
od: Arumugam, S., i dr.
Izdano: (2020)

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

Discrete mathematics
od: Johnsonbaug, Richard
Izdano: (2019)

Discrete mathematics
od: Biggs, Norman L.
Izdano: (2002)

Discrete mathematics
od: Biggs, Norman L.
Izdano: (1998)

Mathematical logic for computer science.
od: Lu Zhungwan
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

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

Algorithms and Discrete Applied Mathematics. 1st ed. 2017
od: Gaur, Daya, i dr.
Izdano: (2020)

Discrete Mathematics
od: Jean Gallier
Izdano: (2026)

Discrete mathematics with applications
od: Susanna S. Epp
Izdano: (2004)

Discrete mathematics with applications
od: Epp, Susanna S.
Izdano: (2004)

Discrete mathematics with applications
od: Epp, Susanna S.
Izdano: (2004)

Discrete mathematics with applications
od: Susanna S. Epp
Izdano: (2004)

Introduction to discrete mathematics /
od: Dymacek, Wayne M.
Izdano: (1998)

Discrete mathematics with applications /
od: Epp, Susanna S.
Izdano: (1995)

Discrete Mathematics (Photo) /
od: RMIT University
Izdano: (2005)

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_ejcfgr6hpiepm31cb3a2o8m73i
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235