Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "system axioms" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Poprawa efektywności finansowej systemu ubezpieczeń społecznych w Polsce
Improving the financial effectiveness of the social security system in Poland
Autorzy:
Garbiec, R.
Powiązania:
https://bibliotekanauki.pl/articles/203015.pdf
Data publikacji:
2017
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
aksjomaty systemu
efektywność finansowa
kierunki zmian systemu
ryzyka społeczne
system ubezpieczeń społecznych
system axioms
financial effectiveness
trends of system changes
social risks
social security system
Opis:
Efektywność finansowa polskiego systemu ubezpieczeń społecznych po reformie przeprowadzonej w 1999 r. gwałtownie się pogorszyła. Dokonane zmiany systemowe i parametryczne zamiast poprawiać tę efektywność prowadzą do niewydolności finansowej systemu. Niniejszy referat jest próbą wskazania możliwości poprawy zaistniałego stanu rzeczy. W jego pierwszej części zaprezentowano efektywność finansową funkcjonowania polskiego systemu ubezpieczeń społecznych w ostatnich latach. W drugiej części referatu zaproponowano zmiany, które mają doprowadzić do samofinansowania tego systemu.
The article is devoted to financial efficiency of the Polish social security system. The system was implemented in 1999, but it is noticed, that since that time it has been deteriorating. The systemic and parametric changes haven't improved the efficiency of the scheme. This study is an attempt to identify possibilities to improve the current situation. In the first part of the paper, the financial efficiency of the Polish social security system was presented. The needed changes that would lead to system self-financing were proposed.
Źródło:
Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie; 2017, 73; 81-92
0239-9415
Pojawia się w:
Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filozofia i logika intuicjonizmu
Autorzy:
Fila, Marlena
Powiązania:
https://bibliotekanauki.pl/articles/429258.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
intuitionism
axioms
matrices truth-
Heyting system
Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system
infinite sequence of matrices
Opis:
At the end of the 19th century in the fundamentals of mathematics appeared a crisis. It was caused by the paradoxes found in Cantor’s set theory. One of the ideas a resolving the crisis was intuitionism – one of the constructivist trends in the philosophy of mathematics. Its creator was Brouwer, the main representative was Heyting. In this paper described will be attempt to construct a suitable logic for philosophical intuitionism theses. In second paragraph Heyting system will be present – its axioms and matrices truth-. Later Gödel theorem about the inadequacy of finite dimensional matrices for this system will be explained. At the end this paper an infinite sequence of matrices adequate for Heyting axioms proposed by Jaśkowski will be described.
Źródło:
Semina Scientiarum; 2015, 14
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies