SOWA OPAC : Wojewódzka i Miejska Biblioteka Publiczna w RzeszowieKatalog centralny

57 wyników

Książka

W koszyku

oceń

Wprowadzenie do teorii obliczeń / Michael Sipser ; [przekład Marek Włodarz]. - Wydanie 3. (1 w WN PWN). - Warszawa : Wydawnictwo Naukowe PWN, 2020. - XVIII, 480 stron : ilustracje ; 24 cm.

Autor

Sipser Michael. Włodarz Marek.

Forma i typ

Książki Publikacje dydaktyczne

Odbiorca

Szkoły wyższe

Temat

Automaty Teoria automatów Teoria obliczalności Teoria obliczeń Złożoność obliczeniowa

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Tytuł oryginału: "Introduction to the theory of computation" 2013.

Bibliografia na stronach 465-468. Indeks.

Dla studentów informatyki na wszystkich wyższych uczelniach.

Automaty i języki ; Teoria obliczalności ; Teoria złożoności.

Wprowadzenie do teorii obliczeń to najpopularniejszy podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Książka składa się z trzech części. Pierwsza jest poświęcona automatom i językom formalnym. Omówiono w niej niedeterminizm, równoważność automatów deterministycznych i niedeterministycznych, wyrażenia regularne, kryteria nieregularności języków, a także języki bezkontekstowe. Druga część dotyczy teorii obliczalności. Opisano w niej ograniczenia współczesnych komputerów, wyjaśniono pojęcia rozstrzygalności i nierozstrzygalności. Trzecia część jest poświęcona teorii złożoności. Przedstawiono w niej podstawowe klasy złożoności obliczeniowej, klasę problemów NP-zupełnych, a także klasyfikację problemów ze względu na możliwość automatycznego ich rozwiązywania przy ograniczonych zasobach. Trzecia edycja zawiera zupełnie nowy podrozdział poświęcony deterministycznym językom bezkontekstowym. Została też wzbogacona o nowe ćwiczenia, problemy i przykłady. Książka skierowana do studentów informatyki na wszystkich wyższych uczelniach. [www.azymut.pl, 2020]

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)

Są egzemplarze dostępne do wypożyczenia: sygn. WG-51 (1 egz.)

Książka

W koszyku

oceń

Wielkie twierdzenie Fermata : rozwiązanie zagadki starego matematycznego problemu / Amir D. Aczel ; przeł. Paweł Strzelecki. - Warszawa : "Prószyński i S-ka", 1998. - 143 s. : fot., rys., wykr. ; 21 cm.

(Na Ścieżkach Nauki)

Autor

Aczel Amir D. Strzelecki Paweł (1963- ).

Temat

Fermat, Pierre de Teoria liczb. Matematyka Wiles, Andrew

Indeks

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-78155 (1 egz.)

Książka

W koszyku

oceń

Wybrane rozdziały analizy matematycznej / Witold Kołodziej. - Warszawa : Państwowe Wydawnictwo Naukowe, 1970. - 358, [2] s. : err. ; 25 cm.

(Biblioteka Matematyczna ; t. 36)

Autor

Kołodziej Witold (1930-2011).

Temat

Analiza matematyczna. Przestrzeń Teoria mnogości. Topologia.

Gatunek

Podręczniki akademickie.

Bibliogr. s. [346]-347. Indeksy.

I. Podstawowe pojęcia mnogościowe, algebraiczne i topologiczne : a) Pojęcia mnogościowe ; b) Pojęcia algebraiczne ; c) Pojęcia topologiczne ; II. Przestrzenie Banacha ; III. Przestrzenie Hilberta ; IV. Operatory liniowe ograniczone ; V. Elementy analizy widmowej i teorii równań całkowych ; VI. Operatory liniowe nieograniczone i zagadnienia brzegowe fizyki matematycznej ; VII. Zagadnienia ekstremum funkcjonału - rachunek wariacyjny ; VIII. Rachunek różniczkowy i całkowy w przestrzeniach Banacha ; IX. Metody przybliżone analizy funkcjonalnej ; Dodatek I. Rozszerzenie funkcji ciągłych. Twierdzenie Tietzego-Urysona ; Dodatek II. Twierdzenia Weierstrassa o aproksymowaniu funkcji ciągłych wielomianami ; Dodatek III. Twierdzenie o całkowaniu przez części dla całek wielokrotnych. Wzór Greena.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-3091 (1 egz.)

