Search results

Jak tego dowieść - krótka opowieść. Dowody matematyczne dla każdego

Dariusz Laskowski

Popularnonaukowa książka o dowodach matematycznych Trzydzieści wybranych twierdzeń matematycznych z pełnymi dowodami Trzy główne typy dowodów: dowody wprost, dowody przez sprowadzenie do niedorzeczności i dowody indukcyjne Opowieści o niewymierności liczby i liczby e, nieprzeliczalności zbioru liczb rzeczywistych, twierdzeniu Pitagorasa, nieskończoności zbioru liczb pierwszych i inne Profesor na wykładzie myśli A, mówi B, a na tablicy pisze C. A student słyszy D, widzi E, do kajetu pisze F, a i tak nic z tego nie rozumie. prof. L. Jeśmanowicz Większości z nas matematyka kojarzy się ze zlepkiem niezrozumiałych twierdzeń, ślęczeniem nad zeszytami i strużką potu na czole podczas zmagań pod tablicą. W dodatku - bez względu na to, czy darzysz królową nauk gorącą miłością, czy też nie - na którymś etapie życia po prostu musisz ją zaliczyć. Jednak nie ma co drzeć szat i wylewać krokodylich łez. Pozaszkolna matematyka to naprawdę świetna zabawa, sensacyjne odkrycia i fascynujące opowieści. Nie na darmo przecież matematyk i publicysta Michał Szurek twierdzi, że "matematyka jest jedyną humanistyczną nauką ścisłą". Trudno Ci w to uwierzyć? W takim razie potrzebujesz dowodu! Książeczka, którą trzymasz w ręku, jest Twoim biletem wstępu do tej części matematyki, która większości (także wykształconych) ludzi wydaje się niedostępna, a może nawet dziwna. I jeśli pragniesz ją jak najszybciej odłożyć, dowiedz się, że jest ona właśnie dla Ciebie! Zamieszczone tu dowody czyta się jak zwykłe opowieści, choć nie skutkuje to najmniejszym uszczerbkiem na ich ścisłości. Dla zrozumienia wszystkich dowodów wystarcza znajomość matematyki na poziomie szkoły średniej, a większość rozdziałów jest odpowiednia także dla gimnazjalistów. Po lekturze niektóre matematyczne zawiłości zaczniesz rozgryzać w sposób iście lekkoatletyczny - "Rzut oka na tablicę i wszystko widać". Dariusz Laskowski jest absolwentem Wydziału Matematyki Uniwersytetu Mikołaja Kopernika w Toruniu, nauczycielem matematyki z wieloletnim doświadczeniem wciąż zafascynowanym swoim przedmiotem, jest też autorem kilkunastu artykułów zamieszczonych w "Delcie", "Matematyce w Szkole", "Magazynie Miłosników Matematyki", "Matematyce - Czasopiśmie dla nauczycieli". W swojej książce Jak tego dowieść - krótka opowieść. Dowody matematyczne dla każdego w taki sposób przybliża Czytelnikowi metody dowodowe stosowane w matematyce, że można czytać z przyjemnością ich rozumienia.

Java 9. Przewodnik doświadczonego programisty. Wydanie II

Cay S. Horstmann

Dziś Java jest uważana za starannie zaprojektowany i wciąż rozwijany język, który stanowi standard w wielu potężnych korporacjach z branży IT. W język ten wbudowano funkcje ułatwiające implementację wielu złożonych zadań programistycznych. W nowej wersji Javy znalazło się wiele usprawnień dotyczących najbardziej podstawowych technologii platformy Java. Nowe mechanizmy, na przykład modularyzacja czy nowe podejście do programowania współbieżnego, poprawią efektywność pracy programisty. Jednak opanowanie tak potężnego narzędzia i używanie go na profesjonalnym poziomie stało się prawdziwym wyzwaniem. Ta książka jest kompletnym i zwięzłym kompendium praktycznego wykorzystania Javy. Została pomyślana w taki sposób, aby nauka języka i bibliotek odbywała się możliwie szybko. Omówiono tu bardzo dużo materiału, ale jego uporządkowanie i sposób prezentacji ułatwiają szybki dostęp do danego zagadnienia i łatwe zrozumienie treści. Dzięki temu płynnie nauczysz się wszystkich nowości, od systemu modułów „Project Jigsaw” do wyrażeń lambda czy strumieni. Opanujesz tajniki programowania współbieżnego dzięki potężnym mechanizmom dostępnym w bibliotekach. Docenisz tę książkę, jeśli profesjonalnie piszesz aplikacje w Javie, zwłaszcza jeżeli chcesz tworzyć oprogramowanie działające po stronie serwera lub w systemie Android. Najważniejsze zagadnienia: Modularyzacja, w tym stosowanie modułów zewnętrznych Testowanie kodu za pomocą JShell REPL Wyrażenia lambda i praca z kolekcjami Korzystanie ze Streams API Operacje wejścia-wyjścia, wyrażenia regularne oraz procesy Współbieżność i zadania współpracujące ze sobą Mistrz Javy — to tak dumnie brzmi!

