Die Suche ergab 128 Treffer

von hstr
23. Aug 2011 13:19
Forum: Archiv
Thema: Relevante klausurthemen
Antworten: 14
Zugriffe: 2243

Re: Relevante klausurthemen

Resolutionskalkül in FO haben wir in der Vorlesung aber komplett übersprungen, das kommt hoffentlich nicht dran? Hatten wir die Beweise des Vollständigkeitssatzes in der Vorlesung? Ich meine nicht, aber vielleicht habe ich es ja nur vergessen. Herbrand und Resolutionskalkül in FO kam in den Übungen...
von hstr
13. Aug 2011 15:22
Forum: Archiv
Thema: Farbräume
Antworten: 2
Zugriffe: 471

Re: Farbräume

Danke!
von hstr
13. Aug 2011 15:12
Forum: Archiv
Thema: Farbräume
Antworten: 2
Zugriffe: 471

Farbräume

Hi,
was ist eigentlich der Unterschied zwischen einem technischen (z.B. YCbCr) und einem nicht technischen Farbraum(z.B. CIELAB)?
Bzw. Vor- und Nachteile von den Beiden?
von hstr
3. Aug 2011 10:30
Forum: Archiv
Thema: Foliensatz Bilder
Antworten: 1
Zugriffe: 383

Re: Foliensatz Bilder

Hi, ich bin gerade auch bei dem Foliensatz und hab mir gedacht das man die Histogramme folgendermaßen interpretieren kann: x-Achse: von links nach rechts steigt der Grauwert, d.h. ganz links Schwarz und ganz rechts Weiß y-Achse: von unten nach oben steigt die Anzahl des jeweiligen Grauwerts, d.h. ga...
von hstr
21. Jul 2011 21:27
Forum: Archiv
Thema: Klausur
Antworten: 8
Zugriffe: 1388

Re: Klausur

Ist die erste Vorlesung eigentlich auch Klausurrelevant?
von hstr
8. Jul 2011 10:51
Forum: Archiv
Thema: Resolution
Antworten: 2
Zugriffe: 421

Re: Resolution

Bitte diesen Post löschen
von hstr
8. Jul 2011 10:51
Forum: Archiv
Thema: Resolution
Antworten: 2
Zugriffe: 421

Re: Resolution

Okay, Kompaktheit war schon dabei, als Folgerung vom Gödelschen Vollständigkeitssatz. Aber die Frage ist immernoch ob wir Resolution brauchen, wenn ich das Sequenzenkalkül + Gödelschen Vollständigkeitssatz einigermaßen richtig verstanden habe, dann müssten die beiden zusammen alles können, was auch ...
von hstr
6. Jul 2011 16:51
Forum: Archiv
Thema: Resolution
Antworten: 2
Zugriffe: 421

Resolution

Hi, am Montag in der Vorlesung wurde das Thema Resolution (Folie 93 - 98) übersprungen. Auch in der aktuellen Übung sehe ich keine Aufgaben zu dem Thema, kann man jetzt davon ausgehen das es nicht in der Klausur abgefragt wird oder warum wurde es einfach übersprungen? Mir fällt gerade auf, dass am M...
von hstr
3. Jul 2011 15:06
Forum: Archiv
Thema: Herbrand-Modell
Antworten: 4
Zugriffe: 2431

Re: Herbrand-Modell

Danke für die Hilfe!
von hstr
1. Jul 2011 13:42
Forum: Archiv
Thema: Herbrand-Modell
Antworten: 4
Zugriffe: 2431

Re: Herbrand-Modell

Ich verstehe nur leider nicht, warum in der Formel 1 die Skolemnormalform erfüllt ist, wenn man die geraden Elemente nimmt.
Wie liest man so eine Bedingung (gerade Elemente) aus einer Formel ab?
von hstr
1. Jul 2011 13:24
Forum: Archiv
Thema: Herbrand-Modell
Antworten: 4
Zugriffe: 2431

Herbrand-Modell

Hi, ich hab ein Problem beim Ermitteln des Herbrandmodells. In der Aufgabe G1.)b.), Übungsblatt 5 soll man ja das Herbrand-Modell zur Formel 1 angeben, also erstmal die Formel in Skolemnormalform bringen, dann sieht sie so aus: http://picupload.org/i/4016eca8b61e.png (wobei f einstellig ist) T 0 (S)...
von hstr
23. Jun 2011 13:23
Forum: Archiv
Thema: Ü3 - H1
Antworten: 6
Zugriffe: 461

Re: Ü3 - H1

Na ja im Prinzip ist es nicht schwer, man nimmt an, die Prämisse sei allgemeingültig, nimmt dann die Belegung der Prämisse (die ja allgg. ist) und
zeigt das unter der Belegung auch die Konklusion allgemeingültig ist.
von hstr
23. Jun 2011 13:06
Forum: Archiv
Thema: Ü3 - H1
Antworten: 6
Zugriffe: 461

Re: Ü3 - H1

Man muss halt zeigen, falls Prämisse allgemeingültig ist, das auch Konklusion allgemeingültig ist.
Eben genau wie bei der G2.
von hstr
23. Jun 2011 12:57
Forum: Archiv
Thema: Ü3 - H1
Antworten: 6
Zugriffe: 461

Re: Ü3 - H1

Hi,
wir sollen die H1.)a.) auch nicht mit einer Ableitung beweisen, sondern so wie in der Gruppenübung G2, semantisch.
Schau dir am besten nochmal genau die Definition von Allgemeingültigkeit an.
von hstr
4. Jun 2011 15:59
Forum: Archiv
Thema: Aufgabe H2 auf erstem Übungsblatt was ist "nicht x"
Antworten: 3
Zugriffe: 464

Re: Aufgabe H2 auf erstem Übungsblatt was ist "nicht x"

Ich hab auch noch eine Frage zu der Aufgabe H2.)b.), was darf ich denn jetzt verwenden um die Formel auszudrücken? Oben steht nur durch XOR, UND. Aber dann wird gefragt wie man 'nicht x' durch XOR, UND, 0, 1 ausdrücken kann. Darf man die Konstanten auch mit verwenden um die Formel auszudrücken oder ...

Zur erweiterten Suche