Znaleziono 156 wyników

autor: Lewo
9 sty 2016, o 02:39
Forum: Logika
Temat: Napisz używając rachunku predykatów
Odpowiedzi: 2
Odsłony: 858

Napisz używając rachunku predykatów

Jedna osoba nie zna nikogo
napisałeś że istnieje osoba która wszystkich nie zna, na moje oko musisz dopisać, że jest to jedyna osoba
autor: Lewo
9 sty 2016, o 02:02
Forum: Logika
Temat: Języki regularne - lemat o pompowaniu
Odpowiedzi: 9
Odsłony: 1357

Języki regularne - lemat o pompowaniu

ok słowo "co najmniej" w twierdzeniu mnie pokonało, ale w końcu zrozumiałem. dzięki za pomoc.
autor: Lewo
8 sty 2016, o 03:17
Forum: Logika
Temat: Języki regularne - lemat o pompowaniu
Odpowiedzi: 9
Odsłony: 1357

Języki regularne - lemat o pompowaniu

okej, ale jak czytam https://pl.wikipedia.org/wiki/Lemat_o_pompowaniu_dla_j%C4%99zyk%C3%B3w_regularnych to jest napisane Nieformalnie - dostatecznie długie słowo w języku regularnym może być pompowane plus Jeżeli dany język L jest regularny, to istnieje takie n\geq 1 , ... rozumiem, że twierdzenie s...
autor: Lewo
7 sty 2016, o 20:10
Forum: Logika
Temat: Języki regularne - lemat o pompowaniu
Odpowiedzi: 9
Odsłony: 1357

Języki regularne - lemat o pompowaniu

a możesz mi powiedzieć, jak dzielisz słowo i którą dokładnie część mogę pompować w nieskończoność i będzie należeć do języka z jednym słowem?

ps. definicje pomowania z wykładu się trochę różni i mam napisane że
\(\displaystyle{ n \le \left| word\right|}\)
autor: Lewo
7 sty 2016, o 00:04
Forum: Logika
Temat: Języki regularne - lemat o pompowaniu
Odpowiedzi: 9
Odsłony: 1357

Języki regularne - lemat o pompowaniu

Jest język \(\displaystyle{ L = \{abba\}}\) ( z jednym słowem \(\displaystyle{ abba}\) )
Wiem, że jest regularny, ale nie wiem jak znaleźć jakąkolwiek stałą \(\displaystyle{ n}\) ( z lematu o pompowaniu ), jakbym chciał to sprawdzić przez ten lemat. Tzn pompowanie jakiekolwiek części ze środka tego słowa da jakieś inne słowo które nie jest w języku \(\displaystyle{ L}\).
autor: Lewo
27 lut 2015, o 18:58
Forum: Kombinatoryka i matematyka dyskretna
Temat: Podstawy teorii grafów - izomorfizm (i nie tylko)
Odpowiedzi: 1
Odsłony: 2834

Podstawy teorii grafów - izomorfizm (i nie tylko)

Up, też mam podobny problem.
Dodatkowo jaki jest algorytm wyznaczania różnych grafów ( nieizomorficznych ) o danych np. wierzchołkach?
autor: Lewo
27 cze 2014, o 21:45
Forum: Kombinatoryka i matematyka dyskretna
Temat: Moc zbioru
Odpowiedzi: 1
Odsłony: 588

Moc zbioru

Mam zbiór B = \left\{ \left( A, B\right) \in P\left( \left\{ 1, 2, ..., n\right\} \right)^2: A \subseteq B \right\} Chcę policzyć \left| B \right| Zacząłem tak: dla każdego możliwego B ( przy liczeniu konkretnego B , |B| = k ) liczę możliwe A (|A| < k). Odrzucam k=0 ,bo wtedy nie znajde A będącego p...
autor: Lewo
31 maja 2014, o 14:36
Forum: Algebra abstrakcyjna
Temat: Czy istnieje epimorfizm
Odpowiedzi: 1
Odsłony: 392

Czy istnieje epimorfizm

