Znaleziono 476 wyników

autor: Tomasz Tkaczyk
24 sie 2016, o 15:58
Forum: Zbiory. Teoria mnogości
Temat: Teoria klas Kelleya-Morse`a
Odpowiedzi: 5
Odsłony: 1120

Teoria klas Kelleya-Morse`a

Dziękuję za (dok)ładne wyjaśnienie.
autor: Tomasz Tkaczyk
19 sie 2016, o 17:08
Forum: Dyskusje o matematyce
Temat: Logika a sens zadania
Odpowiedzi: 7
Odsłony: 2760

Logika a sens zadania

Artykuł dotyczy chyba sensowności uczenia logiki w szkole średniej (a raczej tego, co logiką w szkole nazywają) a nie logiki jako dziedziny wiedzy.
autor: Tomasz Tkaczyk
19 sie 2016, o 16:57
Forum: Zbiory. Teoria mnogości
Temat: Zestaw aksjomatów
Odpowiedzi: 15
Odsłony: 2052

Zestaw aksjomatów

A co to są te dziwactwa?
autor: Tomasz Tkaczyk
19 sie 2016, o 12:39
Forum: Zbiory. Teoria mnogości
Temat: Teoria klas Kelleya-Morse`a
Odpowiedzi: 5
Odsłony: 1120

Teoria klas Kelleya-Morse`a

Dzięki za wyjaśnienia. Można o tym myśleć tak: W teorii klas tylko zbiory (klasy niewłaściwe) mają właściwość, że mogą spełniać lub nie spełniać relacji należenia (z innym zbiorem lub klasą właściwą). Natomiast klasy właściwe nie i należy je traktować tylko jako kontenery na zbiory - o ich należenie...
autor: Tomasz Tkaczyk
4 maja 2016, o 19:28
Forum: Logika
Temat: Algebra Boole'a
Odpowiedzi: 2
Odsłony: 1052

Algebra Boole'a

Interpretacja algebry Boole`a z porządkiem jako ciało zbiorów z relacją inkluzji ma jak najbardziej sens, gdyż tak naprawdę nie ma innych algebr Boole`a. Są to dokładnie (pewne) ciała zbiorów i tak należy o nich myśleć. Inna intuicja jest niepotrzebna.
autor: Tomasz Tkaczyk
4 maja 2016, o 19:23
Forum: Logika
Temat: Test jednokrotnego wyboru
Odpowiedzi: 8
Odsłony: 2370

Test jednokrotnego wyboru

Zaraz. Ale w sytuacji, gdy dokładnie dwie z odpowiedzi a-c nie są odpowiedziami poprawnymi (a jedna z nich jest), d także nie jest poprawna i wówczas mamy zachowane założenie o jednokrotności wyboru testu. Inna sprawa, że d nigdy nie może być odpowiedzią poprawną (jeśli zakładamy poprawność testu), ...
autor: Tomasz Tkaczyk
6 mar 2015, o 14:39
Forum: Dyskusje o matematyce
Temat: Dowód spójności matematyki
Odpowiedzi: 41
Odsłony: 6860

Dowód spójności matematyki

Nie do końca się zgodzę. W początkowej fazie tworzenia się teorii mnogości wiele elementów nie było dostatecznie uściślonych, dlatego wkrótce pojawiły się u jej podstaw pewne nieuniknione sprzeczności (antynomie). To była tak zwana naiwna teoria mnogości wywodząca się ze słabo sprecyzowanej cantoro...
autor: Tomasz Tkaczyk
4 mar 2015, o 12:49
Forum: Łamigłówki i zagadki logiczne
Temat: Dwanaście kulek
Odpowiedzi: 3
Odsłony: 1780

Dwanaście kulek

Było już to?

Jest 12 kulek, spośród których 11 jest identycznej masy a jedna jest cięższa lub lżejsza od pozostałych. Za pomocą wagi szalkowej w co najwyżej 3 ważeniach rozstrzygnij, która kulka jest odmienna.
autor: Tomasz Tkaczyk
2 mar 2015, o 12:16
Forum: Dyskusje o matematyce
Temat: Dowód spójności matematyki
Odpowiedzi: 41
Odsłony: 6860

