Die Suche ergab 71 Treffer

von patrix
19. Aug 2010 20:34
Forum: Archiv
Thema: Beweisführung der Übung im Skript
Antworten: 5
Zugriffe: 492

Beweisführung der Übung im Skript

Hallo zusammen, ich habe ein Problem bei der Beweisführung der Übung 6.8 und 6.10. Übung 6.8: Weisen Sie die Korrektheit der modus ponens Regel nach. (Anmerkung: Sematisch ist es einfach: Wenn ich eine Geleichung habe in der auf beiden seiten eine identische Menge vorhaden ist, so kann man auch beid...
von patrix
9. Aug 2010 09:43
Forum: Archiv
Thema: Abgeschlossenheitseigenschaften
Antworten: 5
Zugriffe: 1506

Re: Abgeschlossenheitseigenschaften

Alles klar, Danke
von patrix
8. Aug 2010 17:16
Forum: Archiv
Thema: Abgeschlossenheitseigenschaften
Antworten: 5
Zugriffe: 1506

Abgeschlossenheitseigenschaften

Hallo zusammen, ich habe eine Frage bezüglich der Abgeschlossenheitseigenschaften unter Komplement von kontextfreien und regulären Sprachen: Sei L_1 eine kontextfreie Sprache und L_2 eine reguläre Sprache. Wären diese beiden Sprachen unter Durchschnitt oder Vereinigung zusammengeführt so wäre doch a...
von patrix
1. Mai 2010 13:57
Forum: Archiv
Thema: Fragen zu rev(L(A))
Antworten: 1
Zugriffe: 282

Fragen zu rev(L(A))

Hallo zusammen, ich sitze gerade an der Hausübung und habe ein paar Fragen zu den Eigenschaften von rev(L(A)) Kann man rev(L(A)) nur auf einen NFA anwenden? (wenn nein was ist dann mit einem DFA der mehr als einen akzeptierten Zustand hat? Welcher ist dann der Startzustand?) Ist rev(L(A)) immer ein ...
von patrix
11. Apr 2010 23:10
Forum: Archiv
Thema: Klausureinsicht
Antworten: 1
Zugriffe: 406

Klausureinsicht

Hallo zusammen,
weiß man schon wann und wo denn die Klausureinsicht stattfinden wird?

Danke im Voraus...

Gruß Patrick
von patrix
26. Feb 2010 18:02
Forum: Archiv
Thema: Kommentare zur zweiten Teilklausur
Antworten: 4
Zugriffe: 1248

Re: Kommentare zur zweiten Teilklausur

Hallo Thorsten,
eine Frage kurze Frage:
Wann wird es denn etwa eine Klausureinsicht geben?
Vor oder nach dem Beginn des nächsten Semesters?

Grüße
von patrix
22. Feb 2010 11:08
Forum: Archiv
Thema: LCOM Metrik
Antworten: 4
Zugriffe: 843

LCOM Metrik

Hallo zusammen,
ich habe ein Frage zur LCOM Metrik: Bei der Anzahl der Methoden werden da nur public Methoden oder alle non private Methoden (also package, protected, public) gezählt?

Danke und Grüße

Patrick
von patrix
18. Feb 2010 09:48
Forum: Archiv
Thema: Teilklausur 2
Antworten: 33
Zugriffe: 2766

Re: Teilklausur 2

Hallo zusammen,
ist Pseudocode neben der eigentlichen Aufgabe (mips) auch als Kommentierung zu verstehen??? :roll:
Und bei welchen Aufgaben stand es dabei (dass muss ich echt total überlesen haben) :oops:
Kann es hier vielleicht doch gnade vor recht geben? :cry:

Güße
von patrix
14. Jan 2010 20:43
Forum: Archiv
Thema: Übung 9 - Fan-in/Fan-out - Enumerations etc.
Antworten: 6
Zugriffe: 476

Re: Übung 9 - Fan-in/Fan-out - Enumerations etc.

Hallo zusammen,
ich habe ein Frage in bezug auf Vererbung von Klassen und Implementierung von Schnittstellen?

Muss man in diesem Fall auch den Fan-Out Wert addieren?

Grüße Patrick
von patrix
18. Nov 2009 15:17
Forum: Archiv
Thema: Klausurvorbereitung
Antworten: 9
Zugriffe: 791

Re: Klausurvorbereitung

Hallo,
welche Hilfsmittel werden in der Klausur erlaubt sein?

Viele Grüße

Patrick
von patrix
18. Nov 2009 07:16
Forum: Archiv
Thema: Vorlesung am 19.11.
Antworten: 10
Zugriffe: 794

Re: Vorlesung am 19.11.

Ich sehe das ganz genauso. Aufgrund des aufgearbeiteten Stoffs dienen die letzten Klausuren nicht unbedingt als Lernprobe. Von daher fände ich es auch sehr gut wenn man so eine Art Probeklausur durchgehen könnte.

Grüße Patrick

Zur erweiterten Suche