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

4 wyniki

Książka

W koszyku

Obliczenia kwantowe dla każdego / Chris Bernhardt. - Wydanie I. - Warszawa : PWN, 2020. - XVII, [1], 202 strony : ilustracje ; 24 cm.

Autor

Bernhardt Chris

Forma i typ

Książki Publikacje popularnonaukowe

Temat

Algorytmy kwantowe Informacja kwantowa Komputery kwantowe Teoria obliczeń

Gatunek

Opracowanie

Dziedzina i ujęcie

Fizyka i astronomia Informatyka i technologie informacyjne

Indeks.

1 Spin Zegar Kwantowy Pomiary w tym samym kierunku Pomiary w różnych kierunkach Pomiary Przypadkowość Fotony i polaryzacja 2Algebra liniowa Liczby zespolone kontra liczby rzeczywiste Wektory Diagramy wektorów Długość wektorów Mnożenie przez skalar Dodawanie wektorów Wektory ortogonalne Mnożenie bra przez ket Bra-ket i długość wektorów Bra-ket i ortogonalność Bazy ortonormalne Wektory jako kombinacje liniowe wektorów bazowych Uporządkowane bazy Długość wektorów Macierze Obliczenia na macierzach Macierze ortogonalne i unitarne Narzędzia algebry liniowej 3 Spiny i kubity Teoria prawdopodobieństwa Matematyka spinu kwantowego Równoważne wektory stanu Baza powiązana z danym kierunkiem spinu Obrót aparatury pomiarowej o 60° Model matematyczny dla polaryzacji fotonu Baza odpowiadająca danemu kierunkowi polaryzacji Eksperymenty z filtrami polaryzacyjnymi Kubity Alicja, Bob i Ewa Amplitudy prawdopodobieństwa i interferencja Alicja, Bob i protokół BB84 4 Splątanie kwantowe Kubity Alicji i Boba nie są splątane Obliczenia dla kubitów niesplątanych Obliczenia dla kubitów splątanych Komunikacja superluminalna Baza standardowa dla iloczynów tensorowych Jak się splątuje kubity? Splątywanie kubitów z użyciem bramki CNOT Splątane zegary kwantowe 5 Nierówność Bella Splątane kubity w różnych bazach Einstein i realizm lokalny Einstein i zmienne ukryte Klasyczne wyjaśnienie splątania kwantowego Nierówność Bella Odpowiedź mechaniki kwantowej Odpowiedź klasyczna Pomiar Protokół Ekerta i kwantowa dystrybucja kluczy 6Logika klasyczna. Bramki. Obwody Logika Negacja Koniunkcja Alternatywa Algebra boolowska Równoważność logiczna Operatory funkcjonalnie zupełne Nand Bramki logiczne Bramka NOT Bramka AND Bramka OR Bramka NAND Obwody NAND jako bramka uniwersalna Bramki logiczne i obliczenia Pamięć Obliczenia odwracalne Bramka negacji kontrolowanej Bramka Toffoliego Bramka Fredkina Obliczenia prowadzone za pomocą kul bilardowych 7Kwantowe bramki logiczne i obwody Kubity Bramka CNOT Kwantowe bramki logiczne Kwantowe bramki logiczne działające na jeden kubit Bramki I i Z Bramki X i Y Bramka Hadamarda Czy istnieją uniwersalne bramki kwantowe? Twierdzenie o nieklonowaniu Obliczenia kwantowe kontra klasyczne obliczenia Obwód Bella Kodowanie supergęste Kwantowa teleportacja Korekcja błędu Kod powtarzany Kwantowa korekcja odwrócenia bitów 8Algorytmy kwantowe Klasy złożoności P i NP Czy algorytmy kwantowe są szybsze od klasycznych? Złożoność zapytań Algorytm Deutscha Iloczyn Kroneckera macierzy Hadamarda 156 Algorytm Deutscha-Jozsy Algorytm Simona Bitowe dodawanie sekwencji modulo 2 Sformułowanie problemu Simona Iloczyn skalarny i macierz Hadamarda Macierze Hadamarda a problem Simona Obwód kwantowy dla problemu Simona Klasyczna część algorytmu Simona Klasy złożoności obliczeniowej Algorytmy kwantowe 9Znaczenie obliczeń kwantowych Algorytm Shora i kryptoanaliza Szyfrowanie RSA Algorytm Shora Algorytm Grovera i przeszukiwanie danych Algorytm Grovera Zastosowania algorytmu Grovera Chemia i symulacja Sprzęt Wyżarzanie kwantowe Supremacja kwantowa i wszechświaty równoległe

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. 149829 (1 egz.)

Książka

W koszyku

