Die Suche ergab 86 Treffer

von Christoph Walther
1. Jun 2007 22:03
Forum: Archiv
Thema: Klausurtermin
Antworten: 0
Zugriffe: 996

Klausurtermin

Die Prüfung findet am 27.09.2007 statt. Wirtschaftsinformatiker schreiben die Klausur als Teil des Vordiploms Informatik C, Studenten des Lehramts an Gymnasien (PO 1998) als Teil des Vordiploms Informatik B von 09.00 Uhr bis 13.30 Uhr. Bachelor/Master Studenten der Informatik schreiben die Klausur z...
von Christoph Walther
19. Mai 2007 21:49
Forum: Archiv
Thema: Ha, Aufgaben 1.4 (d)
Antworten: 1
Zugriffe: 1012

Re: Ha, Aufgaben 1.4 (d)

Das sind trickaufgaben, die zu nichts anderem nützlich sind, als die begriffe einzuüben (als etwa genauso nützlich wie liegestütze oder tonleitern üben). Denken Sie mal scharf nach: Was wissen Sie über X und Y, wenn Sie schon wissen, daß X # Y = 0 gilt? (# soll die addition sein, keine ahnung, warum...
von Christoph Walther
19. Mai 2007 21:30
Forum: Archiv
Thema: Frage zur Berechenbarkeit, wenn h im "if" steht
Antworten: 5
Zugriffe: 1566

Das heißt also, ich könnte f(x) = g(x) schreiben (und damit wäre f berechenbar, da auch g berechenbar), da wenn h(x) = 0 ist und der Fall "0" eintereten würde auch g(x) 0 ist? Also kann ch die Funktion sozusagen so ändern, dass h(x) nicht "gebraucht" wird? Genauso ist es. ... und kam mit Seite 31 a...
von Christoph Walther
19. Mai 2007 11:40
Forum: Archiv
Thema: Frage zur Berechenbarkeit, wenn h im "if" steht
Antworten: 5
Zugriffe: 1566

Re: Frage zur Berechenbarkeit, wenn h im "if" steh

CloneCommander hat geschrieben:Hi!

ich bin mir gerade unsicher, wenn ich z.b. die Funktionen g und h habe, g berechenbar und h nicht, ist dann folgendes Bsp. berechenbar?
Schauen Sie sich doch auch noch mal seite 31 im skript an - dort werden solche fälle diskutiert.

cw.
von Christoph Walther
7. Mai 2007 16:20
Forum: Archiv
Thema: Überarbeitete Fassung des Vorlesungsskripts
Antworten: 3
Zugriffe: 1494

Als Frage an den Veranstalter: Welche Seiten sind geändert? Es lohnt sich nicht, das komplette Script erneut zu drucken, wenn es sich nur um 2-3 Seiten oder ein Kapitel handelt. Änderungen gab es auf fast jeder seite (und wenn es nur ein fehlendes komma war). Ich habe kein protokoll bzgl. relevante...
von Christoph Walther
26. Apr 2007 15:07
Forum: Archiv
Thema: Symbole, Schreibweisen und Abkürzungen
Antworten: 0
Zugriffe: 961

Symbole, Schreibweisen und Abkürzungen

Im forum sind fragen der form "was bedeutet eigentlich dies-und-das ?" gestellt worden. Dazu gibt es am ende des skripts das kapitel 13. Begriffe und Schreibweisen sowie nachfolgend einen Index , in dem die referenzen zu allen begriffen und symbolen aufgeführt sind. Also bitte erst mal dort nachscha...
von Christoph Walther
23. Jan 2007 19:49
Forum: Archiv
Thema: Hausübung 5.2c
Antworten: 1
Zugriffe: 774

Re: Hausübung 5.2c

berry hat geschrieben:... ich frage mich was der Unterschied
zwischen \(\mathfrak{a}\) und \(\widehat {\mathfrak{a}}\) im Beweis 3/11 sein soll?
Steht auf folie 2/12.
von Christoph Walther
15. Jan 2007 10:32
Forum: Archiv
Thema: Hilfe: Praktikum 3
Antworten: 4
Zugriffe: 1127

MuldeR hat geschrieben:Wie ich herausfine, ob ein Lemma "sinnlos" ist oder nicht, leider noch nicht. Die Suche geht weiter...
Dann schauen Sie sich am besten doch mal die ausführlichen hinweise dazu auf dem übungsblatt an ...
von Christoph Walther
14. Jan 2007 13:51
Forum: Archiv
Thema: Hilfe: Praktikum 3
Antworten: 4
Zugriffe: 1127

Re: Hilfe: Praktikum 3

Bin hier gerade etwas am Verzweifeln, weil ich heute und gestern kein Stück weiter gekommen bin :? Also, das hier is bereits grün: if{?ø(k), ordered(n + k), true} Aber das hier scheitert leider: if{ordered(k), ordered(tl(k)), true} und zwar offenbar an: if{?ø(k), ordered(tl(k)), true} Genau hier so...
von Christoph Walther
8. Jan 2007 19:51
Forum: Archiv
Thema: Praktikum 3.2b)
Antworten: 5
Zugriffe: 1058

Re: Praktikum 3.2b)

aderhold hat geschrieben:Um das zu prüfen, lass dir mal mit der "Show all braces"-Checkbox im Program Viewer und Proof Viewer die genaue Klammerstruktur anzeigen.
Die klammerstruktur erkennt man auch, indem man mit der maus auf einen term zeigt.
von Christoph Walther
29. Dez 2006 00:09
Forum: Archiv
Thema: Praktische Übung
Antworten: 1
Zugriffe: 707

'?:: (k)' ist ein sogenanntes Strukturprädikat (s. L_1.0-primer-vfr-06-01.pdf, Seite 6, 2. Zeile). Bedeutung: '?:: (k)' ist wahr gdw. die liste 'k' mittels des listenkonstruktors '::' erzeugt wurde. Bis auf die leere liste gilt das für jede liste, und damit gilt '?:: (k)' gdw. 'k' nicht die leere li...

Zur erweiterten Suche