00621nam a2200205Ia 4500003000400000005001700004008004100021020001800062040001800080041000800098082002100106100002100127245006100148250001200209260003500221300002900256650005800285650003600343650003600379OSt20251205114525.0210716s2015    xx            000 0 und d  a9788132231677  cAIMIT LIBRARY  aeng  a006.34 21bMAKD  aMakinson, David.  aSets logic and maths for computing /cBy David Makinson.  a2nd ed.  aNew Delhi :bSpringer ,c2015.  axxi,283p. ;bPBc23.1 cm  aRecycling outputs as inputs : induction and recursion  aCounting things : combinatorics  aWeighing the odds : probability