czy istnieje epimofizm grupy \left( \mathbb{Z}, +\right) na grupę \left( \mathbb{Q}, +\right) i na odwrót? zacząłem tak: \mathbb{Z} = \left\langle 1\right\rangle więc \mathbb{Q} = \left\langle f\left( 1\right) \right\rangle wziąłem f\left( 1\right) = \frac{m}{n} i NWD\left( m, n\right) = 1 i tutaj w...
autor: Lewo
27 kwie 2014, o 00:35
Forum: Zbiory. Teoria mnogości
Temat: Wyznaczenie mocy
Odpowiedzi: 3
Odsłony: 401

Wyznaczenie mocy

zbiór \(\displaystyle{ \left\{ 1, 2, ...., n \right\}}\)
autor: Lewo
26 kwie 2014, o 17:21
Forum: Zbiory. Teoria mnogości
Temat: Wyznaczenie mocy
Odpowiedzi: 3
Odsłony: 401

Wyznaczenie mocy

Nie wiem jak podzielić ten zbiór aby wyznaczyć moce. 0) \left\{ \left( A, B\right) \in P\left( \left[ n\right] \right)^{2}: A \subseteq B \right\} Początek rozwiązania idzie tak: 1) \left| B\right| = K 2) \left| \left\{ A: A \subseteq B\right\} \right| = \left| P\left( B\right) \right| = 2^{K} 3) \l...
autor: Lewo
2 lut 2014, o 18:20
Forum: Granica i ciągłość funkcji
Temat: Ciągłość funkcji - 2 proste zadania
Odpowiedzi: 0
Odsłony: 187

Ciągłość funkcji - 2 proste zadania

Zerknąłby ktoś czy dobrze zrobiłem te zadanie? Zad1. W jakich punktach funkcja f jest ciągłą? f\left( x\right) = \begin{cases} x-1: x \in Q \\ 2x: x \in R \end{cases} Odpowiedź krótko uzasadnij Moje rozwiązanie: funkcja jest ciągła dla argumentów niewymiernych ( bo w jej otoczeniu są też liczby niew...
autor: Lewo
30 sty 2014, o 13:04
Forum: Zbiory. Teoria mnogości
Temat: Dowód implikacji - zbiory
Odpowiedzi: 6
Odsłony: 740

Dowód implikacji - zbiory

Właśnie dla mnie to logiczne ze jak każdy z osobna się zawiera to suma się zawiera. Nie wiedziałem ze przy korzystaniu z założenia mogę rozdzielić na dwa przypadki x \in A lub x \in B , bo dla mnie założenie wygląda tak, że jeśli x \in A to od razu zachodzi drugi przypadek gdy x \in B a przy udowadn...
autor: Lewo
30 sty 2014, o 10:43
Forum: Zbiory. Teoria mnogości
Temat: Dowód implikacji - zbiory
Odpowiedzi: 6
Odsłony: 740

Dowód implikacji - zbiory

rozpisze z def. zawierania ale i tak nie mam jak porównać bo do założeń nie mam za bardzo jak porównać. bo w zalozeniu musialbym chyba napisac \(\displaystyle{ x \in A}\) i \(\displaystyle{ x \in B}\) jednoczenie a w tezie zacząłem od \(\displaystyle{ x \in A}\) lub \(\displaystyle{ x \in B}\)
autor: Lewo
30 sty 2014, o 00:39
Forum: Zbiory. Teoria mnogości
Temat: Dowód implikacji - zbiory
Odpowiedzi: 6
Odsłony: 740

Dowód implikacji - zbiory

Chciałbym wiedzieć jak by wyglądał szkic dowodu tego przykładu: \left( A \subseteq C\right) \wedge \left( B \subseteq C\right) \rightarrow A \cup B \subseteq C Przy założeniu poprzednika tej implikacji nie wiem jak zabrać się za tezę. Przy metodzie x \in A \cup B nie chce mi nic wyjść edit: dobrym p...
autor: Lewo
25 sty 2014, o 19:59
Forum: Algebra liniowa
Temat: funkcja liniowa - macierz, jądro i obraz
Odpowiedzi: 0
Odsłony: 257

funkcja liniowa - macierz, jądro i obraz

Mam funkcję f\left( \left[ x, y, z, t\right] \right) = \left[ 2x+3y+z, 4y + z - t\right] \in Lin\left( R^{4}, R^{2} \right) Prosiłbym o sprawdzenie, szczególnie metody wyznaczania macierzy funkcji i zbiory jądra i obrazu 1. Wyznaczam macierz tej funkcji. (metoda - współczynniki przy odpowiednich x, ...