English for Mathematics is intended for intermediate and higher level students who specialize in mathematics or are simply interested in it. It can be used in class or for self-study.
English for Mathematics:
- 18 units: each unit focuses on one vocabulary area or related vocabulary areas.
- Presents examples of specialist vocabulary and collocations in typical contexts.
- Contains crosswords, quizzes and pronunciation tips.
- Includes the answer key.

This book is addressed to students of geology at upper intermediate and advanced levels (B2-C2). It is designed as a resource book for academic teachers who are interested in stimulating their students' desire to acquire the linguistic skills necessary to talk about issues related to geology in English. There are 12 units in the book, each based on a particular theme. The units are comprised of text-based activities, which focus on the acquisition and consolidation of the thematic vocabulary as well as stimulate discussions and develop confidence in using English when speaking about geology. At the end of the book a key and glossary can be found covering the answers to the exercises, instructions how to use the material in particular units and the English-Polish translation of the key vocabulary. In addition, the book contains a CD with the tracks of all listening exercises. This book is a modest attempt to bridge the gap between the subject matter of geology and the indispensable tool to practise it - the English language.

Niniejsza publikacja stanowi kompendium wiadomości, które mogą być przydatne pracownikom naukowym uczelni technicznych, studentom kierunków technicznych, uczestnikom szkoleń z zakresu nieniszczących badań lin stalowych, osobom przygotowującym się do egzaminów certyfikacyjnych wszystkich stopni w metodzie MTR ? w badaniach magnetycznych lin stalowych, a także pracownikom instytucji zajmujących się dozorem urządzeń technicznych, bezpieczenstwem pracy i regulacjami w tym zakresie.
W publikacji można wyróżnić trzy części tematyczne:
Część I ? matematyczne i fizyczne podstawy teoretyczne powiązane z nowoczesnymi technikami diagnostyki, terminologia oraz budowa, działanie urządzeń pomiarowych i badawczych stosowanych w badaniach magnetycznych lin stalowych (rozdziały 2, 3, 5, 8, 12, 13).
Część II ? opis obiektu badań, stosowanych technik, sposobu badań, aparatury i jej obsługi (rozdziały 6, 7, 9).
Część III ? szczegóły związane z certyfikacją personelu, jakości, normalizacją i bezpieczeństwem wykonywania badań oraz oceną wskazań i kryteriami zużycia lin stalowych (rozdziały 4, 10, 11, 14).

ENGLISH FOR
BUILDING MATERIALS ENGINEERING

W monografii omówiono szeroko rozumianą niezawodność zasilania odbiorców energii elektrycznej w systemach elektroenergetycznych - opisano parametry i wskaźniki niezawodności, podano definicje przerw w zasilaniu i ich rodzaje, przedstawiono zasadnicze charakterystyki niezawodności układów sieci oraz napowietrznych i kablowych linii elektroenergetycznych. Prezentowane pojęcia i definicje oparto na literaturze, a przede wszystkim - na międzynarodowym słowniku IEV (International Electrical Vocabulary IEC 60050). Zagadnienie pewności zasilania scharakteryzowano jako miarę zaufania użytkownika do systemu zasilania. Niezawodność rozpatrywana jest zarówno z perspektywy odbiorcy (jego zapotrzebowanie na moc i energię, charakter funkcjonowania, skutki przerw w dostawie), jak i przedsiębiorstwa energetycznego (standardy jakościowe, ich weryfikacja w kontekście niezawodności zasilania). Analizę pewności zasilania wybranych obciążeń elektrycznych zilustrowano przykładami pomiarów przebiegu napięć i prądów, rejestrowanych w czasie testów sprawdzających poprawność działania układu zasilania centrum danych i innych wybranych obiektów.
Książka przeznaczona przede wszystkim dla inżynierów zajmujących się tematyką jakości zasilania energii elektrycznej, ale także dla studentów studiów podyplomowych i doktorantów na kierunkach związanych z elektrotechniką, elektroniką czy automatyką.

Podręcznik przeznaczony jest dla studentów wydziałów mechanicznych wyższych uczelni technicznych. Materiał w nim zawarty opracowany został na podstawie wykładów, które autor prowadzi od roku 1980 do chwili obecnej w Akademii Górniczo-Hutniczej w Krakowie na Wydziale Inżynierii Mechanicznej i Robotyki.
Treść podręcznika obejmuje głównie zagadnienia liniowych układów regulacji automatycznej oraz w niewielkim zakresie układy przełączające i sterowanie cyfrowe. Książka jest przeznaczona przede wszystkim dla studentów specjalności konstrukcyjnych, eksploatacyjnych i technologicznych, w wypadku których znajomość zagadnień klasycznej teorii regulacji we współczesnym jej ujęciu jest w przyszłej praktyce inżynierskiej niezbędnym warunkiem współpracy z automatykami w zakresie automatyzacji procesów produkcyjnych. Dlatego też podręcznik ten nie jest wyczerpujący ? ma za zadanie wprowadzenie czytelnika w dziedzinę automatyki i teorii sterowania, a także ułatwienie mu zrozumienia zasadniczych pojęć i związków między nimi. Nie ma w nim dowodów twierdzeń ani ścisłych wyprowadzeń wzorów, te znajdzie czytelnik w obszernych monografiach i podręcznikach, które wymieniono w umieszczonej na końcu książki bibliografii.