Dowód spójności matematyki

A najtrudniejsze zagadnienia wiążą się z operowaniem na nieskończonościach. Skąd to przekonanie? Skąd to wiesz? Co to w ogóle oznacza? Matematyka to nie są puste slogany. Matematyka to stawianie konkretnych pytań i próba ich (konkretnego) rozstrzygnięcia. Chyba, że Ciebie interesuje perspektywa met...
autor: Tomasz Tkaczyk
1 mar 2015, o 19:50
Forum: Dyskusje o matematyce
Temat: Dowód spójności matematyki
Odpowiedzi: 41
Odsłony: 6860

Dowód spójności matematyki

Taka sytuacja pojawiła się już kiedyś. Znaleziono liczne antynomie na gruncie teorii mnogości i trzeba było wszystko uporządkować na nowo. Jaką mamy pewność że się to nie powtórzy? Nie do końca się zgodzę. W początkowej fazie tworzenia się teorii mnogości wiele elementów nie było dostatecznie uściś...
autor: Tomasz Tkaczyk
26 lut 2015, o 21:00
Forum: Algebra abstrakcyjna
Temat: Izomorfizm Pierścienia ilorazowego
Odpowiedzi: 12
Odsłony: 1360

Izomorfizm Pierścienia ilorazowego

A czy funkcja \(\displaystyle{ f: \mathbb{Z}[{}i] \rightarrow \mathbb{Z}_{2}}\) zadana wzorem \(\displaystyle{ f(a+bi) = a-b (\bmod 2)}\) jest homomorfizmem?
autor: Tomasz Tkaczyk
26 lut 2015, o 20:52
Forum: Algebra abstrakcyjna
Temat: Czy istnieje działanie
Odpowiedzi: 2
Odsłony: 570

Czy istnieje działanie

Ale nie jest napisane, że \(\displaystyle{ \mathbb{Z}}\) z tym działaniem musi być grupą, półgrupą, czy jakąkolwiek strukturą algebraiczną. Zatem działanie jako funkcja \(\displaystyle{ f: \mathbb{Z}^{2} \rightarrow \mathbb{Z}}\) może mieć formę nawet \(\displaystyle{ f(x,y) = 0}\). Chyba, że przyjmujemy jakąś inną definicję "działania"?
autor: Tomasz Tkaczyk
26 lut 2015, o 12:27
Forum: Algebra abstrakcyjna
Temat: Izomorfizm Pierścienia ilorazowego
Odpowiedzi: 12
Odsłony: 1360

Izomorfizm Pierścienia ilorazowego

A zakładając prawdziwość wskazówki umiałbyś pokazać, że pierścień ilorazowy składa się tylko z dwóch klas abstrakcji?
autor: Tomasz Tkaczyk
25 lut 2015, o 20:42
Forum: Algebra abstrakcyjna
Temat: Izomorfizm Pierścienia ilorazowego
Odpowiedzi: 12
Odsłony: 1360

Izomorfizm Pierścienia ilorazowego

Albo zauważyć, że \(\displaystyle{ a+bi \in (1+i) \Leftrightarrow a-b \in 2\mathbb{Z}}\). Ale to dopiero wskazówka.
autor: Tomasz Tkaczyk
17 lut 2015, o 21:56
Forum: Rachunek różniczkowy
Temat: Trójkąt i parabola
Odpowiedzi: 14
Odsłony: 1217

Trójkąt i parabola

Przedłużmy odcinek [AB] do całej prostej K . Jeśli weźmiemy styczną do paraboli równoległą do odcinka [AB] , to taka prosta jest wyznaczona jednoznacznie, ponieważ przecina pewien punkt postaci M = (x_{0}, x_{0}^{2}) , oraz współczynnik kierunkowy jest wyznaczony przez współczynnik kierunkowy proste...