JavaFX. Tworzenie graficznych interfejsów użytkownika

Urszula Piechota, Jacek Piechota

Zaprzęgnij platformę JavaFX do pracy! Poznaj możliwości rozwiązania JavaFX Naucz się za jego pomocą tworzyć GUI Opanuj niezbędne narzędzia w praktyce JavaFX to platforma umożliwiająca proste tworzenie atrakcyjnych interfejsów użytkownika dla aplikacji budowanych w języku Java. Wsparcie wzorca projektowego MVC, obsługa XML-a i możliwość formatowania atrakcyjnych wizualnie kontrolek za pomocą arkuszy stylów CSS - to tylko niektóre cechy sprawiające, że zastosowanie rozwiązania upraszcza architekturę aplikacji, przyspiesza ich tworzenie, ułatwia konserwację, umożliwia wydajną pracę nad projektami i pozwala osiągać ciekawe efekty w stosunkowo krótkim czasie. Jeśli zaczynasz przygodę z Javą i chcesz szybko poznać platformę JavaFX, sięgnij po tę książkę! Krok po kroku wprowadzi Cię ona w świat tworzenia aplikacji wykorzystujących rozwiązania JavaFX, nauczy praktycznego zastosowania najważniejszych funkcji, a także zaprezentuje informacje ułatwiające rozpoczęcie własnych eksperymentów. Dzięki wizualnym wskazówkom i praktycznej pracy z kodem szybko opanujesz niezbędne umiejętności, a przykłady z życia wzięte pozwolą Ci sukcesywnie nabywać bezcennego doświadczenia. Właściwości, wiązanie danych i korzystanie z kolekcji Obsługa zdarzeń, gestów i dotyku Zastosowanie kształtów 2D i kolorów Kształty 3D, kamery i światła Przekształcenia, efekty i animacje Korzystanie z różnych elementów GUI Wykresy, obrazy i rysowanie, audio i wideo Przeglądanie stron WWW i ułatwienia dostępu Wielowątkowość i modularyzacja Współpraca ze Swingiem i korzystanie z FXML-a Efektowny GUI w Javie? Tylko z platformą JavaFX!

Java. Leksykon kieszonkowy. Wydanie II

Marcin Lis

Doskonałe źródło wiedzy o języku Java i platformie Java 6 Chcesz poznać składnię języka Java? Chcesz dowiedzieć się, jak wykonywać podstawowe zadania w tym języku? Szukasz zwięzłego, a przy tym wszechstronnego źródła informacji o Javie? Java zasłużenie jest jednym z najbardziej popularnych języków programowania. Cechuje go między innymi wysoka przenośność, co pozwala uruchamiać kod napisany w nim w różnych systemach operacyjnych oraz na rozmaitych urządzeniach, niezawodność oraz łatwość obsługi rozwiązań sieciowych. Sprawia to, że Java ma bardzo wiele zastosowań -- od prostych programów na telefony komórkowe, przez aplikacje internetowe, po rozbudowane projekty korporacyjne. "Java. Leksykon kieszonkowy. Wydanie II" pozwoli Ci szybko rozpocząć programowanie w tym języku. Poznasz podstawy programowania obiektowego, strukturę kodu, najważniejsze typy danych, instrukcje oraz inne niezbędne elementy składni. Nauczysz się poprawiać stabilność kodu za pomocą wyjątków, a także pobierać i zapisywać dane przy użyciu strumieni wejścia-wyjścia. Dowiesz się też, jak tworzyć aplety oraz kompletne aplikacje z interfejsem graficznym. Składnia języka JavaScript Najważniejsze typy danych i instrukcje Tworzenie klas i obiektów oraz korzystanie z nich Zwiększanie niezawodności kodu przy użyciu wyjątków Pobieranie i zapisywanie danych Tworzenie apletów i umieszczanie ich na stronach Tworzenie aplikacji z interfejsem graficznym Miej najważniejsze informacje o języku Java zawsze pod ręką.

