Grundlagen der Informatik I - Zusammenfassung PDF

Preview

Summary

Zusammenfassung SS2019...

Description

Kapitel 2.1

Aussagenlogik

Begriffe

Syntax

Semantik

Erfüllbarkeit

Die Semantik beschäftigt sich mit dem Wahrheitsgehalt von Formeln  True/false

Deduktionstheorem

Implikation/ Äquivalenz

Umformungsregeln

Normalform

Bestimmung von KNF & DNF

Resolution

Kapitel 2.2 Grenzen der Aussagenlogik

Vokabular

Prädikatenlogik

Syntax

Beispiel

Terme

Formeln

Semantik

Gültigkeit

Äquivalenzen

Unentscheidbarkeit der Prädikatenlogik

Grundresolution Schritte

Unifikation Ablauf

Kapitel 2.3 Definition

Axiome

Dualität

Gesetze

Boolesche Funktion

Boolesche Algebra

Boolescher Term

Normalenform

Kapitel 3

Algorithmen

Definition

Eigenschaften von Algorithmen Endlichkeit

Eindeutigkeit

Rekursion

Universalität

Algorithmenentwurf Unterscheidung

Entwurfsprinzipien

Entwurfstechniken

Algorithmentest Korrektheit

Verifikation

Dynamisches Testen

Testverfahren

Robustheit

Kapitel 4

Datenstrukturen

Einführung

Abstrakte Datentypen

Dynamische Datenstrukturen

Listen einfach verkettet

Beispiele

doppelt verkettet

Keller (stack)

Schlangen (queue)

Graphen Begriffe

Darstellung

Tiefen- und Breitensuche Allgemeine Graphen

Bäume

Binäre Bäume

Aufbau binärer Bäume

Binäre Suchbäume

Suchen im binären Suchbaum

Einfügen im binären Suchbaum

Löschen im binären Suchbaum

Laufzeiten

Pfadsuchprobleme Begriffe

Kürzeste Pfade

Minimaler Spannbaum

Kapitel 5 Begriffe

Sortieren durch direktes Einfügen

QuickSort

HeapSort

Sortieren

BottomUp HeapSort

Kapitel 6

ELOP

Komplexität

O-Notation

Klassen

Kapitel 7 Einführung

UML

Unified Modelling Language (UML)

Anwendungsfalldiagramme (Use Cases)

Strukturdiagramme Klassendiagramme

Beispiel

Allgemeine Entwurfsprinzipien

Objektdiagramme

Verhaltensdiagramme Sequenzdiagramm

Beispiel

Zustandsdiagramm

Aktivitätsdiagramm

UML...