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ę "Trzęsicki, Kazimierz" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Leibnizjańskie inspiracje informatyki
    Leibnizs Ideas in Informatics
    Autorzy:
    Trzęsicki, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/968612.pdf
    Data publikacji:
    2006-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    Leibniz may be considered as the first computer scientist. He made major contributions to engineering and information science. He invented the binary system, fundamental for virtually all modern computer architectures. He built a decimal based machine that executed all four arithmetical operations and outlined a binary computer. The concepts of lingua characteristica (formal language, programming language) and calculus ratiocinator (formal inference engine or computer program) are the base of the modern logic and information science. Leibniz was groping towards hardware and software concepts worked out much later by Charles Babbage and Ada Lovelace. He anticipated the universal Turing machine.
    Źródło:
    Filozofia Nauki; 2006, 14, 3; 21-48
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika temporalna w informatyce
    Temporal Logic in Computer Science
    Autorzy:
    Trzęsicki, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/2012894.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    informatyka
    logika temporalna
    weryfikowanie systemów informatycznych
    logic
    computer science
    temporal logic
    verification of software systems
    Opis:
    Leibniz intended to create a lingua characteristica universalis, a language, in which all knowledge (expressiveness) could be recorded, and a calculus ratiocinator, a method that would make it possible to define in a calculational manner the truth of any sentence in this language. Such an idea is at the basis of contemporary logic. With respect to the correctness of the equipment and of programs such an idea is at the foundations of logical methods of verification of software systems. Today we can see that a further development of informatics indeed depends on the progress of research in logic, and logic – this ancient discipline – has found a rich field for investigations; it has gained new perspectives for studies. Its applications may have a significant practical dimension that philosophers have never dreamed about. 
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 2; 181-205
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Idea sztucznej inteligencji
    The Idea of Artificial Intelligence
    Autorzy:
    Trzęsicki, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/41310546.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
    Tematy:
    Artificial Intelligence
    Ramon Lullus
    Athanasius Kircher
    Gottfried Leibniz
    sztuczna inteligencja
    Lullus
    Opis:
    Sztuczna inteligencja, nadzieja na wielki postęp a zarazem obawa przed nieznanym i niewyobrażalnym, ma początki w ludzkich marzeniach, których urzeczywistnianie dokonuje się przez racjonalny wysiłek intelektualny. Zarodka intelektualnej idei sztucznej inteligencji dopatrujemy się w pomysłach Lullusa. Rozwój sztuki lullusowej, ars combinatoria, był udziałem wielu. Szczególną postacią w tym łańcuchu entuzjastów i badaczy był Athanasius Kircher. Okres kształtowania się idei sztucznej inteligencji kończy Gottfried Leibniz, a zarazem od niego zaczyna się historia sztucznej inteligencji jako nauki we współczesnym rozumieniu.
    Artificial Intelligence, both as a hope of making a substantial progress, and a fear of the unknown and unimaginable, has its roots in human dreams. These dreams were materialized by means of rational intellectual efforts. We see beginnings of such a process in Lullus’s fancies. Many scholars and enthusiasts participated in the development of Lullus’s art, ars combinatoria. Amongst them, Athanasius Kircher was distinguished. Gottfried Leibniz ended the period in which the idea of artificial intelligence had been shaped, and started a new one when artificial intelligence could be considered a part of science, according to today’s standards.
    Źródło:
    Filozofia i Nauka; 2020, 8, 1; 69-96
    2300-4711
    2545-1936
    Pojawia się w:
    Filozofia i Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Perspective on Turing paradigm: An essay
    Autorzy:
    Trzęsicki, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/28763393.pdf
    Data publikacji:
    2022
    Wydawca:
    Copernicus Center Press
    Tematy:
    Galileo Galilei
    Alan Turing
    Konrad Zuse
    zero
    Arabic numeral
    paradigm
    mathematics
    algorithmics
    Opis:
    Scientific knowledge is acquired according to some paradigm. Galileo wrote that the “book of nature” was written in mathematical language and could not be understood unless one first understood the language and recognized the characters with which it was written. It is argued that Turing planted the seeds of a new paradigm. According to the Turing Paradigm, the “book of nature” is written in algorithmic language, and science aims to learn how the algorithms change the physical, social, and human universe. Some sources of the Turing Paradigm are pointed out, and a few examples of the application of the Turing Paradigm are discussed.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2022, 73; 281-332
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wkład logików polskich w światową informatykę
    Polish Logicians Contribution to the World Informatics
    Autorzy:
    Trzęsicki, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/968618.pdf
    Data publikacji:
    2006-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The position of Polish informatics, as well in research as in didactic, has its roots in achievements of Polish mathematicians of Warsaw School and logicians of Lvov-Warsaw School. Jan Lukasiewicz is considered in the world of computer science as the most famous Polish logician. The parenthesis-free notation, invented by him, is known as PN (Polish Notation) and RPN (Reverse Polish Notation). Lukasiewicz created many-valued logic as a separate subject. The idea of multi-valueness is applied to hardware design (many-valued or fuzzy switching, analog computer). Many-valued approach to vague notions and commonsense reasoning is the method of expert systems, databases and knowledge-based systems. Stanis3aw Jaokowski's system of natural deduction is the base of systems of automatic deduction and theorem proving. He created a system of paraconsistent logic. Such logics are used in AI. Kazimierz Ajdukiewicz with his categorial grammar participated in the development of formal grammars, the field significant for programming languages. Andrzej Grzegorczyk had an important contribution to the development of the theory of recursiveness.
    Źródło:
    Filozofia Nauki; 2006, 14, 3; 5-19
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wybrane technologie eksploracji i reprezentacji wiedzy
    Autorzy:
    Sosnowski, Zenon A.
    Kacprzyk, Janusz
    Milewski, Robert
    Trzęsicki, Kazimierz
    Bobrowski, Leon
    Łukaszuk, Tomasz
    Krawczuk, Jerzy
    Ferenc, Mariusz
    Zabielski, Paweł
    Szymkowski, Maciej
    Chmielewski, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/books/2159263.pdf
    Data publikacji:
    2022
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Opis:
    Monografia jest poświęcona przedstawieniu niektórych aspektów szeroko rozumianych odkrywania wiedzy oraz eksploracji danych, a więc niezwykle ważnych, zarówno z punktu widzenia wyzwań teoretycznych, jak też zastosowań działów nowoczesnej informatyki, także w dużym stopniu sztucznej inteligencji. Poszczególne rozdziały dotyczą szeroko rozumianej reprezentacji i eksploracji wiedzy, czyli tematyki głęboko osadzonej w informatyce, ale poprzez swój interdyscyplinarny charakter, dotykające także innych dziedzin.
    Dostawca treści:
    Biblioteka Nauki
    Książka
      Wyświetlanie 1-6 z 6

      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