Java Persistence. Programowanie aplikacji bazodanowych w Hibernate. Wydanie II

Christian Bauer, Gavin King, Gary Gregory

Utrwalenie danych, tak aby zostały one zapisane i przechowane przez system informatyczny, jest jedną z podstawowych funkcji aplikacji. Prawie zawsze wymaga się trwałych danych. W przypadku Javy zazwyczaj utrwalenie danych odbywa się poprzez ich zapisanie w relacyjnej bazie danych z wykorzystaniem języka SQL. Relacyjne bazy danych stanowią niezwykle elastyczne i potężne narzędzie do zarządzania utrwalonymi danymi, jednak aby wykorzystać wszystkie zalety tego rozwiązania, trzeba zapewnić optymalne komunikowanie się aplikacji z bazą danych. Niniejsza książka stanowi wyczerpujące źródło aktualnej wiedzy o frameworku Hibernate, najpopularniejszym narzędziu do utrwalania danych dla Javy, które zapewnia automatyczne i przezroczyste mapowanie obiektowo-relacyjne. Wyczerpująco opisano też standard Java Persistence 2.1 (JSR 338). Programowanie aplikacji w Hibernate wyjaśniono tu na licznych przykładach. Pokazano, jak korzystać z mapowania, zapytań, strategii pobierania, transakcji, konwersacji, buforowania i wielu innych funkcji. Nie zabrakło opisu najlepszych praktyk w projektowaniu baz danych oraz wskazówek dotyczących optymalizacji. Wszystkie przykłady zostały uaktualnione dla najnowszych wersji frameworka Hibernate i środowiska Java EE. Najważniejsze zagadnienia omówione w książce: Mapowanie obiektowo-relacyjne i jego znaczenie Projekt aplikacji bazodanowej typu klient-serwer Korzystanie z frameworka Hibernate Specyfikacja Java Persistence Transakcyjne przetwarzanie danych, w tym również zagadnienia współbieżności Tworzenie i uruchamianie zapytań oraz przetwarzanie otrzymanych wyników Hibernate i Java Persistence — najlepszy sposób na nowoczesną aplikację bazodanową! Christian Bauer jest szkoleniowcem i konsultantem. Bierze udział w rozwijaniu frameworka Hibernate. Autor kilku książek dotyczących programowania w Javie. Gavin King jest współzałożycielem projektu Hibernate oraz członkiem grupy ekspertów pracujących nad standardem Java Persistence (JSR 220). Przewodził również pracom nad standaryzacją CDI (JSR 299). Gary Gregory jest współautorem książek JUnit in Action oraz Spring Batch in Action. Jest także członkiem grup zarządzania projektami firmy Apache Software Foundation: Commons, HttpComponents, Logging Services i Xalan.

Język C. Kompendium wiedzy. Wydanie IV

Stephen G. Kochan

„Zdecydowanie najlepsza książka dla każdego, kto chce nauczyć się programować w C. Jest to doskonały podręcznik, świetnie napisany i bogaty w przykłady...  Z tej książki uczyłem się języka C — jest naprawdę doskonała.” — Vinit S. Carpenter, Learn C/C++ Today Kompletny przewodnik po języku C! Język programowania C stworzył Dennis Ritchie. Opracował go w laboratoriach AT & T Bell na początku lat 70. XX wieku. Musiała jednak upłynąć jeszcze niemal dekada, by język ten zyskał popularność i powszechne uznanie — dopiero w 1990 roku opublikowano pierwszą oficjalną wersję standardu ANSI C. Później przez długi czas był to język dominujący na rynku i do tej pory nie ma sobie równych w wielu dziedzinach programowania. Kolejne wydanie kultowej książki o języku C zostało zaktualizowane i poprawione. Znajdziesz tu informacje na temat najnowszych dodatków, wprowadzonych w standardzie ANSI C11, a także sprawdzone, konkretne wiadomości na temat składni języka i najlepszych praktyk tworzenia programów z wykorzystaniem potencjału C. Pętle, instrukcje warunkowe, struktury, wskaźniki, operacje bitowe oraz polecenia preprocesora to klasyczne zagadnienia — bez ich znajomości żaden programista nie może sobie poradzić. Jeżeli szukasz kompletnego podręcznika zawierającego najbardziej aktualne informacje na temat języka C, trzymasz w rękach idealną książkę! Dzięki tej książce: napiszesz, skompilujesz i uruchomisz swój pierwszy program poznasz typy danych oraz ich cechy charakterystyczne opanujesz składnię oraz typowe konstrukcje języka C zaznajomisz się z tablicami oraz strukturami poskromisz wskaźniki oraz ulepszysz zarządzanie pamięcią opanujesz język C Wykorzystaj potencjał języka C! Stephen G. Kochan — autor i współautor klasycznych książek o programowaniu oraz o systemie Unix. Były konsultant ds. oprogramowania w AT & T Bell Laboratories. Do jego obowiązków należało m.in. przygotowywanie i prowadzenie kursów z systemu Unix oraz języka C. Jest autorytetem w swojej specjalizacji.

