Видавець: 16
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 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 oceny zagrożenia finansowego przedsiębiorstw sektora TSL w Polsce
Lidia Karbownik
Problem zagrożenia finansowego posiada szczególny wymiar znaczeniowy w przypadku przedsiębiorstw sektora TSL (Transport, Spedycja, Logistyka) ze względu na ich szeroki i różnorodny zakres wzajemnych powiązań kooperacyjnych oraz handlowych ze zleceniobiorcami usług logistycznych. Zastosowanie skutecznych narzędzi analitycznych może pozytywnie wpłynąć na wzrost efektywności zarządzania tymi podmiotami, łańcuchami dostaw, a w konsekwencji - na wzrost konkurencyjności gospodarki narodowej. W monografii zaprezentowano oryginalne, a zarazem pierwsze tak obszerne wyniki badań teoretyczno-praktycznych zorientowanych na identyfikację i wybór różnorodnych metod oceny ex post i ex ante zagrożenia finansowego przedsiębiorstw sektora TSL w Polsce. Stanowią one ważne źródło wiedzy nie tylko dla szerokiego grona praktyków zarządzania finansami przedsiębiorstw (w szczególności z sektora TSL), lecz także środowiska akademickiego.
Metody określania sztywności gruntów w badaniach geotechnicznych
Tomasz Godlewski, Tomasz Szczepański
Przedmiotem poradnika jest przegląd dostępnych metod badań geotechnicznych służących do określania charakterystyk sztywności gruntów. Opisano tu głównie (choć nie wyłącznie) metody, które wykorzystują pomiar prędkości fal sejsmicznych jako podstawy do wyznaczania parametrów sprężystych gruntu, głównie modułu odkształcenia postaciowego G. W poradniku przedstawiono podstawowe informacje dotyczące geofizycznych metod polowych oraz laboratoryjnych. Opis metod zawiera m.in. sposób wykonywania badań oraz podstawy interpretacji danych pomiarowych. Wnioski praktyczne dotyczące poszczególnych metod podano również w formie komentarzy. Przedstawiono także przykładowe wyniki dla wybranych oznaczeń parametrów sztywności (moduł ścinania) dla różnych typów gruntów uzyskanych tymi metodami. Poradnik jest pierwszą tego typu publikacją w Polsce, przeznaczoną głównie dla wykonawców dokumentacji badań podłoża oraz projektantów i inwestorów, a także studentów i nauczycieli akademickich, jako pomoc w kształceniu z przedmiotów geotechnicznych.
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.