Naukowe i akademickie
Wyobraź sobie, że wszystkie niezbędne materiały do nauki i pracy badawczej masz zawsze pod ręką – bez ciężkich podręczników i długiego oczekiwania na dostawę. Właśnie to dają Ci ebooki w kategorii naukowej i akademickiej. Znajdziesz tu publikacje z różnych dziedzin, które pomagają w przygotowaniach do egzaminów, pisaniu prac dyplomowych czy pogłębianiu wiedzy na poziomie akademickim. To praktyczne i wygodne rozwiązanie dla studentów, wykładowców oraz wszystkich, którzy stawiają na rozwój intelektualny.
Edyta Pawlak-Kazior, Sylwia Lara-Dziembek
Niniejszy podręcznik akademicki dotyczący matematyki aktuarialnej pozwala czytelnikowi zapoznać się z metodami kalkulacji składek netto w podstawowych typach ubezpieczeń na życie w modelu całkowicie ciągłym. Model ten jest głównie modelem teoretycznym, ale jest wykorzystywany do kalkulacji składek netto w modelu mieszanym. Opracowanie powstało na bazie wykładów i ćwiczeń z matematyki ubezpieczeniowej i finansowej, które od kilku lat prowadzą autorki niniejszej książki, oraz literatury dostępnej w tym temacie. Pozycja ta jest rezultatem kilkuletnich doświadczeń dydaktycznych w dziedzinie matematyki aktuarialnej. W książce przedstawiono podstawowe pojęcia i wzory wykorzystywane przy kalkulacji składek netto w modelu całkowicie ciągłym oraz omówiono jednorazowe składki netto w ciągłych ubezpieczeniach na życie oraz jednorazowe składki netto ciągłych rent życiowych. Następnie zaprezentowano metody kalkulacji składek netto w modelu całkowicie ciągłym w bezterminowym i terminowym ubezpieczeniu na życie, terminowym ubezpieczeniu na dożycie oraz na życie i dożycie, a także w odroczonym bezterminowym ubezpieczeniu na życie. W każdym z sześciu rozdziałów znajdują się liczne rozwiązane przykłady ilustrujące przedstawione zagadnienia oraz szereg zadań do samodzielnego rozwiązania wraz z odpowiedziami i wskazówkami. Ostatnią część opracowania stanowią tabele zawierające szczegółowe zestawienia wzorów prezentowanych w poszczególnych rozdziałach. Pozycja ta jest przede wszystkim skierowana do studentów kierunków matematycznych o specjalnościach finansowych i ubezpieczeniowych, może być jednak przydatna wszystkim zainteresowanym przedstawioną tematyką.
Sylwia Lara-Dziembek, Edyta Pawlak-Kazior
Publikacja dotyczy matematyki aktuarialnej i zawiera podstawowe informacje dotyczące ubezpieczeń na życie, a także zagadnienia teoretyczne obejmujące składki netto w tego rodzaju ubezpieczeniach. Zaprezentowano w niej także modele kalkulacji rozważanych składek. Omówiono metody kalkulacji rocznych składek netto w podstawowych typach ubezpieczeń na życie w modelu całkowicie dyskretnym, bezterminowe i terminowe ubezpieczenie na życie, ubezpieczenie na dożycie oraz na życie i dożycie, a następnie ubezpieczenie odroczone oraz ze zmieniającą się sumą ubezpieczenia. Poruszono także problem zastosowania funkcji komutacyjnych do wyznaczania rocznych składek netto w podstawowych typach ubezpieczeń na życie w modelu całkowicie dyskretnym oraz przedstawiono metody kalkulacji składek netto płatnych częściej niż raz w roku w wybranych typach ubezpieczeń na życie. Na końcu każdego rozdziału znajdują się przykłady ilustrujące prezentowane zagadnienia oraz zadania do samodzielnego rozwiązania, wraz z odpowiedziami i wskazówkami. Załączniki stanowią tablice trwania życia opublikowane przez Główny Urząd Statystyczny w 2019 i 2020 roku oraz przykładowe tablice aktuarialne zawierające tablice liczb komutacyjnych oraz tabele z zestawieniami wzorów z poszczególnych rozdziałów. Książka może służyć jako literatura podstawowa dla studentów kierunków matematycznych, w szczególności o specjalnościach finansowych i ubezpieczeniowych. Mogą z niej również korzystać praktycy zajmujący się obliczeniami dotyczącymi matematyki ubezpieczeniowej w bankowości i innych instytucjach związanych z zaprezentowanymi w opracowaniu zagadnieniami.
Metody laboratoryjnej analizy gleb i nawozów. Skrypt do zajęć laboratoryjnych
Zofia E. Tyszkiewicz, Sławomir Roj-Rojewski, Robert Czubaszek,...
Niniejszy skrypt zawiera wybór ćwiczeń laboratoryjnych w ramach przedmiotu gleboznawstwo i nawożenie. Z racji na dwa odrębne zagadnienia tematyczne pozycja składa się z dwu części - gleboznawstwa i nawożenia. Oczywiście wiedza i doświadczenie w zakresie gleboznawstwa pozwalają nam na bardziej efektywne gospodarowanie w ramach działalności rolniczej, m.in. przez skuteczne i racjonalne stosowanie nawozów. W obu częściach skryptu przedstawiono przebieg procedur (analiz, doświadczeń) powszechnie stosowanych w praktyce laboratoryjnej. Każdy temat wzbogacony jest dość obszernym wprowadzeniem teoretycznym, które ma pomóc studentom w interpretacji wyników badań laboratoryjnych. Zagadnienia teoretyczne zostały opracowane na podstawie ogólnodostępnej literatury z zakresu gleboznawstwa i nawożenia, w szczególności zaś wykorzystano znane i cenione podręczniki akademickie. Taka konstrukcja skryptu umożliwia zdobywanie umiejętności zarówno praktycznych, jak i związanych z wiedzą.
Andrzej Indrzejczak, Marek Nowak
Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi poświęcano prezentacji materiału teoretycznego. a zamieszczano zbyt mało wskazówek pokazujących. w jaki sposób konstruować dowody. Niniejsza książka i cały planowany cykl mają wypełnić tę lukę w polskim piśmiennictwie logicznym. Autorzy opracowania przedstawiają rozmaite sposoby konstrukcji dowodów metodą dedukcji naturalnej (założeniową) w logice klasycznej. arytmetyce liczb naturalnych i teorii mnogości. Dedukcja naturalna zaprezentowana jest najpierw w sposób formalny. na przykładach z logiki klasycznej, a następnie zastosowana w nieformalnej postaci do dowodzenia tez w teoriach matematycznych. Za pomocą bogatego materiału ilustracyjnego omówiono różne strategie i techniki dowodzenia, takie jak: wprost, nie wprost, dowody warunkowe i rozgałęzione oraz dowody z wykorzystaniem indukcji matematycznej.
Maciej Romaniuk
Podręcznik jest przeznaczony dla słuchaczy kierunków matematycznych i informatycznych Politechniki Warszawskiej. Jego celem jest zapoznanie czytelników z tematyką statystycznych symulacji komputerowych, ze szczególnym uwzględnieniem metod Monte Carlo i Markov chain Monte Carlo. W kolejnych rozdziałach: omówiono podstawowe pojęcia związane z generowaniem liczb (pseudo)losowych i przedstawiono wybrane generatory programowe wraz ze sposobami testowania uzyskanych wyników pod kątem ich jakości (czyli zbliżenia do "losowości"); zaprezentowano kolejne "piętro" w generowaniu liczb (pseudo)losowych, czyli metody i algorytmy służące do przekształcania uzyskanych wcześniej wartości (najczęściej z rozkładu jednostajnego) do zmiennych z różnych praktycznych rozkładów prawdopodobieństwa; zaprezentowanono problem zmiennych wielowymiarowych, dla których stosowanie metod znanych z rozkładów jednowymiarowych okazuje się często wysoce nieefektywne (dokładniej omówiono algorytmy dla wielowymiarowego rozkładu normalnego prawdopodobieństwa); przybliżono zagadnienie generowania trajektorii dla wybranych klas procesów stochastycznych; przedstawiono także rodzinę metod symulacyjnych, znanych jako metody Monte Carlo (m.in. omówiono dwa typy zagadnień, które można rozwiązać przy użyciu takich metod, czyli kwestię całkowania oraz problem szukania ekstremum globalnego); omówiono teorię łańcuchów Markowa (dla przypadku dyskretnej oraz nieprzeliczalnej przestrzeni stanów), która stanowi podbudowę niezbędną do zrozumienia zasady działania metod Markov chain Monte Carlo (MCMC); zaprezentowano dwa najważniejsze algorytmy dla owych metod wraz z praktycznymi przykładami ich zastosowania; przedstawiono trochę inne podejście do symulacji statystycznych niż generowanie próby niezależnych zmiennych losowych, czyli metody resamplingu, na czele z boostrapem. Przedstawiony w książce materiał wzbogacono zadaniami i problemami przeznaczonymi do samodzielnego rozwiązania.
Metody numeryczne. Wykłady na Wydziale Elektrycznym Politechniki Warszawskiej
Tomasz Markiewicz, Robert Szmurło, Stanisław Wincenciak
Podręcznik zawiera materiał pomocniczy do wykładów i laboratorium z metod numerycznych prowadzonych na Wydziale Elektrycznym PW. Zawiera zwięzłe omówienie ogólnych metod numerycznych współcześnie stosowanych w praktyce inżynierskiej uzupełnione licznymi przykładami zadań liczbowych. W opracowaniu zamieszczono odwołania do powszechnie stosowanych funkcji MATLAB-a oraz rozdział wprowadzający do programowania w tym środowisku. Podręcznik ma charakter ogólno akademicki i może być stosowany na kierunkach elektrotechnika, automatyka i robotyka wszystkich uczelni technicznych.
Metody obliczeniowe w budownictwie zrównoważonym
Robert Gajewski
Preskrypt - publikacja na prawach rękopisu Książka jest podzielona na cztery części. W pierwszej zostały omówione podstawowe problemy modelowania i symulacji komputerowych oraz zarządzania informacją w budownictwie. Druga część poświęcona jest analizie statycznej konstrukcji prętowych, a trzecia stacjonarnemu przepływowi ciepła. W ostatniej części zostały omówione wybrane zagadnienia optymalizacyjne. Preskrypt może być wykorzystywany na wszystkich uczelniach prowadzących studia na kierunku Budownictwo, na których prowadzone są zajęcia z metod obliczeniowych (komputerowych).
Metody opisu i symulacji układów elektronicznych
Jan Ogrodzki
Niniejsza monografia poświęcona jest metodom formalnego opisu układów elektronicznych i opartej na tym opisie komputerowej symulacji. W procesie projektowania i fabrykacji współczesnych układów scalonych symulacja komputerowa jest nieodzownym narzędziem wspomagającym. Przytoczono podstawowe, najbardziej rozpowszechnione modele elementów półprzewodnikowych, by na ich podstawie wprowadzić Czytelników w dziedzinę opisów matematycznych układów fizycznych. Opisy te mogą mieć postać równań algebraicznych, różniczkowych zwyczajnych lub cząstkowych, lub, co jest równoważne, sieci elektrycznej, czyli połączenia wyidealizowanych elementów elektronicznych. Monografia zajmuje się tylko układami o stałych skupionych, a więc takimi, w których długość fali sygnału zmiennego jest dużo większa od rozmiarów geometrycznych układu.