SOWA OPAC : Katalog komputerowy książek, czasopism i zbiorów specjalnych

11 wyników

Brak okładki

Książka

W koszyku

The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff. - Berlin [etc.] : Springer, 1979. - X, 243 s. ; 25 cm.

(Lecture Notes in Mathematics ; 718)

Autor

Ferrante Jeanne (1949- ). Rackoff Charles W. (1948- ).

Temat

Złożoność obliczeniowa Rachunek kwantyfikatorów

Bibliogr. s. [234]-238. Indeks.

dostępna do wypożyczenia

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

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. Z 2271 (1 egz.)

Brak okładki

Książka

W koszyku

Złożoność obliczeniowa algorytmów w zadaniach / Krzysztof Giaro. - Gdańsk : Wydawnictwo Politechniki Gdańskiej, 2002. - 103, [1] s. : il. ; 24 cm.

Autor

Giaro Krzysztof.

Temat

Algorytmy Złożoność obliczeniowa

Gatunek

Ćwiczenia i zadania dla szkół wyższych

Bibliogr. s. [104].

Dla studentów informatyki.

Sygnatura czytelni BWEAiI: XII F 11

dostępna w czytelni

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

Biblioteka WEAiI

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. S 69977 N (1 egz.)

Brak okładki

Książka

W koszyku

Złożoność obliczeniowa algorytmów w zadaniach / Krzysztof Giaro ; Olsztyńska Wyższa Szkoła Informatyki i Zarządzania im. Prof. Tadeusza Kotarbińskiego. - Gdańsk ; Olsztyn : Olsztyńska Wyższa Szkoła Informatyki i Zarządzania im. prof. T. Kotarbińskiego, 2011. - 105 s. : il. ; 25 cm.

Autor

Giaro Krzysztof.

Temat

Algorytmy Złożoność obliczeniowa

Gatunek

Ćwiczenia i zadania dla szkół wyższych

Bibliogr. s. 105.

Dla studentów informatyki.

dostępna do wypożyczenia

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

Wypożyczalnia

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

Brak okładki

Książka

W koszyku

Causality, probability, and time / Samantha Kleinberg. - Cambridge [etc.] : Cambridge University Press, 2013. - VII, [1], 259 s. : il. ; 25 cm.

Autor

Kleinberg Samantha (1983- ).

Temat

Złożoność obliczeniowa

Bibliogr. s. 241-250. Indeks.

aktualnie wypożyczona

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

Wypożyczalnia

Wszystkie egzemplarze są obecnie wypożyczone: sygn. Z 8479 (1 egz.)

Książka

W koszyku

Autor

Kurp Feliks.

Forma i typ

Książki Publikacje fachowe

Odbiorca

Programiści

Temat

Algorytmy Java (język programowania) Programowanie (informatyka) Złożoność obliczeniowa

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne

Bibliografia na stronie 121. Indeks.

Pojęcie i własności algorytmu Przetwarzanie imperatywne Metody zapisu algorytmu Pseudokod Skończoność algorytmu Ogólny schemat konstruowania poprawnych algorytmów Algorytmy iteracyjne i rekurencyjne Pętle iteracyjne. Warunek stopu Pętla for Przykłady algorytmów iteracyjnych Wyszukiwanie liniowe i binarne. Złożoność obliczeniowa algorytmów iteracyjnych Algorytmy rekurencyjne - pierwsze podejście Typy danych proste i złożone. Typy wartościowe i referencyjne Proste typy wartościowe Typy złożone - obiekty, struktury, tablice, słowniki Typ obiektowy i strukturowy Typ tablicowy. Tablice asocjacyjne (słowniki) Rozdział 4. Algorytmy sortowania tablic Sortowanie przez proste wstawianie Sortowanie przez prostą zamianę (sortowanie bąbelkowe) Sortowanie szybkie (QuickSort). Metoda "dziel i zwyciężaj" Sortowanie z użyciem dodatkowej tablicy Algorytmy i procesy rekurencyjne Anatomia przetwarzania rekurencyjnego Szacowanie złożoności obliczeniowej w rekurencji Derekursywacja Rekurencja ogonowa i bezogonowa Rekurencja zagnieżdżona Programowanie liniowych struktur dynamicznych Cechy struktur dynamicznych Zjawiska na stosie i na stercie w programowaniu struktur dynamicznych Oparte na referencji listy liniowe Lista liniowa jednokierunkowa Lista liniowa jednokierunkowa z wartownikiem Dynamiczne LIFO-stosy i FIFO-kolejki Samoorganizujące się listy . Listy cykliczne Listy z przeskokami. Przeszukiwanie indeksowo-sekwencyjne Listy liniowe dwukierunkowe Rozdział 7. Drzewa i lasy Rekurencyjna definicja drzewa Drzewa binarne Algorytm tzw. naturalnego przekształcenia dowolnego lasu w drzewo binarne Algorytmy przeglądania drzew binarnych Drzewa binarnych poszukiwań (drzewa BST) Drzewa wyważone i dokładnie wyważone. Drzewa z priorytetem. Algorytmy obsługi grafów. Grafy Metody reprezentacji grafu w pamięci Dynamiczna lista incydencji Rekurencyjny algorytm szukania w głąb dla grafu (algorytm DFS) Algorytmy z nawrotami Ogólna postać algorytmu z nawrotami Klasyczne przykłady algorytmów z nawrotami Implementacje algorytmów z nawrotami . Implementacja algorytmu z nawrotami oparta na zbiorach Implementacja algorytmu z nawrotami wykorzystująca drzewa poszukiwań. Metody usprawniania algorytmów o dużej złożoności czasowej Metody systematyczne Metoda obcinania gałęzi Metoda sklejania gałęzi Metoda dekompozycji Metody heurystyczne Metody wykorzystujące sztuczną inteligencję Algorytm mrówkowy Algorytm genetyczny Problemy algorytmicznie trudne Klasy problemów decyzyjnych

