Du bist nicht angemeldet.

Stilllegung des Forums
Das Forum wurde am 05.06.2023 nach über 20 Jahren stillgelegt (weitere Informationen und ein kleiner Rückblick).
Registrierungen, Anmeldungen und Postings sind nicht mehr möglich. Öffentliche Inhalte sind weiterhin zugänglich.
Das Team von spieleprogrammierer.de bedankt sich bei der Community für die vielen schönen Jahre.
Wenn du eine deutschsprachige Spieleentwickler-Community suchst, schau doch mal im Discord und auf ZFX vorbei!

Fragen zur Theoretischen Informatik

Werbeanzeige

Mirac

Treue Seele

  • »Mirac« ist der Autor dieses Themas

Beiträge: 220

  • Private Nachricht senden

1

17.12.2013, 22:44

Fragen zur Theoretischen Informatik

Hey,

ich wollte mal Fragen ob jemand ein gutes (und möglcihst freundliches) Forum für Theo. Inf. kennt? :)

mfg Mirac
"Wer Angst hat, dass ihm seine Ideen geklaut werden, der scheint nicht viele zu haben. "

Dieser Beitrag wurde bereits 1 mal editiert, zuletzt von »Mirac« (18.12.2013, 13:20)

BlueCobold

Community-Fossil

Beiträge: 10 738

Beruf: Teamleiter Mobile Applikationen & Senior Software Engineer

  • Private Nachricht senden

2

18.12.2013, 08:25

Stell doch einfach mal hier Deine Fragen dazu. Auch hier haben einige von uns mal studiert ;) Im IRC haben wir jedenfalls öfter mal solche Fragen, die eigentlich auch immer geklärt werden.
Teamleiter von Rickety Racquet (ehemals das "Foren-Projekt") und von Marble Theory

Willkommen auf SPPRO, auch dir wird man zu Unity oder zur Unreal-Engine raten, ganz bestimmt.[/Sarkasmus]

Jonathan_Klein

Community-Fossil

Beiträge: 3 820

  • Private Nachricht senden

3

18.12.2013, 08:58

Ja, versuchen können wir es :D
Ansonsten sind Tutoren oder Übungsleiter immer eine gute Anlaufstelle (meistens hat man so fragen ja, weil man sie für irgendeine Prüfung braucht).
Lieber dumm fragen, als dumm bleiben!

Mirac

Treue Seele

  • »Mirac« ist der Autor dieses Themas

Beiträge: 220

  • Private Nachricht senden

4

18.12.2013, 10:10

Zitat von »BlueCobold«

Stell doch einfach mal hier Deine Fragen dazu. Auch hier haben einige von uns mal studiert ;) Im IRC haben wir jedenfalls öfter mal solche Fragen, die eigentlich auch immer geklärt werden.

Den Wald vor lauter Bäumen nicht gesehen :dash:

Dann schau ich mal dass ich zumindest nen Ansatz finde bevor ich hier einfach alles reinstelle :D

EDIT: Also im Moment häng ich an einer Aufgabe für Prädikatenlogik erster Stufe:

Gegeben sind die Strukturen §(\mathbb{N}, \le)§ und §(\mathbb{N}, +)§ mit der üblichen Bedeutung für §\le§ und +.
Mit diesen Strukturen sollen die Konstanten 0 bzw. dargestellt werden.

Leider steh ich dabei total auf'm Schlauch und wollte mal fragen, ob mir jemand nen Tipp geben kann, wie ich am besten an so ne Aufgabe rangehe :rolleyes:

mfg Mirac
"Wer Angst hat, dass ihm seine Ideen geklaut werden, der scheint nicht viele zu haben. "

Dieser Beitrag wurde bereits 1 mal editiert, zuletzt von »Mirac« (18.12.2013, 12:59)

lumip

Frischling

Beiträge: 21

  • Private Nachricht senden

5

18.12.2013, 13:07

Du musst dir eigentlich nur überlegen, welche Eigenschaften die darzustellende Konstante erfüllt, die von keinem anderen Element aus dem Universum erfüllt werden. Das drückst du dann als Formel aus.

Da du in beiden gegebenen Strukturen als Universum die natürlichen Zahlen hast, ist das zumindest für die Konstante 0 in beiden Fällen nicht so kompliziert.
Ich hoffe das hilft. Ich will jetzt nicht direkt die Lösung verraten und das Vorgehen so "abstrakt" zu beschreiben ist ein wenig.... diffizil.

Mirac

Treue Seele

  • »Mirac« ist der Autor dieses Themas

Beiträge: 220

  • Private Nachricht senden

6

18.12.2013, 13:17

Kann ich also für die Konstante 0 in der Struktur §(\mathbb{N}, \le)§
§\neg\exists y \le x \wedge y \not\doteq x§, wobei x die Konstante ist, schreiben?

mfg
"Wer Angst hat, dass ihm seine Ideen geklaut werden, der scheint nicht viele zu haben. "

dot

Supermoderator

Beiträge: 9 757

Wohnort: Graz

  • Private Nachricht senden

7

18.12.2013, 13:18

Hab das Thema mal hierher verschoben. Um vielleicht noch einen Schubser in die richtige Richtung zu geben: Die 0 ist das sog. neutrale Element der Addition... ;)
m4studios

Mirac

Treue Seele

  • »Mirac« ist der Autor dieses Themas

Beiträge: 220

  • Private Nachricht senden

8

18.12.2013, 13:23

Also wäre es für die Addition: §\forall x. \ x + y = x§.
Das erfüllt ja nur §y = 0§ oder?

mfg
"Wer Angst hat, dass ihm seine Ideen geklaut werden, der scheint nicht viele zu haben. "

lumip

Frischling

Beiträge: 21

  • Private Nachricht senden

9

18.12.2013, 13:30

Korrekt. Für beide Strukturen. Bei uns war zwar die Notation der Formeln ein klein wenig anders, aber das ist ja vermutlich grad nicht relevant.

Werbeanzeige

Ähnliche Themen