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.

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Winfried Karl Grassmann
स्वरूप: पुस्तक
भाषा:Undetermined
प्रकाशित: New Jersey Prentice Hall 1996
विषय:
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