PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  podstawy matematyki
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Continuum as a primitive type
Ambroszkiewicz S.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2015
|
Nr 1034
1--46
EN
The paper is the revision, extended and full version of the short (6 pages) preliminary presentation of the grounding of the notion of Continuum given in Section 6 of the paper Types and operations ICS PAS Report No. 1030 (also at http://arxiv.org/abs/1501.03043). Here, primitive types (corresponding to the intuitive concept of Continuum) are introduced along with primitive operations, constructors, and relations.
PL
Praca jest znacznym rozszerzeniem i uzupełnieniem Rozdziału 6 pracy Types and operations Prace IPI PAN Nr 1030 (również na http://arxiv.org/abs/1501.03043). Tutaj nowe pierwotne typy (odnoszące się do intuicyjnego pojęcia Continuum) są wprowadzone razem z pierwotnymi operacjami, konstruktorami oraz relacjami.
2
Content available remote Some remarks of Jan Śleszyński regarding foundations of mathematics of Stanisław Leśniewski
Obojska L.
Czasopismo Techniczne. Nauki Podstawowe
|
2015
|
Y. 112, iss. 2-NP
235--245
EN
Jan Śleszyński, a great mathematician, is considered a pioneer of Polish logic; however, he was not connected with the famous Warsaw School of Logic (WSL). He believed that his mission was a critical evaluation of work of other logicians in the field of foundations of mathematics and proof theory. Among his writings we find several notes regarding the work of Stanisław Leśniewski (the co-founder of the WSL) and his collective set theory. These remarks are the subject of investigation of the presented paper.
PL
Jan Śleszyński, wielki matematyk, uważany jest za pioniera polskiej logiki, chociaż nie był związany ze słynną Warszawską Szkołą Logiki (WSL). Śleszyński uważał, że jego misją była krytyczna ocena prac dotyczących podstaw matematyki oraz teorii dowodu autorstwa innych logików. Wśród jego zapisków znajdujemy między innymi uwagi dotyczące teorii zbiorów kolektywnych Stanisława Leśniewskiego, współzałożyciela WSL. Uwagi te są przedmiotem analizy niniejszego artykułu.
3
Content available remote Philosophy of exact sciences (logic and mathematics) in Poland in 1918–1939
Woleński J.
Czasopismo Techniczne. Nauki Podstawowe
|
2015
|
Y. 112, iss. 2-NP
255--265
EN
This paper describes the philosophy of logic and mathematics in Poland in the years 1918‒1939. The special attention is attributed to the views developed in the Polish Mathematical School and the Warsaw School of Logic. The paper indicates various differences between mathematical circles in Warszawa, Lvov and Kraków.
PL
Artykuł opisuje filozofię logiki i matematyki w Polsce w latach 1918‒1939. Szczególną uwagę zwrócono na poglądy rozwinięte w Polskiej Szkole Matematycznej oraz Warszawskiej Szkole Logicznej. Artykuł wskazuje na rozmaite różnice pomiędzy środowiskami matematycznymi w Warszawie, Lwowie i Krakowie.
4
Content available remote The Mathematical Basis of Ornamentation of Patterned Woven Fabrics
Milašius V., Neverauskiené D., Katunskis J., Kazlauskiené I.
Fibres & Textiles in Eastern Europe
|
2002
|
Vol. 8, no. 4 (39)
34--39
EN
The development of the method presented was made considering the mathematical basis of the ornamentation and technological features of the fabrics. Building on the works of H. J. Woods, M. A. Hann, and using original investigations, a method for analysis and synthesis of ornaments within the context of CAD for woven textile design is proposed. Using this method, the new computerised creation of woven ornaments based on matrix multiplication is proposed for analysis and synthesis of the ornaments of woven fabrics. We discuss some limitations which exist in the creation of fabric ornamentation when the ornament is obtained in the weaving process.
PL
Uwzględniając matematyczne podstawy ornamentacji i właściwości technologiczne tkanin, w oparciu o prace H. J. Woods'a i M. A. Hann'a oraz własne badania, zaproponowano metodę analizy i syntezy ornamentów z użyciem CAD do wzornictwa tkanin. Zaproponowano nową komputerową metodę tworzenia ornamentów w oparciu o mnożenie macierzy. Przedyskutowano ograniczenia, występujące przy tworzeniu wzorów, jeżeli wzory te są uzyskiwane w procesie tkania.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.