Znaleziono 480 wyników

autor: xxDorianxx
20 sty 2021, o 13:42
Forum: Logika
Temat: Logika zadanie
Odpowiedzi: 1
Odsłony: 775

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...
autor: xxDorianxx
28 gru 2020, o 13:33
Forum: Zbiory. Teoria mnogości
Temat: Znajdź zbiór i funkcje o podanych aksjomatach
Odpowiedzi: 4
Odsłony: 489

Re: Znajdź zbiór i funkcje o podanych aksjomatach

Bardzo dziękuje za pomoc. Zadanie całkowicie jasne! :D
autor: xxDorianxx
27 gru 2020, o 16:55
Forum: Zbiory. Teoria mnogości
Temat: Znajdź zbiór i funkcje o podanych aksjomatach
Odpowiedzi: 4
Odsłony: 489

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?
autor: xxDorianxx
27 gru 2020, o 15:06
Forum: Zbiory. Teoria mnogości
Temat: Znajdź zbiór i funkcje o podanych aksjomatach
Odpowiedzi: 4
Odsłony: 489

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}...
autor: xxDorianxx
5 lis 2020, o 19:41
Forum: Logika
Temat: Sortowanie zmiennych w równoważności
Odpowiedzi: 2
Odsłony: 690

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 :D
autor: xxDorianxx
5 lis 2020, o 17:28
Forum: Logika
Temat: Sortowanie zmiennych w równoważności
Odpowiedzi: 2
Odsłony: 690

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...
autor: xxDorianxx
3 lis 2020, o 14:48
Forum: Logika
Temat: Implikacja, dysjunkcja za pomocą alternatywy i koniunkcji
Odpowiedzi: 3
Odsłony: 686

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( ...
autor: xxDorianxx
3 lis 2020, o 13:04
Forum: Logika
Temat: Implikacja, dysjunkcja za pomocą alternatywy i koniunkcji
Odpowiedzi: 3
Odsłony: 686

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 :)
autor: xxDorianxx
16 cze 2020, o 00:29
Forum: Matura i rekrutacja na studia
Temat: Matura rozszerzona z matematyki 2020
Odpowiedzi: 36
Odsłony: 6271

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 ...
autor: xxDorianxx
27 gru 2019, o 22:13
Forum: Stereometria
Temat: Spodek wysokości ostrosłupa
Odpowiedzi: 4
Odsłony: 947

Re: Spodek wysokości ostrosłupa

Dzięki bardzo :D
autor: xxDorianxx
27 gru 2019, o 22:11
Forum: Stereometria
Temat: Spodek wysokości ostrosłupa
Odpowiedzi: 4
Odsłony: 947

Re: Spodek wysokości ostrosłupa

Napisałem RÓŻNO...
autor: xxDorianxx
27 gru 2019, o 22:01
Forum: Teoria liczb
Temat: Modulo
Odpowiedzi: 2
Odsłony: 619

Re: Modulo

Polecam przeczytać tutaj:

Kod: Zaznacz cały

https://omj.edu.pl/uploads/attachments/seminaria_1.pdf
autor: xxDorianxx
27 gru 2019, o 21:59
Forum: Stereometria
Temat: Spodek wysokości ostrosłupa
Odpowiedzi: 4
Odsłony: 947

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...
autor: xxDorianxx
3 sie 2019, o 16:33
Forum: Planimetria
Temat: Prostokąt z pewnym punktem P
Odpowiedzi: 3
Odsłony: 982

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...
autor: xxDorianxx
23 lip 2019, o 23:20
Forum: Matematyk w bibliotece
Temat: [nauka] Książki/kursy informatyczne
Odpowiedzi: 1
Odsłony: 815

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...