Suchergebnisse

@Trade Auswerten = Wahrheitstabelle oder umformen bis man sieht, dass M=1, H=0, R=0 einziges Modell der Formel ist. @φConst Ich kann deinen Gedankengang auch nicht so ganz verstehen. Kannst du Stück für Stück erklären wie du auf deine Formel gekommen bist? Im Übrigen finde ich die sprachliche Beschreibung der Aussage des Logikers zweideutig: 1. Bedeutung: Der "Oder"-Teil gilt immer dann, wenn Müller die Wahrheit sagt (dann folgt direkt, dass Rofl lügt). 2. Bedeutung: Der "Oder"-Teil sagt nur etw…

Was genau ist denn jetzt die Fragestellung? Soll man herausfinden wer die Sandburg zerstört hat? Wenn ja: X = X hat die Sandburg zerstört Es gelten folgende Formeln: F1 = (H UND -R UND -M) ODER (-H UND R UND -M) ODER (-H UND -R UND M) // Genau einer von den Dreien hat die Sandburg zerstört F2 = (-H UND -R UND M) XOR (-M -> R) // Aussage des Logikers A XOR B = (A UND -B) ODER (-A UND B) F1 UND F2 auswerten (dauert zulange hier jetzt aufzuschreiben, habs aber gemacht) -> Müller hat die Sandburg ka…

Hallo, Es geht um Java. In meiner jar sind einige .html Dateien enthalten (inkl. css und json dateien die innerhalb der html datei referenziert werden). Nun benutze ich JavaFX und das WebView control um die HTML Seiten anzuzeigen. Das Problem ist, dass wenn ich die HTML Datei mit getClass().getResource() hole und in den WebView lade, die css Dateien die referenziert werden zwar aufgelöst werden (also das Design der Seite wird richtig angezeigt), jedoch werden die .json Dateien nicht gefunden (au…

Entweder Exception werfen oder Nullable<Integer> nehmen

Das schreit geradezu nach dem Dekorier Entwurfsmuster

Steig lieber auf Haskell um Haskell > C++/C#

Hey, Ich hab eine Stelle als Werkstudent (Softwareentwicklung, 14€/h) im Supply Chain Management (Logistik) bekommen und bereits zugesagt. Fange nächsten Monat an. Weiß einer wie anspruchsvoll die Aufgaben sind die man als Werkstudent so bekommt, also erfahrungswerte? Es ging in der beschreibung auch um Optimierung von Algorithmen (war auch für mathestudenten ausgeschrieben) und hab angst dass ich da überfordert sein könnte Hatte im Vorstellungsgespräch zwar 3 relativ einfache tests die ich alle…

Wenn es dir um den Lerninhalt geht, dann ist das ein gutes Projekt. Ich empfehle dir nicht viel Zeit mit Datenbank und co zu verschwenden (auch wenn hier viele anderer Meinung sind), da lernst du nichts essentielles, eine Datenbank erstellen etc. ist keine Kunst (das Datenmodell dahinter jedoch schon!) Was du jedoch tun solltest ist folgendes: Überlege dir welche Anforderungen das Programm hat. Also aus der Sicht des Benutzers. z.B. Eintrag hinzufügen, Eintrag löschen usw. Anschließend überleg d…

Ohne die Anforderungen die dieses ding erfüllen soll zu kennen: gar nichts

Als Ich in der 9ten Klasse war (und das ist nicht wirklich lang her), hatten Wir gar keinen Onlineportal, von daher denke Ich nicht, dass das ein Rückschritt ist. Außerdem kann sich Hamburg nicht nur an eurer Schule orientieren, sondern muss auch 1) gesetzliche Rahmen einhalten (welche das genau sind weiß Ich nicht, aber Wir sind hier in Deutschland, da musst du selbst fürs kacken ein Formular ausfüllen) 2) sicherstellen können, dass bei Ausfall des Portals auch Ansprechpartner und Co vorhanden …

Eine Bibliothek D erstellen, welche die Bibliothek C einbindet und die gewünschte Funktionalität aus Bibliothek C in einer Klasse wrapped Die eigentliche Anwendung arbeitet dann mit der Bibliothek D