Sygnatura czytelni BWEAiI: XII N 161

dostępna w czytelni

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

Biblioteka WEAiI

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 152993 (1 egz.)

Brak okładki

Książka

W koszyku

Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł. Przemysława Kanarek, Krzysztof Loryś. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2002. - 540 s. : il. ; 24 cm.

(Klasyka Informatyki)

Autor

Papadimitriou Christos H. Kanarek Przemysława. Loryś Krzysztof (1958- ).

Temat

Złożoność obliczeniowa

Gatunek

Podręczniki akademickie

Bibliogr. przy rozdz. Indeksy.

dostępna do wypożyczenia

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

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 104639, 103349 L (2 egz.)

Brak okładki

Książka

W koszyku

Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł. Przemysława Kanarek, Krzysztof Loryś. - Wyd. 2. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2007. - 540 s. : il. ; 24 cm.

(Klasyka Informatyki)

Autor

Papadimitriou Christos H. Kanarek Przemysława. Loryś Krzysztof (1958- ).

Temat

Złożoność obliczeniowa

Gatunek

Podręczniki akademickie

Bibliogr. przy rozdz. Indeksy.

dostępna do wypożyczenia

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

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 117710 L (1 egz.)

Książka

W koszyku

Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł. Zdzisław Płoski. - Nowe wyd. pol. - Gliwice : Helion, cop. 2012. - 466 s. : il. ; 25 cm.

(Kanon Informatyki)

Autor

Papadimitriou Christos H. Płoski Zdzisław.

Temat

Złożoność obliczeniowa

Gatunek

Podręczniki

Na okł.: Nowe wydanie klasycznego podręcznika. Algorytmy i ich wydajność. Obliczenie, problemy i logika. Współzależność pomiędzy obliczeniem a aplikacjami.

Na okł. i s. tyt. logo wydaw. oryg.: Addison Wesley Publishing Company.

Bibliogr. przy rozdz. Indeksy.

Dla studentów informatyki, a także dla programistów odpowiedzialnych za implementację kluczowych algorytmów.

dostępna w czytelni

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

Biblioteka WEAiI

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 134672 N (1 egz.)

Książka

W koszyku

Algorytm Quine'a-Mc Cluskey minimalizacji indywidualnych cząstkowych wielowartościowych funkcji logicznych / Marian Antoni Partyka ; Wyższa Szkoła Inżynierska w Opolu. - Opole : Wyższa Szkoła Inżynierska, 1990. - 111 s. ; 25 cm.

(Studia i Monografie / Wyższa Szkoła Inżynierska w Opolu, ISSN 0239-5991 ; z. 37)

Autor

Partyka Marian Antoni.

Temat

Złożoność obliczeniowa

Niezadrukowana s. 102.

Bibliogr. s. 97-108.

dostępna do wypożyczenia

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

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 79355, 79353 L, 79356, 79357, 79354 (5 egz.)

Książka

W koszyku

Algorytm Quine'a-Mc Cluskeya minimalizacji indywidualnych cząstkowych wielowartościowych funkcji logicznych / Marian Antoni Partyka. - (Wyd. 2 rozsz.). - Opole : Politechnika Opolska. Oficyna Wydawnicza, 1999. - 138 s. : il. ; 24 cm.

(Studia i Monografie / Politechnika Opolska, ISSN 1429-6063 ; z. 109)

Autor

Partyka Marian Antoni.

Temat

Złożoność obliczeniowa

Bibliogr. s. 123-135.

dostępna do wypożyczenia

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

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 98117 L, 107424, 98118, M 6325, 98120, 98121, 98119, 107433 (8 egz.)

Książka

W koszyku

Wprowadzenie do teorii obliczeń / Michael Sipser ; [przekład Marek Włodarz]. - Wydanie 3. (1 w WN PWN) - Warszawa : 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

Bibliografia na stronach 465-468. Indeks.

Praca skierowana do studentów informatyki na wszystkich wyższych uczelniach.

