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ę "metody realizacji" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Methods for assessment and testing students’ learning outcomes in cooperative teaching
    Metody oceniania i testowania efektów kształcenia studentów w nauczaniu we współpracy
    Autorzy:
    Nguyen, Thi Thanh
    Powiązania:
    https://bibliotekanauki.pl/articles/551311.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    assessment and testing methods
    cooperative teaching
    method of implementation
    cooperative behaviors
    cooperative learning skills
    metody oceniania i testowania
    nauczanie kooperatywne
    metody realizacji
    zachowania kooperatywne
    umiejętności kooperatywnego uczenia się
    Opis:
    This article presents some methods for assessing and testing student learning outcomes in cooperative teaching in order to help lecturers to assess objectively as well as to clearly present the results achieved by various groups and individuals. Understanding the basics of assessment can have a positive impact on every student. It is essential to adjust the methods of assessment to teaching and create incentives that will increase students’ interest in learning
    Artykuł prezentuje kilka metod oceniania i testowania efektów kształcenia studentów w ramach nauczania opierającego się na współpracy w grupie. Przykłady metod zaprezentowanych w tekście mogą pomoc wykładowcom w obiektywnym ocenianiu, a także w jasnym prezentowaniu efektów osiąganych przez poszczególne grupy i osoby. Wyjaśnienie podstaw oceniania może wpłynąć pozytywnie na każdego studenta. Podstawą jest dostosowanie metod oceniania do nauczania, a także tworzenie zachęt, które zwiększą zainteresowanie studentów uczeniem się.
    Źródło:
    Relacje. Studia z nauk społecznych; 2016, 2; 209-215
    2543-5124
    Pojawia się w:
    Relacje. Studia z nauk społecznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Poprawa bezpieczeństwa na przejazdach kolejowo-drogowych poprzez budowę obiektów inżynierskich
    Autorzy:
    Trzoński, Karol
    Powiązania:
    https://bibliotekanauki.pl/articles/249585.pdf
    Data publikacji:
    2019
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    bezpieczeństwo
    czas realizacji inwestycji
    nowoczesne metody budowlane
    Opis:
    W artykule przybliżono problematykę zwiększenia bezpieczeństwa na przejazdach kolejowo–drogowych. Scharakteryzowano wybrany przejazd o bardzo dużym natężeniu ruchu pociągów i pojazdów drogowych i zaproponowano nowoczesne rozwiązanie zamiany przejazdu kolejowo–drogowego na tunel, ze wskazaniem konkretnego miejsca w stacji Nowy Bieruń. Opisano możliwość przebudowy obiektu metodą tradycyjną i metodą tunelową.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2019, 2(119); 325-335
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wpływ aneksowania terminu umowy na prognozę kosztu realizacji w metodzie wartości wypracowanej
    The effect of an annexation of the contracts deadline for the estimation of the cost of implementation in the EVM method
    Autorzy:
    Polonski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/40422.pdf
    Data publikacji:
    2019
    Wydawca:
    Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
    Tematy:
    obiekty budowlane
    roboty budowlane
    realizacja robot budowlanych
    metody oceny
    metoda wartosci wypracowanych
    koszty realizacji
    prognoza kosztow
    terminy realizacji budowy
    aneksowanie umow
    Źródło:
    Acta Scientiarum Polonorum. Architectura; 2019, 18, 2
    1644-0633
    Pojawia się w:
    Acta Scientiarum Polonorum. Architectura
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On Some Language Extension of Logic MR: A Semantic and Tableau Approach
    O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
    Autorzy:
    Jarmużek, Tomasz
    Parol, Aleksander
    Powiązania:
    https://bibliotekanauki.pl/articles/1791008.pdf
    Data publikacji:
    2021-01-04
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    rozszerzenie minimalnej logiki pozycyjnej
    MR
    logika pozycyjna
    operator realizacji
    metody tableau
    extension of minimal positional logic
    positional logic
    realization operator
    tableau methods
    Opis:
    In the article we present an extension of the minimal, normal positional logic, i.e., the logic with realization operator MR. Positional logic is a philosophical logic that makes it possible to relate sentences to contexts that can be understood in many ways. We enrich the basic language of minimal positional logic with additional expressions built with predicates and positional constants. We also accept expressions built with the realization operator and many positions, like: Ra1,K,an(A). Thanks to this, we increased the expressivity of minimal positional logic. In the article we point to many examples of the fact that, thanks to this small change, complex theories based on the proposed extension can be created. As a theory of proof for our logic, we assume tableau methods, showing soundness and completeness theorems. At the end, however, we show that the logic studied here is only a language extension of the MR: all theorems of the extension have their equivalents in pure MR theorems. However, theories built upon the proposed extension can express much more than theories built upon pure MR.
    W artykule przedstawiamy rozszerzenie minimalnej, normalnej logiki pozycyjnej, czyli logiki z operatorem realizacji. Logika pozycyjna to logika filozoficzna, która umożliwia odniesienie zdań do kontekstów, które można rozumieć na wiele sposobów. Wzbogacamy podstawowy język minimalnej logiki pozycyjnej o dodatkowe wyrażenia zbudowane z predykatów i stałych pozycyjnych. Akceptujemy również wyrażenia zbudowane z operatorem realizacji oraz wiele pozycji, takich jak: Ra1,K,an(A) Dzięki temu zwiększyliśmy wyrazistość minimalnej logiki pozycyjnej. W artykule wskazujemy na wiele przykładów na to, że dzięki tej niewielkiej zmianie mogą powstać złożone teorie oparte na proponowanym rozszerzeniu. Jako teorię dowodu dla naszej logiki zakładamy metody tableau, pokazujące twierdzenia o poprawności i zupełności. Na koniec jednak pokazujemy, że badana tutaj logika jest tylko rozszerzeniem językowym MR: wszystkie twierdzenia o przedłużeniu mają swoje odpowiedniki w czystych twierdzeniach MR. Jednak teorie oparte na proponowanym rozszerzeniu mogą wyrazić znacznie więcej niż teorie oparte na czystej MR.
    Źródło:
    Roczniki Filozoficzne; 2020, 68, 4; 345-366
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Harmonogramowanie przedsięwzięć wieloobiektowych z ciągłą realizacją procesów na działkach roboczych
    Scheduling construction of multi-object projects: problem of works continuity in consecutive units
    Autorzy:
    Biruk, S.
    Jaśkowski, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/347840.pdf
    Data publikacji:
    2010
    Wydawca:
    Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
    Tematy:
    szeregowanie zadań
    harmonogramowanie
    ciągłość realizacji robót na działkach roboczych
    potokowe metody organizacji
    przedsięwzięcia budowlane wieloobiektowe
    sequencing of tasks
    scheduling
    works continuity in consecutive units
    stream methods of work organization
    multi-object projects
    Opis:
    W artykule jest rozważany problem zapewnienia ciągłości robót na frontach (działkach) roboczych przy projektowaniu realizacji przedsięwzięć wieloobiektowych. Szybka realizacja zadań na obiektach i równomierne wykorzystanie (czy zużycie zasobów) są możliwe do uzyskania dzięki zastosowaniu potokowych metod organizacji, stanowiących rozwinięcie klasycznej metody pracy równomiernej. Brygady realizujące poszczególne procesy realizują je na wydzielonych frontach roboczych. Kolejność realizacji niejednorodnych obiektów lub ich części - ustalona w sposób jednakowy dla wszystkich wykonawców – wpływa na czas realizacji przedsięwzięcia. Problem ustalenia optymalnej kolejności powierzania frontów robót brygadom zalicza się do klasy permutacyjnych problemów szeregowania zadań. W artykule przedstawiono sposoby modelowania dodatkowych ograniczeń – charakterystycznych również dla działań w warunkach kryzysowych - umożliwiające zastosowanie w harmonogramowaniu algorytmów opracowanych do rozwiązania problemu komiwojażera.
    The paper investigates the problem of works continuity in consecutive units (sections) the whole scope of works of a multi-object project has been divided into. Rapid completion of tasks is possible to achieve owing to a classic Line-of-Balance approach being the extension of planning methods used for repetitive production processes. Crews of workers responsible for particular processes complete their tasks related to the units. The problem described in the paper concerns a situation when the units are non-uniform in terms of workload, and the order in which the crews move from unit to unit is fixed and the same for all crews. This order is the key factor affecting the project makespan. The problem of finding the optimal order of units can be classified as a permutation flowshop sequencing problem. The paper presents a modeling method that facilitates the application of the "travelling salesman problem" algorithm to solving scheduling problems with additional constraints.
    Źródło:
    Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki; 2010, 3; 340-349
    1731-8157
    Pojawia się w:
    Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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