Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "teoria typów" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    Continuum as a primitive type
    Continuum jako typ pierwotny
    Autorzy:
    Ambroszkiewicz, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/182603.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    continuum
    types
    semantics
    foundations of Mathematics
    teoria typów
    podstawy matematyki
    Opis:
    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.
    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.
    Źródło:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1034; 1-46
    0138-0648
    Pojawia się w:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wpływ teorii organizacji pracy na przestrzeń biurową
    Influence of organization theory on office space
    Autorzy:
    Urbanowicz, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/398251.pdf
    Data publikacji:
    2011
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Tematy:
    teoria organizacji pracy
    ewolucja typów biur
    aranżacja biur
    organization theory
    office evolution
    office layout
    Opis:
    Teoria organizacji pracy jako nauka zaczęła powstawać w epoce industrializacji. Miała ona być sposobem na zwiększenie wydajności pracy w zakładach przemysłowych. Początkowo odkrycia nowej dziedziny naukowej stosowane były wyłącznie na potrzeby przemysłu. Z czasem zauważono, że stosowanie ich w pracy biurowej również może przynieść ogromne korzyści. Artykuł ten przedstawia wpływ teorii organizacji pracy na przestrzeń biurową od wieku XIX po czasy współczesne. Z poczynionych badań wynika, że istnieje związek między teorią organizacji pracy a sposobem formowania przestrzeni obiektów biurowych i poszczególnych stanowisk pracy. Możemy zatem łączyć klasyczne teorie organizacji pracy (m.in. tzw. tayloryzm) z powstaniem biura wielkoprzestrzennego (tzw. open space/open plan office), model stosunków międzyludzkich z powstaniem biura krajobrazowego czy wprowadzeniem boksów biurowych oraz teorie powstałe po 1970 roku, między innymi model zasobów ludzkich z wprowadzeniem biura kombi i nowych strategii czasowo-przestrzennych (np. ruchome miejsce pracy w ramach jednego biurowca). W analizie literatury z zakresu organizacji pracy oraz rozwiązań przestrzennych i funkcjonalnych biur w ujęciu historycznym autorka posłużyła się metodami badań porównawczych i badań historycznych (ujęcie chronologiczne) oraz argumentacji logicznej (wykazanie związków przyczynowo-skutkowych pomiędzy teorią a praktyką). Zostały wykonane także analizy porównawcze teorii organizacji pracy ze sposobem projektowania stanowisk pracy biurowej w określonym wyżej przedziale czasowym.
    The organization theory as a field of science has begun to exist in the era of industrialization. It was a way to increase labor productivity in industrial plants and initially achievements of the new field of science were used only there. Afterwards they appear in the offices as well. The article presents the impact of the organization theory on office space since the nineteenth century to modern days. The study made clear that there is strong relationship between the organization theory and the way of designing office space and individual workstations. Therefore we can combine the Classical Organization Theories (including Taylorism) with the creation of the open space office, The Human Relations movement with the landscape office (Bürolandschaft) and the introduction of cubicle office as well as theories created after 1970’s (including Human Resources model) with the introduction of combi office and non-territorial offices (eg hot desking). During the analysis of the literature in the field of historical development of work organization as well as spatial and functional solutions in the offices, the author used the methods of comparative and historical research (chronological approach), and logical reasoning (demonstrating sequence of cause and effect between theory and practice). The text presents comparative analysis of the work organisation theory with the different office design solutions within earlier mentioned time frame as well.
    Źródło:
    Architecturae et Artibus; 2011, 3, 4; 52-65
    2080-9638
    Pojawia się w:
    Architecturae et Artibus
    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