Fachbereich Informatik/Kurse/Grundlagen

Im Fokus des EU-Projektes PRIME (www.prime-project.eu) stehen die Themen Datenschutz- und Identitätsmanagement. Im Rahmen dieses Projektes entstand am Lehrstuhl für Datenschutz und Datensicherheit der TU Dresden ein interaktives Tutorium. Hier werden die Grundbegriffe des Datenschutzes und Identitätsmanagements einfach erklärt. Gleichzeitig soll das Einführungstutorium helfen, die Risiken, die die unbedachte Preisgabe eigener personenbezogener Daten mit sich bringt, wahrzunehmen und richtig einzuschätzen.

Internetnutzer ohne spezielle Kenntnisse

Ziel dieses Kurses ist es, die Grundlagen der formalen Aussagenlogik zu verstehen.

Die Aussagenlogik soll durch Syllogismen und die Mengenlehre verständlich gemacht werden.
Es werden die Beweise für Größenvergleiche (falsch < wahr) erbracht. Die Bestimmung der Werte 0 und 1 wird nachvollziehbar und die erforderlichen Beweise geführt. Eine Berechnung über die klassische Arithmetik erleichtert das Verstehen der Gesetze.
Die Shegalkin-Polynome, in der erweiterten Version von Franke, wurden hinzugefügt. Die bisherigen Inhalte dienen als Vorbereitung auf diese noch junge Form der "berechenbaren" Logik. Die ersten interdisziplinären Aspekte (Genetik) werden erst einmal nur als Link enthalten sein, später aber auch integriert.

Informatiker und Mathematiker mit einer „normalen“ Haltung zur Logik, also dem Wissen um den Bezug zu wahr und falsch. Ihnen wird eine einfache Alternative angeboten.