10 BÜCHER, DIE MIT «AKSJOMATYZACJA» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
aksjomatyzacja in der folgenden bibliographischen Auswahl. Bücher, die mit
aksjomatyzacja im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
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.