Matematyka
MATLAB. Praktyczny podręcznik modelowania
Waldemar Sradomski
Wypróbuj MATLAB-a i doceń jego siłę! MATLAB to wielofunkcyjny program do zastosowań naukowych i inżynierskich, wykorzystywany przy zaawansowanych obliczeniach, rozwiązywaniu problemów technicznych i tworzeniu symulacji. Jest świetnym narzędziem, które od kilku dekad pomaga tysiącom matematyków, fizyków i inżynierów. Pozwala w mgnieniu oka rozwiązać skomplikowane równania, prześledzić różne warianty w obrębie jednego schematu czy obliczyć wzajemne zależności pomiędzy elementami projektowanego urządzenia i sprawdzić, jak zmiana jednego z nich wpływa na pozostałe. Sięgnij po tę książkę, a szybko oswoisz się z MATLAB-em. Dzięki niemu już nigdy nie będziesz musiał obliczać równań „na piechotę” ani doświadczalnie sprawdzać skutków dokonania zmiany w projekcie. Wystarczy, że wprowadzisz do programu właściwe dane, a natychmiast zobaczysz, czy Twój pomysł jest strzałem w dziesiątkę, czy wymaga wielu poprawek. Z tej książki dowiesz się, jak zacząć pracę z programem, jak działają skrypty i funkcje. Odkryjesz, jak tworzyć modele matematyczne i fizyczne urządzeń z użyciem matematyki. Zadania zamieszczone na końcu każdego rozdziału pomogą Ci utrwalić zdobytą wiedzę. MATLAB — szybki start Skrypty i funkcje Rozwiązywanie równań różniczkowych Schematy blokowe (Simulink) Przekształcenie operatorowe do rozwiązywania układów równań Stateflow Zaawansowane konfigurowanie wykresu Projektuj i licz z MATLAB-em!
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.
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
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.
Miejskość i duch innowacyjności
red. Krzysztof Bierwiaczonek, red. Marek S. Szczepański,...
Książka Miejskość i duch innowacyjności zawiera autorskie artykuły analizujące współczesne zjawiska społeczne, kulturowe i gospodarcze związane z miastem i szeroko rozumianą innowacyjnością. Pojęcie to funkcjonuje w książce w wielu kontekstach związanych między innymi z zaangażowaniem obywatelskim, funkcjonowaniem miejskich przestrzeni publicznych, tworzeniem przemysłu kreatywnego, kampanii promocyjnych, procesem transferu technologii, a także nowej formy upamiętniania bliskich, jakimi są wirtualne cmentarze. Powiązanie tematyki miejskiej z refleksją nad innowacyjnością pozwala w nowej perspektywie spojrzeć na toczącą się aktualnie debatę próbującą odpowiedzieć na pytanie: jakie ma być współczesne miasto, jak ma funkcjonować, w jaki sposób może wykorzystywać potencjał mieszkańców, instytucji i firm, które działają na jego obszarze? Książka adresowana jest zatem do wszystkich, którzy interesują się współczesnymi problemami miasta i jego rozwoju. W sposób szczególny publikacja powinna zainteresować socjologów, ekonomistów, urbanistów, geografów społecznych oraz studentów kierunków społecznych, ekonomicznych i urbanistycznych.
Naveen Krishnan
AI developers face a growing challenge: building intelligent systems that retain long-term memory, reason over dynamic context, and integrate safely with external tools. Model Context Protocol for LLMs provides a modern solution—offering an open, modular architecture to construct scalable LLM agents with structured context exchange. This book equips you with a complete hands-on journey to MCP. You’ll implement the protocol’s key components—resource providers, tool providers, and gateways—then use these to orchestrate agents, chain workflows, and add context-aware behavior. You’ll also learn how MCP integrates seamlessly with LangChain, AutoGen, RAG systems, and multimodal applications. Security and governance are covered in depth, helping you build privacy-compliant, threat-resistant AI apps. You’ll explore caching, async tasks, load balancing, and scaling strategies for real-world readiness. With a continuous hands-on project, MCP becomes more than a standard—it becomes a blueprint for production-grade LLM development.
Mehul Gupta, Niladri Sen
This book offers a detailed introduction to the groundbreaking field of AI agents and Model Context Protocol (MCP). The first section delves into generative AI and large language models (LLMs), exploring how these technologies power modern AI systems. From there, the book introduces the concept of AI agents—autonomous systems capable of executing tasks with varying levels of complexity. Moving into practical applications, the book focuses on Model Context Protocol, explaining its key components and how it enables effective interaction between AI and various software tools. Each chapter offers step-by-step instructions for setting up MCP servers for popular tools like Gmail, YouTube, GitHub, and more, empowering readers to automate tasks and streamline workflows. The book concludes by addressing the future of MCP, its potential risks, and how to stay safe while using these advanced technologies. Whether you're a beginner or experienced practitioner, this guide will deepen your understanding of AI and enhance your ability to leverage cutting-edge automation in daily operations.
Modele dalszego trwania życia oraz ich zastosowania w przypadku osób starszych
Beata Jackowska
Monografia poświęcona jest metodom i technikom konstrukcji modeli dalszego trwania życia ze szczególnym uwzględnieniem dalszego trwania życia osób starszych. Wobec demograficznego starzenia się społeczeństwa praca wpisuje się w aktualny nurt badań nad umieralnością osób starszych. Zagadnienie modelowania trwania życia leży na styku dziedziny demografii, statystyki i analizy przeżycia. Książka składa się z części teoretycznej i empirycznej. Część teoretyczna stanowi próbę usystematyzowania i wzbogacenia dotychczasowego podejścia badawczego w zakresie estymacji modeli trwania życia w oparciu o różnego rodzaju dane. W części empirycznej przedstawiono specyfikę modelowania rozkładu dalszego trwania życia osób starszych oraz zweryfikowano przydatność przedstawionych metod do wykrywania prawidłowości w procesie wymierania w rozważanej grupie wieku. Plik pdf uniemożliwia kopiowanie tekstu.