Książka

W koszyku

oceń

Transport : ujęcie systemowe / Andrzej Kuriata, Zdzisław Kordel. - Warszawa : CeDeWu, 2020. - 182 strony : ilustracje ; 24 cm.

Autor

Kuriata Andrzej. Kordel Zdzisław (1950- ).

Forma i typ

Książki Publikacje dydaktyczne Publikacje naukowe

Odbiorca

Szkoły wyższe

Temat

Modele matematyczne Teoria systemów Transport

Gatunek

Podręcznik

Dziedzina i ujęcie

Matematyka Transport i logistyka

Bibliografia, netografia na stronach 177-178.

Współfinansowanie: Uniwersytet Gdański

R. I. Rozważania teoretyczne określenia transport ; 1. Pojęcie transportu (T) wraz z modelami informacyjnymi ; 2. Proces transportu wraz z modelami informacyjnymi ; R. II. Transport w ujęciach (GT) oraz (TMI): Transport w ujęciu (GT) ; Transport mieszany (TMI) wraz z modelami informacyjnymi ; R. III. Infrastruktura transportu: 1. Infrastruktura transportu w ujęciu gałęziowym (GT) ; 2. Infrastruktura transportu mieszanego (TMI) ; R. IV. Koszty transportu: 1. Koszty transportu w ujęciu (GT) ; 2. Koszty transportu w ujęciu (TMI) ; R. V. Sytuacja konfliktowa w (UR): 1. Model sytuacji konfliktowej (SK) ; 2. Modele informacyjne pojęć wraz z algorytmem pojęcia (SK) ; R. 6. Koncepcja systemu transportowego (SyTr): 1. Otoczenie systemowe transportu (OSyTr) ; 2. Pojęcie sytemu transportowego (SyTr) ; R. VII. Polityka transportowa Unii Europejskiej oraz Polski: 1. Polityka transportowa w Unii Europejskiej (PolTrUE). Wybrane zagadnienia ; 2. Polityka transportowa państwa polskiego (PolTRKr). Wybrane zagadnienia.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-110066 (1 egz.)

Książka

W koszyku

oceń

Zjawiska krytyczne : wstęp do teorii grupy renormalizacji / J.J. Binney [i in.] ; z ang. tł. Grzegorz Musiał, Piotr Pawlicki. - Warszawa : Wydaw. Naukowe PWN, 1998. - 488 s. : il. ; 24 cm.

Autor

Binney J. J. (1950- ). Musiał Grzegorz (1952- ). Pawlicki Piotr.

Temat

Matematyka Przemiany fazowe Teoria pola

Indeks

Bibliogr.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-77784 (1 egz.)

Książka

W koszyku

oceń

Teoria sterowania : projektowanie układów regulacji / Jacek Kabziński - Warszawa : Wydawnictwo Naukowe PWN, 2021. - 515 stron : ilustracje (w tym kolorowe) ; 24 cm.

Autor

Kabziński Jacek (1955- ).

Forma i typ

Książki Publikacje dydaktyczne Publikacje fachowe

Odbiorca

Inżynierowie Szkoły wyższe

Temat

Automatyka Modele matematyczne Sterowanie Teoria sterowania

Gatunek

Podręcznik

Dziedzina i ujęcie

Inżynieria i technika Matematyka

Bibliografia na stronach [509]-511. Indeks.

Dla studentów automatyki, robotyki, mechatroniki i innych kierunków z nimi związanych, jak i dla inżynierów zajmujących się projektowaniem, konfigurowniem i eksploatowaniem nowoczesnych układów sterujących.

