Formale Begriffsanalyse mit C++ : Datenstrukturen und by Frank Vogt

By Frank Vogt

Das Buch soll den Leser, der an Formaler Begriffsanalyse als Methode der Datenanalyse und Wissenstrukturierung interessiert ist, in die Lage versetzen, eigene C++-Programme zur Formalen Begriffsanalyse zu schreiben. Die auf Diskette beiliegende C++-Klassenbibliothek wird in Aufbau und Benutzung ausführlich anhand zahlreicher Beispiele sowie den zugrundeliegenden mathematischen Begriffen diskutiert. Die Vorgehensweisen der Formalen Begriffsanalyse werden an einem Anwendungsbeispiel erläutert, so daß das Buch sowohl als Leitfaden für den interessierten Neueinsteiger als auch als Handbuch für den versierten Anwendungsprogrammierer und Projektleiter dienen kann.

Show description

Read Online or Download Formale Begriffsanalyse mit C++ : Datenstrukturen und Algorithmen PDF

Similar programming: programming languages books

Prototype and Scriptaculous: Taking the Pain out of JavaScript

This brief reduce demonstrates the way to use Prototype for a variety of projects, together with occasion dealing with, DOM processing, string and shape strategy, and Ajax communications. It explores Scriptaculous' visible results library, from pulsate to squish to fold and past. want interface parts? you can find shape autocompletion in addition to drag and drop aid.

Fast Track to Sun Certified Java Program

If you would like to profit the recent positive aspects in Java SE five. zero and cross the sunlight qualified Java Programmer improve examination (CX-310-056), then this ebook is for you. It covers all of the Java SE five. zero new positive factors required within the examination. you don't want to examine the prevailing beneficial properties that you simply already be aware of. 117 evaluate questions and ridicule examination questions are incorporated.

Extra info for Formale Begriffsanalyse mit C++ : Datenstrukturen und Algorithmen

Sample text

Eine bin are Relation wird als rechteckiges Bit-Array gespeichert. Ein Bit ist gesetzt, wenn das entsprechende Paar in Relation ist, d. h. wenn an der Stelle im Kontext ein Kreuz eingetragen ist. Sonst ist das Bit nicht gesetzt. Die iibliche Darstellung solcher Arrays im Hauptspeicher des Rechners bringt es mit sich, daB man sich fUr eine zeilen- oder eine spaltenorientierte Speicherung entscheiden muB. Einer Idee von B. Ganter folgend wird die Relation in TRelation doppelt abgespeichert, einmal zeilen- und einmal spaltenorientiert.

Die Schnittstelle, welche Zeilen- oder Spaltennummern benutzt, wird von TFormalContext tiber Bit-Arrays (Klasse TBitArray, siehe Kapitel 12) implementiert. Die Interpretation ist dabei, daB ein an der Position i gesetztes Bit anzeigt, daB i in der reprasentierten Menge enthalten ist. Die Elemente der Menge referenzieren dabei die Zeilen- oder Spaltennummern, wobei wieder zu beachten ist, daB die Numerierung mit 0 beginnt. Die Klasse TBitArray stellt Funktionen zur VerfUgung, unter deren Verwendung von der Darstellung dieser Nummern durch Bits weitgehend abstrahiert werden kann.

1 mit seinen Pfeilrelationen Pfeilrelationen und den irreduziblen Gegenstiinden bzw. Merkmalen emes Kontexts, uber den der folgende Satz Auskunft gibt. 8. Sei (G, M, I) ein formaler Kontext. ,/m gibt. (ii) Ein Merkmal m E Mist genau dann irreduzibel, wenn es einen Gegenstand 9 E G mit 9 /' m gibt. m gibt. ,? m gibt. ,/ m gibt. Fur Merkmale gilt die duale Aussage. 1m Beispielkontext in Abb. 5 liest man damit ab, daB alle Gegenstiinde irreduzibel sind und ,,=2" das einzige reduzible Merkmal ist. In der derzeitigen Version von The Formal Concept Analysis Librarystellt TFormalContext Elementfunktionen zum Berechnen und Abfragen der Pfeile lediglich fur die Bit-Array-Schnittstelle zur Verfiigung.

Download PDF sample

Rated 4.36 of 5 – based on 46 votes