Feynmana wykłady : przetwarzanie informacji / Richard P. Feynman ; pod redakcją Tony'ego Heya, Robina W. Allena ; [tłumacz: Małgorzata Dąbkowska Kowalik i Witold Sikorski]. - Warszawa : PWN, copyright 2022. - 281 stron : ilustracje, wykresy ; 24 cm.

Autor

Feynman Richard Phillips (1918-1988) Hey Anthony J. G. Allen Robin W. Dąbkowska-Kowalik Małgorzata Sikorski Witold (1950- )

Forma i typ

Książki Publikacje dydaktyczne Publikacje naukowe

Odbiorca

Szkoły wyższe

Temat

Komputery Teoria informacji Teoria obliczeń

Gatunek

Wykład

Dziedzina i ujęcie

Fizyka i astronomia Informatyka i technologie informacyjne

Bibliografia na stronach 279-281.

1.Wprowadzenie do komputerów 1.1.Model urzędnika archiwisty 1.2.Zbiory instrukcji 2.Organizacja komputerów 2.1.Bramki i układ kombinacyjny 2.2.Dekoder binarny 2.3.Więcej o bramkach: bramki odwracalne 2.4.Funkcjonalnie pełne zbiory operatorów 2.5.Przełączniki i pamięć komputerowa 2.6.Taktowanie i rejestry przesuwne 3.Teoria obliczeń 3.1.Efektywne procedury i obliczalność 3.2.Automaty skończone 3.3.Ograniczenia automatów skończonych 3.4.Maszyny Turinga 3.5.Więcej o maszynach Turinga 3.6.Uniwersalne maszyny Turinga i problem stopu 3.7.Obliczalność 4.Kodowanie i teoria informacji 4.1.Informatyka i teoria komunikacji 4.2.Wykrywanie błędów i kody korygujące 4.2.1.Sprawdzanie parzystości 4.2.2.Kody Hamminga 4.2.3.Uwaga o pamięci 4.3.Twierdzenie Shannona 4.4.Geometria przestrzeni komunikatów 4.5.Kompresja danych i informacja 4.6.Teoria informacji 4.7.Dalsze techniki kodowania 4.7.1.Kodowanie Huffmana 4.7.2.Kodowanie predykcyjne 4.8.Transmisja sygnałów analogowych 5.Odwracalne obliczenia i termodynamika obliczeń 5.1.Fizyka informacji 5.1.1.Demon Maxwella i termodynamika pomiarów 5.1.2.Energia i teoria Shannona 5.2.Odwracalne obliczenia i termodynamika obliczeń 5.2.1.Komputery odwracalne 5.2.2.Obliczanie kopii 5.2.3.Implementacja fizyczna 5.2.4.Żyjący komputer 5.3.Obliczenia: koszty energii a prędkość 5.4.Ogólny odwracalny komputer 5.5.Komputer z kulą bilardową 5.6.Obliczenia kwantowe 6.Komputery mechaniki kwantowej 6.1.Obliczenia z wykorzystaniem maszyn odwracalnych 6.2.Komputer mechaniki kwantowej 6.3.Niedoskonałości i nieodwracalna strata energii swobodnej 6.4.Upraszczanie implementacji 7.Fizyczne aspekty obliczeń Zastrzeżenie od wydawców 7.1.Fizyka przyrządów półprzewodnikowych 7.1.1.Dioda ze złączem p-n oraz tranzystor n-p-n 7.1.2.MOSFET 7.1.3.Bramki logiczne MOSFET i elementy obwodu 7.2.Zużycie energii i utrata ciepła w komputerach 7.2.1.InwerterCMOS 7.2.2.Gorące taktowanie 7.2.3.Ogólne rozważania i interesujące związki 7.3.Budowa układu VLSI 7.3.1.Projekt obwodu i tranzystory przepustowe 7.3.2.Programowane macierze logiczne 7.4. Dalsze ograniczenia projektu maszyny 7.4.1.Przesunięcie czasowe 7.4.2.Pakowanie przewodów: reguła Renta Posłowie: wspomnienie o Richardzie Feynmanie

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. 152393 N (1 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.)

Brak okładki

Książka

W koszyku

Wprowadzenie do teorii obliczeń / Michael Sipser ; z ang. przeł. Przemysława Kanarek. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2009. - XXI, [1], 486 s. : il. ; 24 cm.

Autor

Sipser Michael Fredric. Kanarek Przemysława.

Temat

Teoria obliczeń Teoria złożoności

Tyt. oryg. : Introduction to the Teory of Computation.

Bibliogr. s. 473-477. Indeks.

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

Sygnatura czytelni BMW: IV C 85 (nowy)

dostępna w czytelni

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

Biblioteka Międzywydziałowa

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