The Haskell road to logic, maths and programming

The Haskell road to logic, maths and programming

Kees Doets, J van Eijck
5.0 / 0
0 comments
यह पुस्तक आपको कितनी अच्छी लगी?
फ़ाइल की गुणवत्ता क्या है?
पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें
डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?
श्रेणियाँ:
Computers - Programming
साल:
2004
प्रकाशन:
King's College Publications
भाषा:
english
पृष्ठ:
449
ISBN 10:
0954300696
ISBN 13:
9780954300692
श्रृंखला:
Texts in computing, 4
फ़ाइल:
PDF, 1.21 MB
IPFS:
CID , CID Blake2b
english, 2004
डाउनलोड करें (pdf, 1.21 MB)
  • Checking other formats...
  • रूपांतरित फ़ाइल मूल फ़ाइल से भिन्न हो सकती है. संभव हो तो फ़ाइल को इसके मूल प्रारूप में डाउनलोड करें
में रूपांतरण जारी है
में रूपांतरण विफल रहा

सबसे उपयोगी शब्द

 
function
haskell
sets
induction
integer
bool
suppose
false
functions
lists
mathematical
proved
theorem
infinite
element
prove
assume
defined
implementation
map
argument
finite
rational
define
divides
generating
formula
operation
definitions
notation
x:xs
check
difference
integers
figure
prelude
logical
transitive
pairs
statement
recursion
tower
reasoning
polynomial
operations
otherwise
error
formulas
module
addition
programming
arbitrary
consider
introduction
reflexive
approx
iterate
complex
mathematics
partition

जुड़े हुए बुकलिस्ट