Skocz do zawartości




symbolika arytmetyki


  • Zaloguj się, aby dodać odpowiedź
6 odpowiedzi w tym temacie

#1 Guest_emilf_*

Guest_emilf_*
  • Guests

Napisano 03 kwiecień 2013 - 12:39

Witam. czy ktoś potrafiłby coś na temat takiego zadania?

Napisz w symbolice arytmetyki zdanie:
liczba n jest najmniejszą liczbą podzielną przez iloczyn liczb m i k.

#2 nusZja

nusZja

    1

  • Members
  • PipPipPip
  • 115 postów

Napisano 04 kwiecień 2013 - 07:41

formalnie?
forall - kwantyfikator duży, exists - mały, ich argumenty w klamrach; Rightarrow - implikacja, and - koniunkcja:

forall {m,k} exists {n} [ m*k / n and exists {p} [ m*k / n Rightarrow n<=p ]]



#3 Guest_emilf_*

Guest_emilf_*
  • Guests

Napisano 04 kwiecień 2013 - 15:15

co w tym przypadku oznacza p ?

proszę o odpowiedź, czy o taki zapis chodziło:
http://www.matematyka.pl/latexrender/pictures/d/5/d52edebb16b57691f3c9f00e2e3dade9.png

Zmieniony przez - emilf w dniu 2013-04-04 16:23:17

#4 nusZja

nusZja

    1

  • Members
  • PipPipPip
  • 115 postów

Napisano 04 kwiecień 2013 - 20:46

Zapis się zgadza, relacja podzielności to pionowa kreska, tu zniekształcona.
'p' jest liczbą taką jak n,m,k.

#5 Guest_emilf_*

Guest_emilf_*
  • Guests

Napisano 04 kwiecień 2013 - 20:50

Bardzo dziękuję za odpowiedź.
Jeszcze jedno pytanie: jak dosłownie można odczytać taki zapis?

#6 nusZja

nusZja

    1

  • Members
  • PipPipPip
  • 115 postów

Napisano 05 kwiecień 2013 - 08:17

> forall {m,k}
dla dowolnych liczb m, k
> exists {n}
istnieje liczba n taka, że
> [ m*k / n
n jest podzielne, jest wielokrotnością iloczynu m*k
> and exists {p} [ m*k / n
a jeśli istnieje inna liczba p spełniająca ten sam warunek
> Rightarrow n<=p ]]
to jest ona większa, ewentualnie równa, zatem n jest najmniejszą z możliwych (minimum)

#7 Guest_emilf_*

Guest_emilf_*
  • Guests

Napisano 05 kwiecień 2013 - 14:39

BARDZO dziękuję za pomoc! :)




Użytkownicy przeglądający ten temat: 0

0 użytkowników, 0 gości, 0 anonimowych


Pozycjonowanie strony: Virtual Development