Die Suche ergab 143 Treffer

von igor.a
9. Dez 2010 09:59
Forum: Archiv
Thema: Übungsblatt 7 [9.Dez.2010]
Antworten: 12
Zugriffe: 1170

Re: Übungsblatt 7 [9.Dez.2010]

Auch meine Gruppe hat ein FGdI3 Testat in dieser Zeit.
von igor.a
8. Dez 2010 18:50
Forum: Archiv
Thema: Vl. 8, Fixpunktiteration
Antworten: 5
Zugriffe: 1633

Vl. 8, Fixpunktiteration

Hallo, in der Vorlesung wurde als Konvergenzkriterium für die FPI genannt, dass die Eigenwerte der Jacobimatrix >=0 und <1 sind (Folie 11). Nun habe ich das Thema gegoogelt und fast überall ist vom Banachschen Fixpunktsatz die Rede, wenn es um die Konvergenz geht. Der besagt im Wesentlichen, dass we...
von igor.a
13. Nov 2010 22:50
Forum: Archiv
Thema: Kap.4 Folie 14
Antworten: 5
Zugriffe: 541

Re: Kap.4 Folie 14

Danke, die Formel hat mich an die sehr einfache Tatsache erinnert, dass \(f({\bf x}_s,{\bf u}_s) = \dot{{\bf x}_s} = 0\) :oops:
von igor.a
13. Nov 2010 16:36
Forum: Archiv
Thema: Kap.4 Folie 14
Antworten: 5
Zugriffe: 541

Kap.4 Folie 14

Wie kommt es, dass in der mittleren Formel zu \((\Delta {\bf x}_i)' = f_i({\bf x},{\bf u})\) in der Summe auch \(f_i({\bf x}_s,{\bf u}_s)\) vorkommt, in der unteren Formel auf der gleichen Folie aber verschwindet?
von igor.a
9. Nov 2010 22:42
Forum: Archiv
Thema: Praktikum 1 - XabslEditor
Antworten: 10
Zugriffe: 1427

Re: Praktikum 1 - XabslEditor

Unter Windows gibts make nicht ohne Weiteres. Versuch s mal unter Linux.
von igor.a
2. Nov 2010 12:36
Forum: Archiv
Thema: 1. Praxisaufgabe und 1. Übungsblatt
Antworten: 2
Zugriffe: 331

Re: 1. Praxisaufgabe und 1. Übungsblatt

Wie ist die Aufgabe 1.3e) abzugeben? Dort muss man ja "Prosa" schreiben, und VeriFun erkennt nur Lemmata, Funktionen und Strukturen.
Soll man vielleicht ein .zip Archiv incl. Textdokument statt einer .vf Datei (wie in der Aufgabenstellung) einreichen?
von igor.a
1. Nov 2010 18:08
Forum: Archiv
Thema: Praktikum 1
Antworten: 6
Zugriffe: 594

Re: Praktikum 1

Hab 2 Lemmata dafür gebraucht..

1.3d) ist dann leider noch komplexer =(
von igor.a
31. Okt 2010 22:50
Forum: Archiv
Thema: H1 a)
Antworten: 1
Zugriffe: 223

H1 a)

Der letzte Befehl des 1. Programms lautet div c; nun habe ich nachgelesen ( http://pdos.csail.mit.edu/6.828/2007/readings/i386/DIV.htm ), dass wenn der Operand von div vom Typ long ist, als Dividend EDX:EAX genommen wird (und der Quotient in EAX, und der Divisionsrest in EDX landen). Das Problem ist...
von igor.a
23. Okt 2010 01:06
Forum: Archiv
Thema: VeriFun Bug
Antworten: 11
Zugriffe: 1463

VeriFun Bug

Hallo,
Verifun hat bei mir diesen nervigen Darstellungsfehler, in verschiedenen Fenstern, immer beim Scrollen :
Bild
Wenn man das Fenster minimiert und wieder öffnet, ist alles wieder sauber.

Hat jemand sowas auch gehabt? Was kann man dagegen tun?
von igor.a
21. Okt 2010 19:30
Forum: Archiv
Thema: Frage zu 0.tem Übungsblatt
Antworten: 7
Zugriffe: 672

Re: Frage zu 0.tem Übungsblatt

Hinsichtlich der Zustände (Werte) als auch der Zeit unterscheidet man wohl zwischen kontinuierlich und diskret...
von igor.a
20. Okt 2010 17:43
Forum: Archiv
Thema: Übungen TuCaN
Antworten: 4
Zugriffe: 237

Re: Übungen TuCaN

tobi11 hat geschrieben:Ohne die Übungsanmeldung in TuCaN wird mir nämlich die Anmeldung zur Vorlesung verweigert.
genau genommen wird die Anmeldung zur Vorlesung in jedem Fall verweigert ^^
von igor.a
4. Okt 2010 23:04
Forum: Archiv
Thema: Herzlich willkommen...
Antworten: 9
Zugriffe: 1487

Re: Herzlich willkommen...

Wolfgang hat geschrieben:Eine Anmeldung
in TUCaN für die Übungsgruppen ist nicht erforderlich (und auch nicht sinnvoll :-) ).
Wenn ich das richtig verstehe, erzwingt TUCaN aber bei der Anmeldung für die Veranstaltung GdI 3 auch die Übungsgruppenanmeldung.
von igor.a
3. Sep 2010 11:31
Forum: Archiv
Thema: reguläre Sprache von Sigma*
Antworten: 9
Zugriffe: 875

Re: reguläre Sprache von Sigma*

Ist das nicht aus der WS05/06 Klausur? Bis auf 2 kleine Abweichungen stimmts überein und dort wars nämlich gesternt.
von igor.a
2. Sep 2010 20:00
Forum: Archiv
Thema: reguläre Sprache von Sigma*
Antworten: 9
Zugriffe: 875

Re: reguläre Sprache von Sigma*

seh ich nicht so:
0* ist nämlich epsilon
(a*b*c*)* = (a+b+c)* (s. Gruppenübung 3)
und damit (a+b+c) (a*b*c*)* = Sigma+
zusammen mit 0*=eps ergibt das Sigma*
von igor.a
2. Sep 2010 09:10
Forum: Archiv
Thema: Zeigen dass Minimalautomat minimal ist
Antworten: 7
Zugriffe: 1914

Re: Zeigen dass Minimalautomat minimal ist

Der NFA war ja schon vorgegeben, d.h. man musste nur den üblichen Determinisierungsalgorithmus anwenden, der ein eindeutiges Ergebnis liefern dürfte.

Zur erweiterten Suche