Garantie de satisfaction à 100% Disponible immédiatement après paiement En ligne et en PDF Tu n'es attaché à rien
logo-home
Summary Modelling Computing Systems Hoofdstuk 9 Faron Moller & Georg Struth $3.36
Ajouter au panier

Resume

Summary Modelling Computing Systems Hoofdstuk 9 Faron Moller & Georg Struth

1 vérifier
 0 fois vendu
  • Cours
  • Établissement
  • Book

Logic for Computer Science / Logica voor computertechnolgie hoofdstuk 9. Samenvatting van het boek Modelling Computing Systems geschreven door Faron Moller en Georg Struth. Samenvatting geschreven in het Engels. Aan de hand van voorbeelden en plaatjes wordt de stof en theorie verduidelijkt. Gegeven...

[Montrer plus]
Dernier document publié: 4 année de cela

Aperçu 1 sur 5  pages

  • Non
  • Hoofdstuk 9
  • 22 décembre 2020
  • 22 décembre 2020
  • 5
  • 2020/2021
  • Resume

1  vérifier

review-writer-avatar

Par: bobkreugel • 4 année de cela

avatar-seller
Hoorcollege 10(Hoofdstuk 9):

We can then define a functions over N by induction. For example, we may want to compute the sum
of the first n numbers: 1 + 2 + 3 + … + n. We can do so using an inductive definition:

sum(0) = 0

sum(n + 1) = (n + 1) + sum(n).



Claim: For all n, we can show that sum(n) = n×(n+1) 2 . How to prove this? Let’s check that the
equality holds for the first few numbers:

 if n = 0, we have that sum(0) = 0 = (0×1) / 2 .
 if n = 1, we have that sum(1) = 0 + 1 = 1 = (1×2) / 2 .
 if n = 2, we have that sum(2) = 0 + 1 + 2 = 3 = (2×3) / 2 . But we need proof.

Proof by induction:

We defined the set of natural numbers using the following two clauses:

 0∈N
 for any n ∈ N, the number (n + 1) ∈ N.

To show that some property P holds for all natural numbers, it suffices to show:

 P(0)
 for all n, if we assume that P(n) we need to show that P(n + 1)



Example proof by induction where we will proof the base case and inductive case as well:

Claim: For all n, we can show that sum(n) = n×(n+1) 2 . Proof: We prove this statement by induction
on n.

 if n = 0, we need to show that sum(0) = (0×1) / 2 .
 Suppose that n = k + 1 and that sum(k) = (k×(k+1)) / 2 .

We need to show sum(k + 1) = (k+1)(k+2) / 2 .

Base Case proof: If n = 0, we need to show that sum(0) = (0×1) / 2 . Using the definition of sum, we
know that sum(0) = 0 = (0×1) / 2 as required. This completes the base case.

Inductive case proof: Suppose that that sum(k) = (k×(k+1)) / 2 . We need to show sum(k + 1) = ((k+1)
(k+2)) / 2 :

Les avantages d'acheter des résumés chez Stuvia:

Qualité garantie par les avis des clients

Qualité garantie par les avis des clients

Les clients de Stuvia ont évalués plus de 700 000 résumés. C'est comme ça que vous savez que vous achetez les meilleurs documents.

L’achat facile et rapide

L’achat facile et rapide

Vous pouvez payer rapidement avec iDeal, carte de crédit ou Stuvia-crédit pour les résumés. Il n'y a pas d'adhésion nécessaire.

Focus sur l’essentiel

Focus sur l’essentiel

Vos camarades écrivent eux-mêmes les notes d’étude, c’est pourquoi les documents sont toujours fiables et à jour. Cela garantit que vous arrivez rapidement au coeur du matériel.

Foire aux questions

Qu'est-ce que j'obtiens en achetant ce document ?

Vous obtenez un PDF, disponible immédiatement après votre achat. Le document acheté est accessible à tout moment, n'importe où et indéfiniment via votre profil.

Garantie de remboursement : comment ça marche ?

Notre garantie de satisfaction garantit que vous trouverez toujours un document d'étude qui vous convient. Vous remplissez un formulaire et notre équipe du service client s'occupe du reste.

Auprès de qui est-ce que j'achète ce résumé ?

Stuvia est une place de marché. Alors, vous n'achetez donc pas ce document chez nous, mais auprès du vendeur luukvaa. Stuvia facilite les paiements au vendeur.

Est-ce que j'aurai un abonnement?

Non, vous n'achetez ce résumé que pour $3.36. Vous n'êtes lié à rien après votre achat.

Peut-on faire confiance à Stuvia ?

4.6 étoiles sur Google & Trustpilot (+1000 avis)

64670 résumés ont été vendus ces 30 derniers jours

Fondée en 2010, la référence pour acheter des résumés depuis déjà 15 ans

Commencez à vendre!

Récemment vu par vous


$3.36
  • (1)
Ajouter au panier
Ajouté