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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-15 z 15
    Tytuł:
    Kilka uwag o Tezie Churcha i Aksjomacie Hilberta
    Some remarks concerning Church's Thesis and Hilbert's Axiom
    Autorzy:
    Olszewski, Adam
    Powiązania:
    https://bibliotekanauki.pl/articles/690900.pdf
    Data publikacji:
    2006
    Wydawca:
    Copernicus Center Press
    Tematy:
    Church's Thesis
    Hilbert's Axiom
    philosophy of mathematics
    Opis:
    Some facts concerning Church's Thesis are first reminded, then Hilbert's Axiom of Thought is formulated. Hilbert proposed this axiom in 1905. He believed that it belongs to a domain of knowledge that is prior with respect to mathematics. An attempt is made to apply this axiom to some considerations concerning Church's Thesis
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2006, 38; 114-126
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Podmiot matematyczny Hilberta
    Hilbert’s mathematical subject
    Autorzy:
    Brożek, Bartosz
    Olszewski, Adam
    Powiązania:
    https://bibliotekanauki.pl/articles/690816.pdf
    Data publikacji:
    2013
    Wydawca:
    Copernicus Center Press
    Tematy:
    philosophy of mathematics
    mathematical subject
    David Hilbert
    Opis:
    The aim of this paper is threefold. First, on the basis of Gordan’s problem and Hilbert’s basis theorem we want to say a few words about the formation of Hilbert’s philosophy of mathematics in the late nineteenth and early twentieth centuries. Second, we attempt to reconstruct Hilbert’s Program highlighting the role of reasoning which is not conducted within the axiomatic system. Third, we formulate and try to justify the claim that Hilbert’s Program assumes some metaphysics of the subject that – in general terms – is identical with Kant’s transcendental subject.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2013, 53; 93-132
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Matematyka czy teologia? Hilbert, Gordan i początki formalizmu
    Mathematics or Theology? Hilbert, Gordan and the Beginning of the Formalism
    Autorzy:
    Olszewski, Adam
    Powiązania:
    https://bibliotekanauki.pl/articles/690964.pdf
    Data publikacji:
    2012
    Wydawca:
    Copernicus Center Press
    Tematy:
    philosophy of mathematics
    theology
    David Hilbert
    Paul Gordan
    formalism
    Opis:
    The aim of the article is two-fold: first, to analyse the impact Gordan’s problem had on Hilbert’s Programme and, secondly, to discuss, mainly from the theological standpoint, Gordan’s phrase: ”This is not Mathematics, this is Theology”.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2012, 51; 131-149
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identyfikacja wybranych parametrów źródeł wahań napięcia z wykorzystaniem ulepszonej empirycznej transformaty falkowej
    Application of an enhanced empirical wavelet transform to determine selected parameters of sources of voltage fluctuations
    Autorzy:
    Kuwałek, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/268657.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    EEWT
    EWT
    transformata Hilberta
    wahania napięcia
    Hilbert transform
    voltage fluctuation
    Opis:
    W artykule przedstawiono wyniki wstępnych badań dotyczących nowatorskiej metody pozyskiwania informacji o wybranych parametrach źródeł wahań napięcia z wykorzystaniem ulepszonej empirycznej transformaty falkowej. Dla przeprowadzonych badań założono, że oddziaływanie źródeł wahań napięcia można identyfikować jako modulację amplitudową sygnału napięcia. Uwzględniając to założenie, daną wejściową dla ulepszonej empirycznej transformaty falkowej była obwiednia sygnału napięciowego, wyznaczona z zastosowaniem transformaty Hilberta. Poprawność działania metody zweryfikowano w oparciu o wykonane symulacje numeryczne dla sygnału deterministycznego z wykorzystaniem programu MATLAB.
    The article presents the results of preliminary research on an innovative method of analysis of voltage fluctuation sources with the use of an enhanced empirical wavelet transform. For the tests, it was assumed that the influence of voltage fluctuation sources can be identified as the amplitude modulation of the voltage signal. Given this assumption, the input data for the enhanced empirical wavelet transform was a voltage signal envelope derived from the use of the Hilbert transform. The correctness of the method was verified on the basis of performed simulation tests for a deterministic signal using the MATLAB program.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2019, 66; 33-36
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Time and an university or universal being of Professor Krzysztof Maurin (14 July 1923 – 14 January 2017)
    Autorzy:
    Czyż, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/703618.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    mathema
    logos
    Heidegger's Zeit
    Humboldt reform
    Riemann's habilitation
    Hilbert space
    23 Hilbert Problems
    Copenhagen School
    religious Shafarevich's view on mathematics
    Hermann Weyl's ideas
    Opis:
    Krzysztof Maurin was an extremely versatile intellectual and academic teacher. He worked in mathematics (monograph “Methods of Hilbert space”), philosophy (publication “Karl Jaspers – a philosopher of truthfulness”), theology (essay “The Son of Man as the foundation of great religions”) as well as in psychology and he taught in the Faculty of Physics of the Warsaw University: I was taught by Him during a second half of His life since the beginning of the 70s. Now we are seeing and presenting his various activities in the time analysed by him in senses of quantum and cosmic physics, Heidegger's philosophy,  Schweitzer's theology and human and humanitarian psychology. Therefore we remind below his lectures on Medieval Universities, Humboldt's reform, the XIX century mathematics and indeterministic interpretation of quantum mechanics. Then, according to a chronological order, we are switching our attention to Krzysztof Maurin himself as a student of university underground courses during the time do Nazists occupation in Poland, then as a silent university employee resisting communist totalitarian ideology and after 1956, as a methodical professor of the University of Warsaw collaborating with Western Europe scientists such as Lårs Gårding, Werner Heisenberg, Rene Thom and Friedrich von Weizsacker as well as admiring especially intellectual achievements of Hermann Weyl and Martin Heidegger. To the end of biographical considerations we can observe successes and obstacles encountered by Krzysztof Maurin while He has tended to conciliate various or opposite ways of philosophical understanding or social behaving by his beloved thinkers.
    Źródło:
    Nauka; 2018, 4
    1231-8515
    Pojawia się w:
    Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zdalna diagnostyka tafli szklanej z zastosowaniem elementów analizy sygnałów HILBERTA
    Remote diagnostics of glass pane with application of HILBERT signal analysis
    Autorzy:
    Tlaga, J.
    Tlaga, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/327404.pdf
    Data publikacji:
    2004
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    diagnostyka szkła
    transformacja Hilberta
    detektor akustyczny
    glass diagnostics
    Hilbert transform
    acoustic detector
    Opis:
    W referacie przedstawiono wyniki badań nad konstrukcją detektora wykrywającego moment pęknięcia tafli szklanej drogą analizy sygnału dźwięku. W pierwszym podejściu zastosowano meto-dę JTFA (ang. Joint Time-Frequency Fourier Analysis) do analizy procesu dezintegracji szkła. Opracowano uproszczony model pęknięcia szkła i pierwsze algorytmy diagnostyczne. W kolejnym kroku opracowano metodę diagnostyczną wykorzystującą transformację Hilberta do wydobywania elementów sygnałów przenoszących informację o zjawisku pękania szkła. Prace te zakończyły się opracowaniem metody diagnostycznej opartej na systemie eksperckim, możliwej do implementacji w mikrokontrolerach średniej klasy.
    The paper presents research results on design of detector for detection of glass pane brake, based on analysis of acoustic signal. Joint Time-Frequency Analysis (JTFA) has been applied in first attempt to analyze glass decomposition process. Simplified glass break model and first diagnostic algorithms has been evaluated. Further research led to development of diagnostic method applying Hilbert transformation to extract signal components characterizing glass break phenomena. The research has been finalized with evaluation of diagnostic method based on expert system, possible to be implemented in mid-class microcontroller.
    Źródło:
    Diagnostyka; 2004, 30, T. 2; 133-136
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II
    Mathematical Proof from the Formalistic Viewpoint. Part II
    Autorzy:
    Wójtowicz, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/2013331.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    program Hilberta
    platonizm Fregego
    intuicja matematyczna
    Hilbert’s program
    Frege’s Platonism
    mathematical intuition
    Opis:
    In the second part I discuss Frege’s and Hilbert views on the nature of mathematical proof, in particular their discussion concerning the problem of implicit definitions. I also discuss Hilbert’s program and conclude with some remarks concerning the problem of the “decline of intuition” in the formalistic conception of mathematical proof.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 2; 139-153
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Próbkowanie sygnałów diagnostycznych. Część 3. Próbkowanie w przestrzeni Hilberta z bazami wielomianowymi za pomocą nieklasycznych jąder
    Sampling the diagnostic signals. Part 3. Sampling in the Hilbert space with polynomials basis using non clasical kernel
    Autorzy:
    Syroka, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/328171.pdf
    Data publikacji:
    2007
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    próbkowanie sygnałów
    przestrzeń Hilberta
    bazy wielomianowe
    nieklasyczne jądro reprodukujące
    sampling signals
    Hilbert space
    polynomials basis
    reproducing kernel
    Opis:
    W pracy wyprowadzono regułą Cristoffela - Darboux oraz dokonano analizy próbkowania sygnałów diagnostycznych przy wykorzystaniu jądra Legendr'a, Czebyszewa, Laguerre'a i Hermite'a. Podano metodykę wyprowadzania jąder reprodukujących w bazach opartych o klasyczne wielomiany ortogonalne.
    In this article removaled the Cristoffela - Darboux rule. The analysis of the sampling diagnostic signals using Legendr's, Czebyszew's, Laguerre's and Hermite's kernals was made. Methodology of derivation of reproducing kernels in basics, based on clasical ortogonal polynomial.
    Źródło:
    Diagnostyka; 2007, 2(42); 35-41
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Próbkowanie sygnałów diagnostycznych. Część 2. Próbkowanie w przestrzeni Hilberta z bazami harmonicznymi za pomocą nieklasycznych jąder
    Sampling the diagnostic signals. Part 2. Sampling in the Hilbert space with harmonic basis using non clasical kernel
    Autorzy:
    Syroka, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/328199.pdf
    Data publikacji:
    2007
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    próbkowanie sygnałów
    przestrzeń Hilberta
    bazy harmoniczne
    nieklasyczne jądro reprodukujące
    sampling signals
    Hilbert space
    harmonic basis
    reproducing kernel
    Opis:
    W pracy dokonano analizy próbkowania sygnałów diagnostycznych przy wykorzystaniu jądra Dirichleta, Fejere'a, de la Vallee Poussina i Poissona. Pokazano pełne matematyczne wyprowadzenie tych jąder; pierwsze trzy jądra są ze sobą powiązane. Podano zależności między nimi oraz ich przebiegi graficzne.
    In this article the analysis of the sampling diagnostic signals using Dirichlet's, Fejer's, Poisson's and de la Vallee Poussin's kernels was made. The full derivation of those kernels have given; first three off them one connected. Dependences between them and their graphical representation have also given in this article.
    Źródło:
    Diagnostyka; 2007, 2(42); 27-34
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wirtualny stetoskop do badania tonów podstawowych serca
    Virtual stethoscope for study of the first and second heart sounds
    Autorzy:
    Wilk, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/158003.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    tony podstawowe serca
    transformata falkowa
    transformata Hilberta
    przyrząd wirtualny
    first and second heart sounds
    wavelet transform
    Hilbert transform
    virtual instrument
    Opis:
    W artykule zaprezentowano wirtualny stetoskop, który został opracowany w środowisku LabVIEW do cyfrowej rejestracji i analizy (w post procesie) tonów oraz szmerów serca. Sygnały akustyczne serca są rejestrowane za pomocą stetoskopu z mikrofonem. W pracy szczegółowo omówiono metodę detekcji tonów podstawowych serca na podstawie analizy falkowej sygnału fonokardiograficznego (tj. sygnału FKG obejmującego tony i szmery serca).
    This paper describes a virtual stethoscope designed in LabVIEW environment for use in heart sounds recording and off-line analysis. Heart sounds and murmurs are recorded by a microphone built into the stethoscope. A method for detection of the first and second heart sounds is presented in details. This method is based on wavelet analysis of PCG signal (i.e. heart sounds and murmurs).
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 12, 12; 46-47
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Próbkowanie sygnałów diagnostycznych. Część 1. Próbkowanie w przestrzeni Hilberta z reprodukującym jądrem Shanona
    Sampling the diagnostic signals. Part 1. Sampling in the reproducing kernel Hilbert space with Shanon kernel
    Autorzy:
    Syroka, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/328197.pdf
    Data publikacji:
    2007
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    próbkowanie sygnałów
    przestrzenie sygnałów
    przestrzeń Hilberta
    jądro reprodukujące
    jądro Shanona
    sampling signals
    signals space
    Hilbert space
    reproducing kernel
    Shanon kernel
    Opis:
    W pracy przedstawiono matematyczny opis sygnałów diagnostycznych przestrzeni Hilberta oraz sposób konstrukcji tej przestrzeni. Podano teorię jąder reprodukujących w zastosowaniu do próbkowania sygnałów diagnostycznych oraz zapis klasycznego twierdzenia o próbkowaniu Shanona wykorzystującego teorię jąder reprodukujących.
    In this article is defined the diagnostic signals in the reproducing kernel Hilbert space and the way this space is constructed. The theory of the reproducing kernel Hilbert space and Shanon theorem in this space were given.
    Źródło:
    Diagnostyka; 2007, 2(42); 19-26
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ciągle żywa hańba rasowa : kobiety jako zdobycz
    Autorzy:
    Kledzik, Maciej.
    Powiązania:
    Rzeczpospolita 2005, nr 36. Dod. "Plus Minus", s. A10
    Data publikacji:
    2005
    Tematy:
    Gaevert, Thomas
    Hilbert, Martin
    Domy publiczne Niemcy 1933-1945 r. w filmie
    Niemieckie nazistowskie obozy koncentracyjne
    Film
    Tematy i motywy
    Film dokumentalny niemiecki 21 w.
    Opis:
    Na marginesie filmy dokumentalnego T. Gaeverta i M. Hilberta "Kobiety jako zdobycz".
    Dostawca treści:
    Bibliografia CBW
    Artykuł
    Tytuł:
    Sutenerzy spod znaku SS
    Autorzy:
    Smółka, Anna.
    Powiązania:
    Gazeta Wyborcza 2005, nr 40, s. 10-11
    Data publikacji:
    2005
    Tematy:
    Gaevert, Thomas
    Hilbert, Martin
    Domy publiczne Niemcy 1933-1945 r. w filmie
    Wojna 1939-1945 r. zagadnienia w filmie
    Niemieckie nazistowskie obozy koncentracyjne
    Film
    Tematy i motywy
    Film dokumentalny niemiecki tematyka 21 w.
    Opis:
    Prostytucja w obozach koncentracyjnych. Na marginesie filmu dokumentalnego T. Gaeverta i M. Hilberta "Kobiety jako łup" w programie 1 niemieckiej telewizji publicznej.
    Dostawca treści:
    Bibliografia CBW
    Artykuł
    Tytuł:
    Wstęp do metafizyki Stanisława Ignacego Witkiewicza
    Autorzy:
    Kościuszko, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/521844.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Warmińsko-Mazurski w Olsztynie
    Tematy:
    S.I. Witkiewicz
    L. Chwistek
    E. Husserl
    H. Cornelius
    jedność- w-wielości
    implikacja
    światopogląd
    metafizyka
    nauk
    aktualna nieskończoność
    infinitezymale
    G. Cantor
    prawo wielkich liczb
    synteza nauk
    unifikacja
    zagadnienie psychofizyczne
    metodologia filozofii
    intuicjonizm
    Brouwer
    formalizm
    Hilbert
    K. Goedel
    ciągłość czasu
    czas całości istnienia
    redukcjonizm
    monadologia
    emergencja
    Leibnitz
    Opis:
    Autor niniejszego artykułu omawia Witkiewiczowskie pojęcie metafizycznej implikacji, spekulatywny charakter metafizyki wynikający z używania eksperymentów myślowych, metodę metafizycznej dedukcji pojęć, zadania metafizyki, stosunek metafizyki do badań empirycznych, stosunek metafizyki do nauki, krytykę fizykalizmu, stanowisko monadologiczne.
    Źródło:
    Humanistyka i Przyrodoznawstwo; 2016, 22; 207-219
    1234-4087
    Pojawia się w:
    Humanistyka i Przyrodoznawstwo
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Doktoraty Polaków w Getyndze. Matematyka
    Doctoral dissertations of Poles at the Georg August University of Göttingen: Mathematics
    Autorzy:
    Ciesielska, Danuta
    Maligranda, Lech
    Zwierzyńska, Joanna
    Powiązania:
    https://bibliotekanauki.pl/articles/1398117.pdf
    Data publikacji:
    2019-12-31
    Wydawca:
    Polska Akademia Nauk. Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów
    Tematy:
    Władysław Bortkiewicz
    Michał Feldblum
    Jan Kroó
    Hugo Steinhaus
    Arnold Walfisz
    Georg-August-Universität Göttingen
    David Hilbert
    Edmund Landau
    Wilhelm Lexis
    Woldemar Voigt
    historia matematyki w XIX i XX w.
    Ladislaus von Bortkewitsch
    Michael Feldblum
    Jan Kroo
    Georg August University of Göttingen
    history of mathematics in the 19th and 20th centuries
    Opis:
    The article provides information about the documents held in the archives of the Georg August University of Göttingen (Georg-August-Universität Göttingen), pertaining to the efforts of Poles who wanted to obtain a doctorate in mathematics. In the years 1892–1922, 10 Poles were awarded doctorates in exact sciences in Göttingen, including five in mathematics. Michał Feldblum from Warsaw, Hugo Steinhaus from Jasło and Arnold Walfisz from Warsaw received doctorates in pure mathematics, Władysław Bortkiewicz from Saint Petersburg in mathematical statistics and Jan Kroo from Kraków in mathematical physics. From the documents related to these five doctoral proceedings, the authors have extracted the information that has not been hitherto published, including the opinions on doctoral dissertations (by Hilbert, Landau, Lexis and Voigt), exam questions, opinions on the results achieved by doctoral students and handwritten résumés. The documents have been translated into Polish.
    Źródło:
    Analecta. Studia i Materiały z Dziejów Nauki; 2019, 28, 2; 73-116
    1509-0957
    Pojawia się w:
    Analecta. Studia i Materiały z Dziejów Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-15 z 15

      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