CZ. I. LINIOWE MODELE UKŁDYNAMICZNYCH: 1. Liniowe modele układów dynamicznych - wprowadzenie ; 2. Modele układów dynamicznych z czasem ciągłym - równania stanu ; 3. Modele układów dynamicznych z czasem ciągłym - transmitancja ; 4. Modele układów dynamicznych z czasem dyskretnym - równania stanu ; 5. Modele liniowych układów dynamicznych z czasem dyskretnym - transmitancja ; INTERMEDIUM: Przykłady analizy układów dynamicznych ; P1. Analiza właściwości układu drugiego rzędu o rzeczywistych: różnych wartościach własnych ; P2. Analiza właściwości układu drugiego rzędu o podwójnych, rzeczywistych wartościach własnych ; P3. Analiza właściwości układu drugiego rzędu o zespolonych wartościach własnych ; CZ. II. PROJEKTOWANIE UKŁADÓW STEROWANIA: 6. Sterowanie - struktury i wymagania ; 7. Projektowanie ciągłych układów regulacji modelowanych za pomocą transmitancji ; 8. Projektowanie dyskretnych układów regulacji modelowanych za pomocą skalarnej transmitancji ; 9. Sterowalność i obserwowalność układów ciągłych ; 10. Sterowalność i obserwowalność układów dyskretnych ; 11. Lokowanie biegunów układu zamkniętego ; 12. Odtwarzanie zmiennych DODATKI: D0. Matematyczne podstawy automatyki ; D1. Transformata Laplace’a ; D2. Transformata Z ; D3. Typowe elementy liniowych, ciągłych systemów dynamicznych ; D4. Dyskretne odpowiedniki elementarnych układów dynamicznych.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-109166 (1 egz.)

Książka

W koszyku

oceń

Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 6. - Warszawa : Państwowe Wydawnictwo Naukowe, 1977. - 302, [1] s. : rys., tab. ; 24 cm.

(Biblioteka Matematyczna ; t. 30)

Autor

Rasiowa Helena (1917-1994).

Temat

Algebra. Funkcje. Logika matematyczna. Matematyka Teoria mnogości.

Gatunek

Podręczniki akademickie.

Indeksy.

Algebra zbiorów ; Liczby naturalne. Dowody indukcyjne ; Funkcje ; Sumy i iloczyny uogólnione zbiorów ; Produkty kartezjańskie zbiorów. Relacje. Funkcje jako relacje ; Produkty uogólnione. Relacje wieloczłonowe. Funkcje wielu zmiennych. Obrazy i przeciwobrazy wyznaczone przez funkcję ; Relacje równoważności ; Moce zbiorów ; Zbiory uporządkowane ; Zbiory liniowo uporządkowane ; Zbiory dobrze uporządkowane ; Rachunek zdań i jego zastosowanie do dowodów matematycznych ; Elementy rachunku funkcyjnego i jego zastosowanie do dowodów matematycznych ; Elementarne pojęcia algebry abstrakcyjnej.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-48527 (1 egz.)

Brak okładki

Książka

W koszyku

Wprowadzenie do psychologii matematycznej / Clyde H. Coombs, R.M. Dawes, A. Tversky ; tł. z ang. Janusz Grzelak [i in.]. - Warszawa : Państwowe Wydaw. Naukowe, 1977. - 530, [2] s. : rys., tab., wykr. ; 21 cm.

(Biblioteka Psychologii Współczesnej)

Autor

Coombs Clyde Hamilton (1912- ). Dawes Robyn M. (1936- ). Tversky A. Grzelak Janusz (1941- ).

Temat

Decyzje Matematyka Psychologia Teoria informacji Uczenie się Modele

Indeksy

Bibliogr.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-47494 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Teoria optymalizacji / Dawid G. Luenberger ; tł. [z ang.] Alicja Derkowska. - Warszawa : Państwowe Wydaw. Naukowe, 1974. - 427, [1] s. : wykr. ; 21 cm.

(Biblioteka Naukowa Inżyniera / red. Stanisław Bellert [i in.])

Autor

Luenberger David G. (1937- ). Derkowska Alicja.

Temat

Analiza funkcjonalna Badania operacyjne Optymalizacja Przestrzenie Hilberta Przestrzeń

Bibliogr. Indeks

1. Wstęp 2. Przestrzenie liniowe 3. Przestrzeń Hilberta 4. Estymacja metodą najmniejszych kwadratów 5. Przestrzenie sprzężone 6. Operatory liniowe i operatory do nich sprzężone 7. Optymalizacja funkcjonałów 8. Globalna teoria optymalizacji warunkowej 9. Lokalna teoria optymalizacji warunkowej 10.Iteracyjne metody optymalizacji

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-39088 (1 egz.)

Książka

W koszyku

oceń

A beautiful mind / Sylvia Nasar. - London : Faber and Faber, [200-]. - 461, [2] strony ; 22 cm.

Autor

Nasar Sylvia (1947- ).

Forma i typ

Książki Literatura faktu, eseje, publicystyka

Temat

Nash, John Forbes (1928-2015 ) Ekonomiści Matematycy Schizofrenicy Teoria gier Stany Zjednoczone (USA)

Gatunek

Biografia

Dziedzina i ujęcie

Historia Matematyka

Bibliografia na stronach [437]-439. Indeks.

Tekst w języku angielskim.

A Beautiful Mind is Sylvia Nasar's award-winning biography about the mystery of the human mind, the triumph over incredible adversity, and the healing power of love. At the age of thirty-one, John Nash, mathematical genius, suffered a devastating breakdown and was diagnosed with schizophrenia. Yet after decades of leading a ghost-like existence, he was to re-emerge to win a Nobel Prize and world acclaim. A Beautiful Mind has inspired the Oscar-winning film directed by Ron Howard and featuring Russell Crowe in the lead role of John Nash. [https://www.faber.co.uk/9780571212927-a-beautiful-mind.html, dostęp 16.12.2019]

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)

Są egzemplarze dostępne do wypożyczenia: sygn. WG-O/j.ang. (1 egz.)

Filia 13 (Iwonicka 38)

Są egzemplarze dostępne do wypożyczenia: sygn. F.13-K.ANG.-51 (1 egz.)

Brak okładki

Książka

W koszyku

Matematyka z zadaniami / Janusz Piszczała, Maria Piszczała, Barbara Wojcieszyn. - Warszawa ; Poznań : Państwowe Wydaw. Naukowe, 1979. - 439 s. : rys., wykr. ; 24 cm.

Autor

Piszczała Janusz. Piszczała Maria. Wojcieszyn Barbara.

Temat

Matematyka Analiza matematyczna Funkcje Logika matematyczna Przestrzeń Teoria mnogości

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-52706 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Równania różniczkowe cząstkowe w zagadnieniach fizyki i techniki / Edward Kącki. - Wyd. 3. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1992. - 505 s. : rys., tab., wykr. ; 24 cm.

Autor

Kącki Edward (1925- ).

Temat

Elektrotechnika Fizyka Równania różniczkowe Analiza funkcjonalna Analiza matematyczna Matematyka Mechanika Metoda różnicowa Metody i zagadnienia brzegowe Teoria mnogości Teoria potencjału

Indeks

Książka przeznaczona dla inżynierów i studentów

wyższych uczelni technicznych

Bibliogr.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-71638 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Matematyka w fizyce klasycznej i kwantowej. T. 2 / Frederick W. Byron, Robert W. Fuller; tł. z ang. Andrzej Pindor, Andrzej Szymacha. - Wyd. 2 popr. - Warszawa : Państwowe Wydaw. Naukowe, 1976. - 341, [2] s. : rys., wykr. ; 25 cm.

Autor

Byron Frederick William. Pindor Andrzej. Szymacha Andrzej. Fuller Robert W.

Temat

Fizyka Matematyka Funkcje Funkcje analityczne Równania całkowe Teoria grup

Bibliogr. przy rozdz. Indeksy

- Wybrane zagadnienia i zastosowania teorii funkcji

analitycznych - Funkcje Greena - Wprowadzenie do równań całkowych - Równania całkowe w przestrzeni Hilberta - Wstęp do teorii grup

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-43087/t.2 (1 egz.)

Książka

W koszyku

oceń

Piękny umysł / Sylvia Nasar ; z ang. przeł. Piotr Amsterdamski. - Warszawa : Albatros : Muza, 2002. - 470, [2] s. ; 23 cm.

Autor

Nasar Sylvia. Amsterdamski Piotr (1955-2008).

Temat

Nash, John F. (1928- ) Matematycy Teoria gier.

Indeks

Na okł. dodatek do tyt.: Biografia genialnego

matematyka Johna Nasha

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Filia 3 (Krzyżanowskiego 6)

Są egzemplarze dostępne do wypożyczenia: sygn. F.3-lit.amer. (1 egz.)

Filia 15 (Lwowska 60)

Są egzemplarze dostępne do wypożyczenia: sygn. F.15-lit.amer. (1 egz.)