[MaLo] B7 A5 a) Wie lautet das "umgangssprachlich"?

[FoSAP] Formale Systeme, Automaten, Prozesse
[BuK] Berechenbarkeit und Komplexität
[MaLo] Mathematische Logik

B7 A5 a) Wie lautet das "umgangssprachlich"?

Beitragvon nathan99 » 06.12.06 21:21

Hallo,

was stellt sich der Lehrstuhl denn da unter einer umgangssprachlichen Formulierung vor?

Wenn x in der Relationsmenge ist, dann auch fx und umgekehrt, ausserdem existiert ein x das nicht in der Menge P ist, und eines das in der Menge P ist.

Sowas?
nathan99
 
Beiträge: 344
Registriert: 09.12.05 17:21

Beitragvon oxygen » 06.12.06 21:28

Denke schon. Bei der b) könnte man z.B. auch schreiben R ist transitiv, ... .
oxygen
 
Beiträge: 1054
Registriert: 16.12.05 23:05
Wohnort: Bergheim
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Medizin

Beitragvon nathan99 » 06.12.06 21:33

Ok, dann mach ich das wohl so... ich komm nämlich auf nichts, dem (a) irgendwie entspricht :-).
nathan99
 
Beiträge: 344
Registriert: 09.12.05 17:21

Beitragvon Alexander Urban » 06.12.06 21:46

Darf man bei (c) auch ein Beispiel bringen?

Wenn man x1...x6 als Knoten eines Graphen und Rxy als die Kante zwischen den Knoten x und y auffassen würde, enthielte der Graph, sofern er ungerichtet wäre und mindestens 6 Knoten hätte, einen Kreis der Länge 3 oder 3 nicht miteinander verbundene Knoten.

Wie man das allgemeiner formulieren kann, k.A.... ich kenn jetzt nur dieses Anwendungsbeispiel ;)
Nicht der Staat gewährt den Bürgern Freiheit, sondern die Bürger dem Staat Einschränkungen ihrer Rechte.

Kontrollierende und inhaltlich wertende Eingriffe in eine technologisch neutrale Infrastruktur sind eine Gefahr für den freiheitlichen Rechtsstaat.
Alexander Urban
 
Beiträge: 699
Registriert: 19.04.06 20:25
Wohnort: KaWo2
Studiengang: Informatik (Dipl.)
Studiert seit: SS 07
Anwendungsfach: Medizin

Beitragvon stefffan » 06.12.06 21:59

Wenn du nur ein- oder zweistellige Relationen hast, bietet sich ein Graph (oder Transitionssystem) ja geradzu an!
Benutzeravatar
stefffan
 
Beiträge: 19
Registriert: 05.12.06 22:17
Wohnort: Aachen


Zurück zu Theoretische Informatik