Ankündigung

Einklappen
Keine Ankündigung bisher.

User helfen Usern - Mathe

Einklappen
X
 
  • Filter
  • Zeit
  • Anzeigen
Alles löschen
neue Beiträge

    müsste -(xi'-xi)/|x'-x| rauskommen.
    überleg dir was |x'-x| ist:
    sqrt((x1'-x1)^2^+(x2'-x2)^2+(x3'-x3)^2) das leitest du halt nach x1,x2,x3 ab und mit kettenregel sollte für die ableitung nach xi rauskommen:
    -(xi'-xi)/|x'-x|
    wenn ich jetzt nicht hart gefailt hab

    Kommentar


      oi47.tinypic.com/2mosa60.jpg

      Hab die Vektoren vergessen, nur die x1,x2,...,x3' im Nenner
      sind skalare und dieser ist natürlich wiederum |x'-x|.

      Kommentar


        Was ist das da im Zähler?

        Habs so nachgerechnet, wie mm sagte und komme auch auf sein Ergebnis. Steht auch so in meinen Lösungen. thx

        /e

        Noch wer evtl. ne Antwort auf meine 2. Frage?

        Kommentar


          So ich brauch auhc mal Hilfe, ich glaub ich hab einfach einen totalen Aussetzer...

          Wir machen gerade formales Beweisen in der Prädikatenlogik mit dem Hilbert-Kalkül (Einzige Regel: Modus Ponens)

          Und ich weiß einfach net, wie ich anfangen soll bei den Beweisen, bzw. wie genau vorgehen.

          Folgende 3 Beispiele sind zu beweisen:

          angabe

          Kommentar


            84) skizziert (kenne ja eure axiomenliste nicht.):

            wir setzen
            ex.xA(x) = nicht alle x(nicht A(x))

            (1) alle x(nicht A(x)) -> (nicht A)[t/x] (x frei für sub) Axiom

            (2) (alle x(nicht A(x)) -> (nicht A)[t/x]) -> (A[t/x] -> nicht alle x(nicht A(X)) Axiom

            MP auf (1), (2):

            (3) A[t/x] -> nicht alle x(nicht A(x))

            (4) "alle xA(x) -> A[t/x]" ist bereits axiom

            (5) (A[t/x] -> ex.xA(x)) -> (alle xA(x) -> (A[t/x] -> ex.xA(x))) Axiom

            MP auf (3), (5):

            (6) (alle xA(x) -> (A[t/x] -> ex.xA(x)))

            außerdem:

            (7) (alle xA(x) -> (A[t/x] -> ex.xA(x))) -> ((alle xA(x) -> A[t/x]) -> (alle xA(x) -> ex.xA(x))) Axiom

            MP auf (6), (7)

            (8) ((alle xA(x) -> A[t/x]) -> (alle xA(x) -> ex.xA(x)))

            MP auf (4), (8)

            alle xA(x) -> ex.xA(x)

            __________________________________________________ ______________________

            85 schau ich mir an wenn ich gegessen hab. poste doch mal bitte eure axiomenliste.

            Kommentar


              Axiome

              Danke soweit mal, das schaut eh schon ganz gut aus bei 84. Hast du noch ne Idee für 83? Für mich ist das einfach schon so offensichtlich, ich weiß gar net, wie ich da noch was machen soll!

              Kommentar


                alle tautologien? na wenn das so ist (A ist jetz allquantor und "u" konjunktion):

                (1) (phi u psi) -> phi (Axiom)

                (2) ((phi u psi)->phi) -> Ax((phi u psi)->phi) (Axiom)

                MP auf (1), (2):

                (3) Ax((phi u psi)->phi)

                (4) Ax((phi u psi)->phi) -> (Ax(phi u psi) -> Axphi) (Axiom)

                MP auf (3), (4):

                (5) Ax(phi u psi) -> Axphi

                (6) Axphi -> phi[t/x] (Axiom)

                und dann die zwei noch verbinden wie in 84)

                geht aber bestimmt auch kürzer, man darf ja alle tautologien verwenden die einem so einfallen.

                Kommentar


                  Danke, ich denk da irgendwie in ganz falschen Bahnen, aber sobald ichs seh, isses klar :(

                  Kommentar


                    zu 85)

                    b) -> a)

                    wenn b) gilt, gilt insbesondere:

                    Sigma |- A
                    und Sigma |- non(A), d.h.
                    es gibt herleitungen T und T' s.d. Sigma|T|A und Sigma|T'|non(A), insbesondere also auch (A u non(A)).

                    a) -> b)
                    einen wirklichen beweis in diese richtung habe ich nicht parat. aber betrachten wir doch mal Sigma := {A1,....,An}. dann ist für Sigma |- Phi beliebig notwendig, dass A1uA2...uAn -> Phi. das ist für beliebiges Phi wahr, falls A1u....uAn immer falsch, was im falle eines widerspruches wahr ist.

                    sauber ausformulieren darfst du das dann selbst. ;)

                    Kommentar


                      http://www.min.math.fau.de/fileadmin/min/users/schirmeierh/ElementareStochastik/A_5.pdf

                      Jemand eine Idee zu Aufgabe 14? Habe mal versucht die 3 Ereignisse in 3 Vierfeldertafeln miteinander zu kombinieren, aber irgendwie hilft mir das auch nicht weiter.

                      Edit:

                      Habe als Lösung 15. Kann das Stimmen?

                      Kommentar


                        Zitat von LockeDerBoss
                        http://www.min.math.fau.de/fileadmin/min/users/schirmeierh/ElementareStochastik/A_5.pdf

                        Jemand eine Idee zu Aufgabe 14? Habe mal versucht die 3 Ereignisse in 3 Vierfeldertafeln miteinander zu kombinieren, aber irgendwie hilft mir das auch nicht weiter.
                        So hätte ich das in der Schule gemacht:

                        73 Studenten
                        52 Klavier, 25 Geige, 21 Flöte

                        einer spielt alle drei
                        -> 72 Studenten
                        51 Klavier, 24 Geige, 20 Flöte

                        17 spielen sowohl Geige als auch Klavier
                        ->55 Studenten
                        34 Klavier, 7 Geige, 20 Flöte

                        12 Klavier und Flöte
                        ->43 Studenten
                        22 Klavier, 7 Geige, 8 Flöte

                        7 Geige und Flöte
                        ->36 Studenten
                        22 Klavier, 0 Geige, 1 Flöte

                        ->13 spielen kein Instrument.

                        Kommentar


                          Zitat von Raybeez
                          Spoiler: 

                          Zitat von LockeDerBoss
                          http://www.min.math.fau.de/fileadmin/min/users/schirmeierh/ElementareStochastik/A_5.pdf

                          Jemand eine Idee zu Aufgabe 14? Habe mal versucht die 3 Ereignisse in 3 Vierfeldertafeln miteinander zu kombinieren, aber irgendwie hilft mir das auch nicht weiter.
                          So hätte ich das in der Schule gemacht:

                          73 Studenten
                          52 Klavier, 25 Geige, 21 Flöte

                          einer spielt alle drei
                          -> 72 Studenten
                          51 Klavier, 24 Geige, 20 Flöte

                          17 spielen sowohl Geige als auch Klavier
                          ->55 Studenten
                          34 Klavier, 7 Geige, 20 Flöte

                          12 Klavier und Flöte
                          ->43 Studenten
                          22 Klavier, 7 Geige, 8 Flöte

                          7 Geige und Flöte
                          ->36 Studenten
                          22 Klavier, 0 Geige, 1 Flöte

                          ->13 spielen kein Instrument.
                          Musst du das eine Wundertalent nicht bei den 3 Subtraktionen berücksichtigen? Da er alle 3 Musikinstrumente kann, ist er ja auch bei den 17 Leuten K+G mit drin.
                          Oder übersehe ich da etwas?

                          Kommentar


                            Das kann sein. Das dürfte vom Prof abhängen wie die Formulierung ganz konkret zu verstehen ist.

                            Kommentar


                              Zitat von Richard Feynman
                              zu 85)

                              b) -> a)

                              wenn b) gilt, gilt insbesondere:

                              Sigma |- A
                              und Sigma |- non(A), d.h.
                              es gibt herleitungen T und T' s.d. Sigma|T|A und Sigma|T'|non(A), insbesondere also auch (A u non(A)).

                              a) -> b)
                              einen wirklichen beweis in diese richtung habe ich nicht parat. aber betrachten wir doch mal Sigma := {A1,....,An}. dann ist für Sigma |- Phi beliebig notwendig, dass A1uA2...uAn -> Phi. das ist für beliebiges Phi wahr, falls A1u....uAn immer falsch, was im falle eines widerspruches wahr ist.

                              sauber ausformulieren darfst du das dann selbst. ;)
                              Hab jetzt bissl einfacher formuliert:

                              b-> a

                              Für alle phi: Sigma |- phi

                              Setze sigma = Kontradiktion => sigma |- Kontradiktion

                              a-> b

                              Sigma |- Kontradiktion
                              Kontradiktion -> phi (beliebig, ist immer wahr!)
                              => (MP) für alle phi: Sigma |- phi

                              Kommentar




                                ist zwar nicht direkt mathe, aber ich wollte keinen eigenen tread aufmachen und hier können das bestimmt auch leute lösen. also das ergebnis ist die Kraft ist 1,1*GH

                                ich checke einfach nicht wie man darauf kommt, ich habe schon alles versucht mit Kreisen mit dem betrag um die kraft zu zeichen ect.

                                hat wer ne lösung dazu parat bzw. weiß wie man auf die lösung kommt danke

                                Kommentar

                                Lädt...
                                X