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 Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

Wyszukujesz frazę "MATHEMATICAL LOGIC" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 12
Tytuł:
Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
Autorzy:
Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Data publikacji:
2021
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agent
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Giuseppe Peano in Germany, his connections with German mathematicians, and the first English translation of Gottlob Frege’s unpublished letter to Adolph Mayer on Giuseppe Peano’s mathematical logic
Giuseppe Peano w Niemczech, jego związki z niemieckimi matematykami i pierwszy angielski przekład niewydanego listu Gottloba Fregego do Adolpha Mayera o logice matematycznej Giuseppego Peana
Autorzy:
Besler, Gabriela
Data publikacji:
2023
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
Frege Gottlob
Peano Giuseppe
Mayer Adolph
mathematical logic
scientific correspondence
logika matematyczna
korespondencja naukowa
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
The logic of the nation: Nationalism, formal logic, and interwar Poland
Autorzy:
Dunning, David E.
Data publikacji:
2018
Wydawca:
Polska Akademia Umiejętności
Tematy:
mathematical logic
Polish logic
Jan Łukasiewicz
Warsaw School of Logic
Polish notation
reverse Polish notation
olympic internationalism
nationalism
interwar science
logika matematyczna
polska logika
Warszawska Szkoła Logiki
notacja polska
odwrotna notacja polska
internacjonalizm olimpijski
nacjonalizm
nauka międzywojenna
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Modelowanie matematyczne przetworników logiki binarnej na logikę wielowartościową oraz realizacja praktyczna przetwornika
Mathematical modelling of binary to multivalued logic converters and practical converter design
Autorzy:
Walecki, M.
Urbańczyk, M.
Słota, D.
Wituła, R.
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
modelowanie matematyczne
logika binarna i wielowartościowa
enkoder
mathematical modelling
multivalued logic converter
practical converter
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Models, Methods and Information Technologies of Protection of Corporate Systems of Transport Based on Intellectual Identification of Threats
Autorzy:
Petrov, A.
Lakhno, V.
Korchenko, A.
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
systems of transportation and communication
information security
cyber security
threat detection
mathematical models
fuzzy logic
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
Autorzy:
McCarty, David Charles
Urbańczyk, Piotr
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
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
On the application of statistical kernel estimators for the demand-based design of a wireless data transmission system
Autorzy:
Kulczycki, P.
Waglowski, J.
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
telekomunikacja
logika rozmyta
badania operacyjne
programowanie matematyczne
telecommunication
wireless broadband data transmission systems
LMDS
statistical kernel estimators
fuzzy logic
operations research
mathematical programming
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Modele i reguły decyzyjne w symptomowej diagnostyce technicznej
Models and decision rules in symptom technical diagnostic
Autorzy:
Jastriebow, A.
Gad, S.
Słoń, G.
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
model matematyczny
model informacyjny
sztuczna sieć neuronowa
reguła logiczna
reguła numeryczna
diagnostyka
pojazd
mathematical model
informative model
artificial neural network
logic rule
numeric rule
diagnostic
vehicle
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Wyświetlanie 1-10 z 12

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