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ę "Urbańczyk, Piotr" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Koncepcja automatyzacji Leonarda Torresa y Quevedo jako przyczynek do rozwoju computer science
    Autorzy:
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/429260.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    Leonardo Torres y Quevedo
    analytical engine
    artificial intelligence
    robotics
    automatics
    computer science
    Opis:
    The aim of this article is to indicate that the ideas of Leonardo Torres y Quevedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot, the importance of algorithm and last but not least floating point arithmetic.
    Źródło:
    Semina Scientiarum; 2015, 14
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Copernicus Festival 2016: Beauty
    Autorzy:
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/690796.pdf
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Opis:
    Copernicus Festival, held annually, aims to demonstrate various dimensions of the relationship between science and culture. The third edition of the festival was devoted to the concept of beauty. During the six days of the festival about 7 thousand people took part in lectures, debates, discussions, workshops, concerts and other events.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2016, 61; 201-210
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    20th Cracow Methodological Conference: Philosophy in Science
    Autorzy:
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/690798.pdf
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Opis:
    The 20th Cracow Methodological Conference took place on May 30-31, 2016, at the Polish Academy of Arts and Sciences in Kraków. The meeting brought together physicists, cosmologists, mathematicians and philosophers interested in research program called philosophy in science started and popularized by Michał Heller. It is worth noting that the 20th Cracow Methodological Conference was dedicated to Professor Heller and can be considered as a contribution to the celebration of the 80th anniversary of his birthday.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2016, 61; 189-200
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika i teologia
    Autorzy:
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/691156.pdf
    Data publikacji:
    2014
    Wydawca:
    Copernicus Center Press
    Tematy:
    recenzja
    logika
    teologia
    Opis:
    Recenzja książki Logic in Theology, red. B. Brożek, A. Olszewski, M. Hohol, Copernicus Center Press, Kraków 2013, ss. 290.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2014, 57; 143-151
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    “Internal” Problems of Normative Theories of Thinking and Reasoning
    Autorzy:
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/942952.pdf
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Tematy:
    normative theories of thinking and reasoning
    logic
    probability
    theory
    rational choice theory
    Opis:
    This paper provides moderate criticism of so-called normative theories of thinking and reasoning. The discussion focuses on the problems of idealization, adequacy, inconsistent yet non-trivial logics, logical omniscience etc. I called them “internal” to the normative approach, because they stem from the very properties of formal systems used to model these two human activities. Some arguments, however, refer to the current theories in cognitive science, including those which are developed within “descriptive” framework.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2016, 60; 35-52
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
    The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem
    Autorzy:
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/691110.pdf
    Data publikacji:
    2014
    Wydawca:
    Copernicus Center Press
    Tematy:
    Glivenko’s theorem
    intuitionistic logic
    intuitionistic propositional calculus
    history of logic
    history of mathematics
    Opis:
    Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis. Moreover, there is small, but very significant group of mathematicians and philosophers who claim that intuitionistic logic captures the reasoning utilized in mathematics better than classical one. This article reveals the origins of intuitionistic propositional calculus – it was an outcome of formalization of certain ideas about foundations of mathematics. A large part of the article is devoted to Glivenko’s Theorem – somewhat forgotten, but extremely interesting formal result regarding the relationship between the two logical calculi: classical and intuitionistic propositional logic.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2014, 56; 33-56
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezpieczeństwo techniczne na przykładzie zarządzania w galerii handlowej – znaczenie kultury bezpieczeństwa
    Technical safety on the example of management in a shopping mall: the role of safety culture
    Autorzy:
    Chodyński, Andrzej
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/556388.pdf
    Data publikacji:
    2018
    Wydawca:
    Krakowska Akademia im. Andrzeja Frycza Modrzewskiego
    Tematy:
    technical safety culture
    management of technical safety in a commercial facility
    technical safety system
    processes and procedures
    kultura bezpieczeństwa technicznego
    zarządzanie bezpieczeństwem technicznym w placówce handlowej
    system bezpieczeństwa technicznego
    procesy i procedury
    Opis:
    This paper looks at the term “safety culture of an organisation”. In this context, it was necessary to define “technical safety culture” to stress the importance of the process approach, which is the manifestation of the use of technical procedures within safety culture in the interest of improving technical safety on the example of a shopping mall. Emphasis has been placed on the role of legal acts for ensuring technical safety. The paper discussed the role of technical systems that contribute to safety of a commercial facility. The technical procedures, in turn, have been discussed with reference to the actions that contribute to working order of devices and installations in the analysed facility. The structure of the target system of technical safety management in a shopping mall has been proposed in the process approach. Requirements have been discussed in reference to working order of devices and their defectiveness and its causes have been analysed. The paper also discusses the necessity of initiating necessary actions aimed at improvement of the existing situation with safety taken into consideration, including technical safety as a core value in the culture of an organisation.
    Odniesiono się do pojęcia „kultury bezpieczeństwa organizacji”. W tym kontekście określono pojęcie „kultury bezpieczeństwa technicznego”. Na przykładzie galerii handlowej wskazano na znaczenie podejścia procesowego, będącego przejawem wykorzystania procedur technicznych w ramach kultury bezpieczeństwa na rzecz poprawy bezpieczeństwa technicznego. Zwrócono uwagę na rolę aktów prawnych dla zapewnienia bezpieczeństwa technicznego. Omówiono systemy techniczne działające na rzecz bezpieczeństwa obiektu handlowego. Procedury techniczne omówiono w odniesieniu do działań na rzecz sprawności urządzeń i instalacji w badanym obiekcie. Zaproponowano schemat docelowego systemu zarządzania bezpieczeństwem technicznym w galerii handlowej w ujęciu procesowym. Omówiono wymagania dotyczące sprawności urządzeń oraz zanalizowano ich usterkowość i przyczyny ich występowania. Wskazano konieczność podjęcia niezbędnych działań mających na celu poprawę istniejącej sytuacji, uwzględniając przy tym bezpieczeństwo, także bezpieczeństwo techniczne jako wartość zawartą w kulturze organizacji.
    Źródło:
    Bezpieczeństwo. Teoria i Praktyka; 2018, 4; 139-156
    1899-6264
    2451-0718
    Pojawia się w:
    Bezpieczeństwo. Teoria i Praktyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
    Autorzy:
    McCarty, David Charles
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/691211.pdf
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Tematy:
    mathematics
    logic
    mathematical explanation
    limits of explanation
    mathematical proof
    proof-core
    intuitionism
    constructivsim
    Gödel’s Incompleteness Theorems
    intuitionistics mathematics
    classical mathematics
    Axiom of Choice
    Opis:
    An interview with Charles McCarty by Piotr Urbańczyk concerning  mathematical explanation.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2016, 60; 119-137
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Europa w przededniu wojny : sytuacja militarna w latach 1938-1939
    Autorzy:
    Zgórniak, Marian.
    Współwytwórcy:
    Cziomer, Erhard Recenzja
    Stawecki, Piotr (1930-2015). Recenzja
    Urbańczyk, Tadeusz. Recenzja
    Data publikacji:
    1993
    Wydawca:
    Kraków : "Księgarnia Akademicka"
    Opis:
    Bibliogr. s. 548-568. --- Indeks. --- Rés., Sum., Zsfg.
    Militarne aspekty genezy II wojny światowej.
    Historia mogła potoczyć się inaczej.
    Dostawca treści:
    Bibliografia CBW
    Książka
    Tytuł:
    Kronika
    Autorzy:
    Benincasa, Zuzanna
    Chmiel, Andrzej
    Urbańczyk, Michał
    Zmierczak, Maria
    Pomianowski, Piotr
    Ławnikowicz, Grzegorz
    Zakrzewski, Andrzej
    Chłopecki, Tomasz
    Powiązania:
    https://bibliotekanauki.pl/articles/913645.pdf
    Data publikacji:
    2014-01-01
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Źródło:
    Czasopismo Prawno-Historyczne; 2014, 66, 2; 421-437
    0070-2471
    Pojawia się w:
    Czasopismo Prawno-Historyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kronika
    Autorzy:
    Madeja, Andrzej
    Sudnik - Bardach, Wanda
    Olszewski, Henryk
    Maj, Marta
    Urbańczyk, Michał
    Adamczyk, Tomasz
    Wiśniewska - Jóźwiak, Dorota
    Mackiewicz, Marta
    Szymański, Łukasz
    Pomianowski, Piotr
    Szewczak-Daniel, Mariola
    Sobotka, Roman
    Skomiał, Jakub
    Andrzejewski, Jan
    Kowalski, Grzegorz M.
    Machut - Kowalczyk, Joanna
    Głuszak, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/913093.pdf
    Data publikacji:
    2014-01-01
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Źródło:
    Czasopismo Prawno-Historyczne; 2014, 66, 1; 549-573
    0070-2471
    Pojawia się w:
    Czasopismo Prawno-Historyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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