die-informatiker.net Logo   2447 registrierte Benutzer.
Insgesamt 92332 Beiträge.
Suche
• erweiterte Suche
Login
Benutzername:
Passwort:
• Registrieren
Community
3 registrierte Benutzer online: Bernhard Frauendienst, Sigrid.Z, Stockerl

Der Rekord waren 20 angemeldete Benutzer am So 15. Nov 2009, 17.07 Uhr.

Farben: Moderator, Administrator

ÜBL2 Grundlagen der Systementwicklung

Dieses Thema ist gesperrt, du kannst keine Beiträge editieren oder beantworten.
Foren-Übersicht / LFE Programmierung und Softwaretechnik (PST) (06/07 - 07/08)
Autor Nachricht
mnemon
Prototype
Prototype


Beiträge: 69
Karma: 0

Private Nachricht senden
E-Mail senden

Beitrag Verfasst am: Fr 02.11.07, 15:13       Titel: ÜBL2 Grundlagen der Systementwicklung Nach oben

Wenn jemand eine Ahnung hat was auf Seite 31 und 32 der Folien gdse...Algebras.pdf steht würde ich mich freuen wenn er seine Ansichten mit mir teilt.
Ich steh da nämlich ziemlich aufm Schlauch. Und das sind ja anscheinend die relevanten Seiten zur Lösung von Aufgabe 4:

Auf Seite 32 sind das Quotienten oder was? (Wie ist denn ein Quotient in der Mengenlehre definiert?)
Wenn, wie soll ich das als Beweisschema verstehen?

Auf Seite 31 gibts ja Bedingung 1 für Theorem 4. Da ist auch wohl ein Quotient drin. Aber nirgends finde ich nun, was C ist. Und schon gar nicht was LaTeX ist.
C steht wahrscheinlich für Konstante.
Aber ich kann da die Übersetzung vom Formalen in "G holds for all constants" nicht wirklich nachvollziehen.
(Was anscheinend essentiell fürs Verstehen von S.32 und dann wiederum Aufgabe 4 ist)

Sorry wenn das vielleicht schon alles besprochen wurde. War Mi-Fr letzte Woche krank.

Grüße

0 Antworten mit Zitat
buraki mayuki kamiyama
Factory
Factory
buraki mayuki kamiyama

Beiträge: 2176
Karma: 0

Private Nachricht senden
 

Beitrag Verfasst am: Fr 02.11.07, 17:03       Titel: Nach oben

Die "Bruchstriche" auf Seite 32 sind eigentlich die übliche Notation für logische Schlussregeln. Wenn bekannt ist, dass alles über dem Strich gilt, kann man dann das unter dem Strich folgern.

LaTeX ist wieder etwas anderes. In diesem Fall steht es für Variablensubstitution. D.h., dass jedes Vorkommen von x in G durch c ersetzt wird.

Konstanten sind 0-stellige Funktionen.

_________________

Be careful when visiting foreign parts or in the company of aliens, because you never know... you just might end up married. (Anime Trope: Accidental Marriage)

0 Antworten mit Zitat
mnemon
Prototype
Prototype


Beiträge: 69
Karma: 0

Private Nachricht senden
E-Mail senden

Beitrag Verfasst am: So 04.11.07, 13:40       Titel: Nach oben

Vielen Dank. Hast mir sehr weitergeholfen.
:D

0 Antworten mit Zitat
Foren-Übersicht / LFE Programmierung und Softwaretechnik (PST) (06/07 - 07/08)

Alle Zeiten sind GMT + 1 Stunde
Dieses Thema ist gesperrt, du kannst keine Beiträge editieren oder beantworten.


die-informatiker.net
Das Forum der Informatik an der LMU (Uni München)
Ein Projekt des LMU Alumni Informatik e.V.
News
News Archiv
Sa 20.03.2010

Chidley Group Live im Schabernack

alle Termine
Foren Info
Wichtige Links:
• Algebra I
• Informatik I
• Analysis I
• Informatik III
• Analysis II
• Programmierpraktikum
• Lineare Algebra I
• Analysis II
• Analysis II Übungen
• Bioinformatik-Portal
• Digitale Medien
• Diskrete Strukturen :: Übungsblätter
• Diskrete Strukturen
• Informatik II
• Informatik I



Impressum
© 2007 die-informatiker.net
Powered by phpBB 2.0.23 © 2001, 2002 phpBB Group
Deutsche Übersetzung von phpBB.de und die-informatiker.net.