Lösungsvorschlag zu Einsendeaufgabe IMIT09

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.

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.

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“.

4.)Erstellen Sie eine Wahrheitstabelle für den Ausdruck ¬ a v b v c.

5.)Welche abgeleiteten Operatoren der Aussagenlogik kennen Sie? Beschreiben Sie die Operatoren auch kurz.

6.)Lösen Sie die folgende Formel der Prädikatenlogik auf und beschreiben Sie sie umgangssprachlich: Ǝ x: (ist_ungeradeZahl(x) ^ x > 10 ^ x < 100)

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.

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.