Alle Beiträge dieses Benutzers
Ergebnisse 61 — 90 von 154
Hallo
Wir haben beschlossen, euch die Möglichkeit zu geben, neben den in den Übungen gestellten Bonusaufgaben auch im Testat Übungs-Bonuspunkte (und damit eventuell Klausur-Bonuspunkte) zu sammeln. Dabei können in dem Testat bis zu 20 Übungs-Bonuspunkte erreicht werden, die bei der Berechnung der Klausur-Bonuspunkte berücksichtigt werden.
Wer nicht am Testat teilnimmt, oder wer keine Punkt
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Für diesen Schaltkreis: Richtig. Aber da nunmal eine formale Schaltkreis-Definition unter anderem auch IN beinhaltet, haben wir eben ein IN definiert...
Die STD-Bibliothek beinhaltet aber auch Gatter mit nicht-symmetrischen Eingängen (zB ein AND mit einer Negation an einem Eingang); für diese Gatter muss IN angegeben werden.
Grüße
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Nein, die Definition ist einfach falsch, es muss nicht Abbildung V -> N sein, sondern natürlich V -> {1,...,|V|}.
Ich habe die Aufgabenblätter korrigiert und werde morgen vor der Vorlesung auf die Änderung hinweisen.
Danke für den Hinweis!
Zur 2a): Zur Verdeutlichung: Gemeint ist nicht "Zeigen Sie, daß es einen zyklischen Graphen gibt, für den keine topologische Sortierung ex
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hi
Die Aufgabenstellung ist schon richtig, nach Definition sind 001 und 010 einfach nicht miteinander vergleichbar.
Grüße
Tobias Nopper
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hi
Die Klausur findet am 09.04.2008 10-12h statt.
Eine Übersicht über alle Klausuren findet man übrigens auf den Seiten des Prüfungsamtes.
Gutes neues Jahr auch!
Tobias Nopper
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hallo,
auf Aufgabenblatt 10 ist uns leider ein kleiner Fehler unterlaufen.
Bei Aufgabe 4, in der ein Schaltkreis als Graph angegeben wird, muss es korrekt heissen:
Y_2 = {v_1,v_6}
Die herunterladbaren Übungsblätter wurden korrigiert.
Sorry + guten Rutsch!
Tobias Nopper
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hi
Naja, da für xor_n die ON- und die OFF-Menge genau gleich groß ist, gilt:
|ON(xor_n)| = 2^(n-1)
Edit:
Halt, Du hast nach der Anzahl von Klauseln in einer KNF gefragt.
Das müssten aber in diesem Fall genausoviele sein.
Grüße
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hi
Ich bin von einigen Studenten gebeten worden, die Abgabe des 9. Übungsblattes etwas nach hinten zu verschieben, da am Donnerstag, 20.12.07, das erste Info1-Testat stattfindet.
Neuer Abgabetermin ist jetzt Freitag, der 4.1.08. Ein noch späterer Termin ist nicht möglich, da die Tutoren ja auch noch korrigieren müssen.
Die jetzt vorgesehenen Bearbeitungszeiträume:
Blatt 09: 14.12.07 - 0
von
Tobias Nopper
-
Technische Informatik WS 2007/08
S'sott halt au no b'wiese si.
Zu deutsch: Es soll ja auch gezeigt werden, daß Deine Lösung auch wirklich das Minimalpolynom ist.
Grüße
Tobias Nopper
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hallo,
soviel sei verraten: Das stimmt nicht, mindestens eine der beiden Funktionen hat weniger als vier Primimplikanten.
Grüße
Tobias Nopper
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Der Teil mit dem Verkauf der unsterblichen Seele ist für gewöhnlich mit Zaubertinte geschrieben.
(Jetzt dauert es nicht mehr lange, und ich werde BAfH genannt...)
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Vorab: Mir ist nicht klar, ob Dir klar ist, daß B_n die Menge aller Funktionen ist, die B^n auf B abbilden.
Das a, das Du in Deinem Beispiel verwendest ist also eine Funktion, die dann negiert wird. Das (1-a) ist problematisch, denn Du wirfst dann logische und arithmetische Operationen durcheinander.
Zur letzten Frage: In Aufgabe 2 soll man die Äquivalenz der jeweils linken und rechten Seit
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Sorry, wir geben prinzipiell keine Musterlösungen heraus.
Frag aber doch einfach einen Deiner Kommilitonen, bestimmt hat jemand mitgeschrieben.
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Ziel der Aufgabe ist der Beweis, daß ({0,1},v,^,-) eine Boolesche Algebra ist.
Wenn es eine Boolesche Algebra ist, dann gilt auch das Dualitätsprinzip.
Bis zum Beweis weißt Du aber eben nicht, ob ({0,1},v,^,-) überhaupt eine Boolesche Algebra ist und kannst daher das Dualitätsprinzip nicht verwenden, da Du nicht weißt, ob Du es überhaupt anwenden darfst.
Grüße
Tobias Nopper
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Binde vor dem \begin{document} mal das amsmath-Paket ein, dann kannst Du für Text innerhalb von Formeln das \text-Kommando verwenden ($$ funktioniert nicht)
\usepackage{amsmath}
\begin{document}
\begin{eqnarray*}
(a+b)^2 & = & a^2+2ab+b^2\\
(a-b)^2 & = & a^2-2ab+b^2 \to \text{Kommentar mit mehr als einem Wort}\\
(a+b)(a-b) & = & a^2-b^2
\en
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Sorry, ich verstehe nicht, was Du meinst...?!?
In Deinem Beispiel sind doch immer noch alle = untereinander.
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Du meinst untereinander?
\begin{eqnarray*}
(a+b)^2 & = & a^2+2ab+b^2\\
(a-b)^2 & = & a^2-2ab+b^2\\
(a+b)(a-b) & = & a^2-b^2
\end{eqnarray*}
Grüße
Tobias Nopper
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hi
Wie von mir in der Vorlesung angekündigt werden die Tutoren den Übungsgruppen am 30./31.10. eine Einführung in die Erstellung von PDF- bzw. PS-Dokumenten geben und zusätzlich kurz das Konzept des induktiven Beweises vorführen; die Teilnahme ist aber freiwillig (im Gegensatz zu den restlichen Übungsstunden!)
Mittlerweile habe ich Rückmeldung erhalten, daß nächste Woche Dienstag 9-11 einma
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hallo,
hiermit eröffne ich das Forum zur Vorlesung "Technische Informatik" im Wintersemster 2007/08.
Das Forum kann von jedem genutzt werden und bedarf einer Anmeldung. Es ist dazu gedacht, Fragen zu stellen und Informationen auszutauschen; weiter versuchen die Tutoren und ich bei Unklarheiten in der Vorlesung oder in den Übungsaufgaben zu helfen.
Der Vorteil gegenüber einer pe
von
Tobias Nopper
-
Technische Informatik WS 2007/08
Hi
So wie es derzeit aussieht, wird es im März zwei Termine für mündliche Prüfungen geben.
Ich denke, daß wir die genauen Termine nächsten Mittwoch festlegen werden.
Grüße
Tobias Nopper
von
Tobias Nopper
-
Verifikation, Zuverlässigkeit und Test WS 2006/07
Hi
Naja, die Folien kann man potentiell auch schon vorher runterladen - wenn ich sie das nächste Mal vor der Vorlesung habe (was ich hoffe ;) ).
Zudem denke ich, daß das "ganz Doofe" höchstens ein weiteres Mal vorkommen dürfte, da wir nur ein weiteres Kapitel nach dem aktuellen behandeln werden.
Grüße
Tobias Nopper
von
Tobias Nopper
-
Verifikation, Zuverlässigkeit und Test WS 2006/07
Hi
Well, you do not *need* to compute signatures and compare them, but you possibly don't have to compare as many ROBDDs.
And yes, if there is no permutation of the variables so that the signatures match, the functions differ for all possible variable permutations and thus you can stop.
Grettings
Tobias
von
Tobias Nopper
-
Verifikation, Zuverlässigkeit und Test WS 2006/07
Hi
1. The usual way: By using the computer terminals or by registering online.
2. Not yet decided - depends on the number of people.
3. No, the answers are discussed in the exercise sessions only.
Greetings
Tobias Nopper
von
Tobias Nopper
-
Verifikation, Zuverlässigkeit und Test WS 2006/07