Ćwiczenia 4: iloczyn kartezjański, funkcje

Zadania

1. Kiedy \(A \times B = B \times A\)?
2. Czy dla dowolnych niepustych rodzin \(\mathcal{A}\) i \(\mathcal{B}\) zachodzi \(\bigcap \mathcal{A} \times  \bigcap \mathcal{B} = \bigcap \{ \alpha \times \beta \mid \alpha \in  \mathcal{A}, \beta \in  \mathcal{B}\}\),
3. Ile jest funkcji, funkcji częściowych, funkcji różnowartościowych, funkcji na
   a) \(\emptyset \to \emptyset\),
   b) \(\emptyset \to \{ \cdot \}\),
   c) \(\{ \cdot \}\to \emptyset\),
   d) \(\{ \cdot \}\to \{ \cdot \}\),
   e) \(\{ \cdot, \square \}\to \{ \cdot \}\),
   f) \(\{ \cdot \}\to \{ \cdot, \square \}\)?
4. Niech \(f:A\to B\). Pokazać, że f jest różnowartościowa wtedy i tylko wtedy, gdy dla każdego C i dla każdych \(g,h: C \to A\) zachodzi \(f \circ g = f\circ h \to g=h\).
5. Podać przykład \(f : A \to B\), \(X \subseteq A\), \(Y \subseteq B\) takich, że
   a) \(f^{-1}(f(X)) \neq X\),
   b) \(f(f^{-1}(Y)) \neq Y\).
6. Niech \(F : \NN^{\NN} \to P(\NN)\) będzie taka, że \(F(f) = f^{-1}(\{1\})\).
   a) Czy \(F\) jest różnowartościowa?
   b) Czy \(F\) jest na \(P(\NN)\)?
   c) Znaleźć obraz zbioru funkcji stałych.

 Praca domowa

Zadania 82 i 110 ze zbioru zadań.

Ćwiczenia 3: suma i iloczyn uogólniony

Zadania

1.  Które z poniższych implikaci są prawdziwe dla dowolnych zbiorów X, Y:
   a) jeśli \( P(Y) \subseteq X \), to \(Y \subseteq \bigcup X\),
   b) jeśli \(Y \subseteq \bigcup X\), to \( P(Y) \subseteq X \).
2. a) Czy jeśli \(\mathcal{A} \subseteq \mathcal{B}\), to \(\bigcap \mathcal{A} \subseteq \bigcap \mathcal{B}\)?
   b) Czy jeśli \(\mathcal{A} \subseteq \mathcal{B}\), to \(\bigcap \mathcal{B} \subseteq \bigcap \mathcal{A}\)?
3. Czy dla dowolnych niepustych A, B takich, że \(A \cap B \neq \emptyset\) zachodzi:
   a) \(\bigcup A \cup\bigcup B = \bigcup (A \cup B)\)
   b) \(\bigcap A \cap\bigcap B = \bigcap (A \cap B)\),
   c) \(\bigcap A \cap\bigcap B = \bigcap (A \cup B)\)?
4. Które z równości zachodzą dla dowolnego A:
   a) \(\bigcap \{P(B) \mid B \subseteq A \} = \{ \bigcap P(B) \mid B \subseteq A \} \),
   b) \(\bigcup \{P(B) \mid B \subseteq A \} = \{ \bigcup P(B) \mid B \subseteq A \} \)?
5. Znaleźć \( \bigcup_{t \in \RR_+} A_t \) i \( \bigcap_{t \in \RR_+} A_t \), gdzie \(A_t = (1-\frac{1}{t}, 2 + \sqrt{t})\) dla \(t \in \RR_+\).

Praca domowa

Zadania 38 d,e i 43 ze zbioru zadań.

Ćwiczenia 2: rachunek zbiorów, zbiór potęgowy

Zadania

1. Przypuśćmy, że zbiór A ma n elementów, a zbiór B ma n elementów. Ile elementów mają zbiory \(A \cup B\), \(A \cap B\), \(A - B\)?
2. Czy dla dowolnych zbiorów \(A\), \(B\), \(C\) zachodzą równości:
   a) \(A - (B \cup C) = (A - B) - C\),
   b) \(A - (B - C) = (A - B) \cup C\),
   c) \((A \cup B \cup C) - (A \cup B) = C\),
   d) \( A \cap (B \cup C) = (A \cap B) \cup (A \cap C) \)?
3. Sprawdzić, czy dla dowolnych zbiorów w \(A\), \(B\), \(C\) zachodzi następująca implikacja:
   a) jeśli \(C - B \subseteq C - A\), to \(A \subseteq B\),
   b) jeśli \( A - B = B - A \), to \( A = B\).
   
4. Zbadać, czy dla dowolnych \(A\), \(B\) zachodzi:
   a) \(P (A \cup B) = P(A) \cup P(B)\),
   b) \(P (A \cap B) = P(A) \cap P(B)\).
