Zum Inhalt springen

Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Arbeitsblatt 18/kontrolle

Aus Wikiversity



Übungsaufgaben

Entwerfe ein Programm für eine Registermaschine, das nach und nach alle Quadratzahlen ausdruckt.



Entwerfe ein Programm für eine Registermaschine, die für die Differenz von zwei Registerinhalten berechnet.



Entwerfe ein Programm für eine Registermaschine, das entscheidet, ob der Registerinhalt des Registers die echte Potenz einer natürlichen Zahl ist.



Beschreibe ein Verfahren, das alle prädikatenlogischen Ausdrücke ausgibt (dabei sei vorausgesetzt, dass die Variablen, die Konstanten, die Relationssymbole und die Funktionssymbole in einer aufgezählten Form vorliegen).



Zeige, dass es kein Programm für eine Registermaschine gibt, das bei jeder Anfangsbelegung sämtliche Register leert.



Aufgabe Aufgabe 18.6 ändern

Welches Bildungsgesetz liegt der Folge

zugrunde?

(Es wird behauptet, dass diese Aufgabe für Grundschulkinder sehr einfach und für Mathematiker sehr schwierig ist.)



Aufgaben zum Abgeben

Entwerfe ein Programm für eine Registermaschine, das nach und nach alle Primzahlen ausdruckt.



Entwerfe ein Programm für eine Registermaschine, das nach und nach alle Glieder der in Aufgabe 18.6 beschriebenen Folge ausdruckt.



Entwerfe ein Programm für eine Registermaschine, das die Potenz berechnet (und ausgibt), wobei bzw. die Registerinhalte der Register , , sind.



Entwerfe ein Programm für eine Registermaschine, das nach und nach alle Mersenne-Primzahlen ausdruckt.



<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2016) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)