Programmverifikation

Formale Verifikation - Aufgaben

Inhalt

• Wert­zuweisung
• Summe der Zahlen von 1 bis n
• Summe der Quadrat­zahlen von 1 bis n
• Ganzzahlige Division
• Ganzzahlige Wurzel
• Bitlänge einer Zahl
• Schnelle Exponentiation
• Größter gemeinsamer Teiler
• Polynom­auswertung nach dem Horner-Schema
• Vermindern um 1 bis 0
• Triviale While-Schleife
• Weitere Aufgaben

 

 

 

[up]

 

---

H.W. Lang   mail@hwlang.de   Impressum   Datenschutz
Created: 06.04.2005   Updated: 28.08.2023
Diese Webseiten sind während meiner Lehrtätigkeit an der Hochschule Flensburg entstanden