Matematyka
Elementy logiki matematycznej i metodologii nauk ścisłych (skrypt z wykładów)
Stanisław Jaśkowski
Prezentowany tom stanowi reedycję skryptu wykładów z logiki matematycznej i metodologii nauk ścisłych autorstwa Stanisława Jaśkowskiego (1906-1965), wybitnego polskiego logika i matematyka, reprezentanta Szkoły Lwowsko-Warszawskiej, twórcy m.in. systemów dedukcji naturalnej i logik parakonsystentnych. Skrypt został wydany w 1947 roku na potrzeby studentów matematyki Uniwersytetu Mikołaja Kopernika w Toruniu, z którym Jaśkowski był związany zawodowo przez ostatnie dwadzieścia lat życia. Książka jest oryginalnym, autorskim, niezwykle nowoczesnym ujęciem przedmiotu, w znaczący sposób różniącym się od innych podręczników. To pierwsza praca, w której logika prezentowana jest konsekwentnie w postaci systemu dedukcji naturalnej, co stało się później standardem w dydaktyce logiki. Biorąc pod uwagę, że Jaśkowski w latach trzydziestych XX wieku skonstruował pierwsze systemy tego typu, mamy do czynienia z niezwykle ważnym historycznym świadectwem ich pierwszego wykorzystania w nauczaniu. Wybitne walory dydaktyczne skryptu sprawiają, że jest interesujący dla specjalistów i może być nadal przydatny jako podręcznik logiki, pomimo ponad siedemdziesięciu lat, które upłynęły od jego pierwszego wydania.
Elementy matematyki dyskretnej
Jolanta Pozorska, Izabela Zamorska
Matematyka dyskretna jest fascynującym działem matematyki, zlepkiem innych działów, ewoluującym od wieków. Interesowali się nią już starożytni, lecz największy rozwój matematyki dyskretnej przypada na wiek XX n.e. Cały czas się rozwija i wymaga ciągłej aktualizacji wiedzy, przez to wciąż można na nowo ją odkrywać. Znamy już sporo jej zastosowań, a ile jest jeszcze nieodkrytych? Wciąż wiele pytań zostaje otwartych, wiele twierdzeń i lematów nieudowodnionych. Podręcznik Elementy matematyki dyskretnej przeznaczony jest nie tylko dla studentów kierunku informatyka, ale również dla wszystkich pasjonatów matematyki dyskretnej. Każdy znajdzie w nim coś interesującego dla siebie. Wybór zagadnień jest subiektywny, dlatego zapewne omawiane tematy nie zostały przedstawione w sposób wyczerpujący, jednak wystarczający.
Elementy matematyki wyższej. Zadania z rozwiązaniami. Część 3
Katarzyna Szota (red.)
Skrypt pt. Elementy matematyki wyższej. Zadania z rozwiązaniami. Część 3 przeznaczony jest przede wszystkim dla studentów wszystkich rodzajów studiów inżynierskich. Niniejsza pozycja jest kolejną częścią skryptów wydanych w roku 2021. Stanowi uzupełnienie materiału prezentowanego na wykładach i ćwiczeniach z analizy matematycznej. Część 3 obejmuje takie zagadnienia, jak: rachunek różniczkowy funkcji dwóch i trzech zmiennych, całki podwójne i potrójne, całki krzywoliniowe skierowane i nieskierowane oraz całki powierzchniowe. Skrypt zawiera zadania o różnym stopniu trudności. Do wszystkich zadań podane są odpowiedzi, a znaczna część jest szczegółowo rozwiązana. Każdy rozdział rozpoczyna krótki wstęp teoretyczny, następnie znajdują się zadania oraz odpowiedzi i rozwiązania. Taki sposób prezentacji materiału pomaga Czytelnikowi w systematycznej i samodzielnej pracy.
Marek Nowak
Monografia zawiera najważniejsze elementy aksjomatycznej teorii mnogości Zermelo-Fraenkla z aksjomatem wyboru: aksjomatykę, definicje podstawowych pojęć, teorie relacji binarnych, częściowo porządkujących, równoważnościowych, funkcji, liczb porządkowych oraz liczb kardynalnych. Powstała na podstawie wieloletnich wykładów prowadzonych przez autora dla studentów filozofii Uniwersytetu Łódzkiego. Nie wymaga więc gruntownego przygotowania matematycznego, wystarcza pewne "wyrobienie" logiczne w zakresie umiejętności dowodzenia twierdzeń, a właściwie znajomość takich stałych logicznych, jak spójniki boolowskie i kwantyfikatory. Może służyć nie tylko matematykom i studentom matematyki, lecz także humanistom chcącym ugruntować swoją wiedzę o zbiorach, wykorzystywaną często w różnych zabiegach formalizacyjnych. Tym bardziej, że pewne wątki mają charakter filozoficzny, m.in. dyskusje na temat aksjomatu regularności i pojęcia ufundowania zbioru, relacji równoważnościowej, liczby porządkowej czy aksjomatu wyboru.
Et al. Because not all research deserves a Nobel Prize
B. McGraw
Tired of the same old math, science, statistics, and programming memes people post online and want something a little more elaborate? This is the book for you.Tremble as we make up all our own facts and data, hand-draw diagrams in MS Paint, and quote from fictional studies and journals. Cower as authors write in the first person because their study is just a little too personal for them. Recoil from the sheer mass of oversimplified methodology, distilling someone's entire thesis into a paragraph of jokes crude enough to make it into a Mike Myers movie.Over the last few years, we have taken arguments that you would normally have after four Jack and cokes at game night and turned them into properly formatted research papers with a writing tone serious enough to confuse the uninitiated. These papers are high-effort jokes by researchers and scientists for researchers and scientists. They cover a range of topics such as the consequences of re-releasing tourists back into Yellowstone National Park after COVID-19, how to play StarCraft competitively online on a quantum computer, and most importantly, how trees around the globe are becoming increasingly radicalized.
Evidence-based medicine/practice i systematyczne przeglądy literatury: praktyczny podręcznik
Dr Paweł Posadzki
Książka poświęcona jest zagadnieniu systematycznych przeglądów literatury (SPL), będących podstawowym narzędziem analitycznym w zakresie medycyny opartej na dowodach naukowych (evidence-based medicine/practice). Autor zachowuje równowagę między szerokim zakresem problematyki SPL a wysokim poziomem dyskusji. Podręcznik ten będzie użytecznym źródłem wiedzy dla badaczy z różnych dyscyplin, takich jak np. pielęgniarstwo, fizjoterapia, wychowanie fizyczne, dietetyka czy medycyna, pragnących opublikować swój pierwszy lub kolejny SPL w najwyższej klasy światowych czasopismach naukowych. Dr Paweł Posadzki jest autorem ponad 140 opracowań naukowych. W 2022 r. znalazł się wśród 2% najbardziej wpływowych naukowców na świecie. Jego prace były cytowane w renomowanych czasopismach medycznych przez badaczy z uniwersytetów Harvard, Oxford czy Cambridge i wykorzystywane przez National Institute of Health, Komisję Europejską, National Cancer Institute czy firmę Pfizer. Przetłumaczono je na ponad 20 języków i są wykorzystywane przy tworzeniu wytycznych klinicznych i leczeniu milionów pacjentów. W 2011 r. otrzymał prestiżową nagrodę Royal College of Physicians (Londyn). W spółpracował z WHO oraz ministerstwami zdrowia wielu krajów. Przygodę z medycyną opartą na dowodach naukowych rozpoczynał w 2010 r. i kontynuuje po dziś dzień
Greg Rafferty
Forecasting Time Series Data with Prophet will help you to implement Prophet's cutting-edge forecasting techniques to model future data with high accuracy using only a few lines of code. This second edition has been fully revised with every update to the Prophet package since the first edition was published two years ago. An entirely new chapter is also included, diving into the mathematical equations behind Prophet's models. Additionally, the book contains new sections on forecasting during shocks such as COVID, creating custom trend modes from scratch, and a discussion of recent developments in the open-source forecasting community.You'll cover advanced features such as visualizing forecasts, adding holidays and trend changepoints, and handling outliers. You'll use the Fourier series to model seasonality, learn how to choose between an additive and multiplicative model, and understand when to modify each model parameter. Later, you'll see how to optimize more complicated models with hyperparameter tuning and by adding additional regressors to the model. Finally, you'll learn how to run diagnostics to evaluate the performance of your models in production.By the end of this book, you'll be able to take a raw time series dataset and build advanced and accurate forecasting models with concise, understandable, and repeatable code.
Franciszek Grabski, Jerzy Jaźwiński
W książce przedstawiono matematyczne modele opisujące problemy z zakresu niezawodności, bezpieczeństwa i logistyki. W modelach tych wykorzystano funkcje zmiennych losowych i procesów stochastycznych, tradycyjnie nazywane funkcjami o losowych argumentach. Większość przedstawionych w tej książce modeli matematycznych prowadzi do wzorów lub algorytmów, które przy użyciu komputera pozwalają obliczyć istotne z praktycznego punktu widzenia, charakterystyki badanych systemów. W książce znajdują się krótkie programy napisane w systemie komputerowym MATHEMATICA, dzięki którym można obliczyć wybrane charakterystyki przedstawionych modeli. Książka jest adresowana do specjalistów zajmujących się niezawodnością, logistyką oraz problemami bezpieczeństwa. Może być również przydatna pracownikom naukowym różnych specjalności oraz studentom kierunków politechnicznych.