Złożoność obliczeniowa
Ukryj filtry
Sortowanie
Źródło opisu
Książki, czasopisma i zbiory specjalne
(11)
Forma i typ
Książki
(11)
Publikacje dydaktyczne
(1)
Publikacje fachowe
(1)
Dostępność
dostępne
(7)
tylko na miejscu
(3)
wypożyczone
(1)
Placówka
Wypożyczalnia
(8)
Biblioteka WEAiI
(3)
Autor
Papadimitriou Christos H
(3)
Giaro Krzysztof
(2)
Kanarek Przemysława
(2)
Loryś Krzysztof (1958- )
(2)
Partyka Marian Antoni
(2)
Pokaż więcej ...
Ferrante Jeanne (1949- )
(1)
Kleinberg Samantha (1983- )
(1)
Kurp Feliks
(1)
Płoski Zdzisław
(1)
Rackoff Charles W. (1948- )
(1)
Sipser Michael
(1)
Włodarz Marek
(1)
Pokaż mniej ...
Rok wydania
2020 - 2024
(2)
2010 - 2019
(3)
2000 - 2009
(3)
1990 - 1999
(2)
1970 - 1979
(1)
Okres powstania dzieła
2001-
(2)
Kraj wydania
Polska
(9)
nieznany (de)
(1)
Wielka Brytania
(1)
Język
polski
(9)
angielski
(2)
Odbiorca
Programiści
(1)
Szkoły wyższe
(1)
Temat
Budownictwo
(2412)
Zarządzanie
(2038)
Matematyka
(1930)
Elektrotechnika
(1896)
Przedsiębiorstwa
(1790)
Złożoność obliczeniowa
(-)
Pokaż więcej ...
Fizyka
(1535)
Informatyka
(1502)
Maszyny
(1228)
Fizjoterapia
(1175)
Wytrzymałość materiałów
(1157)
Ochrona środowiska
(1023)
Sport
(1013)
Turystyka
(953)
Elektronika
(946)
Ekonomia
(932)
Mechanika
(932)
Automatyka
(916)
Język angielski
(874)
Samochody
(867)
Rachunkowość
(821)
Chemia
(808)
Rehabilitacja
(800)
Polska
(791)
Gospodarka
(778)
Komunikacja marketingowa
(761)
Technika
(743)
Konstrukcje budowlane
(727)
Wychowanie fizyczne
(725)
Przemysł
(723)
Prawo pracy
(712)
Piłka nożna
(699)
Unia Europejska
(699)
Transport
(673)
Elektroenergetyka
(667)
Marketing
(638)
Architektura
(637)
Innowacje
(620)
Naprężenia i odkształcenia
(614)
OZE
(606)
Programowanie (informatyka)
(590)
Trening
(586)
Energetyka
(585)
Programy komputerowe
(584)
Technologia chemiczna
(567)
Rolnictwo
(556)
Biomasa
(543)
Analiza numeryczna
(532)
Prawo
(524)
Odnawialne źródła energii
(520)
Sterowanie
(520)
Komputery
(517)
Materiałoznawstwo
(517)
Produkcja
(517)
Symulacja
(516)
Inwestycje
(508)
Praca
(503)
Zarządzanie jakością
(497)
Zarządzanie zasobami ludzkimi (HRM)
(496)
Analiza matematyczna
(495)
Dzieci
(491)
Energia elektryczna
(489)
Urbanistyka
(488)
Materiały budowlane
(482)
Logistyka gospodarcza
(480)
Rynek pracy
(474)
Finanse
(468)
Maszyny elektryczne
(468)
Przedsiębiorstwo
(468)
Szkolnictwo wyższe
(468)
Psychologia
(467)
Modele matematyczne
(465)
Internet
(464)
Metale
(462)
Nauka
(456)
Marketing internetowy
(453)
Systemy informatyczne
(448)
Statystyka matematyczna
(447)
Języki programowania
(433)
Skrawanie
(432)
Reklama
(431)
Rehabilitacja medyczna
(429)
Mechanika budowli
(425)
Działalność gospodarcza
(422)
Organizacja
(417)
Telekomunikacja
(413)
Metrologia
(412)
Pedagogika
(410)
Drgania
(409)
Trener
(406)
Ubezpieczenia społeczne
(394)
Controlling
(392)
Optymalizacja
(392)
Historia
(388)
Filozofia
(385)
Podatki
(385)
Statystyka
(384)
Socjologia
(383)
Banki
(379)
BHP
(375)
Rachunkowość zarządcza
(374)
Pokaż mniej ...
Gatunek
Podręcznik
(2)
Podręczniki akademickie
(2)
Ćwiczenia i zadania dla szkół wyższych
(2)
Podręczniki
(1)
Dziedzina i ujęcie
Informatyka i technologie informacyjne
(2)
Matematyka
(1)
11 wyników Filtruj
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)
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.
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.
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.
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
Algorytmy : struktury danych i złożoność obliczeniowa / Feliks Kurp. - Gliwice : Helion, copyright 2022. - 126, [2] strony : ilustracje, wykres ; 21 cm.
Autor
Kurp Feliks.
Odbiorca
Programiści
Gatunek
Podręcznik
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)
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)
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)
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)
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)
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.
Odbiorca
Szkoły wyższe
Gatunek
Podręcznik
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.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej

Deklaracja dostępności