Edukacja
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.
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.
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 dla informatyków
Wojciech Kordecki, Karol Selwat
Odkryj narzędzia informatyczne do rozwiązywania problemów matematycznych Poznaj metody numeryczne Zrozum ich działanie Wykorzystaj je w praktyce Metody numeryczne znajdują zastosowanie wszędzie tam, gdzie nie da się wyznaczyć odpowiedniego rozwiązania metodami analitycznymi lub gdy jest to zbyt uciążliwe. Całkowanie i różniczkowanie, rozwiązywanie układów równań liniowych, szukanie rozwiązań równań nieliniowych, interpolacja i aproksymacja, szukanie minimów i maksimów - wszystkie te działania można przeprowadzić za pomocą komputera właśnie dzięki wykorzystaniu metod numerycznych. Na rynku brakowało dotąd opracowania, które w analityczny i zwięzły sposób prezentowałoby najważniejsze zagadnienia związane z praktycznym zastosowaniem metod numerycznych w informatyce. Ten podręcznik wypełnia tę lukę - stanowi kompaktowe źródło podstawowej wiedzy dla studentów kierunków informatycznych, niezbędnej zwłaszcza dla przyszłych programistów. Dzięki lekturze mogą poznać teoretyczne podstawy metod numerycznych, zrozumieć je na przedstawionych przykładach oraz ugruntować tę wiedzę poprzez praktyczne zadania. Typy liczbowe, błędy i dokładność obliczeń Rozwiązywanie układów równań liniowych Rozwiązywanie równań nieliniowych Interpolacja i aproksymacja numeryczna Całkowanie i różniczkowanie numeryczne Optymalizowanie funkcji jednej i wielu zmiennych Metody numeryczne - klucz do świata obliczeń komputerowych
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.
Krzysztof Piekarski
Niniejszy skrypt w zamyśle autora ma służyć przede wszystkim studentom kierunku matematyka stosowana na Wydziale Informatyki Politechniki Białostockiej jako pomoc w lepszym rozumieniu zagadnień przedstawianych na zajęciach w ramach pracowni specjalistycznej z przedmiotu Metody optymalizacji, który obecnie jest realizowany na IV semestrze studiów I stopnia. Zagadnienia omawiane w kolejnych rozdziałach są zgodne z treściami programowymi zawartymi w sylabusie do tego przedmiotu. Treści prezentowane w skrypcie mogą być także przydatne dla studentów innych wydziałów zainteresowanych poznaniem i wykorzystaniem podstawowych metod numerycznych optymalizacji statycznej.