| Zeige Beiträge 1 bis 15 von 29 Treffern |
Seiten (2): [1] 2 nächste » |
 Thema: Modulare Inverse ? |
|
|
Schau bei Wikipedia den erweiterten euklidischen Algorithmus einmal an.
Willst du das Inverse von a bezüglich m berechnen so berechne ggT(a,m) und das Inverse ist die Zahl s. Das ist so weil ![[latex]1 = \operatorname{ggT} (a,m) = sa + tm \equiv sa \mod m[/latex]](http://www.matheboard.de/latex2png/latex2png.php?1 = \operatorname{ggT} (a,m) = sa + tm \equiv sa \mod m)
Das Inverse kann natürlich auch negativ sein, es ist nicht eindeutig bis auf ein additiv Vielfaches von m
|
|
| Thema: Hoare-Formel |
|
|
Falls es while i < n heißt wird hier dann ![[latex]\sum_{i=0}^n x^i[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\sum_{i=0}^n x^i) berechnet. Das kannst du z.B. mit einer geeigneten Schleifeninvariante zeigen.
|
|
| Thema: Hoare Kalkül |
|
|
Es ist ja egal welchen Wert x davor hatte. Du kannst auch x=a für ein bestimmtes a bzw. x=undef. annehmen.
|
|
| Thema: Hoare-Formel |
|
|
Ich habe bei Google nur gefunden dass eine Hoareformel einfach ein {P}c{Q} ist. Dann kannst du doch {true} y= x*x; {y=x^2} benutzen oder hab ich was falsch verstanden?
|
|
| Thema: Hoare Kalkül |
|
|
Das heißt einfach das es keine Vorbedingung gibt.
Fange einfach an:
{true}
x = 5
{true ^ x=5} = {x=5}
etc.
|
|
| Thema: Abgewandeltes Rucksackproblem |
|
|
Hallo,
eine gute Lösung wirst du sicherlich nicht finden da dieses Problem offensichtlich ebenfalls NP-vollständig ist.
Versuche einen der Standardansätze für Näherungslösungen(genetische Algos, simulated annealing etc.)
|
|
| Thema: SQL-Abfrage |
|
|
Bei ANY werden auch noch die Daten des Pferdes ausgegeben, da solltest du eben nur die der Person ausgeben.
Ja mit Gruppierung meinte ich Group By
|
|
| Thema: SQL-Abfrage |
|
|
Hallo,
das passt so nicht wie du es gemacht hast.
Du hast alle Tupel ausgewählt so dass das Alter der Person älter ist als der des Pferdes das ein Araber ist. In der Ausgangsabfrage ist jedoch nur die Information von der Person. Die Abfrage eignet sich jedoch gut als Grundlage für ANY.
Benutze distinct in der Abfrage um nur einmal die Person zu bekommen!
Für ALL benutze die Funktion MAX zusammen mit einer Gruppierung und HAVING
|
|
| Thema: Frage zu "complement" |
|
|
Ja, du hast die Bedingung mit und verknüpft. Also:
![[latex] |w|_b \geq 2 \land |w|_a \leq 1[/latex]](http://www.matheboard.de/latex2png/latex2png.php? |w|_b \geq 2 \land |w|_a \leq 1)
Dann ist nach der De'Morganschen Regel:
![[latex]\lnot ( |w|_b \geq 2 \land |w|_a \leq 1) \equiv |w|_b < 2 \lor |w|_a > 1[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\lnot ( |w|_b \geq 2 \land |w|_a \leq 1) \equiv |w|_b < 2 \lor |w|_a > 1)
|
|
| Thema: Grammatik |
|
|
1) Typ-2 stimmt
2) Bevor man mit M weitermacht kann man beliebige Folgen von a und b konstruieren. Deine Sprache stimmt also nicht.
3) Nein das ist nicht so, durch S->aa wird die Sprache {aa} definiert. Diese ist Typ-3 die Grammatik aber Typ-2! Hier ist es natürlich Typ-2 da man zuerst die bel. Folgen konstruieren kann
4) Hat eure Definition von kontextsensitive Grammatik explizit eine kontextfreie ausgeschlossen?
|
|
| Thema: Informatik im Abitur - Themenvorschläge ??? |
|
|
Da ich neben Informatik auch Mathe toll finde 2 Vorschläge:
-RSA Verschlüsslung + blabla mit Info 
-Theoretische Informatik, insbesondere Berechenbarkeitstheorie(Halteproblem etc.)
|
|
|
| Zeige Beiträge 1 bis 15 von 29 Treffern |
Seiten (2): [1] 2 nächste » |
|
|
