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ơ