Filters
total: 690
-
Catalog
- Publications 380 available results
- Journals 164 available results
- Publishing Houses 1 available results
- People 38 available results
- Inventions 1 available results
- Projects 4 available results
- Research Teams 3 available results
- e-Learning Courses 89 available results
- Events 7 available results
- Open Research Data 3 available results
Search results for: filozofia konserwacji
-
Analytical design of stable delta-domain generalized predictive control
PublicationPraca dotyczy analitycznej metody projektowania układów sterowania skalarnymi (SISO) obiektami czasu ciągłego według strategii uogólnionego sterowania predykcyjnego (GPC) w oparciu o dyskretnoczasowe modele takich obiektów. Założono wykorzystanie numeryczne odpornych modeli opartych o tak zwany operator delta. Przyjmując kwadratowy funkcjonał kosztów, w którym prognozowany przebieg przyszłego wyjścia sterowanego obiektu porównywany...
-
Badania mostu III Tysiąclecia im. Jana Pawła II w Gdańsku w trakcie trzyletniej eksploatacji.
PublicationProwadzenie badań dużych obiektów mostowych podczas ich wznoszenia jest już regułą w Polsce, natomiast ich stała obserwacja podczas eksploatacji to jeszcze rzadkość. Oddany do eksploatacji 9 listopada 2001 r. most III Tysiąclecia im. Jana Pawła II przez Martwą Wisłę w Gdańsku został poddany stałej obserwacji od 2002 r. Zadanie to powierzono zespołowi Katedry Mostów Politechniki Gdańskiej, który opracował pierwszy tego typu w Polsce...
-
Modernizacja Hali Targowej w Gdańsku
PublicationW pracy przedstawiono opis modernizacji Hali Targowej w Gdańsku oraz rys historyczny dotyczący tego miejsca. Na skutek zniszczeń wojennych i intensywnej eksploatacji w okresie powojennym w roku 2000 rozpoczęto remont i modernizację obiektu. Działania obejmowały prace archeologiczne, rozbiórkowe, fundamentowe, izolacyjne. Przeprowadzono renowację elementów konstrukcji stalowej, wymieniono pokrycie dachu. Wykonano dodatkowo antresolę...
-
Geomatyka B - Ćwiczenia 2021
e-Learning CoursesObliczenia potencjału elipsoidy ekwipotencjalnej, odchylenie linii pionu, pływu skorupy ziemskiej. Uwzględnianie poprawki terenowej dla obserwacji przyspieszenia siły ciężkości.
-
Historia we współczesności. Pas Nadmorski w Gdańsku : dobro wspólne na miarę metropolitalną
PublicationW ramach prowadzonych w semestrze letnim 2010/2011 przez Katedrę Historii, Teori Architektury i Konserwacji Zabytków cyklu otwartych wykładów ''Historia we współczesności'', dr Bartosz Macikowski wygłosił 18 maja 2011 r. wykład na temat Pasa Nadmorskiego w Gdańsku. Artykuł w ''Piśmie PG'' poświęcony tematyce poruszonej na wykładzie opracowany został przez autorów części urbanistycznej społecznej koncepcji zagospodarowania Pasa...
-
Analizy geotechniczne posadowienia budynku wysokościowego Sea Towers w Gdyni
PublicationW pracy przedstawiono sposób analizy współpracy fundamentów budynku zlokalizowanego bezpośrednio przy basenie portowym, o wysokości 141,6 m z podłożem gruntowym, sposób przyjęcia parametrów geotechnicznych i metodyki analiz numerycznych. Uzyskane wyniki prognozy numerycznej porównano z wynikami obserwacji geodezyjnych osiadania budynku.
-
Związki metaloorganiczne w glebach i osadach dennych - występowanie, przemiany i oznaczanie = Metallorganic compounds in soils and sediments - occurence, transformations and determination
PublicationW oparciu o literaturę poświęconą występowaniu i sposobom oznaczania wybranych związków metaloorganicznych rtęci, cyny, ołowiu, selenu i arsenu, przedstawiono źródła ich występowania, zastosowanie oraz mechanizm toksycznego działania. Przedstawiono podstawowe zagadnienia związane z analityką specjacyjną oraz scharakteryzowano podstawowe etapy procedury analitycznej, stosowanej do oznaczania związków metaloorganicznych (Hg, Sn,...
-
Analiza wahań zwierciadła płytkich wód podziemnych na obszarze sandru Brdy
PublicationW pracy przeprowadzono analizę wahań zwierciadła wód podziemnych na obszarze sandru Brdy, na podstawie obserwacji z 10 punktów pomiarowych sieci obserwacyjno badawczej wód podziemnych Polskiego Instytutu Geologicznego – Polskiego Instytutu Badawczego (PIG-PIB), publikowanych w Rocznikach Hydrogeologicznych w latach 2003–2016. Na podstawie danych z Roczników określono trendy położenia zwierciadła wód podziemnych, analizowano stany...
-
Matematyczne metody opracowania obserwacji A - sem. 2022/2023
e-Learning Courses -
Śródmieście Gdyni jako zabytek
PublicationW rozdziale omówiono ochronę wielkoprzestrzennych układów urbanistycznych na przykładzie śródmieścia Gdyni. Wprowadzona w 2007 ochrona śródmieścia Gdyni poprzez wpisanie układu do rejestru zabytków, dała możliwość podjęcia wielu różnych działań rewaloryzacyjnych i popularyzatorskich. Przeprowadzono też eksperymentalne działania związane z połączeniem mechanizmów ochrony i publicznego finansowania.Dzieło zbiorowe przygotowane przez...
-
Teoretyczne modelepniowych systemów aktywności mózgu
PublicationMonografię ''Pień mózgu - oś życia'' stworzyli specjaliści z zakresu medycyny, elektroniki, filozofii, matematyki i fizyki. Celem, który przyświecał autorom, było przybliżenie Czytelnikowi stanów klinicznych i towarzyszącym im mechanizmów, których niesprawność prowadzi do zaniku życia ludzkiego.Klinika czynności pnia mózgu człowieka wskazuje, że jest w nim zlokalizowane centrum utrzymania przytomności, czyli świadomości ilościowej....
-
O poprawianiu dokładności periodogramu - estymaty widma gęstości mocy stacjonarnego procesu stochastycznego
PublicationW pracy pokazano, jak dzięki odpowiedniemu wyborowi długości odcinka realizacji (obserwacji) dyskretnego stacjonarnego procesu stochastycznego można istotnie poprawić dokładność estymacji parametrów sinusoid w nim zawartych. Wybór ten oparto o nowy, tu zdefiniowany parametr nazwany indeksem widmowej koncentracji energii periodogramu. Rozważania zilustrowano wynikami eksperymentu numerycznego.
-
Wpływ wymiany szyn na dalszy proces eksploatacji nawierzchni
PublicationW wyniku robót torowych prowadzonych na linii nr 131 Chorzów Batory - Tczew powstanie odcinek doświadczalny, który umożliwi analizę i ocenę wpływu wymiany szyn na dalszy proces eksploatacji nawierzchni. W artykule omówiono dotychczasowe wyniki oceny trwałości eksploatacyjnej szyn oraz przedstawiono zarys koncepcji dalszych badań i obserwacji.
-
O poprawianiu dokładności periodogramu - estymaty widma gęstości mocy stacjonarnego procesu stochastycznego
PublicationW pracy pokazano, jak dzięki odpowiedniemu wyborowi długości odcinka realizacji (obserwacji) dyskretnego stacjonarnego procesu stochastycznego można istotnie poprawić dokładność estymacji parametrów sinusoid w nim zawartych. Wybór ten oparto o nowy, tu zdefiniowany parametr nazwany indeksem widmowej koncentracji energii periodogramu. Rozważania zilustrowano wynikami eksperymentu numerycznego.
-
Hydraulic loss coefficients in 1D Flows
PublicationWyniki pomiarów pokazują, że współczynniki strat energii mechanicznej dla przepływów niejednostajnych i nieustalonych przyjmują wartości zdecydowanie większe, niż tradycyjnie przyjmowane dla ruchu jednostajnego. W pracy przedstawiono ananizę możliwych przypadków ruchu oraz wyniki obserwacji laboratoryjnych.Wykazano, że wzrost wartości współczynników jest uzasadniony fizykalnie.Zaproponowano robocza metodą ich korygowania.
-
Ocena możliwości wykorzystania symulatorów w zdalnym nauczaniu do realizacji ćwiczeń laboratoryjnych
PublicationZastosowanie symulatorów edukacyjnych pozwala nie tylko na podniesienie efe-ktywności procesu nauczania, lecz również otwiera cały wachlarz nowych moż-liwości, włącznie z możliwością zdalnego nauczania, pracy z systemami dalekoprzekraczającymi zestawy dostępne w klasycznych laboratoriach oraz obserwa-cji wydarzeń trudnych do obserwacji w rzeczywistych urządzeniach.
-
Badania i możliwości adaptacji ruin kościoła we Wocławach
PublicationW artykule opisano wyniki badań ruin kościoła z XIV w. we Wocławach. Przedstawiono też problem adaptacji ruin obiektów sakralnych, możliwości zagospodarowania oraz możliwe warianty odbudowy ruin. Po wojnie trzynastoletniej kościół został rozbudowany o nawy boczne i wieżę. Układ świątyni został zredukowany w czasie odbudowy po pożarze w XVIII w. W czasie II wojny światowej kościół został zniszczony. Do dziś nie został odbudowany...
-
Krótka historia paradoksu petersburskiego i jego wczesnych rozwiązań
PublicationCzym tak naprawdę jest paradoks petersburski? Z pozoru proste zagadnienie mające już ponad 300 lat było przedmiotem rozważań wielu wybitnych matematyków. Jednak jego geneza i wpływ na rozwój różnych dziedzin matematyki nie są szeroko znane. Niniejszy referat ma na celu przybliżenie historii oraz pierwszych prób rozwiązania tego ciekawego zagadnienia, które na zawsze zmieniło postrzeganie świata nie tylko przez matematyków, ale...
-
Renowacja systemu drenażowego zapory w Żurze
PublicationPrzedstawiono problemy związane z kształtowaniem się filtracji w zaporze ziemnej Żur oraz przyjęte rozwiązanie, mające na celu obniżenie ciśnień filtracyjnych w korpusie i podłożu zapory. Omówiono zrealizowany wariant odwodnienia, polegający na wykonaniu szeregu studni wierconych w podstawie skarpy odpowietrznej. Wyniki obserwacji piezometrycznych wskazują na osiągnięcie zamierzonego celu.
-
Metoda diagnozowania korozji metali na podstawie pomiarów szumów elektrochemicznych
PublicationPrzedstawiono metodę diagnozowania korozji metali przy wykorzystaniu wyników obserwacji fluktuacji prądu i napięcia (szumów elektrochemicznych), powodowanych reakcjami chemicznymi występującymi na powierzchni metali. Przedstawiono sposób pomiaru szumów elektrochemicznych za pomocą przygotowanych systemów pomiarowych. Podano wybrane metody analizy obserwowanych szumów, stosowane do oceny szybkości oraz rodzaju procesów korozji.
-
Heinrich Rickert als Danziger, Deutscher und Denker
PublicationDie zalreichen deutschen Denker auf dem Gebiet heutigen Polens, wie Heinrich Rickert aus Danzig bilden der Geschichte, die Tradizion der Platze, eine Geschichte mit der man sich auseinandersetzen sollte. Diese Beitrag zeigt wie sich die polnischen Geschichte Philosophen bemuhen, die Auffassungen ausgewahlter deutscher Denker, nach Beispiel Rickerts,und das Verstandnis ihrer Ansichten im Bezug zu deren Weltanschaungen und...
-
Lucyna Holec-Gąsior dr hab. inż.
People -
Esej o człowieku
PublicationArtykuł ma za zadanie przybliżenie życia i twórczości Ernsta Cassirera, ważnej filozoficznej postaci pierwszej połowy XX wieku. Twórca teorii form symbolicznych, wybitny historyk filozofii i idei, teoretyk poznania naukowego w jego rozmaitych formach wart jest przypomnienia szczególnie w obliczu niedawnej publikacji jego bardzo obszernej spuścizny rękopiśmienniczej. Osiemnastotomowe wydanie ineditów znacząco zmienia dotychczasowe...
-
Joanna Poczobut dr inż. arch.
People -
Noise measurement setups for fluctuations enhanced gas sensing
PublicationObserwacje zjawisk fluktuacyjnych w sensorach gazów pozwala zwiększyć czułość i selektywność detekcji gazów. Problemem jest budowa prostego i taniego systemu do obserwacji tych zjawisk. W artykule przedstawiono dwa systemy pozwalające na obserwacje szumów w rezystancyjnych sensorach gazów dostępnych na rynku i prototypowych, wykonanych z warstwy nanocząstek o zbliżonych wymiarach.
-
Systemy automatycznej kontroli wymiarowej mikroziaren ściernych
PublicationPrzedstawiono wyniki badań wymiarów mikroziaren ściernych stosowanych w operacjach docierania. Badania z wykorzystaniem analizatora laserowego poprzedziła analiza mikroskopowa rzutów mikroziaren na płaszczyznę obserwacji. Analizowano wymiary (długość i szerokość) oraz pole powierzchni jego obrazu. Pomiary przeprowadzono na skomputeryzowanym stanowisku, wyposażonym w mikroskop stereoskopowy, kamerę CCD i oprogramowanie MultiScan...
-
Mechanism of hydrogen enhanced-cracking of high-strength steel welded joints
PublicationPrzedstawiono badania podatności stali spawalnej o wysokiej wytrzymałości S690Q i jej złączy spawanych na niszczenie wodorowe w środowisku wody morskiej przy polaryzacji katodowej. Na podstawie wyników próby rozciągania z małą prędkością odkształcania i obserwacji przełomów próbek na SEM wskazano mechanizm pękania wspomaganego wodorem badanej stali i złączy spawanych.
-
Technologia drewna, Małe statki i jachty, sem 5, lato 22 (O:098640)
e-Learning CoursesKurs będzie realizowany w sem. letnim 2022. Celem przedmiotu jest przedstawienie wybranych zagadnień związanych z zastosowaniem i przetwarzaniem drewna do budowy jednostek pływających. W ramach przedmiotu zostaną poruszone zagadnienia materiałowe, podstawowych procesów wytwarzania, w tym metrologiczne a także wybranych problemów łączenia i konserwacji drewna.
-
Jak wykraść złoto smokowi? - uczenie ze wzmocnieniem w świecie Wumpusa
PublicationNiniejszy rozdział zawiera łagodne wprowadzenie do problematyki uczenia ze wzmocnieniem, w którym podstawy teoretyczne wyjaśniane są na przykładzie przewodnim, jakim jest zagadnienie nauczenia agenta poruszania się w świecie potwora o imieniu Wumpus (ang. Wumpus world), klasycznym środowisku do testowania logicznego rozumowania agentów (problem nietrywialny dla algorytmów uczenia ze wzmocnieniem). Przedstawiona jest główna idea...
-
Wyniki testowania probabilistycznych modeli procesu pomiarowego
PublicationPrzedstawiono wyniki testowania dwóch probabilistycznych modeli procesu pomiarowego – prostego oraz złożonego z etapów obserwacji i restytucji. Testowanie przeprowadzono za pomocą zestawu miar ryzyka. W wyniku testów modelu dwuetapowego wykryto efekt kumulowania się prawdopodobieństwa na krańcach zakresu pomiarowego podczas inwersji funkcji rozkładu warunkowego, pogarszający dokładność oceny ryzyka dla większych wartości niepewności...
-
Matematyczne Metody Opracowania Obserwacji Geodezyjnych (zima 2022/2023)
e-Learning Courses -
Sensory obserwacji satelitarnej (Satellite Observation Sensors) 22/23
e-Learning Courses -
Sensory obserwacji satelitarnej (Satellite Observation Sensors) 23/24
e-Learning Courses -
Modern era fortifications as public places = Fortyfikacje nowożytne jako miejskie przestrzenie publiczne
PublicationFortyfikacje nowożytne tworzyły systemy budowli ziemnych oraz szerokich fos. Ich powierzchnia przekraczała często powierzchnię otoczonego nimi miasta. Utrata znaczenia obronnego oraz tendencje do wzrostu terytorialnego miast spowodowały konieczność zmiany funkcji fortyfikacji. W XIX i XX wieku były one rozbierane, a ich tereny zabudowywane lub przekształcane w przestrzeń publiczną. Zagospodarowanie i konserwacja tych obiektów...
-
Matematyczne metody opracowania obserwacji geodezyjnych B (2023/2024 - lato)
e-Learning CoursesKurs do przedmiotu "Matematyczne metody opracowania obserwacji geodezyjnych B (2023/2024 - lato)" dla studentów kierunku geodezja i kartografia, II stopień, semestr III, 2023/2024 - lato
-
Dynamic stability and spatial heterogeneity in the indyvidual-based modelling of a Lotka-Volterra gas.
PublicationPrzedstawiono wyniki symulacji systemu drapieżnik-ofiara. Dynamika populacji jest opisana oddziaływaniami typu Lotki Volterry ala uzyskane efekty przestrzenne różnia się od rozwiązań równań Lotki Voltery. Do analizy wyników symulacji uzyto miary entropii i korelacji. Entropia oscyluje w rytmie zgodnym z całą populacją, zaś średnie wartości korelacji skrosnej są zależne od rozmiarów okna obserwacji.
-
Wpływ relacji człowieka i przyrody na obraz miasta
PublicationWzajemne relacje zachodzące między człowiekiem a otaczającym go światem przyrody są jednym z czynników odgrywających rolę w procesie powstawania miast. Zrozumienie obrazu miasta w kolejnych epokach możliwe jest dzięki przyjrzeniu się tym stosunkom w kontekście filozoficznym, etycznym i socjologicznym obowiązujących w danym czasie. Przez większość czasu nadrzędnym czynnikiem warunkującym zależność natura-miasto było zakorzenione...
-
Badanie wpływu przydziału rdzeni procesora na wydajność w środowisku skonteneryzowanym oparte na wybranym serwerze warstawy pośredniej w IoT - obserwacje i rekomendacje
PublicationInternet Rzeczy cieszy się coraz większym zainteresowaniem. Za- gadnienie to jest szeroko omawiane zarówno w środowisku nauko- wym, jak i w przemyśle. Ze względu na jego wielowymiarowość jest wiele aspektów, które wymagają zbadania i obserwacji. Jednym z nich jest efektywne wdrożenie i uruchomienie aplikacji w kontekście wykorzystania zasobów sprzętowych. Innym, równie istotnym, za- gadnieniem jest konteneryzacja platform IoT....
-
Systemy monitorowania stanu technicznego konstrukcji na przykładzie dwóch mostów
PublicationW pracy zaprezentowano przykłady systemów monitorowania stanu technicznego konstrukcji mostowych. Przedstawione systemy monitorowania obiektów mostowych oraz analiza uzyskanych wyników badań potwierdzają zasadność ich stosowania w konstrukcjach inżynierskich. To właśnie dzięki stałej obserwacji zachowania się konstrukcji jesteśmy w stanie określać aktualną kondycję obiektu, stopień jej wytężenia, szacować jej żywotność, a także...
-
Zdalne monitorowanie stanu obiektów w systemach interaktywnej symulacji rozproszonej.
PublicationW artykule omówiony został model zarządzania informacją o stanie obiektów w systemie symulacji rozproszonej czasu rzeczywistego. Przedstawiona została nowa metoda filtracji komunikatów wymienianych przez obiekty symulacji w systemie, tworzącym scenę dynamiczną. Proponowana metoda uwzględnia takie pojęcia jak ''kontekst'' zdarzenia, ''jakość wizualizacji'' po stronie obserwatora, ''zobowiązań'' obiektów dotyczących ich przyszłego...
-
Badania statyczne i dynamiczne pali, zasady stosowania i metody interpretacji
PublicationBadania terenowe nośności pali wykonywane są od bardzo dawna i stanowią jedyną miarodajną ocenę rzeczywistej możliwości przekazywania obciążeń na podłoże gruntowe. Tradycyjną metodą wykorzystywaną w praktyce inżynierskiej są próbne obciążenia statyczne (SPLT). Uwzględniając czynniki techniczne, ekonomiczne i czas, obecnie coraz częściej, już na skalę codziennej praktyki inżynierskiej, wykorzystuje się badania dynamiczne, np. typu...
-
Pitting corrosion characterization by electrochemical noise measurements on asymmetric electrodes
PublicationKorozja wżerowa stali nierdzewnych może być wykryta za pomocą obserwacji charakterystycznych sygnałów prądowych, jakie płyną między dwiema elektrodami metalowymi. W artykule proponuje się wyznaczanie funkcji bispektrum dla układu dwóch elektrod o istotnie różnej powierzchni narażonej na występowanie korozji. Proponowana metoda została zastosowana do analizy korozji wżerowej stali 0H18N9 powstającej pod wpływem 1M roztworu FeCl3...
-
A note on the strength and minimum color sum of bipartite graphs
PublicationSiłą grafu G nazywamy najmniejszą liczbę całkowitą s, taką że istniej pokolorowanie grafu G, o minimalnej sumie przy użyciu kolorów {1,...,s}. W pracy pokazano, że w grafach dwudzielnych stopnia D zachodzi oszacowanie s <= ceil(D/2) + 1. Z obserwacji tej wynika algorytm wielomianowy do obliczania siły i sumy chromatycznej w grafach dwudzielnych stopnia co najwyżej 4.
-
Diagnostyka techniczna węzła zawieszenia ślizgacza odbieraka prądu.
PublicationDiagnostyka techniczna sieci trakcyjnej jest realizowana od wielu lat. Jednak diagnostyka odbieraków prądu jest w fazie rozwoju np. badanie ich charakterystyk statycznych. W artykule zaprezentowano nową metodę badania węzła zawieszenia ślizgacza odbieraka prądu. Zaprezentowano teoretyczne rozważania dotyczące omawianego problemu. Zaproponowano metodę badań diagnostycznych, opartą na obserwacji charakteru drgań sieci pobudzanej...
-
Les Lumieres contre la torture et la peine de mort
PublicationArtykuł napisany jest w języku francuskim. Jego tytuł w polskim tłumaczeniu brzmi: "Oświecenie wobec tortur i kary śmierci". Artykuł ten dotyczy stanowiska Woltera, Monteskiusza oraz Beccari wobec nadużyć systemu prawnego przedrewolucyjnej Francji. Analizuje on ich krytyczne stanowisko wobec tych nadużyć i bada filozoficzne teorie, jakimi posługują się Wolter i Monteskiusz w celu zniesienia tortur, oraz Beccaria, który nie tylko...
-
Ekonomiczne aspekty strategii utrzymania torów kolejowych
PublicationW ostatnich lata coraz więcej uwagi poświęca się analizie kosztów cyklu życia (Life Cycle Cost - LCC) w zakresie planowania strategii utrzymania infrastruktury kolejowej. Większość prac ogranicza się jednak do kosztów bezpośrednich (planowanych), takich jak budowy, konserwacji, odnowienia i utylizacji. Takie podejście prowadzi do niedoszacowania kosztów wynikających z niskiej jakości geometrii toru. W artykule przedstawiona została...
-
MPSs Marine port surveillance and observation system using mobile unmanned research units
ProjectsProject realized in Department of Geoinformatics according to NOR/POLNOR/MPSS/0037/2019-00 agreement from 2021-02-01
-
Pojęcie ideologii. Między krytyką ekonomii politycznej a hermeneutyką podejrzeń
PublicationMonografia stanowi systematyczne i historyczne opracowanie zagadnienia "ideologii". Pojęcie to narodziło się pierwotnie w kontekście inspirowanej filozofią Hegla krytyki klasycznej ekonomii politycznej (Smith, Ricardo, Say) jako określenie na pewną społecznie reprodukowaną iluzję poznawczą , utrwalającą nierówności władzy i dominację klasową. Uległo ono następnie semantycznym przekształceniom i w drugiej połowie XX wieku stało...
-
Theory of recognition in a historical perspective. Axel Honneth's Anerkennung: Eine europäische Ideengeschichte
PublicationThe article discusses Honneth excursion into the realm of the history of ideas. This time Honneth decides to laser it on the notion of "recognition" in three different cultural areas and three different traditions: French, English, and German. The article discusses Honneth's persepctive and attempts at finding the common thread that would link three aforementioned traditions.
-
Sprawiedliwość agrarna Thomasa Paine’a i narodziny dyskursu egalitarnego
PublicationThomas Paine napisał Sprawiedliwość agrarną we Francji w roku 1796 w szczycie posttermidoriańskiego zamętu, krótko po wprowadzeniu Konstytucji Roku III. W swoim ostatnim wielkim pamflecie domaga się opodatkowania wielkich właścicieli ziemskich i pomoc biednym oraz wywłaszczonym. Artykuł krótko omawia propozycję Paine i analizuje jego strukturę argumentacyjną. Stawiam w niej tezę, że Paine nie do końca świadomie przechodzi od dowodu...