IMIT 09A SGD/ ILS

1. Ordnen Sie die folgenden Aussagen den Begriffen Prämisse und Konklusion zu.
Bello ist ein Hund.
Bello ist ein Tier.
Alle Hunde sind Tiere.
5 Pkt.
2. Handelt es sich bei den folgenden Sätzen um Aussagen? Begründen Sie Ihre Antwort
jeweils kurz.
a) Die Erde ist eine Scheibe.
b) Die Erde ist schön.
c) Ist die Erde eine Scheibe?
d) Aufstehen.
e) Alle Katzen sind Tiere.
5 Pkt.
3. Formen Sie die folgenden logischen Ausdrücke so um, dass Sie sie in einem C++-Programm benutzen könnten. Ersetzen Sie dazu die Junktoren durch die entsprechenden C++-Operatoren. Beschreiben Sie außerdem die Ausdrücke umgangssprachlich
in der Form „A UND B“.
a) a  b   c
b)  (a  b)  c
c) a  b  c
d) a  b  c   d
20 Pkt.
4. Erstellen Sie eine Wahrheitstabelle für den Ausdruck  a  b  c.
20 Pkt.
5. Welche abgeleiteten Operatoren der Aussagenlogik kennen Sie? Beschreiben Sie die
Operatoren auch kurz.
10 Pkt.
6. Lösen Sie die folgende Formel der Prädikatenlogik auf und beschreiben Sie sie
umgangssprachlich:
 x: (ist_ungeradeZahl(x)  x > 10  x < 100)
10 Pkt.
7. Das Programm für die lineare Suche aus diesem Studienheft hat noch einen Schönheitsfehler: Die Suche wird immer nach dem ersten Treffer abgebrochen – auch
wenn die Zahl mehrfach in der Liste vorkommt. Wie können Sie diese Schönheitsfehler korrigieren?
Beschreiben Sie die Änderung und nehmen Sie auch entsprechende Anpassungen in
dem Code vor.
20 Pkt.
8. Auch das Programm zur binären Suche liefert immer nur einen Treffer, wenn sich
die Zahl mehrfach in der Liste befindet. Wie könnten Sie hier dafür sorgen, dass alle
Treffer einer Zahl angezeigt werden?
Für diese Aufgabe reicht es, wenn Sie die Änderungen beschreiben. Die praktische
Umsetzung in dem Code ist nicht erforderlich.
10 Pkt.