Soviel Ich weiß ist ≡ die semantische Äquivalenz jedoch = nicht die logische Äquivalenz (da verschiedenste Objekte miteinander in Relation gesetzt werden können, nicht nur logische Ausdrücke) weil z.B. x = 5 ist zwar eine Gleichung, aber bei einer logischen Äquivalenz müssen beide Parameter der Relation ja logische Ausdrücke sein (x und 5 sind aber je nach Definition nur Zahlen) Ist aber glaub Ich nicht ganz einheitlich definiert das "=" Bei der "≡" Relation müssen zwei Aussagen (bzw. boolesche …

Injektivität bedeutet: Falls es zwei Elemente x und x' gibt die auf das selbe Element abbilden (d.h. f(x) = f(x')) dann muss x = x' sein d.h. es muss dasselbe Element sein. Damit darf ein bestimmter Wert nur von einem oder keinem Wert aus dem Definitionsbereich (also x) getroffen werden. Man merkt sich das am besten so: injektiv -> Auf 1 f(x) gibt es höchstens 1 x surjektiv -> Auf 1 f(x) gibt es mindestens 1 x (ob ihr die beiden hattet kA sind aber vom Prinzip das gleiche, nur dass diese Vorauss…

Ich hatte am Anfang auch Probleme bzw. wusste gar nicht was ein Beweis ist (Hat sich bei mir erst so ab dem 2. Semester geändert), hab sogar mal hier nen Thread aufgemacht gehabt wo Ich mir jetzt denke "oh man war ich dumm" Normalerweise kommt das alles noch im Laufe der Zeit, also das Gefühl wann man welche Beweistechniken etc. benutzt. Ihr habt vermutlich auch Übungsblätter die man bearbeiten/abgeben muss oder? Die sind nämlich das wichtigste, in den Vorlesungen wirst du sogut wie nichts lerne…