Automaty, obliczalność i złożoność Teoria złożoności Teoria obliczalności Teoria automatów Pojęcia matematyczne i terminologia Zbiory Ciągi i krotki Funkcje i relacje Grafy Słowa i języki Logika Boole'a14 Podsumowanie terminów matematycznych Definicje, twierdzenia i dowody Znajdowanie dowodów Typy dowodów Dowód przez konstrukcję Dowód nie wprost (przez sprowadzenie do sprzeczności) Dowód indukcyjny Dowód AUTOMATY I JĘZYKI Języki regularne Automaty skończone Formalna definicja automatu skończonego Przykłady automatów skończonych Formalna definicja obliczeń Projektowanie automatów skończonych Operacje regularne Niedeterminizm Formalna definicja niedeterministycznego automatu skończonego Równoważność NFA i DFA Zamknięcie ze względu na operacje regularne Wyrażenia regularne Formalna definicja wyrażenia regularnego Równoważność z automatami skończonymi Języki nieregularne Lemat o pompowaniu dla języków regularnych 2.Języki bezkontekstowe Gramatyki bezkontekstowe Formalna definicja gramatyki bezkontekstowej Projektowanie gramatyk bezkontekstowych Niejednoznaczność Postać normalna Chomsky'ego Automaty ze stosem Formalna definicja automatu ze stosem Przykłady automatów ze stosem Równoważność z gramatykami bezkontekstowymi Języki niebędące bezkontekstowymi Lemat o pompowaniu dla języków bezkontekstowych Deterministyczne języki bezkontekstowe Właściwości języków DCFL Deterministyczne gramatyki bezkontekstowe Zależności między DPDA a gramatykami DCFG Parsing i gramatyki LR(k) TEORIA OBLICZALNOŚCI Hipoteza Churcha-Turinga Maszyny Turinga Formalna definicja maszyny Turinga Przykłady maszyn Turinga Odmiany maszyn Turinga Wielotaśmowe maszyny Turinga Niedeterministyczne maszyny Turinga Enumeratory Równoważność z innymi modelami Definicja algorytmu Problemy Hilberta Konwencja opisywania maszyn Turinga Rozstrzygalność Języki rozstrzygalne Problemy rozstrzygalne dotyczące języków regularnych Problemy rozstrzygalne dotyczące języków bezkontekstowych Nierozstrzygalność Metoda diagonalizacji Język nierozstrzygalny Język nierozpoznawalny w sensie Turinga Redukowalność Nierozstrzygalne problemy teorii języków Redukcje przez historie obliczeń Prosty problem nierozstrzygalny Redukcja przez odwzorowanie Funkcje obliczalne Formalna definicja redukcji przez odwzorowanie Zaawansowane zagadnienia teorii obliczalności Twierdzenie o rekurencji Samoodniesienie Posługiwanie się twierdzeniem o rekurencji Zastosowania Rozstrzygalność teorii logicznych Teoria rozstrzygalna Teoria nierozstrzygalna Redukowalność w sensie Turinga Pojęcie informacji Opisy minimalnej długości Optymalność definicji Słowa niekompresowalne i losowość TEORIA ZŁOŻONOŚCI Złożoność czasowa Mierzenie złożoności Notacja wielkiego O i małego o Analiza algorytmów Zależności między złożonościami modeli Klasa P Czas wielomianowy Przykłady problemów z klasy P Klasa NP Przykłady problemów z klasy NP Zagadnienie P versus NP NP-zupełność Redukowalność w czasie wielomianowym Definicja NP-zupełności Twierdzenie Cooka-Levina Dalsze problemy NP-zupełne Problem pokrycia wierzchołkowego Problem ścieżki Hamiltona Problem sumy podzbioru Złożoność pamięciowa Twierdzenie Savitcha Klasa PSPACE PSPACE-zupełność Problem TQBF Strategie wygrywające w grach Uogólniona gra w łańcuszek Klasy L i NL NL-zupełność Przeszukiwanie grafów Klasa NL równa się klasie coNL Problemy trudne Twierdzenia o hierarchii Zupełność pamięci wykładniczej Relatywizacja Ograniczenia stosowalności metody diagonalizacji Złożoność obwodów Zaawansowane zagadnienia teorii złożoności Algorytmy aproksymacyjne Algorytmy probabilistyczne Klasa BPP Pierwszość Programy z rozgałęzieniami z jednokrotnym odczytem Alternacje Czas i pamięć w obliczeniach alternujących Wielomianowa hierarchia czasowa Systemy dowodów interaktywnych Nieizomorfizm grafów Definicja modelu IP = PSPACE Obliczenia równoległe Jednolite obwody logiczne Klasa NC P-zupełność Kryptografia Klucze tajne Systemy szyfrowania z kluczem publicznym Funkcje jednokierunkowe Funkcje z bocznym wejściem

dostępna do wypożyczenia

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

Wypożyczalnia

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