5. a) Czy jeśli \(\mathcal{A} \subseteq \mathcal{B}\), to \(\bigcup \mathcal{A} \subseteq \bigcup\mathcal{B}\)?
   b) Czy jeśli \(\bigcup \mathcal{A} \subseteq \bigcup \mathcal{B}\), to \(\mathcal{A} \subseteq \mathcal{B}\)?
6. Udowodnić, że \(\bigcup P(A) = A\) dla dowolnego A.

Praca domowa

Zadania 25 i 29 ze zbioru zadań.

Oferta pracy: Asystent ds. Marketingu Technicznego w Vertabelo Academy

Firma, w której pracuję szuka studentów do pomocy w promocji naszego produktu, Vertabelo. 

Vertabelo to usługa pozwalająca na wizualne projektowanie baz danych w chmurze bezpośrednio przez przeglądarkę internetową. Na naszej stronie prowadzimy blog o bazach danych, który dziennie odwiedza ponad 3 tysiące osób. Ponadto tworzymy interaktywne kursy języka SQL w serwisie Vertabelo Academy.

Szukamy osób władających językiem angielskim, które pomogą nam w prowadzeniu bloga technicznego Vertabelo oraz w innych działaniach marketingowych.

Zakres obowiązków

• Pomoc w przygotowaniu nowych kursów w Vertabelo Academy (formatowanie przygotowanych treści w HTML, testowanie nowych kursów).
• Wsparcie w procesie przygotowania artykułów na blog (komunikacja z autorami bloga, edytorami i innymi osobami zaangażowanymi w przygotowanie treści bloga).
• Aktualizacja treści opublikowanych na blogu.
• Redagowanie krótkich ogłoszeń o nowych funkcjonalnościach aplikacji.

Wymagane kwalifikacje

• Znajomość zagadnień związanych z wykorzystaniem baz danych.
• Podstawowa znajomość języka HTML.
• Podstawowa znajomość narzędzi deweloperskich.
• Podstawowa znajomość systemu Linux od strony użytkownika.
• Dobra znajomość języka angielskiego.

Dodatkowym atutem będzie:

• Prowadzenie własnego bloga.
• Aktywność w serwisach społecznościowych dla programistów (np. Twitter, Stackoverflow, Github).

Warunki zatrudnienia

• Umowa-zlecenie.
• Wynagrodzenie: 4000 zł brutto za pełny etat.
• Minimum pół etatu.
• Miejsce pracy: Warszawa, okolice metra Wierzbno.

Oferty prosimy przesłać na adres career@vertabelo.com z dopiskiem: Asystent ds. Marketingu Technicznego

Na zgłoszeniu proszę umieścić klauzulę o następującej treści: „Wyrażam zgodę na przetwarzanie moich danych osobowych dla potrzeb niezbędnych do realizacji procesu rekrutacji (podstawa prawna DZ. U. Nr 133, poz. 883)”.

Szczegółowe ogłoszenie.

Tydzień 1: powtórzenie z logiki i indukcji matematycznej

Zadania

1.  Zaznaczyć na rysunku zbiory:
   a) \(\{\langle x, y\rangle \in \mathbb{R}^2 \mid x^2 + y^2 >1  \to y+x > 0\}\),
   b) \[\{\langle x, y\rangle \in \mathbb{R}^2 \mid(x^2 + y^2 >1 ) \to ((x^2 + y^2 \leq 2) \wedge ( \neg (x \cdot y = 0) \to |y| = |x|) ) \}\]
   c) \(\{\langle x, y\rangle \in \mathbb{R}^2 \mid  (\forall z(z+y < 0)) \to y+x<0 \}\),
   d) \(\{\langle x, y\rangle \in \mathbb{R}^2 \mid  (\forall x(x+y < 0)) \to y+x<0 \}\),
   e) \(\{\langle x, y\rangle \in \mathbb{R}^2 \mid  x^2 + y^2 >1  \to \exists z (x^2 + (y-z)^2 \leq \frac{1}{4})\}\).
2. Zaznaczyć na rysunku zbiory:
   a) \( \{z \in \mathbb{R} \mid \forall x \exists x (x=1)\} \),
   b) \( \{z \in \mathbb{R} \mid \exists x \forall x (x=1)\} \),
   c) \( \{x \in \mathbb{R} \mid \forall x \exists x (x=1)\} \).
3. Udowodnić, że \(1 + 2 + 4 + \ldots + 2^n = 2^{n+1} -1\).
4. Udowodnić, że każda liczba naturalna postaci \(4^{2n+1}+3^{2n+1}\) dzieli się przez 7.
5. Udowodnić, że każda liczba naturalna większa lub równa 2 jest iloczynem liczb pierwszych lub sama jest pierwsza.

Praca domowa

Zadanie 4bi 7c ze zbioru zadań.