Książka jest poświęcona algorytmom aproksymacyjnym, czyli algorytmom jak najlepiej przybliżającym dokładne rozwiązanie zadań optymalizacyjnych. Składa się z trzech części. Pierwsza dotyczy aproksymacyjnych algorytmów kombinatorycznych dla wielu ważnych problemów, druga - zastosowania programowania liniowego w projektowaniu algorytmów aproksymacyjnych, a trzecia - trudności związanych z aproksymacjami i zliczaniem. Jest to doskonały podręcznik, o wielkich walorach dydaktycznych, napisany z dużym znawstwem tematu. Każdy rozdział kończy się ćwiczeniami do samodzielnego rozwiązania i rysem...
Tematem książki są podstawowe zagadnienia grafiki komputerowej. Przedstawiono historię tej dziedziny i jej zastosowania. Omówiono najważniejsze rodzaje urządzeń graficznych i algorytmy rysowania na urządzeniach rastrowych. Opisano własności przekształceń geometrycznych na płaszczyźnie i w przestrzeni. Przedstawiono algorytmy działań na wielokątach oraz metody reprezentacji obiektów graficznych. Sporo miejsca poświęcono metodom modelowania krzywych i powierzchni, algorytmom wyznaczania fragmentów linii lub powierzchni zasłoniętych oraz metodom modelowania koloru i oświetlenia.
Książka jest...
W książce przedstawiono wybrane zagadnienia kombinatoryki, teorii grafów i algorytmów kombinatorycznych. Szczególny nacisk położono na algorytmiczne podejście do problemów kombinatorycznych. Każdemu omawianemu problemowi towarzyszy szczegółowy algorytm jego rozwiązania i analiza złożoności obliczeniowej. Warto zaznaczyć, że wszystkie algorytmy zamieszczone w książce to zwarte nieformalne wersje programów napisanych w Pascalu i w języku C++, przy czym te ostatnie są zebrane w oddzielnym Dodatku. Każdy rozdział kończy się zbiorem zadań do samodzielnego rozwiązania. Książka jest przeznaczona...
Książka ta jest poświęcona zagadnieniom logiki, które stanowią podstawę wykształcenia każdego informatyka i inżyniera stosującego metody komputerowe.
Omówiono w niej rachunek zdań, logikę pierwszego rzędu, programowanie w logice, specyfikację i weryfikację programów oraz logikę temporalną. Wszystkie przedstawione implementacje wykonano w języku Prolog.
Jest to doskonały podręcznik, o wielkich walorach dydaktycznych, napisany z dużym znawstwem tematu, a na dodatek zrozumiale. W każdym rozdziale podano wiele przykładów ilustrujących omawiane pojęcia i metody, a także zamieszczono ćwiczenia...
Książka ta jest poświęcona zagadnieniom logiki, które stanowią podstawę wykształcenia każdego informatyka i inżyniera stosującego metody komputerowe. Omówiono w niej rachunek zdań, logikę pierwszego rzędu, programowanie w logice, specyfikację i weryfikację programów oraz logikę temporalną. Wszystkie przedstawione implementacje wykonano w języku Prolog. Jest to doskonały podręcznik, o wielkich walorach dydaktycznych, napisany z dużym znawstwem tematu, a na dodatek zrozumiale. W każdym rozdziale podano wiele przykładów ilustrujących omawiane pojęcia i metody, a także zamieszczono ćwiczenia o...
Jest to znakomity, znany na całym świecie podręcznik dotyczący programowania współbieżnego i rozproszonego. Autor rozpoczyna wykład od przedstawienia klasycznych problemów współbieżności i podstawowych mechanizmów synchronizacyjnych procesów. Potem przechodzi do omówienia problemu wzajemnego wykluczania i zagadnień związanych z weryfikacją programów współbieżnych. Opisuje algorytm piekarniany i mechanizmy synchronizacyjne w modelu ze wspólną pamięcią i w modelu bez wspólnej pamięci oraz klasyczne algorytmy rozproszone i systemy czasu rzeczywistego . Każdy rozdział kończy się zestawem...
W świecie informatycznym książka ta jest uważana za najlepszy podręcznik do wykładu „Wstęp do programowania”.
Autorzy wyraźnie dają do zrozumienia, że programy pisze się nie tylko po to, by je wykonywać, ale także po to, by je czytać, modyfikować i rozwijać. Sztuki programowania nie należy uczyć się przez poznanie składni danego języka programowania czy wyrafinowanych algorytmów, czy wreszcie matematycznej analizy programów, a raczej przez poznanie technik kontroli złożoności dużych systemów oprogramowania. Swoje podejście do nauki programowania przedstawiają za pomocą języka...
Serie wydawnicze