Język C++. Pierwsze starcie

Zbigniew Koza

Poznaj tajniki programowania w C++ Jak skonstruowany jest program w języku C++? Na czym polega programowanie obiektowe? Jak korzystać z bibliotek? C++ to jeden z najpopularniejszych języków programowania. Stosowany jest zarówno przez profesjonalistów, jak i hobbystów. Wszyscy jego użytkownicy doceniają elastyczność, ogromne możliwości i szybkość działania napisanych w nim programów. Ogromną zaletą C++ jest to, że nie wymusza na programistach stosowania określonego stylu programowania. Z racji swoich możliwości jest to język bardzo złożony, a efektywne programowanie w nim wymaga poznania wielu technik i pojęć oraz umiejętności wykorzystania tej wiedzy w praktyce. Książka "C++. Pierwsze starcie" to podręcznik, dzięki któremu opanujesz zasady programowania w tym języku i zdobędziesz solidne podstawy do dalszego rozwijania swoich umiejętności. Znajdziesz w niej opis aktualnego standardu C++ oraz omówienia narzędzi programistycznych i bibliotek. Poznasz elementy języka, zasady programowania obiektowego i tworzenia złożonych aplikacji. Przeczytasz o szablonach, bibliotece STL i obsłudze błędów. Dowiesz się, jak stosować biblioteki przy tworzeniu aplikacji dla systemów Windows i Linux. Struktura programu w C++ Elementy języka Korzystanie z funkcji Programowanie obiektowe Dynamiczne struktury danych Stosowanie bibliotek Szablony Biblioteka STL Obsługa błędów Zrób pierwszy krok na drodze do profesjonalnego tworzenia oprogramowania.

Język C++ i przetwarzanie współbieżne w akcji. Wydanie II

Anthony Williams

Jeśli aplikacja ma działać szybko i niezawodnie, najlepiej wybrać C++, dojrzały i wszechstronny język programowania, konsekwentnie rozwijany przez mistrzów kodowania. Wymaga on zachowania pewnej dyscypliny podczas pracy, jednak pozwala na uzyskanie kodu o znakomitej wydajności. Nowy standard C++17 zapewnia doskonałą obsługę wielowątkowości oraz programowania wieloprocesorowego wymaganego podczas szybkiego przetwarzania grafiki, uczenia maszynowego czy też wykonywania innych zadań, w których kluczową sprawą okazuje się wydajność. Ta książka jest drugim, zaktualizowanym i uzupełnionym wydaniem doskonałego podręcznika dla profesjonalistów. Szczegółowo opisano w niej wszystkie etapy programowania współbieżnego: od utworzenia wątków po projektowanie wielowątkowych algorytmów i struktur danych. Przedstawiono zastosowania klas std::thread i std::mutex oraz funkcji std::async, a także złożone zagadnienia związane z operacjami atomowymi i modelem pamięci. Sporo miejsca poświęcono diagnozowaniu kodu i analizie rodzajów błędów. Opisano techniki lokalizowania błędów oraz metody testowania kodu. Prezentowany materiał został uzupełniony przykładami kodu i praktycznymi ćwiczeniami. Znalazły się tu również porady i wskazówki, które docenią wszyscy programiści C++. W tej książce między innymi: nowości w standardzie C++17 zagadnienia niskiego poziomu: model pamięci i operacje atomowe zagadnienia wyższego poziomu: złożone struktury danych zagadnienia wysokiego poziomu: kod wielowątkowy i zarządzanie wątkami obsługa równoległości za pomocą funkcji dodanych w standardzie C++17 debugowanie kodu wielowątkowego Programuj elegancko, twórz wydajny i czysty kod. Oto współbieżność w C++!