«AKSJOMATYZACJA» İLE İLİŞKİLİ LEHÇE KİTAPLAR
aksjomatyzacja sözcüğünün kullanımını aşağıdaki kaynakça seçkisinde keşfedin.
aksjomatyzacja ile ilişkili kitaplar ve Lehçe edebiyattaki kullanımı ile ilgili bağlam sağlaması için küçük metinler.
1
Procesy aksjomatyzacji a nanczanie matermatyki - Strona 176
Zestawmy więc fakty, które stwierdziliśmy przy omawianiu przebiegu procesu aksjomatyzacji fragmentów logiki, teorii mnogości i arytmetyki. Powtarzanie się pewnych faktów w przebiegu procesu aksjomatyzacji wszystkich trzech teorii ...
2
Wiadomości matematyczne - Tomy 32-33 - Strona 220
Autor rozpoczął swoje opowieści od aksjomatyzacji geometrii i istnienia innych geometrii niż euklidesowa, a kończy na aksjomatyzacji teorii mnogości, ale tak naprawdę chodzi o aksjomatyzację całej matematyki i pytanie o inne matematyki.
Polskie Towarzystwo Matematyczne, 1996
3
A Precis of Mathematical Logic - Strona 99
SOBOCINSKI, B. (1) Aksjomatyzacja implikacyjno-Konjunkcyjnej teorii dedukcji, Przegl. Filozoficzny, 38, 1935. SOBOCINSKI, B. (2) Aksjomatyzacja pewnych wielowartosciowych systemow teorii deduckji (Axiomatization of some polyvalent ...
4
W poszukiwaniu syntezy: między wiarą a rozumem - Strona 68
aksjomatyzacja i formalizacja teorii oraz, wypracowana głównie przez Bertranda Russella, teoria typów. Aksjomatyzacja teorii pozwalała skutecznie realizować postulat ścisłości oraz likwidować niejasności niedefiniowalnych terminów, ich ...
Grzegorz J. Grzmot-Bilski, 2004
5
Przedmiot logiki formalnej oraz jej stosowalność - Strona 158
Odmienny przedmiot fizyki od przedmiotu logiki formalnej i matematyki sprawia, że aksjomatyzacja poszczególnych teorii fizykalnych jest rzeczą trudną, ale możliwą do zrealizowania. Zawirski wyraźnie też stwierdza, że aksjomatyzacja teorii ...
6
O pojęciu dowodu w matematyce: - Strona 127
Na przykład aksjomatyzacja rachunku prawdopodobieństwa nastąpiła dopiero kilkaset lat po tym, jak pojęcie prawdopodobieństwa zaczęło być przedmiotem matematycznych analiz i kiedy istniało już dużo wyników z tej dziedziny.
Krzysztof Wójtowicz, 2012
7
Prace filozoficzne Uniwersytetu Jagiellońskiego - Tomy 1-6 - Strona 92
Temu pozytywnemu celowi służyłaby aksjomatyzacja ogólnej teorii względności. Ścisła aksjomaty zac ja tej teorii umożliwiłaby poznanie jej struktury logicznej, zrozumienie pojęć występujących w tej teorii, jak też prześledzenie jej związków z ...
Uniwersytet Jagielloński, 1972
8
Wykłady z dziejów logiki - Strona 116
Najszersze bodaj uznanie, jako najnaturalniejsza, zyskała aksjomatyzacja Huntingtona (1904). Jedną z jej modyfikacji (a zarazem uproszczeń) bierze za podstawę swego wykładu algebry Boole'a Lewi s w swoim przeglądzie zdobyczy logiki ...
Tadeusz Kotarbiński, 1990
9
Logic, Semantics, Metamathematics: Papers from 1923 to 1938
B. Sobocinski, 'Aksjomatyzacja pewnych wielowartosciowych systemdw teorji dedukcji' ('Axiomatization of certain many-valued systems of the theory of deduction' in Polish), Roczniki prac naukowych Zrzeszenia Asystentow Uniwersytetu ...
Alfred Tarski, John Corcoran, 1983
10
Logic and Philosophy in the Lvov—Warsaw School - Strona 345
(1934), pp. 143—160; Eng. trans. by Z. Jordan is McCall (1967). Sobociński, B.: 1935, 'Aksjomatyzacja implikacyjno-koniunkcyjnej teorii dedukcji' (Axiomatization of the implicative-conjunctive theory of deduction), Przeglạd Filozoficzny 38, pp.