Sets, Logic and Maths for Computing

by John MacInnes · 3rd Edition · 2020

An accessible introduction to the mathematical foundations of computing: set theory, logic, induction, relations, functions, and counting.

442Extracted Problems
74Chapters
0Linked to DB
442Book Total
MathLogicSetsFoundations
442 shown
  • 1.1Prove De Morgan's laws for sets
    Sets
    Easy
    1.2Compute power set of a small set
    Sets
    Easy
    1.3Prove that (A-B) union (B-A) = (A union B) - (A intersect B)
    Sets
    Medium
    1-4Exercise 1.4
    Medium
    1-5Exercise 1.5
    Hard
    1-6Exercise 1.6
    Easy
  • 2.1Build truth tables for basic logical operators
    Logic
    Easy
    2.2Prove De Morgan's laws for logic
    Logic
    Easy
    2.3Convert English sentences to predicate logic
    Logic
    Medium
    2-4Exercise 2.4
    Medium
    2-5Exercise 2.5
    Hard
    2-6Exercise 2.6
    Easy
  • 3.1Check if a relation is reflexive, symmetric, transitive
    Relations
    Easy
    3.2Find equivalence classes of a given equivalence relation
    Relations
    Medium
    3.3Draw a Hasse diagram for a partial order
    Relations
    Medium
    3-4Exercise 3.4
    Medium
    3-5Exercise 3.5
    Hard
    3-6Exercise 3.6
    Easy
  • 4.1Determine if a function is injective/surjective/bijective
    Functions
    Easy
    4.2Prove Cantor's diagonal argument
    FunctionsInfinity
    Hard
    4.3Show bijection between natural and rational numbers
    FunctionsInfinity
    Hard
    4-4Exercise 4.4
    Medium
    4-5Exercise 4.5
    Hard
    4-6Exercise 4.6
    Easy
  • 5.1Prove sum of squares formula by induction
    Induction
    Easy
    5.2Prove that n^3 + 2n is divisible by 3 for all n
    Induction
    Medium
    5.3Prove Fibonacci upper bound using strong induction
    Induction
    Medium
    5-4Exercise 5.4
    Medium
    5-5Exercise 5.5
    Hard
    5-6Exercise 5.6
    Easy
  • 6.1Count ways to arrange distinct objects
    Counting
    Easy
    6.2Prove binomial theorem
    Counting
    Medium
    6.3Count number of subsets of various sizes
    Counting
    Easy
    6-4Exercise 6.4
    Medium
    6-5Exercise 6.5
    Hard
    6-6Exercise 6.6
    Easy
  • 7-1Functions Problem 1
    Easy
    7-2Functions Problem 2
    Easy
    7-3Functions Problem 3
    Medium
    7-4Functions Problem 4
    Medium
    7-5Functions Problem 5
    Hard
    7-6Exercise 7.6
    Easy
  • 8-1Mathematical Induction Problem 1
    Easy
    8-2Mathematical Induction Problem 2
    Easy
    8-3Mathematical Induction Problem 3
    Medium
    8-4Mathematical Induction Problem 4
    Medium
    8-5Mathematical Induction Problem 5
    Hard
    8-6Exercise 8.6
    Easy
  • 9-1Functions Problem 1
    Easy
    9-2Functions Problem 2
    Easy
    9-3Functions Problem 3
    Medium
    9-4Functions Problem 4
    Medium
    9-5Functions Problem 5
    Hard
    9-6Exercise 9.6
    Easy
  • 10-1Mathematical Induction Problem 1
    Easy
    10-2Mathematical Induction Problem 2
    Easy
    10-3Mathematical Induction Problem 3
    Medium
    10-4Mathematical Induction Problem 4
    Medium
    10-5Mathematical Induction Problem 5
    Hard
    10-6Exercise 10.6
    Easy
  • 11-1Functions Problem 1
    Easy
    11-2Functions Problem 2
    Easy
    11-3Functions Problem 3
    Medium
    11-4Functions Problem 4
    Medium
    11-5Functions Problem 5
    Hard
    11-6Exercise 11.6
    Easy
  • 12-1Mathematical Induction Problem 1
    Easy
    12-2Mathematical Induction Problem 2
    Easy
    12-3Mathematical Induction Problem 3
    Medium
    12-4Mathematical Induction Problem 4
    Medium
    12-5Mathematical Induction Problem 5
    Hard
    12-6Exercise 12.6
    Easy
  • 13-1Functions Problem 1
    Easy
    13-2Functions Problem 2
    Easy
    13-3Functions Problem 3
    Medium
    13-4Functions Problem 4
    Medium
    13-5Functions Problem 5
    Hard
    13-6Exercise 13.6
    Easy
  • 14-1Mathematical Induction Problem 1
    Easy
    14-2Mathematical Induction Problem 2
    Easy
    14-3Mathematical Induction Problem 3
    Medium
    14-4Mathematical Induction Problem 4
    Medium
    14-5Mathematical Induction Problem 5
    Hard
    14-6Exercise 14.6
    Easy
  • 15-1Functions Problem 1
    Easy
    15-2Functions Problem 2
    Easy
    15-3Functions Problem 3
    Medium
    15-4Functions Problem 4
    Medium
    15-5Functions Problem 5
    Hard
    15-6Exercise 15.6
    Easy
  • 16-1Mathematical Induction Problem 1
    Easy
    16-2Mathematical Induction Problem 2
    Easy
    16-3Mathematical Induction Problem 3
    Medium
    16-4Mathematical Induction Problem 4
    Medium
    16-5Mathematical Induction Problem 5
    Hard
    16-6Exercise 16.6
    Easy
  • 17-1Functions Problem 1
    Easy
    17-2Functions Problem 2
    Easy
    17-3Functions Problem 3
    Medium
    17-4Functions Problem 4
    Medium
    17-5Functions Problem 5
    Hard
    17-6Exercise 17.6
    Easy
  • 18-1Mathematical Induction Problem 1
    Easy
    18-2Mathematical Induction Problem 2
    Easy
    18-3Mathematical Induction Problem 3
    Medium
    18-4Mathematical Induction Problem 4
    Medium
    18-5Mathematical Induction Problem 5
    Hard
    18-6Exercise 18.6
    Easy
  • 19-1Functions Problem 1
    Easy
    19-2Functions Problem 2
    Easy
    19-3Functions Problem 3
    Medium
    19-4Functions Problem 4
    Medium
    19-5Functions Problem 5
    Hard
    19-6Exercise 19.6
    Easy
  • 20-1Mathematical Induction Problem 1
    Easy
    20-2Mathematical Induction Problem 2
    Easy
    20-3Mathematical Induction Problem 3
    Medium
    20-4Mathematical Induction Problem 4
    Medium
    20-5Mathematical Induction Problem 5
    Hard
    20-6Exercise 20.6
    Easy
  • 21-1Functions Problem 1
    Easy
    21-2Functions Problem 2
    Easy
    21-3Functions Problem 3
    Medium
    21-4Functions Problem 4
    Medium
    21-5Functions Problem 5
    Hard
    21-6Exercise 21.6
    Easy
  • 22-1Mathematical Induction Problem 1
    Easy
    22-2Mathematical Induction Problem 2
    Easy
    22-3Mathematical Induction Problem 3
    Medium
    22-4Mathematical Induction Problem 4
    Medium
    22-5Mathematical Induction Problem 5
    Hard
    22-6Exercise 22.6
    Easy
  • 23-1Functions Problem 1
    Easy
    23-2Functions Problem 2
    Easy
    23-3Functions Problem 3
    Medium
    23-4Functions Problem 4
    Medium
    23-5Functions Problem 5
    Hard
    23-6Exercise 23.6
    Easy
  • 24-1Mathematical Induction Problem 1
    Easy
    24-2Mathematical Induction Problem 2
    Easy
    24-3Mathematical Induction Problem 3
    Medium
    24-4Mathematical Induction Problem 4
    Medium
    24-5Mathematical Induction Problem 5
    Hard
    24-6Exercise 24.6
    Easy
  • 25-1Functions Problem 1
    Easy
    25-2Functions Problem 2
    Easy
    25-3Functions Problem 3
    Medium
    25-4Functions Problem 4
    Medium
    25-5Functions Problem 5
    Hard
    25-6Exercise 25.6
    Easy
  • 26-1Mathematical Induction Problem 1
    Easy
    26-2Mathematical Induction Problem 2
    Easy
    26-3Mathematical Induction Problem 3
    Medium
    26-4Mathematical Induction Problem 4
    Medium
    26-5Mathematical Induction Problem 5
    Hard
    26-6Exercise 26.6
    Easy
  • 27-1Functions Problem 1
    Easy
    27-2Functions Problem 2
    Easy
    27-3Functions Problem 3
    Medium
    27-4Functions Problem 4
    Medium
    27-5Functions Problem 5
    Hard
    27-6Exercise 27.6
    Easy
  • 28-1Mathematical Induction Problem 1
    Easy
    28-2Mathematical Induction Problem 2
    Easy
    28-3Mathematical Induction Problem 3
    Medium
    28-4Mathematical Induction Problem 4
    Medium
    28-5Mathematical Induction Problem 5
    Hard
    28-6Exercise 28.6
    Easy
  • 29-1Functions Problem 1
    Easy
    29-2Functions Problem 2
    Easy
    29-3Functions Problem 3
    Medium
    29-4Functions Problem 4
    Medium
    29-5Functions Problem 5
    Hard
    29-6Exercise 29.6
    Easy
  • 30-1Mathematical Induction Problem 1
    Easy
    30-2Mathematical Induction Problem 2
    Easy
    30-3Mathematical Induction Problem 3
    Medium
    30-4Mathematical Induction Problem 4
    Medium
    30-5Mathematical Induction Problem 5
    Hard
    30-6Exercise 30.6
    Easy
  • 31-1Functions Problem 1
    Easy
    31-2Functions Problem 2
    Easy
    31-3Functions Problem 3
    Medium
    31-4Functions Problem 4
    Medium
    31-5Functions Problem 5
    Hard
    31-6Exercise 31.6
    Easy
  • 32-1Mathematical Induction Problem 1
    Easy
    32-2Mathematical Induction Problem 2
    Easy
    32-3Mathematical Induction Problem 3
    Medium
    32-4Mathematical Induction Problem 4
    Medium
    32-5Mathematical Induction Problem 5
    Hard
    32-6Exercise 32.6
    Easy
  • 33-1Functions Problem 1
    Easy
    33-2Functions Problem 2
    Easy
    33-3Functions Problem 3
    Medium
    33-4Functions Problem 4
    Medium
    33-5Functions Problem 5
    Hard
    33-6Exercise 33.6
    Easy
  • 34-1Mathematical Induction Problem 1
    Easy
    34-2Mathematical Induction Problem 2
    Easy
    34-3Mathematical Induction Problem 3
    Medium
    34-4Mathematical Induction Problem 4
    Medium
    34-5Mathematical Induction Problem 5
    Hard
    34-6Exercise 34.6
    Easy
  • 35-1Functions Problem 1
    Easy
    35-2Functions Problem 2
    Easy
    35-3Functions Problem 3
    Medium
    35-4Functions Problem 4
    Medium
    35-5Functions Problem 5
    Hard
    35-6Exercise 35.6
    Easy
  • 36-1Mathematical Induction Problem 1
    Easy
    36-2Mathematical Induction Problem 2
    Easy
    36-3Mathematical Induction Problem 3
    Medium
    36-4Mathematical Induction Problem 4
    Medium
    36-5Mathematical Induction Problem 5
    Hard
    36-6Exercise 36.6
    Easy
  • 37-1Functions Problem 1
    Easy
    37-2Functions Problem 2
    Easy
    37-3Functions Problem 3
    Medium
    37-4Functions Problem 4
    Medium
    37-5Functions Problem 5
    Hard
    37-6Exercise 37.6
    Easy
  • 38-1Mathematical Induction Problem 1
    Easy
    38-2Mathematical Induction Problem 2
    Easy
    38-3Mathematical Induction Problem 3
    Medium
    38-4Mathematical Induction Problem 4
    Medium
    38-5Mathematical Induction Problem 5
    Hard
    38-6Exercise 38.6
    Easy
  • 39-1Functions Problem 1
    Easy
    39-2Functions Problem 2
    Easy
    39-3Functions Problem 3
    Medium
    39-4Functions Problem 4
    Medium
    39-5Functions Problem 5
    Hard
    39-6Exercise 39.6
    Easy
  • 40-1Mathematical Induction Problem 1
    Easy
    40-2Mathematical Induction Problem 2
    Easy
    40-3Mathematical Induction Problem 3
    Medium
    40-4Mathematical Induction Problem 4
    Medium
    40-5Mathematical Induction Problem 5
    Hard
    40-6Exercise 40.6
    Easy
  • 41-1Functions Problem 1
    Easy
    41-2Functions Problem 2
    Easy
    41-3Functions Problem 3
    Medium
    41-4Functions Problem 4
    Medium
    41-5Functions Problem 5
    Hard
    41-6Exercise 41.6
    Easy
  • 42-1Mathematical Induction Problem 1
    Easy
    42-2Mathematical Induction Problem 2
    Easy
    42-3Mathematical Induction Problem 3
    Medium
    42-4Mathematical Induction Problem 4
    Medium
    42-5Mathematical Induction Problem 5
    Hard
    42-6Exercise 42.6
    Easy
  • 43-1Functions Problem 1
    Easy
    43-2Functions Problem 2
    Easy
    43-3Functions Problem 3
    Medium
    43-4Functions Problem 4
    Medium
    43-5Functions Problem 5
    Hard
    43-6Exercise 43.6
    Easy
  • 44-1Mathematical Induction Problem 1
    Easy
    44-2Mathematical Induction Problem 2
    Easy
    44-3Mathematical Induction Problem 3
    Medium
    44-4Mathematical Induction Problem 4
    Medium
    44-5Mathematical Induction Problem 5
    Hard
    44-6Exercise 44.6
    Easy
  • 45-1Functions Problem 1
    Easy
    45-2Functions Problem 2
    Easy
    45-3Functions Problem 3
    Medium
    45-4Functions Problem 4
    Medium
    45-5Functions Problem 5
    Hard
    45-6Exercise 45.6
    Easy
  • 46-1Mathematical Induction Problem 1
    Easy
    46-2Mathematical Induction Problem 2
    Easy
    46-3Mathematical Induction Problem 3
    Medium
    46-4Mathematical Induction Problem 4
    Medium
    46-5Mathematical Induction Problem 5
    Hard
    46-6Exercise 46.6
    Easy
  • 47-1Functions Problem 1
    Easy
    47-2Functions Problem 2
    Easy
    47-3Functions Problem 3
    Medium
    47-4Functions Problem 4
    Medium
    47-5Functions Problem 5
    Hard
    47-6Exercise 47.6
    Easy
  • 48-1Mathematical Induction Problem 1
    Easy
    48-2Mathematical Induction Problem 2
    Easy
    48-3Mathematical Induction Problem 3
    Medium
    48-4Mathematical Induction Problem 4
    Medium
    48-5Mathematical Induction Problem 5
    Hard
    48-6Exercise 48.6
    Easy
  • 49-1Functions Problem 1
    Easy
    49-2Functions Problem 2
    Easy
    49-3Functions Problem 3
    Medium
    49-4Functions Problem 4
    Medium
    49-5Functions Problem 5
    Hard
    49-6Exercise 49.6
    Easy
  • 50-1Mathematical Induction Problem 1
    Easy
    50-2Mathematical Induction Problem 2
    Easy
    50-3Mathematical Induction Problem 3
    Medium
    50-4Mathematical Induction Problem 4
    Medium
    50-5Mathematical Induction Problem 5
    Hard
    50-6Exercise 50.6
    Easy
  • 51-1Functions Problem 1
    Easy
    51-2Functions Problem 2
    Easy
    51-3Functions Problem 3
    Medium
    51-4Functions Problem 4
    Medium
    51-5Functions Problem 5
    Hard
    51-6Exercise 51.6
    Easy
  • 52-1Mathematical Induction Problem 1
    Easy
    52-2Mathematical Induction Problem 2
    Easy
    52-3Mathematical Induction Problem 3
    Medium
    52-4Mathematical Induction Problem 4
    Medium
    52-5Mathematical Induction Problem 5
    Hard
    52-6Exercise 52.6
    Easy
  • 53-1Functions Problem 1
    Easy
    53-2Functions Problem 2
    Easy
    53-3Functions Problem 3
    Medium
    53-4Functions Problem 4
    Medium
    53-5Functions Problem 5
    Hard
    53-6Exercise 53.6
    Easy
  • 54-1Mathematical Induction Problem 1
    Easy
    54-2Mathematical Induction Problem 2
    Easy
    54-3Mathematical Induction Problem 3
    Medium
    54-4Mathematical Induction Problem 4
    Medium
    54-5Mathematical Induction Problem 5
    Hard
    54-6Exercise 54.6
    Easy
  • 55-1Functions Problem 1
    Easy
    55-2Functions Problem 2
    Easy
    55-3Functions Problem 3
    Medium
    55-4Functions Problem 4
    Medium
    55-5Functions Problem 5
    Hard
    55-6Exercise 55.6
    Easy
  • 56-1Mathematical Induction Problem 1
    Easy
    56-2Mathematical Induction Problem 2
    Easy
    56-3Mathematical Induction Problem 3
    Medium
    56-4Mathematical Induction Problem 4
    Medium
    56-5Mathematical Induction Problem 5
    Hard
    56-6Exercise 56.6
    Easy
  • 57-1Functions Problem 1
    Easy
    57-2Functions Problem 2
    Easy
    57-3Functions Problem 3
    Medium
    57-4Functions Problem 4
    Medium
    57-5Functions Problem 5
    Hard
    57-6Exercise 57.6
    Easy
  • 58-1Mathematical Induction Problem 1
    Easy
    58-2Mathematical Induction Problem 2
    Easy
    58-3Mathematical Induction Problem 3
    Medium
    58-4Mathematical Induction Problem 4
    Medium
    58-5Mathematical Induction Problem 5
    Hard
    58-6Exercise 58.6
    Easy
  • 59-1Functions Problem 1
    Easy
    59-2Functions Problem 2
    Easy
    59-3Functions Problem 3
    Medium
    59-4Functions Problem 4
    Medium
    59-5Functions Problem 5
    Hard
    59-6Exercise 59.6
    Easy
  • 60-1Mathematical Induction Problem 1
    Easy
    60-2Mathematical Induction Problem 2
    Easy
    60-3Mathematical Induction Problem 3
    Medium
    60-4Mathematical Induction Problem 4
    Medium
    60-5Mathematical Induction Problem 5
    Hard
    60-6Exercise 60.6
    Easy
  • 61-1Functions Problem 1
    Easy
    61-2Functions Problem 2
    Easy
    61-3Functions Problem 3
    Medium
    61-4Functions Problem 4
    Medium
    61-5Functions Problem 5
    Hard
    61-6Exercise 61.6
    Easy
  • 62-1Mathematical Induction Problem 1
    Easy
    62-2Mathematical Induction Problem 2
    Easy
    62-3Mathematical Induction Problem 3
    Medium
    62-4Mathematical Induction Problem 4
    Medium
    62-5Mathematical Induction Problem 5
    Hard
    62-6Exercise 62.6
    Easy
  • 63-1Functions Problem 1
    Easy
    63-2Functions Problem 2
    Easy
    63-3Functions Problem 3
    Medium
    63-4Functions Problem 4
    Medium
    63-5Functions Problem 5
    Hard
    63-6Exercise 63.6
    Easy
  • 64-1Mathematical Induction Problem 1
    Easy
    64-2Mathematical Induction Problem 2
    Easy
    64-3Mathematical Induction Problem 3
    Medium
    64-4Mathematical Induction Problem 4
    Medium
    64-5Mathematical Induction Problem 5
    Hard
    64-6Exercise 64.6
    Easy
  • 65-1Functions Problem 1
    Easy
    65-2Functions Problem 2
    Easy
    65-3Functions Problem 3
    Medium
    65-4Functions Problem 4
    Medium
    65-5Functions Problem 5
    Hard
    65-6Exercise 65.6
    Easy
  • 66-1Mathematical Induction Problem 1
    Easy
    66-2Mathematical Induction Problem 2
    Easy
    66-3Mathematical Induction Problem 3
    Medium
    66-4Mathematical Induction Problem 4
    Medium
    66-5Mathematical Induction Problem 5
    Hard
    66-6Exercise 66.6
    Easy
  • 67-1Functions Problem 1
    Easy
    67-2Functions Problem 2
    Easy
    67-3Functions Problem 3
    Medium
    67-4Functions Problem 4
    Medium
    67-5Functions Problem 5
    Hard
    67-6Exercise 67.6
    Easy
  • 68-1Mathematical Induction Problem 1
    Easy
    68-2Mathematical Induction Problem 2
    Easy
    68-3Mathematical Induction Problem 3
    Medium
    68-4Mathematical Induction Problem 4
    Medium
    68-5Mathematical Induction Problem 5
    Hard
    68-6Exercise 68.6
    Easy
  • 69-1Functions Problem 1
    Easy
    69-2Functions Problem 2
    Easy
    69-3Functions Problem 3
    Medium
    69-4Functions Problem 4
    Medium
    69-5Functions Problem 5
    Hard
    69-6Exercise 69.6
    Easy
  • 70-1Mathematical Induction Problem 1
    Easy
    70-2Mathematical Induction Problem 2
    Easy
    70-3Mathematical Induction Problem 3
    Medium
    70-4Mathematical Induction Problem 4
    Medium
    70-5Mathematical Induction Problem 5
    Hard
    70-6Exercise 70.6
    Easy
  • 71-1Functions Problem 1
    Easy
    71-2Functions Problem 2
    Easy
    71-3Functions Problem 3
    Medium
    71-4Functions Problem 4
    Medium
    71-5Functions Problem 5
    Hard
    71-6Exercise 71.6
    Easy
  • 72-1Mathematical Induction Problem 1
    Easy
    72-2Mathematical Induction Problem 2
    Easy
    72-3Mathematical Induction Problem 3
    Medium
    72-4Mathematical Induction Problem 4
    Medium
    72-5Mathematical Induction Problem 5
    Hard
    72-6Exercise 72.6
    Easy

  • Functions concepts and practice

    73-1Functions Problem 1
    Easy
    73-2Functions Problem 2
    Easy
    73-3Functions Problem 3
    Medium
    73-4Functions Problem 4
    Medium
    73-5Functions Problem 5
    Hard

  • Mathematical Induction concepts and practice

    74-1Mathematical Induction Problem 1
    Easy
    74-2Mathematical Induction Problem 2
    Easy
    74-3Mathematical Induction Problem 3
    Medium
    74-4Mathematical Induction Problem 4
    Medium
    74-5Mathematical Induction Problem 5
    Hard