KOMPUTEROWA ANALIZA ELEKTRONICZNYCH UKŁADÓW POMIAROWYCH

Niniejszy skrypt przeznaczony jest dla studentów odbywających ćwiczenia w Laboratorium Katedry Maszyn Elektrycznych AGH w ramach studiów pierwszego stopnia stacjonarnych i niestacjonarnych. Obejmuje tematyką podstawowe maszyny elektryczne i transformatory.

Celem książki jest ukazanie metod i narzędzi przydatnych do realizacji zadań współcześnie rozumianej inżynierii oprogramowania, z naciskiem położonym na obiektowe podejście. Zakres tematyczny książki obejmuje: procesy inżynierii oprogramowania, metody projektowania systemu, zastosowanie języka UML do projektowania,, metody implementacji w językach C/C++ i Java oraz testowanie oprogramowania.

Książka składa się z 15 rozdziałów obejmujących zdecydowaną większość zagadnień teoretycznych i praktycznych z zakresu kontroli i sterowania procesami technologicznymi przeróbki rud. Omówiono w niej następujące zagadnienia: charakterystyka zakładu przeróbczego i jego podstawowych układów technologicznych jako obiektów automatyzacji, charakterystyki statyczne i dynamiczne obiektów sterowania, schematy blokowe układów sterowania, urządzenia pomiarowe i analiza błędów pomiarowych, modelowanie procesów technologicznych, optymalizacja statyczna i dynamiczna procesów technologicznych jako obiektów sterowania.

IDEE I MYŚLICIELE CZŁOWIEK W PRZESTRZENIACH KOMUNIKACYJNYCH

Skrypt jest prze­znaczony dla studentów Wydziału Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej Akademii Górniczo-Hutniczej. Zawiera materiały pomocnicze do dwudziestu ćwiczeń laborato­ryjnych w ramach przedmiotu inżynieria materiałowa w elektrotechnice. Ćwiczenia obejmują problematykę podstawowych grup materiałów stosowanych w elektrotechnice: przewo­dzących, elektroizolacyjnych, półprzewodników i magnetycznych. W opisie każdego ćwi­czenia znajdują się następujące hasła: charakterystyka i cel ćwiczenia, wprowadze­nie teoretyczne, wykonanie ćwiczenia (program ćwiczenia, metody pomiarowe, opracowanie wyników), sprawozdanie, literatura. Poszczególne ćwiczenia kończą się przykładami zadań i pytań kontrolnych.

NOWE ZJAWISKA I PROCESY W BADANIACH NAD POLSKIMI KULTURAMI STAROŚCI

Wyznaczanie sił tnących i momentów zginających w belkach

Grafy są intuicyjnym formalizmem pozwalającym na opisanie systemów składających się z wielu obiektów o różnorodnych charakterystykach powiązań pomiędzy nimi. Obiekty zwykle reprezentowane są jako wierzchołki grafu, relacje wyrażone są jako krawędzie, dodatkowe własności zapamiętywane są jako atrybuty zarówno wierzchołków jak i krawędzi. Zmiany w tak opisanym systemie mogą być specyfikowane jako wykonanie transformacji grafowych przekształcających graf źródłowy na graf docelowy. W pierwszej części monografii zasygnalizowano podstawowe typy transformacji mające znaczenie praktyczne.
Przy dużych rozmiarach grafów użyteczne wydaje się równoległe wykonywanie transformacji. Formalne podstawy rozwiązania wspomagającego automatyczną synchronizację (ang. implicit synchronization) równoległych transformacji grafowych w środowisku rozproszonym wprowadzono w drugiej części monografii. Omówiona zostanie również koncepcja grafów komplementarnych (ang. complementary graphs) i wywodząca się z niej koncepcja grafów ciętych (ang. slashed graps) oraz synchronizacja bazująca na sprzężeniu gramatyk grafowych. Przeanalizowano też problem optymalnego podziału grafu scentralizowanego na rozproszone podgrafy komplementarne lub cięte.
W trzeciej ostatniej części monografii przedstawione zostaną przykłady praktycznych zastosowań omawianych w części drugiej transformacji rozproszonych. Dotyczą one zagadnień:
- wspomagania projektowania wnętrz,
- projektowania inteligentnych systemów oświetleniowych,
- integracji systemów projektowania zewnętrznego (ulice, szkielety budynków)
z projektowaniem wewnętrznym.