Znaleziono 480 wyników
- 20 sty 2021, o 13:42
- Forum: Logika
- Temat: Logika zadanie
- Odpowiedzi: 1
- Odsłony: 784
Logika zadanie
Witam, proszę o wskazówki do zadania bo nie wiem jak go ruszyć: Rozważmy formuły zdaniowe zbudowane z \vee \wedge \neg Dowolną funkcję v : V ars \rightarrow \mathcal{P}\left( \NN\right) (przypisująca zmiennym podzbiory liczb naturalnych) rozszerzamy na wszystkie formuły w następujący sposób: F_{v}\l...
- 28 gru 2020, o 13:33
- Forum: Zbiory. Teoria mnogości
- Temat: Znajdź zbiór i funkcje o podanych aksjomatach
- Odpowiedzi: 4
- Odsłony: 491
Re: Znajdź zbiór i funkcje o podanych aksjomatach
Bardzo dziękuje za pomoc. Zadanie całkowicie jasne!
- 27 gru 2020, o 16:55
- Forum: Zbiory. Teoria mnogości
- Temat: Znajdź zbiór i funkcje o podanych aksjomatach
- Odpowiedzi: 4
- Odsłony: 491
Re: Znajdź zbiór i funkcje o podanych aksjomatach
Zatem, niech \(\displaystyle{ D=\left\{ 0,p\right\} }\) gdzie \(\displaystyle{ p \in \mathbb{N}}\) oraz sobie definiuje funkcje:
\(\displaystyle{ s(x)=p}\) dla dowolnego argumentu.
\(\displaystyle{ +:=max\left\{ x,y\right\} }\) dla dowolnych argumentów
Teraz pokazuje, że każdy z aksjomatów zachodzi i to będzie wszytko?
\(\displaystyle{ s(x)=p}\) dla dowolnego argumentu.
\(\displaystyle{ +:=max\left\{ x,y\right\} }\) dla dowolnych argumentów
Teraz pokazuje, że każdy z aksjomatów zachodzi i to będzie wszytko?
- 27 gru 2020, o 15:06
- Forum: Zbiory. Teoria mnogości
- Temat: Znajdź zbiór i funkcje o podanych aksjomatach
- Odpowiedzi: 4
- Odsłony: 491
Znajdź zbiór i funkcje o podanych aksjomatach
Mam problem z następującym zadaniem i prosiłbym o jakieś wskazówki. Znajdź najmniejszy niepusty zbiór D oraz funkcje s: D \rightarrow D i +: D^2 \rightarrow D tak, aby 0 \in D oraz następujące aksjomaty były prawdziwe: \forall_{x} \hspace{0.2cm} 0 \neq s\left( x\right) \forall_{y \neq 0} \exists_{x}...
- 5 lis 2020, o 19:41
- Forum: Logika
- Temat: Sortowanie zmiennych w równoważności
- Odpowiedzi: 2
- Odsłony: 694
Re: Sortowanie zmiennych w równoważności
Bardzo dziękuję za odpowiedź. Zależało mi na wysokim formalizmie dlatego linki wyczerpują moją ciekawość w tym temacie
- 5 lis 2020, o 17:28
- Forum: Logika
- Temat: Sortowanie zmiennych w równoważności
- Odpowiedzi: 2
- Odsłony: 694
Sortowanie zmiennych w równoważności
Wykaż, że jeśli wyrażenie nie zawiera innych spójników niż \Leftrightarrow , to zamieniając w nim w sposób dowolny nawiasy oraz zmienne to otrzymamy formułę równoważną. Odchodzą troszkę od tematu w algebrze jeśli mamy jakąkolwiek grupę abelową (zwracam uwagę na warunek łączności) np grupa: \left( \R...
- 3 lis 2020, o 14:48
- Forum: Logika
- Temat: Implikacja, dysjunkcja za pomocą alternatywy i koniunkcji
- Odpowiedzi: 3
- Odsłony: 690
Re: Implikacja, dysjunkcja za pomocą alternatywy i koniunkcji
Przeprowadzam dowód dla pierwszej części. Tworzę zbiór wszystkich formuł zawierających tylko koniunkcje i alternatywę. Dla n=1 (formuła składająca się z jedego spójnika) : p_1 \vee p_2: v\left( p_{i}\right)=0 to v(p_1 \vee p_2)=0 p_1 \wedge p_2: v\left( p_{i}\right)=0 to v(p_1 \wedge p_2)=0 T\left( ...
- 3 lis 2020, o 13:04
- Forum: Logika
- Temat: Implikacja, dysjunkcja za pomocą alternatywy i koniunkcji
- Odpowiedzi: 3
- Odsłony: 690
Implikacja, dysjunkcja za pomocą alternatywy i koniunkcji
Witam, musze udowodnić w sposób bardzo formalny, że za pomocą alternatywy i koniunkcji nie pokażemy implikacji i dysjunkcji. Prosiłbym o jakieś wskazówki
- 16 cze 2020, o 00:29
- Forum: Matura i rekrutacja na studia
- Temat: Matura rozszerzona z matematyki 2020
- Odpowiedzi: 36
- Odsłony: 6285
Re: Matura rozszerzona z matematyki 2020
No maturka bardzo przyjemna. Świetnie bawiłem się, gdy ją dziś pisałem.Poziomem zbliżona jak to wcześniej pisano do tej z 2019. To prawda, ale nie można powiedzieć, że była darmowa dla każdego. Kilka rzeczy trzeba było znać tzn. zadanie ze stereometrii i fakt okręgu wpisanego w podstawę, czy też ta ...
- 27 gru 2019, o 22:13
- Forum: Stereometria
- Temat: Spodek wysokości ostrosłupa
- Odpowiedzi: 4
- Odsłony: 951
Re: Spodek wysokości ostrosłupa
Dzięki bardzo
- 27 gru 2019, o 22:11
- Forum: Stereometria
- Temat: Spodek wysokości ostrosłupa
- Odpowiedzi: 4
- Odsłony: 951
Re: Spodek wysokości ostrosłupa
Napisałem RÓŻNO...
- 27 gru 2019, o 22:01
- Forum: Teoria liczb
- Temat: Modulo
- Odpowiedzi: 2
- Odsłony: 621
Re: Modulo
Polecam przeczytać tutaj:
Kod: Zaznacz cały
https://omj.edu.pl/uploads/attachments/seminaria_1.pdf
- 27 gru 2019, o 21:59
- Forum: Stereometria
- Temat: Spodek wysokości ostrosłupa
- Odpowiedzi: 4
- Odsłony: 951
Spodek wysokości ostrosłupa
Witam wszystkich. Rozważmy ostrosłup którego podstawą jest trójkąt różnoboczny, natomiast jego ściany boczne są nachylone pod jednakowym kątem do płaszczyzny podstawy. Czy prawdą jest, że spodkiem wysokości tego ostrosłupa jest środek okręgu WPISANEGO w podstawę? A co gdy krawędzie boczne są nachylo...
- 3 sie 2019, o 16:33
- Forum: Planimetria
- Temat: Prostokąt z pewnym punktem P
- Odpowiedzi: 3
- Odsłony: 988
Prostokąt z pewnym punktem P
Cześć, to nie potrafię uporać się z poniższym zadaniem. Tematyka zadania to Ptolemeusz toteż chcę zobaczyć rozwiazanie przy użyciu tego twierdzenia. Korzystałem z nierówności Ptolemeusza na czworokąty ABCP i APCD (chyba nie legitnie tutaj) też z APBX i PCYD gdzie X i Y to punkty powstała przez symet...
- 23 lip 2019, o 23:20
- Forum: Matematyk w bibliotece
- Temat: [nauka] Książki/kursy informatyczne
- Odpowiedzi: 1
- Odsłony: 818
Re: [nauka] Książki/kursy informatyczne
Potrafisz jakiś język programowania? Jeśli nie to może to odpowiedni moment żeby zacząć się go uczyć! Nie wiem jaki język będziesz miał na początku na zajęciach. Polecam przykładowo c/c++ i do tego kurs z kanału "pasja informatyki" i tego jakiś podręcznik z tym językiem związanym. Do treni...