Vollzitat entfernt. ~Trade Zum 1. Zitat: Ja das wahr hab Ich am Ende vergessen. "die genau dann wahr ist wenn entweder die Annahme (hier Aussage A) falsch ist ODER die Folgerung (hier Aussage B) wahr" ist richtig. Zum 3. Zitat: Warum negierst du die Aussage? Du weißt ja dass die Aussage wahr ist, also macht es erstmal keinen Sinn da zu negieren. Vorher hast du ja nur negiert, weil du das Gegenteil der Aussage beweisen wolltest (Woraus eben folgt, dass die ursprüngliche Aussage nicht wahr sein ka…

direkt beweisen heisst, du beweist die Aussage und keine Aussage die äquivalent dazu ist, mittels logischer Schlüsse mit bereits bewiesenen Sätzen bzw. Axiomen (darunter fallen eben auch Äquivalenzumformungen). Bei Kontraposition machst du dir eben zu nutzen, dass A => B <=> ~B => ~A für beliebige Aussagen A,B also etwas nicht formaler ausgedrückt (mit einem Beispiel): A ist eine Aussage die z.B. sagt "Ein Fisch kann schwimmen" B ist eine Aussage die z.B. sagt "Ein Fisch kann sich bewegen" A => …

Der Brückenkurs an Unis ist meiner Meinung nach komplett unnötig. Bin da auch nicht hin und hab Mathe trotzdem gut bestanden. Aber zu deinen Fragen: Aussage: Ein Ausdruck welchem ein eindeutiger Wahrheitswert zugeordnet werden kann (z.B "Alle Fische können schwimmen" ist eine Aussage (da das wahr ist)) Lemma ist soviel Ich weiß das Äquivalent zu Satz und auch zu Theorem: Eine Aussage die sich aus Axiomen (Grundannahmen) und anderen Sätzen herleiten lässt (vmtl gibts da ein Unterschied in den Beg…

@ErfinderDesRades Es geht bei den Grundlagen nicht um einzelne Algorithmen die man lernt wie z.B. Quicksort sondern um die Denkweise hinter den Algorithmen Beispielsweise sind Binäre Suche und Quicksort von der Denkweise her beinah identische Algorithmen (und werden auch als selbe klassifiziert nachdem Motto "Teile & Herrsche"): Man teilt eine Menge an Objekten und führt den Algorithmus auf den Teilmengen erneut aus. Solange bis man ein Problem mit trivialer Lösungsmenge hat (meist n = 0 oder n …

Dafür eine List zu verwenden ist der falsche Ansatz. Terme lassen sich induktiv definieren, sind also perfekt geeignet um mittels einer baumstruktur (=induktive datenstruktur) dargestellt zu werden. Das was der shunting yard algorithmus dann macht, nennt man auch postorder traversierung. Bei Listen hast du nämlich das Problem dass du jeden Token für sich betrachtest (indem du durch die liste iterierst), aber um eine funktion auswerten zu können (in welcher form auch immer) braucht es die Möglich…

edit: nvm, einfach goto benutzen

If Verzweigungen sind insofern schlechtes Design als dass jede Verzweigung die zyklomatische Komplexität einer Methode erhöht. Ist auch verständlich, da dabei die Anzahl der Äquivalenzklassen für einen Blackbox-Test proportional zu 2^n wächst wobei n die tiefe der tiefsten verzweigung (also geschachtele verzweigungen wobei ich von vollständigen if - else konstrukten ausgehe) Damit ist insbesondere der Code schwieriger wartbar, lesbar und prüfbar, da davon ausgegangen wird dass jeder Verzweigungs…

Schau dir die Huffman-Codierung an

Ich bin davon ausgegangen dass die Ausgabe ein fertiges Teil darstellt, da in der Aufgabestellung gesagt wird man soll alle Ausgaben von den Produktionseinrichtungen entnehmen und anschließend eben schauen ob es bereits ein fertiges Teil gibt. aber es könnte auch die Methode Uebergebe sein, denn die gibt ein Objekt vom Typ Teil zurück. Leider steht nirgendwo was die Methode Uebergebe in der Klasse Produktionseinrichtung genau tut. Habt ihr in der Uni sowas wie ein Tutorium für die Aufgabe wo ihr…

Also in der Klasse AbstrakterRoboter hast du Referenzen auf beliebig viele Produktioneinrichtungen, zunächst musst du die Ausgabe jeder Produktionseinrichtung abfragen (GetAusgabe() in einer for Schleife) Wenn es jetzt mindestens eine Produktionseinrichtung gibt die eine Ausgabe != null erzeugt hat, hat der Roboter ein Teil (if Abfrage) Dann musst du wieder durch alle Produkteinrichtungen gehen und schauen ob du eine Produkteinrichtung findest die für GetAktuellerStatus() den Status.EMPFANGSBERE…

Ah die Verzweigung hab Ich übersehen gehabt, ich dachte du berechnest die Werte alle neu. Ok mein Fehler

Zeig mal den Code den du bisher hast

Das ganze kann man gut mit Automaten erst mal modellieren. Du hast 4 Eingaben, wobei jede Eingabe den Zustand der Straße darstellt z.B. wenn ein Auto an der Ampel 1,2,3 ist und an Ampel 4 ist leer kann die Eingabe {1,1,1,0} sein. Die Zustände sind dementsprechend alle möglichen Anzeigen der Ampel (d.h. 16 Zustände, kann man aber sicher irgendwie verkleinern). Als Takt kannst du dann einen Timer benutzen, sodass du alle x Sekunden den Folgezustand bestimmst (nach welchen Regeln kommt eben drauf a…

Um dem Thread mal wieder etwas leben zu verleihen: @Quadsoft Die Implementierung ist aber nicht effizient und nebenbei auch sinnlos, hat zwar den Ansatz der dynamischen Programmierung aber du rechnest alle Zwischenergebnisse ja erneut anstatt Sie aus dem dictionary zu nehmen (was die dictionary quasi sinnlos macht) Damit hast du also geschätzt eine Laufzeit von n*n/2*log2(n)^2 quasi O(n^2) bei den vielen rekursiven Aufrufen. Bei einer Problemstellung dessen optimale Werte sich aus dem Optimum de…

Der Code von RodFromGermany ist ein workaround und kein guter Stil. IEquatable wurde explizit für diesen Fall eingeführt (für Wertetypen). Deshalb nimm das und schau bei msdn

Wenn die Datume quasi nach Seitennummer sortiert sind (höhere Seitennummer = älteres Datum) dann kannst du quasi BinarySearch implementieren, nimmst dir die Seite in der Mitte, schaust ob diese zwischen deinen gewählten Daten liegt wenn nicht schaust du ob es älter/jünger ist und jenachdem halbierst du die anzahl der zu suchenden seiten