1 Introduction to Haskell.- 2 Propositional Logic.- 3 Predicate Logic.- 4 Set Theory.- 5 Recursion.- 6 Inductively Defined Sets.- 7 Induction.- 8 Relations.- 9 Functions.- 10 Discrete Mathematics in Circuit Design.- A Software Tools for Discrete Mathematics.- B Resources on the Web.- C Solutions to Selected Exercises.- C.1 Introduction to Haskell.- C.2 Propositional Logic.- C.3 Predicate Logic.- C.4 Set Theory.- C.5 Recursion.- C.6 Inductively Defined Sets.- C.7 Induction.- C.8 Relations.- C.9 Functions.- C.1O Discrete Mathematics in Circuit Design.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata